How do you solve and find the value of tan(sin1(12))?