watch for -Rational and nc in Factors
TR3 standardizes angles to be pi/4 < ang < pi/2
TR10i watches for sqrt(3)f + g -> 2(cos(pi/6)f + sin(pi/6)g)
s
TR5 and TR6 only target f**2 (helper can do all f**(2**m)
CTRstrat uses count_ops, too
correct CTR4 def; add induced formula for cos(x)+sin(x)