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