theorem :: COMPTRIG:29

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