Currently, asin(1/2) simplifies to %pi/6, and asin(1) is %pi/2. But
asin(sqrt(3)/2) doesn't simplify to %pi/3.
But sin(%pi/3) becomes sqrt(3)/2.
Should asin (and acos and atan) recognize more special values of the
arg? I think asin/acos should at least recognize sqrt(3)/2, and atan
should recognize 1/sqrt(3) and sqrt(3).
Ray