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