I am trying to simplify the following expression in sage:
(sqrt(3)/3*cos(x)+1/3*sin(x))
the resulting expression should be:
2/3*cos(pi/6-x)
.simplify_full(), trig_reduce(), or simplify_trig() cannot produce this simplification.
Is sage currently capable of doing this?