How do you evaluate #arcsin(sqrt2/2)#?