theorem :: COMPTRIG:31

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