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