master=utlnode http://centaur.maths.qmw.ac.uk/reduce/packages/trigsimp
omit _vti_cnf *.dvi *.old