Question: collection of problems in Maple 2025. Looking for solution

To save space, I've decided to show problems found so far in Maple 2025 in one worksheet.

Hoping someone will figure the cause. The big problem is that these internal errors can not be cought using try/catch. Which means there is no user workaround. If they can be cought, then it is not a big problem.

Some from odetest, some from int and some from simplify and some from symgen.

interface(version);

`Standard Worksheet Interface, Maple 2025.0, Linux, March 24 2025 Build ID 1909157`

Physics:-Version()

`The "Physics Updates" version in the MapleCloud is 1861 and is the same as the version installed in this computer, created 2025, April 10, 15:58 hours Pacific Time.`

restart;

#18573
e:=(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)-1/2*(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)^2/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2-16)^(1/2))*x:

try
    timelimit(60,simplify(e));
catch:
    print("OK, cought error");
end try;

 

Error, (in anonymous procedure called from depends) too many levels of recursion

restart;

#12178
ode:=diff(y(x),x) = lambda*arctan(x)^n*y(x)^2+beta*m*x^(m-1)-lambda*beta^2*x^(2*m)*arctan(x)^n:
try
    timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

Error, (in simplify/exp/exp) too many levels of recursion

restart;

#12181
ode:=diff(x(y),y) = x(y)/(x(y)^(2*m)*arctan(x(y))^m*a*y^2+x(y)^n*arctan(x(y))^m*b*y+arctan(x(y))^m*c-n*y):
try
    timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

Error, (in simplify/exp/exp) too many levels of recursion

restart;

#12187
ode:=diff(y(x),x)=lambda*arccot(x)^n*y(x)^2+beta*m*x^(m-1)-lambda*beta^2*x^(2*m)*arccot(x)^n:
try
    timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

Error, (in simplify/exp/exp) too many levels of recursion

restart;

#12190
ode:=diff(x(y),y) = x(y)/(x(y)^(2*m)*arccot(x(y))^m*a*y^2+x(y)^n*arccot(x(y))^m*b*y+arccot(x(y))^m*c-n*y):
try
    timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

Error, (in simplify/exp/exp) too many levels of recursion

restart;

#10708
e:=2/(ln(x)-exp(1/x))*x*diff(diff(u(x),x),x)-(-2/(ln(x)-exp(1/x))^2*x*(1/x+1/x^2*exp(1/x))+2/(ln(x)-exp(1/x))+8*x^3/(ln(x)-exp(1/x))^2)*diff(u(x),x)-4/(ln(x)-exp(1/x))^3*x^2*(-2*x^3+ln(x)-exp(1/x)-2*x)*u(x):
e:=evala(e):
try
    timelimit(60,int(e,x));
catch:
    print("OK, cought error");
end try;

Error, (in anonymous procedure called from property/ConvertRelation) too many levels of recursion

restart;

#6764
e:=1/2/x^(7/2)*2^(1/2)*Pi^(1/2)/(1/x)^(1/2)*cos(1/x)*(1+x):
try
    timelimit(60,int(e,x));
catch:
    print("OK, cought error");
end try;

Error, (in simplify/common_factors/do) too many levels of recursion

restart;

#19337

sol:=-y+Intat((_a*((_a^2+1)/_a^2)^(1/2)+_a^2+1)*exp(-1/2*(arctanh(1/(_a^2+1)^(1/2))*((_a^2+1)/_a^2)^(1/2)*_a^3+2*_C3*(_a^2+1)^(1/2)*_a^2+(_a^2+1)^(1/2)*((_a^2+1)/_a^2)^(1/2)*_a+(_a^2+1)^(1/2))/(_a^2+1)^(1/2)/_a^2)/((_a^2+1)/_a^2)^(1/2)/_a^5,_a = RootOf(x(y)-exp(-1/2*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*_C3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/(_Z^2+1)^(1/2)/_Z^2)))+_C4 = 0:
ode:=-1/2/(diff(x(y),y)^2+1)^(1/2)*(diff(x(y),y)*(arctanh(1/(diff(x(y),y)^2+1)^(1/2))*diff(x(y),y)^2+(diff(x(y),y)^2+1)^(1/2))*((diff(x(y),y)^2+1)/diff(x(y),y)^2)^(1/2)+(diff(x(y),y)^2+1)^(1/2))/diff(x(y),y)^2 = ln(x(y))+_C3:
try
    timelimit(60,odetest(sol,ode));
catch:
    print("OK, cought error");
end try;
 

Error, (in unknown) too many levels of recursion

 

 

Download collection_of_problems_maple_2025.mw

Below is worksheet showing output in Maple 2024.2. It shows NO internal error is generated in any one. Either a result is returned, or it timedout as expected.

This shows all the above cases are regressions in Maple 2025.

interface(version);

`Standard Worksheet Interface, Maple 2024.2, Windows 10, October 29 2024 Build ID 1872373`

Physics:-Version()

