Integrand size = 12, antiderivative size = 37 \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\frac {\operatorname {CosIntegral}\left (1+2^x\right ) \sin (1)}{\log (2)}+\frac {\text {Si}\left (2^x\right )}{\log (2)}-\frac {\cos (1) \text {Si}\left (1+2^x\right )}{\log (2)} \]
[Out]
Time = 0.21 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.417, Rules used = {2320, 6874, 3380, 3384, 3383} \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\frac {\sin (1) \operatorname {CosIntegral}\left (1+2^x\right )}{\log (2)}+\frac {\text {Si}\left (2^x\right )}{\log (2)}-\frac {\cos (1) \text {Si}\left (1+2^x\right )}{\log (2)} \]
[In]
[Out]
Rule 2320
Rule 3380
Rule 3383
Rule 3384
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int \frac {\sin (x)}{x (1+x)} \, dx,x,2^x\right )}{\log (2)} \\ & = \frac {\text {Subst}\left (\int \left (\frac {\sin (x)}{x}-\frac {\sin (x)}{1+x}\right ) \, dx,x,2^x\right )}{\log (2)} \\ & = \frac {\text {Subst}\left (\int \frac {\sin (x)}{x} \, dx,x,2^x\right )}{\log (2)}-\frac {\text {Subst}\left (\int \frac {\sin (x)}{1+x} \, dx,x,2^x\right )}{\log (2)} \\ & = \frac {\text {Si}\left (2^x\right )}{\log (2)}-\frac {\cos (1) \text {Subst}\left (\int \frac {\sin (1+x)}{1+x} \, dx,x,2^x\right )}{\log (2)}+\frac {\sin (1) \text {Subst}\left (\int \frac {\cos (1+x)}{1+x} \, dx,x,2^x\right )}{\log (2)} \\ & = \frac {\operatorname {CosIntegral}\left (1+2^x\right ) \sin (1)}{\log (2)}+\frac {\text {Si}\left (2^x\right )}{\log (2)}-\frac {\cos (1) \text {Si}\left (1+2^x\right )}{\log (2)} \\ \end{align*}
Time = 0.05 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.78 \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\frac {\operatorname {CosIntegral}\left (1+2^x\right ) \sin (1)+\text {Si}\left (2^x\right )-\cos (1) \text {Si}\left (1+2^x\right )}{\log (2)} \]
[In]
[Out]
Time = 0.45 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.81
method | result | size |
derivativedivides | \(\frac {-\operatorname {Si}\left (1+2^{x}\right ) \cos \left (1\right )+\operatorname {Ci}\left (1+2^{x}\right ) \sin \left (1\right )+\operatorname {Si}\left (2^{x}\right )}{\ln \left (2\right )}\) | \(30\) |
default | \(\frac {-\operatorname {Si}\left (1+2^{x}\right ) \cos \left (1\right )+\operatorname {Ci}\left (1+2^{x}\right ) \sin \left (1\right )+\operatorname {Si}\left (2^{x}\right )}{\ln \left (2\right )}\) | \(30\) |
risch | \(-\frac {i \operatorname {Ei}_{1}\left (-i 2^{x}-i\right ) {\mathrm e}^{-i}}{2 \ln \left (2\right )}+\frac {i \operatorname {Ei}_{1}\left (i 2^{x}+i\right ) {\mathrm e}^{i}}{2 \ln \left (2\right )}+\frac {i \operatorname {Ei}_{1}\left (-i 2^{x}\right )}{2 \ln \left (2\right )}-\frac {i \operatorname {Ei}_{1}\left (i 2^{x}\right )}{2 \ln \left (2\right )}\) | \(74\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.78 \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\frac {\operatorname {Ci}\left (2^{x} + 1\right ) \sin \left (1\right ) - \cos \left (1\right ) \operatorname {Si}\left (2^{x} + 1\right ) + \operatorname {Si}\left (2^{x}\right )}{\log \left (2\right )} \]
[In]
[Out]
\[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\int \frac {\sin {\left (2^{x} \right )}}{2^{x} + 1}\, dx \]
[In]
[Out]
\[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\int { \frac {\sin \left (2^{x}\right )}{2^{x} + 1} \,d x } \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.78 \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\frac {\operatorname {Ci}\left (2^{x} + 1\right ) \sin \left (1\right ) - \cos \left (1\right ) \operatorname {Si}\left (2^{x} + 1\right ) + \operatorname {Si}\left (2^{x}\right )}{\log \left (2\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {\sin \left (2^x\right )}{1+2^x} \, dx=\int \frac {\sin \left (2^x\right )}{2^x+1} \,d x \]
[In]
[Out]