theorem Th42: :: SINCOS10:42

rng (sec | [.((3 / 4) * PI),PI.]) = [.(- (sqrt 2)),(- 1).]