/usr/lib/open-axiom/input/sinCosEx.input is in open-axiom-test 1.5.0~svn3056+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 | --Copyright The Numerical Algorithms Group Limited 1991.
sinCosExpand := rule
sin(-x) == - sin(x)
cos(-x) == cos(x)
sin(x + y) == sin(x) * cos(y) + sin(y) * cos(x)
cos(x + y) == cos(x) * cos(y) - sin(x) * sin(y)
sin((n | integer? n and n > 1) * x) ==_
sin(x) * cos((n-1)*x) + sin((n-1)*x) * cos(x)
cos((n | integer? n and n > 1) * x) ==_
cos(x) * cos((n-1)*x) - sin(x) * sin((n-1)*x)
|