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