3.732 \(\int \frac {1+e^x}{\sqrt {e^x+x}} \, dx\)

Optimal. Leaf size=11 \[ 2 \sqrt {x+e^x} \]

[Out]

2*(x+exp(x))^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 11, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.067, Rules used = {6686} \[ 2 \sqrt {x+e^x} \]

Antiderivative was successfully verified.

[In]

Int[(1 + E^x)/Sqrt[E^x + x],x]

[Out]

2*Sqrt[E^x + x]

Rule 6686

Int[(u_)*(y_)^(m_.), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[(q*y^(m + 1))/(m + 1), x] /;  !F
alseQ[q]] /; FreeQ[m, x] && NeQ[m, -1]

Rubi steps

\begin {align*} \int \frac {1+e^x}{\sqrt {e^x+x}} \, dx &=2 \sqrt {e^x+x}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 11, normalized size = 1.00 \[ 2 \sqrt {x+e^x} \]

Antiderivative was successfully verified.

[In]

Integrate[(1 + E^x)/Sqrt[E^x + x],x]

[Out]

2*Sqrt[E^x + x]

________________________________________________________________________________________

fricas [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: TypeError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+exp(x))/(x+exp(x))^(1/2),x, algorithm="fricas")

[Out]

Exception raised: TypeError >>  Error detected within library code:   integrate: implementation incomplete (ha
s polynomial part)

________________________________________________________________________________________

giac [A]  time = 0.18, size = 8, normalized size = 0.73 \[ 2 \, \sqrt {x + e^{x}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+exp(x))/(x+exp(x))^(1/2),x, algorithm="giac")

[Out]

2*sqrt(x + e^x)

________________________________________________________________________________________

maple [A]  time = 0.03, size = 9, normalized size = 0.82 \[ 2 \sqrt {x +{\mathrm e}^{x}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x)+1)/(exp(x)+x)^(1/2),x)

[Out]

2*(exp(x)+x)^(1/2)

________________________________________________________________________________________

maxima [A]  time = 0.95, size = 8, normalized size = 0.73 \[ 2 \, \sqrt {x + e^{x}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+exp(x))/(x+exp(x))^(1/2),x, algorithm="maxima")

[Out]

2*sqrt(x + e^x)

________________________________________________________________________________________

mupad [B]  time = 3.50, size = 8, normalized size = 0.73 \[ 2\,\sqrt {x+{\mathrm {e}}^x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x) + 1)/(x + exp(x))^(1/2),x)

[Out]

2*(x + exp(x))^(1/2)

________________________________________________________________________________________

sympy [A]  time = 0.16, size = 8, normalized size = 0.73 \[ 2 \sqrt {x + e^{x}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+exp(x))/(exp(x)+x)**(1/2),x)

[Out]

2*sqrt(x + exp(x))

________________________________________________________________________________________