Repository navigation
Integrate four inverse-hyperbolic shapes - #2028
Merged
Rafael-SOWNet merged 1 commit intoOct 21, 2026
Merged
Conversation
… even quadratic, x^m arsech or arcsch of sqrt(x), a polynomial over a power of the linear of an artanh, and arcoth as artanh plus a constant - An inverse hyperbolic function over a half-odd power of an even quadratic, by parts against it. - A power of x times the arsech or arcsch of sqrt(x), by parts. - A polynomial over a power of the linear of an artanh, written in powers of the linear. - An arcoth of a linear as its artanh plus a constant, last of all, so that every arcoth answered as written keeps that answer. Chain against master f7f2a7a: pocket of 1,509 rows, 1,498 -> 1,501 solved, 0 wrong; samples unchanged; the 3 rows that moved, alone, 0 -> 3 solved: Rubi's 7.3.4:133 and 639 and 7.4.1:74. Where master answers the same integrands it writes them longer: atanh(a x)/(c + d x^2)^(3/2) is 4,645 characters there and 1,034 here, acosh(a x)/(c + d x^2)^(9/2) 9,652 and 2,409. No row's allocation grew past 1.3x. 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.
Four shapes of Rubi's family 7, one test class and one BREAKING-CHANGES entry each:
sqrt(x), by parts.acoth(x)^2/(1 - x^2)^2is(atanh(x) + K)^2/(1 - x^2)^2withK = acoth(x) - atanh(x), which is constant where it is continuous.Chain against master f7f2a7a, with the harness at its current revision on both arms:
x (a + b atanh(c x))^2/(d + c d x)^3, 7.3.4:639 and 7.4.1:74,acoth(x)^2/(1 - x^2)^2;Where master already answers these integrands, it writes them longer:
atanh(a*x)/(c+d*x^2)^(3/2)atanh(a*x)/(c+d*x^2)^(9/2)acosh(a*x)/(c+d*x^2)^(9/2)(a+b*asinh(c*x))/(d+k*x^2)^(7/2)x^3*asech(sqrt(x))31 tests pass locally across the four classes and the corpus gate.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura