Simplificación general
[src]
log(atan(x))
-1 + ------------
2
(atan(x)) *log(atan(x))
---------------------------------------
2
1 + x
$$\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)} \operatorname{atan}^{\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)}}{2} - 1}{\left(x \right)}}{x^{2} + 1}$$
atan(x)^(-1 + log(atan(x))/2)*log(atan(x))/(1 + x^2)
atan(x)^(0.5*log(atan(x)))*log(atan(x))/((1.0 + x^2)*atan(x))
atan(x)^(0.5*log(atan(x)))*log(atan(x))/((1.0 + x^2)*atan(x))
log(atan(x))
-1 + ------------
2
(atan(x)) *log(atan(x))
---------------------------------------
2
1 + x
$$\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)} \operatorname{atan}^{\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)}}{2} - 1}{\left(x \right)}}{x^{2} + 1}$$
atan(x)^(-1 + log(atan(x))/2)*log(atan(x))/(1 + x^2)
Denominador racional
[src]
log(atan(x))
-1 + ------------
2
(atan(x)) *log(atan(x))
---------------------------------------
2
1 + x
$$\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)} \operatorname{atan}^{\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)}}{2} - 1}{\left(x \right)}}{x^{2} + 1}$$
atan(x)^(-1 + log(atan(x))/2)*log(atan(x))/(1 + x^2)
log(atan(x))
------------
2
(atan(x)) *log(atan(x))
----------------------------------
2
x *atan(x) + atan(x)
$$\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)} \operatorname{atan}^{\frac{\log{\left(\operatorname{atan}{\left(x \right)} \right)}}{2}}{\left(x \right)}}{x^{2} \operatorname{atan}{\left(x \right)} + \operatorname{atan}{\left(x \right)}}$$
atan(x)^(log(atan(x))/2)*log(atan(x))/(x^2*atan(x) + atan(x))