theorem :: COMPTRIG:28

rng sin = [.(- 1),1.]