Jaime Gutierrez Tomás Recio Advances on the Simplification of Sine-Cosine Equations. 31-70 1998 26 J. Symb. Comput. 1 db/journals/jsc/jsc26.html#GutierrezR98