Add reduce_trig() to applied "full simplify" methods

[rwst]

sage: sqrt(-2*sin(1/2*arctan(x))^2 + 1).simplify_full()
sqrt(-2*sin(1/2*arctan(x))^2 + 1)
sage: _.reduce_trig()
(x^2 + 1)^(-1/4)

Component: calculus

Issue created by migration from https://trac.sagemath.org/ticket/22607

[kcrisman]

comment:1

Does this cause any of the problems with branches encountered with canonicalize_radical after the long discussion with that? Any problems with domains?