`The "Physics Updates" version in the MapleCloud is 1861. The version installed in this computer is 1849 created 2025, March 12, 12:37 hours Pacific Time, found in the directory C:\Users\Owner\maple\toolbox\2024\Physics Updates\lib\`

restart;

#18573
e:=(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)-1/2*(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)^2/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2-16)^(1/2))*x:

try
    timelimit(60,simplify(e));
catch:
    print("OK, cought error");
end try;

 

(1/4)*(RootOf(-100*_Z^4*exp(arctanh((1/3)*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh((1/3)*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(16*_C11)-68*x^(16/5)*_Z^2*exp(16*_C11)+256*x^(16/5)*exp(16*_C11))^2-((RootOf(-100*_Z^4*exp(arctanh((1/3)*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh((1/3)*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(16*_C11)-68*x^(16/5)*_Z^2*exp(16*_C11)+256*x^(16/5)*exp(16*_C11))^2-16)^2/RootOf(-100*_Z^4*exp(arctanh((1/3)*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh((1/3)*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(16*_C11)-68*x^(16/5)*_Z^2*exp(16*_C11)+256*x^(16/5)*exp(16*_C11))^2)^(1/2)*RootOf(-100*_Z^4*exp(arctanh((1/3)*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh((1/3)*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(16*_C11)-68*x^(16/5)*_Z^2*exp(16*_C11)+256*x^(16/5)*exp(16*_C11))+16)*x/RootOf(-100*_Z^4*exp(arctanh((1/3)*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh((1/3)*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(16*_C11)-68*x^(16/5)*_Z^2*exp(16*_C11)+256*x^(16/5)*exp(16*_C11))

restart;

#12178
ode:=diff(y(x),x) = lambda*arctan(x)^n*y(x)^2+beta*m*x^(m-1)-lambda*beta^2*x^(2*m)*arctan(x)^n:
try
    timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

"OK, cought error"

restart;

#12181
ode:=diff(x(y),y) = x(y)/(x(y)^(2*m)*arctan(x(y))^m*a*y^2+x(y)^n*arctan(x(y))^m*b*y+arctan(x(y))^m*c-n*y):
try
    r:=timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

restart;

#12187
ode:=diff(y(x),x)=lambda*arccot(x)^n*y(x)^2+beta*m*x^(m-1)-lambda*beta^2*x^(2*m)*arccot(x)^n:
try
    r:=timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

"OK, cought error"

restart;

#12190
ode:=diff(x(y),y) = x(y)/(x(y)^(2*m)*arccot(x(y))^m*a*y^2+x(y)^n*arccot(x(y))^m*b*y+arccot(x(y))^m*c-n*y):
try
    r:=timelimit(60,DEtools:-symgen(ode));
catch:
    print("OK, cought error");
end try;

"OK, cought error"

restart;

#10708
e:=2/(ln(x)-exp(1/x))*x*diff(diff(u(x),x),x)-(-2/(ln(x)-exp(1/x))^2*x*(1/x+1/x^2*exp(1/x))+2/(ln(x)-exp(1/x))+8*x^3/(ln(x)-exp(1/x))^2)*diff(u(x),x)-4/(ln(x)-exp(1/x))^3*x^2*(-2*x^3+ln(x)-exp(1/x)-2*x)*u(x):
e:=evala(e):
try
    timelimit(60,int(e,x));
catch:
    print("OK, cought error");
end try;

"OK, cought error"

restart;

#6764
e:=1/2/x^(7/2)*2^(1/2)*Pi^(1/2)/(1/x)^(1/2)*cos(1/x)*(1+x):
try
    r:=timelimit(60,int(e,x));
catch:
    print("OK, cought error");
end try;

"OK, cought error"

restart;

#19337

sol:=-y+Intat((_a*((_a^2+1)/_a^2)^(1/2)+_a^2+1)*exp(-1/2*(arctanh(1/(_a^2+1)^(1/2))*((_a^2+1)/_a^2)^(1/2)*_a^3+2*_C3*(_a^2+1)^(1/2)*_a^2+(_a^2+1)^(1/2)*((_a^2+1)/_a^2)^(1/2)*_a+(_a^2+1)^(1/2))/(_a^2+1)^(1/2)/_a^2)/((_a^2+1)/_a^2)^(1/2)/_a^5,_a = RootOf(x(y)-exp(-1/2*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*_C3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/(_Z^2+1)^(1/2)/_Z^2)))+_C4 = 0:
ode:=-1/2/(diff(x(y),y)^2+1)^(1/2)*(diff(x(y),y)*(arctanh(1/(diff(x(y),y)^2+1)^(1/2))*diff(x(y),y)^2+(diff(x(y),y)^2+1)^(1/2))*((diff(x(y),y)^2+1)/diff(x(y),y)^2)^(1/2)+(diff(x(y),y)^2+1)^(1/2))/diff(x(y),y)^2 = ln(x(y))+_C3:
try
    r:=timelimit(60,odetest(sol,ode));
catch:
    print("OK, cought error");
end try;
 

-(1/2)*RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))*arctanh(1/(RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))^2+1)^(1/2))*(1+1/RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))^2)^(1/2)/(RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))^2+1)^(1/2)-ln(x(y))-c__3-(1/2)*(1+1/RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))^2)^(1/2)/RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))-(1/2)/RootOf(x(y)-exp(-(1/2)*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*c__3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/((_Z^2+1)^(1/2)*_Z^2)))^2

Download collection_of_problems_maple_2024_version.mw

Please Wait...