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