Simplify trig expressions with the double angle formula
I am trying to simplify the following expression in sage:
the resulting expression should be:
.simplify_full(), trig_reduce(), or simplify_trig() cannot produce this simplification.
Is sage currently capable of doing this?