Repository navigation
Flatten a whole power of a constant times an exponential - #1942
Merged
Rafael-SOWNet merged 1 commit intoOct 19, 2026
Merged
Conversation
`(-e^(-b x))^2` is `e^(-2 b x)`, and nothing read it as one: the expansion of `sinh(a + b x)^3 sinh(c + d x)^3` writes eight such products and the integral stopped there, where 2.5.0 answered it by parts. `SolveByFlatteningAPowerOfAnExponential` now distributes a whole power over a constant times an exponential, `(k E)^n = k^n E^n`, which holds for any constant k when n is whole. Rubi 6.7.1 row 195 answers again, and rows 327, 347, 365 and 366, which timed out, answer in 80-210 ms. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
2.6.0 lost
∫ sinh(a + b x)^3 sinh(c + d x)^3 dx(Rubi 6.7.1, row 195), which 2.5.0 answered. Bisected to #1287. The expansion writes products such as(-e^(-b x))^2 (-e^(-d x))^2, and no route read(-e^(-b x))^2ase^(-2 b x).SolveByFlatteningAPowerOfAnExponentialnow also distributes a whole power over a constant times an exponential:(k E)^n = k^n E^n. This holds for every constant k when n is whole.Measured
These runs compare against master da06bac. Each one is in a separate process.
Every row that moved was re-run alone:
(c + d x)^3 (a + i a sinh(e + f x))^2was solved on master. The harness now reports it as unverifiable, because the answer contains both e^(2fx) and e^(−2fx), so every sample point overflows 1e45. An exact check (pins a, c, d, e, f = 21/10, 19/10, 17/10, 13/10, 23/10 at x = 0.57, 1.29, −3, 7 and −20, to 2000 digits) agrees to the last digit. The answer is also shorter: master's answer carried1/(1 - (E - 1)/(E + 1))andln(e^(…)).1/((c + d x)(a + i a cot(e + f x))^3)was unsolved on master and now answers. The harness cannot verify it, and the exact check at four points agrees to 2000 digits.The performance gate passed. The unit suite passed: 15,583 tests, 0 failed.
The new test,
AWholePowerOfAMultipleOfAnExponentialIntegralTest, checks five integrands by differentiating each answer back.No BREAKING-CHANGES entry is needed: 2.5.0 answered row 195, and the other rows had no answer in 2.5.0.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura