How do you evaluate y=sin^-1(pi3/2)?