3.25.87 \(\int \frac {\sqrt {x+\sqrt {1+x}}}{x^2-\sqrt {1+x}} \, dx\)

Optimal. Leaf size=204 \[ 2 \text {RootSum}\left [\text {$\#$1}^8-4 \text {$\#$1}^6+16 \text {$\#$1}^5-8 \text {$\#$1}^4-2 \text {$\#$1}^3+3 \text {$\#$1}^2+6 \text {$\#$1}-1\& ,\frac {\text {$\#$1}^6 \log \left (\text {$\#$1}+\sqrt {x+1}-\sqrt {x+\sqrt {x+1}}\right )-2 \text {$\#$1}^5 \log \left (\text {$\#$1}+\sqrt {x+1}-\sqrt {x+\sqrt {x+1}}\right )+2 \text {$\#$1} \log \left (\text {$\#$1}+\sqrt {x+1}-\sqrt {x+\sqrt {x+1}}\right )+\log \left (\text {$\#$1}+\sqrt {x+1}-\sqrt {x+\sqrt {x+1}}\right )}{4 \text {$\#$1}^7-12 \text {$\#$1}^5+40 \text {$\#$1}^4-16 \text {$\#$1}^3-3 \text {$\#$1}^2+3 \text {$\#$1}+3}\& \right ] \]

________________________________________________________________________________________

Rubi [F]  time = 0.27, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\sqrt {x+\sqrt {1+x}}}{x^2-\sqrt {1+x}} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

2*Defer[Subst][Defer[Int][(x*Sqrt[-1 + x + x^2])/(1 - x - 2*x^2 + x^4), x], x, Sqrt[1 + x]]

Rubi steps

\begin {align*} \int \frac {\sqrt {x+\sqrt {1+x}}}{x^2-\sqrt {1+x}} \, dx &=2 \operatorname {Subst}\left (\int \frac {x \sqrt {-1+x+x^2}}{-x+\left (-1+x^2\right )^2} \, dx,x,\sqrt {1+x}\right )\\ &=2 \operatorname {Subst}\left (\int \frac {x \sqrt {-1+x+x^2}}{1-x-2 x^2+x^4} \, dx,x,\sqrt {1+x}\right )\\ \end {align*}

________________________________________________________________________________________

Mathematica [B]  time = 7.23, size = 4139, normalized size = 20.29 \begin {gather*} \text {Result too large to show} \end {gather*}

Warning: Unable to verify antiderivative.

[In]

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

[Out]

2*(-(((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*R
oot[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]
 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0])/(Sqrt[-1 + Root[1 - #1 -
2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Ro
ot[1 - #1 - 2*#1^2 + #1^4 & , 2, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & ,
3, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]))) + ((Log[Sqrt[1 + x] -
 Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1
^4 & , 1, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2
+ #1^4 & , 1, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^2)/(Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0
] + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #
1^4 & , 2, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*(Root[1 - #1 -
2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) + ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 +
 #1^4 & , 1, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + 2*Sqrt[x
 + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^2]])*R
oot[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]^3)/(Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^
2 + #1^4 & , 1, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0])*(Root[1
- #1 - 2*#1^2 + #1^4 & , 1, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0]
 - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) - ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]] - Log[
-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1
 + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2]])*Root[1 - #1 - 2*#1^2 + #
1^4 & , 2, 0])/((-Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0])*Sqrt[-1 + Roo
t[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & ,
 2, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] - Root[1 - #1 - 2*#1^2
+ #1^4 & , 4, 0])) + ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]] - Log[-2 + Sqrt[1 + x] + (1 +
2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2
+ #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2)/((-Root
[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0])*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1
^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] - Root[1 - #1 -
 2*#1^2 + #1^4 & , 3, 0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) + (
(Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1
- #1 - 2*#1^2 + #1^4 & , 2, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Roo
t[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0]^3)/((-Root[1 - #1 - 2*#1^2 + #1^
4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0])*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1
- #1 - 2*#1^2 + #1^4 & , 2, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 3,
0])*(Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) - ((Log[Sqrt[1 + x] - Roo
t[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 &
 , 3, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1
^4 & , 3, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])/((-Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #
1 - 2*#1^2 + #1^4 & , 3, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*
Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2]*(Root[1 - #1 - 2*#1
^2 + #1^4 & , 3, 0] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) + ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^
4 & , 3, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + 2*Sqrt[x + S
qrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2]])*Root[
1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2)/((-Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & ,
 3, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*Sqrt[-1 + Root[1 - #1
 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] -
 Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])) + ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]] - Log[-2
 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 +
 Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^
4 & , 3, 0]^3)/((-Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*(-Root[1 - #1
 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0])*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & ,
3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0]^2]*(Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] - Root[1 - #1 - 2*#1^2
 + #1^4 & , 4, 0])) - ((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]] - Log[-2 + Sqrt[1 + x] + (1 +
 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2
 + #1^4 & , 4, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])/((-Root[
1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 2,
 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 +
#1^4 & , 4, 0])*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2]) +
((Log[Sqrt[1 + x] - Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1
 - #1 - 2*#1^2 + #1^4 & , 4, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0] + Ro
ot[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2)/((-Root[1 - #1 - 2*#1^2 + #1
^4 & , 1, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 -
2*#1^2 + #1^4 & , 4, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*Sqrt
[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2]) + ((Log[Sqrt[1 + x] -
Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]] - Log[-2 + Sqrt[1 + x] + (1 + 2*Sqrt[1 + x])*Root[1 - #1 - 2*#1^2 + #1^
4 & , 4, 0] + 2*Sqrt[x + Sqrt[1 + x]]*Sqrt[-1 + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0] + Root[1 - #1 - 2*#1^2 +
 #1^4 & , 4, 0]^2]])*Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^3)/((-Root[1 - #1 - 2*#1^2 + #1^4 & , 1, 0] + Root[
1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 2, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4,
 0])*(-Root[1 - #1 - 2*#1^2 + #1^4 & , 3, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0])*Sqrt[-1 + Root[1 - #1 -
2*#1^2 + #1^4 & , 4, 0] + Root[1 - #1 - 2*#1^2 + #1^4 & , 4, 0]^2]))

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.00, size = 212, normalized size = 1.04 \begin {gather*} 2 \text {RootSum}\left [-1+6 \text {$\#$1}+3 \text {$\#$1}^2-2 \text {$\#$1}^3-8 \text {$\#$1}^4+16 \text {$\#$1}^5-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {\log \left (-\sqrt {1+x}+\sqrt {x+\sqrt {1+x}}-\text {$\#$1}\right )+2 \log \left (-\sqrt {1+x}+\sqrt {x+\sqrt {1+x}}-\text {$\#$1}\right ) \text {$\#$1}-2 \log \left (-\sqrt {1+x}+\sqrt {x+\sqrt {1+x}}-\text {$\#$1}\right ) \text {$\#$1}^5+\log \left (-\sqrt {1+x}+\sqrt {x+\sqrt {1+x}}-\text {$\#$1}\right ) \text {$\#$1}^6}{3+3 \text {$\#$1}-3 \text {$\#$1}^2-16 \text {$\#$1}^3+40 \text {$\#$1}^4-12 \text {$\#$1}^5+4 \text {$\#$1}^7}\&\right ] \end {gather*}

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[Sqrt[x + Sqrt[1 + x]]/(x^2 - Sqrt[1 + x]),x]

[Out]

2*RootSum[-1 + 6*#1 + 3*#1^2 - 2*#1^3 - 8*#1^4 + 16*#1^5 - 4*#1^6 + #1^8 & , (Log[-Sqrt[1 + x] + Sqrt[x + Sqrt
[1 + x]] - #1] + 2*Log[-Sqrt[1 + x] + Sqrt[x + Sqrt[1 + x]] - #1]*#1 - 2*Log[-Sqrt[1 + x] + Sqrt[x + Sqrt[1 +
x]] - #1]*#1^5 + Log[-Sqrt[1 + x] + Sqrt[x + Sqrt[1 + x]] - #1]*#1^6)/(3 + 3*#1 - 3*#1^2 - 16*#1^3 + 40*#1^4 -
 12*#1^5 + 4*#1^7) & ]

________________________________________________________________________________________

fricas [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Timed out

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {x + \sqrt {x + 1}}}{x^{2} - \sqrt {x + 1}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(sqrt(x + sqrt(x + 1))/(x^2 - sqrt(x + 1)), x)

________________________________________________________________________________________

maple [B]  time = 0.09, size = 107, normalized size = 0.52

method result size
derivativedivides \(2 \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{8}-4 \textit {\_Z}^{6}+16 \textit {\_Z}^{5}-8 \textit {\_Z}^{4}-2 \textit {\_Z}^{3}+3 \textit {\_Z}^{2}+6 \textit {\_Z} -1\right )}{\sum }\frac {\left (\textit {\_R}^{6}-2 \textit {\_R}^{5}+2 \textit {\_R} +1\right ) \ln \left (\sqrt {x +\sqrt {1+x}}-\sqrt {1+x}-\textit {\_R} \right )}{4 \textit {\_R}^{7}-12 \textit {\_R}^{5}+40 \textit {\_R}^{4}-16 \textit {\_R}^{3}-3 \textit {\_R}^{2}+3 \textit {\_R} +3}\right )\) \(107\)
default \(2 \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{8}-4 \textit {\_Z}^{6}+16 \textit {\_Z}^{5}-8 \textit {\_Z}^{4}-2 \textit {\_Z}^{3}+3 \textit {\_Z}^{2}+6 \textit {\_Z} -1\right )}{\sum }\frac {\left (\textit {\_R}^{6}-2 \textit {\_R}^{5}+2 \textit {\_R} +1\right ) \ln \left (\sqrt {x +\sqrt {1+x}}-\sqrt {1+x}-\textit {\_R} \right )}{4 \textit {\_R}^{7}-12 \textit {\_R}^{5}+40 \textit {\_R}^{4}-16 \textit {\_R}^{3}-3 \textit {\_R}^{2}+3 \textit {\_R} +3}\right )\) \(107\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x+(1+x)^(1/2))^(1/2)/(x^2-(1+x)^(1/2)),x,method=_RETURNVERBOSE)

[Out]

2*sum((_R^6-2*_R^5+2*_R+1)/(4*_R^7-12*_R^5+40*_R^4-16*_R^3-3*_R^2+3*_R+3)*ln((x+(1+x)^(1/2))^(1/2)-(1+x)^(1/2)
-_R),_R=RootOf(_Z^8-4*_Z^6+16*_Z^5-8*_Z^4-2*_Z^3+3*_Z^2+6*_Z-1))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {x + \sqrt {x + 1}}}{x^{2} - \sqrt {x + 1}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(sqrt(x + sqrt(x + 1))/(x^2 - sqrt(x + 1)), x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} -\int \frac {\sqrt {x+\sqrt {x+1}}}{\sqrt {x+1}-x^2} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {x + \sqrt {x + 1}}}{x^{2} - \sqrt {x + 1}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Integral(sqrt(x + sqrt(x + 1))/(x**2 - sqrt(x + 1)), x)

________________________________________________________________________________________