Try Reduce calculations here. For example:
\begin{reduce}
solve({z=x*a+2},{z,x});
int(sqrt(1-sin(x)*cos(x)),x);
\end{reduce}
solve({z=x*a+2},{z,x}); | reduce |
int(sqrt(1-sin(x)*cos(x)),x); | reduce |
int(log(log(x)),x); | reduce |
axiom
integrate(log(log(x)),x)
Type: Union(Expression(Integer),...)
solve({y=-1/l*(1-(l*x+(-3*l^2-l+8)^(1/2)/4-0.5*l)^2)^(1/2) -(-3*l^2-l+8)^(1/2)/(4*l)+2*l}, {y}); | reduce |
trigsimp(atan(((1+x)*sin(c+d)-sin(c-d))/((1+x)*cos(c+d)-cos(c-d))),tan); | reduce |
axiom
normalize( atan(((1+x)*sin(c+d)-sin(c-d))/((1+x)*cos(c+d)-cos(c-d))) )
Type: Expression(Integer)
![\label{eq2}\begin{array}{@{}l}
\displaystyle
-
\
\
\displaystyle
{\arctan{{\left({{{2 \ {\tan \left({{d - c}\over 2}\right)}\ {{\tan \left({{d + c}\over 2}\right)}^2}}+{{\left({{\left({2 \ x}+ 2 \right)}\ {{\tan \left({{d - c}\over 2}\right)}^2}}+{2 \ x}+ 2 \right)}\ {\tan \left({{d + c}\over 2}\right)}}+{2 \ {\tan \left({{d - c}\over 2}\right)}}}\over{{{\left({x \ {{\tan \left({{d - c}\over 2}\right)}^2}}+ x + 2 \right)}\ {{\tan \left({{d + c}\over 2}\right)}^2}}+{{\left(- x - 2 \right)}\ {{\tan \left({{d - c}\over 2}\right)}^2}}- x}}\right)}}}](images/3814594735789258617-16.0px.png "\label{eq2}\begin{array}{@{}l}
\displaystyle
-
\
\
\displaystyle
{\arctan{{\left({{{2 \ {\tan \left({{d - c}\over 2}\right)}\ {{\tan \left({{d + c}\over 2}\right)}^2}}+{{\left({{\left({2 \ x}+ 2 \right)}\ {{\tan \left({{d - c}\over 2}\right)}^2}}+{2 \ x}+ 2 \right)}\ {\tan \left({{d + c}\over 2}\right)}}+{2 \ {\tan \left({{d - c}\over 2}\right)}}}\over{{{\left({x \ {{\tan \left({{d - c}\over 2}\right)}^2}}+ x + 2 \right)}\ {{\tan \left({{d + c}\over 2}\right)}^2}}+{{\left(- x - 2 \right)}\ {{\tan \left({{d - c}\over 2}\right)}^2}}- x}}\right)}}}")