How do you evaluate arcsin(1/sqrt(2))?