How do you find the exact value of #arcsin(sqrt2/2)#?