Repository navigation
Read a power of a multiple of the exponent as that multiple times a power of u - #2020
Merged
Rafael-SOWNet merged 1 commit intoOct 21, 2026
Merged
Conversation
…ower of u The rule that reads an exponential's exponent P as the variable, beside its derivative, wrote P as u only where it stood as written. Taking the leading coefficient's power out of a power below the bar hands on e^P P'/(P/c)^k, where P/c is another polynomial, so e^(a + b x + c x^2) (b + 2 c x)/(a + b x + c x^2)^3 went on to the ansatz and ran out of time, where it is e^u/u^3. A polynomial equal to k P coefficient by coefficient is now read as k u, and a whole power of one as the power of k times the power of u. Rubi's 2.3: the cube, past 60 s on master f7f2a7a, is answered in 27 ms (197 characters); the square, 14.4 s and 9.9 GB there, takes 0.3 s and 7 MB (114 characters, carrying a factor that is 1). 2.5.0 declined both. Of the other 21 rows the branch's chain moved against 4877ed2, 17 answer identically on master f7f2a7a and here, and 4 are declined or past 20 s on both: #2005 and #2012 have since written the other mechanisms this branch had, and those are not part of it any more. Part of #233. 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.
Part of #233.
The rule that reads an exponential's exponent
Pas the variable, beside its derivative, wrotePasuonly where it stood as written. But taking the leading coefficient's power out of a power below the bar hands it on ase^P P'/(P/c)^k, whereP/cis another polynomial. Soe^(a + b x + c x^2) (b + 2 c x)/(a + b x + c x^2)^3went on to the ansatz and ran out of time, although it ise^u/u^3.Now a polynomial equal to
k Pcoefficient by coefficient is read ask u, and a whole power of one as the power ofktimes the power ofu.e^(a+b*x+c*x^2)*(b+2*c*x)/(a+b*x+c*x^2)^3e^(a+b*x+c*x^2)*(b+2*c*x)/(a+b*x+c*x^2)^2The square's 114 characters carry a factor
(1/c)^(-2)/c^2, which is 1. Both answers differentiate back.History, and what was cut. The branch was written on 4877ed2 and chained against it:
Since then #2005 and #2012 have written the branch's other mechanisms independently:
(c x^k)^mwritten asK x^(k m);(ln(a x^n)^2)^p/x.On master f7f2a7a, 17 of the other 21 rows the branch moved answer identically with and without them, and 4 are declined or past 20 s on both. So those rules and their three test classes are removed. In the rebase the copy of #2005's helper took master's side, and the branch's own test of that shape passed against it.
743 tests pass locally: this rule's test, the exponential tests and the corpus gate.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura