Find the exact value of sin1(12)tan1(34)?