halftan takes as argument an expression
containing trigonometric functions.
halftan rewrites sin(x), cos(x) and tan(x)
in terms of tan(x/2).
Input :
Output :
^2+1)/^2)/((tan(2*x/2))^2+1))Output, after simplification with normal(ans()) :
Input :
^2+cos(x)^2)Output :
^2+1))^2+^2)/((tan(x/2))^2+1))^2Output, after simplification with normal(ans()) :