theorem Th27: :: SINCOS10:27

rng arccosec1 = [.(- (PI / 2)),0.[