How do you evaluate sin^-1(1/sqrt2)sin1(12)?