Integrand size = 11, antiderivative size = 24 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=1-x-\frac {1}{4} \log (2) \log \left (3 e^{x^2} \left (1+e^6\right )\right ) \]
[Out]
Time = 0.00 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.67, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {9} \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-\frac {(x \log (2)+2)^2}{4 \log (2)} \]
[In]
[Out]
Rule 9
Rubi steps \begin{align*} \text {integral}& = -\frac {(2+x \log (2))^2}{4 \log (2)} \\ \end{align*}
Time = 0.00 (sec) , antiderivative size = 13, normalized size of antiderivative = 0.54 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-x-\frac {1}{4} x^2 \log (2) \]
[In]
[Out]
Time = 0.16 (sec) , antiderivative size = 10, normalized size of antiderivative = 0.42
method | result | size |
gosper | \(-\frac {x \left (x \ln \left (2\right )+4\right )}{4}\) | \(10\) |
default | \(-\frac {x^{2} \ln \left (2\right )}{4}-x\) | \(12\) |
norman | \(-\frac {x^{2} \ln \left (2\right )}{4}-x\) | \(12\) |
risch | \(-\frac {x^{2} \ln \left (2\right )}{4}-x\) | \(12\) |
parallelrisch | \(-\frac {x^{2} \ln \left (2\right )}{4}-x\) | \(12\) |
parts | \(-\frac {x^{2} \ln \left (2\right )}{4}-x\) | \(12\) |
[In]
[Out]
none
Time = 0.23 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.46 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-\frac {1}{4} \, x^{2} \log \left (2\right ) - x \]
[In]
[Out]
Time = 0.03 (sec) , antiderivative size = 10, normalized size of antiderivative = 0.42 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=- \frac {x^{2} \log {\left (2 \right )}}{4} - x \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.46 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-\frac {1}{4} \, x^{2} \log \left (2\right ) - x \]
[In]
[Out]
none
Time = 0.30 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.46 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-\frac {1}{4} \, x^{2} \log \left (2\right ) - x \]
[In]
[Out]
Time = 0.04 (sec) , antiderivative size = 11, normalized size of antiderivative = 0.46 \[ \int \frac {1}{2} (-2-x \log (2)) \, dx=-\frac {\ln \left (2\right )\,x^2}{4}-x \]
[In]
[Out]