Repository navigation
we need more integral solvers #233
Description
Activity
- added 4 commits that reference this issue
on Aug 4, 2026 Three of the five are done. Measured on
masterata45a7256, each verified by differentiating the answer back rather than by eye.integrand today check cos(x^2)*xsin(x^2) / 2 + Cd/dx matches sin(x)*e^xe^x * (sin(x) - cos(x)) / 2 + Cd/dx matches 1/(a^2 + x^2)a piecewiseon the sign ofa^2, witharctan(x / sqrt(a^2)) / sqrt(a^2) + Con the positive branchcorrect — see below x^2 / (x^4 + 1)unevaluated — sqrt(tan(x))unevaluated — So the substitution case, the by-parts-and-solve-the-equation case, and the arctan standard integral are all answered. The two left are the two the body itself flags as hardest — partial fractioning over an irreducible quartic, and
sqrt(tan(x)), which it calls "very painful, requires different solvers". Both are also the twocasbenchreports unsolved, so this agrees with the corpus.On the arctan one, a correction to my own first reading. Differentiating it back and simplifying does not reduce to zero, and I nearly reported that as a wrong answer. It is not — the
piecewisecarries branch conditions that block symbolic cancellation. Checked numerically instead:a x d/dx of the antiderivative integrand difference 2 1 1/51/503 -2 1/131/1301 0.5 4/54/505 4 1/411/410Worth recording because it will catch the next person too: an antiderivative that comes back as a
Piecewisecannot be verified by simplifyingd/dx F - fto zero, and a harness that does so will report a false defect.Suggest ticking the three and leaving this open for the remaining two.
7 remaining items
- added 2 commits that reference this issue
on Sep 30, 2026 - added sub-issues
on Oct 5, 2026
There are a lot of stuff to do, but to begin with, I will put some unsolvable by AM integrals here:
cos(x^2)*xvariable substitution method, WolframAlphasin(x)*e^xintegrating by parts and solving integral equation, WolframAlpha1/(a^2 + x^2)standard integral for arctan, WolframAlphax^2 / (x^4 + 1)partial fractioning WolframAlphasqrt(tan(x))very painful, requires different solvers, WolframAlphaI do not mention special integrals here, like
e^(x^2)or1/ln(x)