Re: [Maxima-discuss] Bug

[Robert D. <rob...@gm...>]

On Sat, Oct 25, 2025 at 10:34 AM Justin Smith
<jus...@gm...> wrote:

> (%i8)    integrate((1+sin(x)^2)/(1+tan(x)),x,0,%pi/6);
> atanh: argument 1 isn't in the domain of atanh.

Thanks, Justin. I've created a bug report:
https://sourceforge.net/p/maxima/bugs/4626/

It appears the problem is coming out of an attempt to look for
discontinuities in the antiderivative. The error appears to be just
this:

solve (tan(x)^2 + 1, x);
 => atanh: argument 1 isn't in the domain of atanh.

which in turn seems to try this:

solve (tan(x) + %i, x);
 => atanh: argument 1 isn't in the domain of atanh.

I find intanalysis = false enables integrate to succeed, by skipping
the discontinuity detection:

integrate((1+sin(x)^2)/(1+tan(x)),x,0,%pi/6), intanalysis = false;

(3*log(1/sqrt(3)+1))/4-(3*log(4/3))/8+%pi/12-sqrt(3)/16+1 /16

which appears to be correct.

best

Robert