nm - Questions - MaplePrimes

why such different result from integrate...

Asked: nm 11373 Product: Maple 2025

April 27 2025

1 2

These two expressions are the same, just pulled minus sign out

But look what happens when integrating them. the anti derivative of one is much more complicated than the other and contains complex numbers and logs. And no matter what I tried, I could not convert the complicated one to look same as the simpler result. Also could not verify the complicated one by back differentiating.

>	integrand_1:=x^2(-arctan(x) + x)exp(-arctan(x) + x)/(x^2 + 1);

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

>	integrand_2:=evala(integrand_1);

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

>	simplify(integrand_1 - integrand_2)

>	anti_1:=int(integrand_1,x);

>	anti_2:=int(integrand_2,x);

-(1-x+((1/2)*I)*ln(1-I*x)-((1/2)*I)*ln(1+x*I))*(1-I*x)^(-(1/2)*I)*(1+x*I)^((1/2)*I)*exp(x)

>	simplify(diff(anti_1,x)-integrand_1);

>	simplify(diff(anti_2,x)-integrand_2);

Error, (in simpl/simpl/ReIm/sum) too many levels of recursion

>	simplify(anti_1 - anti_2)

Error, (in simpl/simpl/ReIm/sum) too many levels of recursion

>	simplify(anti_2);

(1/2)*(I*ln(1+x*I)-I*ln(1-I*x)+2*x-2)*(1-I*x)^(-(1/2)*I)*(1+x*I)^((1/2)*I)*exp(x)

>	simplify(anti_2,ln);

(1/2)*(I*ln(1+x*I)-I*ln(1-I*x)+2*x-2)*(1-I*x)^(-(1/2)*I)*(1+x*I)^((1/2)*I)*exp(x)

Download int_strange_result_april_27_2025.mw

I would have expected same anti derivative to show. To check, I used another software, and that one gave same anti-derivative for both integrands.

The questions I have: Why Maple gives such different result for same integrand? And how could one convert the one with the logs and complex numbers to the first one?

Maple 2025

bug report. Maple 2025 server crash on c...

Asked: nm 11373 Product: Maple 2025

April 27 2025

1 0

FYI;

You might have to try the command more than one time to see the above crash. Here is the worksheet

>

restart;

>	interface(version);

>	Physics:-Version();

>	SupportTools:-Version();

>

restart;

>	ode:=x^2-2xy(x)+5y(x)^2 = (x^2+2xy(x)+y(x)^2)diff(y(x),x);

>

sol:=y(x) = (-1/2*exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6))^2+3*exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6))-6+2*(exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6))^2-6*exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6))+9)^(1/2))/(1/2*exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6))^2-3*exp(RootOf(-exp(_Z)^2*ln(x*(exp(_Z)-2))+2*_C7*exp(_Z)^2+_Z*exp(_Z)^2+4*exp(_Z)*ln(x*(exp(_Z)-2))-8*_C7*exp(_Z)-4*exp(_Z)*_Z-2*exp(_Z)-4*ln(x*(exp(_Z)-2))+8*_C7+4*_Z+6)))*x:

>	odetest(sol,ode);

>

Download crash_maple_2025_april_27_2025.mw

Hopefully a fix could be found for this.

new regression in Maple 2025 found. in s...

Asked: nm 11373 Product: Maple 2025

April 26 2025

3 1

Just found new regression in Maple 2025. This internal error can not be cought and was not there in Maple 2024.2. This is new from the ones reprted earlier in Collection-Of-Problems-In-Maple-2025

Here it is , using latest SupportTools

>

restart;

>	interface(version);

>	Physics:-Version();

>	SupportTools:-Version();

>

restart;

>

#17593
eq:=2*A[6]*exp(-2*t)*cos(t)+2*A[3]*exp(-2*t)*sin(t)-2*A[4]*exp(-2*t)*cos(t)-4*A[7]*exp(-t)*sin(2*t)+4*A[8]*exp(-t)*cos(2*t)-2*A[5]*exp(-2*t)*sin(t)+4*A[2]*exp(-t)+4*A[1]*t*exp(-t)+4*A[3]*exp(-2*t)*cos(t)+4*A[4]*exp(-2*t)*sin(t)+2*A[9]*exp(-t)*cos(2*t)-8*A[9]*t*exp(-t)*sin(2*t)+2*A[10]*exp(-t)*sin(2*t)+8*A[10]*t*exp(-t)*cos(2*t)-2*A[5]*exp(-2*t)*cos(t)+2*A[5]*t*exp(-2*t)*sin(t)-2*A[6]*exp(-2*t)*sin(t)-2*A[6]*t*exp(-2*t)*cos(t)+4*A[5]*t*exp(-2*t)*cos(t)+4*A[6]*t*exp(-2*t)*sin(t) = 3*t*exp(-t)*cos(2*t)-2*t*exp(-2*t)*cos(t):

trial_solution_constants:=[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8], A[9], A[10]]:

>	try timelimit(30,[solve(identity(eq,t),trial_solution_constants) ]); catch: print("OK cought error"); end try;

Error, (in type/trig) too many levels of recursion

Download regression_maple_2025_april_26_2025.mw

Here is the same code in Maple 2024.2 but using windows. No internal error and timeout was cought as expected.

>	restart; interface(version);

>	Physics:-Version();

