4.41.38 b(1y(x)2)(1a2y(x)2)y(x)2+(1y(x)2)(1a2y(x)2)y(x)+y(x)(2a2y(x)2+a2+1)=0

ODE
b(1y(x)2)(1a2y(x)2)y(x)2+(1y(x)2)(1a2y(x)2)y(x)+y(x)(2a2y(x)2+a2+1)=0 ODE Classification

[[_2nd_order, _missing_x]]

Book solution method
TO DO

Mathematica
cpu = 600.002 (sec), leaf count = 0 , timed out

$Aborted

Maple
cpu = 5.438 (sec), leaf count = 532

{y(x)1e2b1_g4a2a2_g2_g2+1d_g1e2b1_g4a2a2_g2_g2+1d_g(4a2(eb1_g4a2a2_g2_g2+1d_g)2_g31+_g4a2+(a21)_g2d_g2a2(eb1_g4a2a2_g2_g2+1d_g)2_g1+_g4a2+(a21)_g2d_g+_C12(eb1_g4a2a2_g2_g2+1d_g)2_g1+_g4a2+(a21)_g2d_g)d_gx_C2=0,y(x)1e2b1_g4a2a2_g2_g2+1d_g1e2b1_g4a2a2_g2_g2+1d_g(4a2(eb1_g4a2a2_g2_g2+1d_g)2_g31+_g4a2+(a21)_g2d_g2a2(eb1_g4a2a2_g2_g2+1d_g)2_g1+_g4a2+(a21)_g2d_g+_C12(eb1_g4a2a2_g2_g2+1d_g)2_g1+_g4a2+(a21)_g2d_g)d_gx_C2=0} Mathematica raw input

DSolve[y[x]*(1 + a^2 - 2*a^2*y[x]^2) + b*Sqrt[(1 - y[x]^2)*(1 - a^2*y[x]^2)]*y'[x]^2 + (1 - y[x]^2)*(1 - a^2*y[x]^2)*y''[x] == 0,y[x],x]

Mathematica raw output

$Aborted

Maple raw input

dsolve((1-y(x)^2)*(1-a^2*y(x)^2)*diff(diff(y(x),x),x)+b*((1-y(x)^2)*(1-a^2*y(x)^2))^(1/2)*diff(y(x),x)^2+(1+a^2-2*a^2*y(x)^2)*y(x) = 0, y(x),'implicit')

Maple raw output

Intat(exp(2*b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))/(exp(2*b*Int(1/(_g^4*a
^2-_g^2*a^2-_g^2+1)^(1/2),_g))*(4*a^2*Int(exp(b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)
^(1/2),_g))^2*_g^3/(1+_g^4*a^2+(-a^2-1)*_g^2),_g)-2*a^2*Int(exp(b*Int(1/(_g^4*a^
2-_g^2*a^2-_g^2+1)^(1/2),_g))^2*_g/(1+_g^4*a^2+(-a^2-1)*_g^2),_g)+_C1-2*Int(exp(
b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))^2*_g/(1+_g^4*a^2+(-a^2-1)*_g^2),_g
)))^(1/2),_g = y(x))-x-_C2 = 0, Intat(-exp(2*b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^
(1/2),_g))/(exp(2*b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))*(4*a^2*Int(exp(b
*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))^2*_g^3/(1+_g^4*a^2+(-a^2-1)*_g^2),_
g)-2*a^2*Int(exp(b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))^2*_g/(1+_g^4*a^2+
(-a^2-1)*_g^2),_g)+_C1-2*Int(exp(b*Int(1/(_g^4*a^2-_g^2*a^2-_g^2+1)^(1/2),_g))^2
*_g/(1+_g^4*a^2+(-a^2-1)*_g^2),_g)))^(1/2),_g = y(x))-x-_C2 = 0