Flags for trig representation (positive frequency*t+phase)?

[wsprague]

(08-19-2018 02:18 PM)parisse Wrote:  There is no way for the CAS to guess that cos(2x-3/4*pi) is better than cos(3/4*pi-2x). If you want to negate all cos arguments in an expression, you can run subst(expression,cos,x->cos(-x)).
cos(-x+pi/2) is auto-simplified to sin(x), then trigcos will not do anything, because trigcos applies the relation sin(x)^2+cos(x)^2=1 and nothing else (if you run trigcos(cos(-x+pi/2)^2), you will get 1-cos(x)^2).

Pr Parisse -- that is a big help, thank you.

I will keep working on getting *all* sin and cos results to be represented as an equivalent "cos(gamma*t + phi)", but I think that is in the homework stage for me, getting to know the subst() transformation better.