How do you evaluate arcsin(sqrt2/2)?