How do you do simplify #sin^-1(sqrt2/2)#?