Added Inverse Trig class ASec. Added tests.

Found a possible bug:
assert(eq(div(one, sqrt(i2)), div(sqrt(i2), i2))) fails.
All the other tests pass.