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