$`The "Physics Updates" version in the MapleCloud is 1862. 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\`$

>

#17593
eq:=2*A[6]*exp(-2*t)*cos(t)+2*A[3]*exp(-2*t)*sin(t)-2*A[4]*exp(-2*t)*cos(t)-4*A[7]*exp(-t)*sin(2*t)+4*A[8]*exp(-t)*cos(2*t)-2*A[5]*exp(-2*t)*sin(t)+4*A[2]*exp(-t)+4*A[1]*t*exp(-t)+4*A[3]*exp(-2*t)*cos(t)+4*A[4]*exp(-2*t)*sin(t)+2*A[9]*exp(-t)*cos(2*t)-8*A[9]*t*exp(-t)*sin(2*t)+2*A[10]*exp(-t)*sin(2*t)+8*A[10]*t*exp(-t)*cos(2*t)-2*A[5]*exp(-2*t)*cos(t)+2*A[5]*t*exp(-2*t)*sin(t)-2*A[6]*exp(-2*t)*sin(t)-2*A[6]*t*exp(-2*t)*cos(t)+4*A[5]*t*exp(-2*t)*cos(t)+4*A[6]*t*exp(-2*t)*sin(t) = 3*t*exp(-t)*cos(2*t)-2*t*exp(-2*t)*cos(t):

trial_solution_constants:=[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8], A[9], A[10]]:

>	try timelimit(30,[solve(identity(eq,t),trial_solution_constants) ]); catch: print("OK cought error"); end try;

Download no_problem_in_maple_2024_april_26_2025.mw

strange warning message from mint which ...

Asked: nm 11373 Product: Maple 2025

April 25 2025

2 3

everytime I run mint I get hundreds of messages coming from child modules, saying

These names were used as global names but were not declared: A

Where A above is the name of the top level module.

This only shows from commnd line mint, and not from maplemint used in the GUI.

The set I have is

A:=module()
    export module foo_type()
       option object;
       ....
    end module;

     export B := module()  #child module
       .....
     end module;
end module;

In the child module B above, whever I do

o:=Object(A:-foo_type);

mint gives the above warning.

It is clear the name A should not be declared, as the module B is child to it so it can see it.

The workaround is to add global A inside each child module to remove this warning.

But why is this needed?

Here is a worksheet showing maplemint does not show this warning, and below example using command line mint on same exact code, which does

>

restart;

>	interface(version);

>

A:=module()

    export module foo_type()
       option object;
       export name::string:="";
    end module;

    export B := module()
       export step := proc()::A:-foo_type;
       local o::A:-foo_type;
          o:=Object(A:-foo_type);
          o:-name:="x";
          return o;
       end proc;

    end module;

end module;

>	maplemint(A)

Nested Module foo_type() on lines 1 to 2
These exported variables were never used: name::string

Download mint_isse_april_25_2025.mw

Here is A.mpl

A:=module()

    export module foo_type()
       option object;
       export name::string:="";
    end module;

    export B := module()    
       #global A;     why is this needed for mint??
       export step := proc()::A:-foo_type;                 
       local o::A:-foo_type;   
          o:=Object(A:-foo_type);
          o:-name:="x";
          return o;
       end proc;

    end module;
end module;

And now the command

>/home/me/maple2025/bin.X86_64_LINUX/mint A.mpl
    |\^/|      Maple 2025 Diagnostic Program
._|\|   |/|_.  Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2025
 \  MINT   /   All rights reserved. Maple is a trademark of
 <____ ____>   Waterloo Maple Inc.
      |        
Nested Procedure step() on lines 10 to 15
  These names were used as global names but were not declared:  A
Module A() on lines 1 to 18
  These exported variables were never used:  foo_type
>

You see the difference. mint complains that A is not declared.

Is this a bug in mint?

collection of problems in Maple 2025. Lo...

Asked: nm 11373 Product: Maple 2025

April 20 2025

1 2

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);

>	Physics:-Version()

>

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) = lambdaarctan(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)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)^(2m)arctan(x(y))^may^2+x(y)^narctan(x(y))^mby+arctan(x(y))^mc-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)=lambdaarccot(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)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)^(2m)arccot(x(y))^may^2+x(y)^narccot(x(y))^mby+arccot(x(y))^mc-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))xdiff(diff(u(x),x),x)-(-2/(ln(x)-exp(1/x))^2x(1/x+1/x^2exp(1/x))+2/(ln(x)-exp(1/x))+8x^3/(ln(x)-exp(1/x))^2)diff(u(x),x)-4/(ln(x)-exp(1/x))^3x^2(-2x^3+ln(x)-exp(1/x)-2x)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);

>	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;

>

restart;

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

>

restart;

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

>

restart;

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

>

restart;

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

>

restart;

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

>

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;

>

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;

Download collection_of_problems_maple_2024_version.mw

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

Ask a Question

Create a Post

nm

11373 Reputation

20 Badges

MaplePrimes Activity

These are questions asked by nm

why such different result from integrate...

bug report. Maple 2025 server crash on c...

new regression in Maple 2025 found. in s...

strange warning message from mint which ...

collection of problems in Maple 2025. Lo...

Save this setting as your default sorting preference?

Ask a Question

Create a Post

Generating PDF…

Save this setting as your default sorting preference?
Note: You can change your preference any time in your account settings
Don't show this again