Skip to content

Commit 8923688

Browse files
Rafael-SOWNetclaude
andcommitted
Integrate a power of x that is not whole beside binomials in a power of it, and thirteen more algebraic shapes
Fourteen shapes of Rubi's family 1 and the Welz suite, each listed with its rule and an example in the BREAKING-CHANGES entry: among them a half-odd power of x beside binomials in x^2, a rational function of a quadratic beside a half-odd power of it under t = Q'/sqrt(Q), two equal half-odd powers of linears beside a power of a quadratic as one power of their product, cube roots of two linears whose product is a quadratic, and a power below -1 of a cube root of a binomial divided out first. Chain against master f7f2a7a: pocket of 988 rows, 923 -> 954 solved, 0 wrong; family 0 whole 1,805 -> 1,807 and family 1's sample 1,375 -> 1,376, the other samples unchanged; the 33 rows that moved, alone, 1 -> 33 solved, each within 1.1 s; 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
1 parent f7f2a7a commit 8923688

18 files changed

Lines changed: 2183 additions & 53 deletions

‎BREAKING-CHANGES.md‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2732,6 +2732,54 @@ biquadratic that the rule above makes, and the terms in `1/(x^2 - r)^j` go by th
27322732
| `"sqrt(c + d*tan(x))/(a + b*tan(x))^2".ToEntity().Integrate("x")` | `integral(...)`; 40,540 characters on the unreleased master | 1,465 characters |
27332733
| `"(c + d*tan(x))^(3/2)/(a + b*tan(x))^3".ToEntity().Integrate("x")` | `integral(...)`; 71,293 characters on the unreleased master | 2,786 characters |
27342734

2735+
### A power of x that is not whole beside binomials in a power of it, and thirteen more algebraic shapes, are integrated
2736+
2737+
**Answers where there were none.** Forty-one of Rubi's algebraic integrands were declined or ran out of time
2738+
([#233](https://github.com/asc-community/AngouriMath/issues/233)):
2739+
- `x^q R(x^n)`, `q` not whole and `R` over whole powers of two binomials in `x^n`, split into partial fractions in
2740+
`w = x^n` with `x^r` kept beside each term: `x^(9/2)/((a + b x^2)(c + d x^2)^2)` is `sqrt(x)` times
2741+
`w^2/((a + b w)(c + d w)^2)` written apart, three binomial differentials.
2742+
- `x^q P(x^n) (a + b x^n)^p`, and the same over a trinomial in `x^n`, for a whole `p ≤ -2`, by the reduction that
2743+
raises `p` to `-1`: `1/(x^(3/2) (a + c x^4)^2)`, `1/(x^(3/2) (a + b x^2 + c x^4)^2)`.
2744+
- `R(Q) Q^(k/2)` for a quadratic `Q`, under `t = Q'/sqrt(Q)`, where `Q = D/(4 c - t^2)` and `dx/sqrt(Q) = 2 dt/(4 c - t^2)`
2745+
with `D = 4 a c - b^2`: `1/((d + b x + c x^2)^3 sqrt(a + b x + c x^2))`.
2746+
- A linear below the cube roots of two linears whose product is a quadratic, read as the cube root of the quadratic:
2747+
`1/((a + b x)(c + d x)^(1/3)(b c + a d + 2 b d x)^(1/3))`. Two equal half-odd powers of linears beside a power of a
2748+
quadratic, read as one power of their product: `1/((a + b x + c x^2)^2 sqrt(1 - d x) sqrt(1 + d x))`.
2749+
- A linear over a linear beside the reciprocal root of an even quartic, at the coefficients where the integral is an
2750+
inverse hyperbolic tangent or an arctangent of `N^2/(q sqrt(P))`:
2751+
`(1 + x - sqrt(3))/((1 + x + sqrt(3)) sqrt(-4 + x^4 + 4 sqrt(3) x^2))`.
2752+
- A rational function beside the reciprocal root of a palindromic quartic, in `u = x + 1/x`:
2753+
`(k f - k f x^2)/((a d + b d x + a d x^2) sqrt(a + b x + c x^2 + b x^3 + a x^4))`.
2754+
- `P(x) (a + b x)^m (c + d x)^n` with `m + n = -1`, by the reduction that leaves the two powers alone:
2755+
`(k + f x)^3/((a + b x)^(1/3)(c + d x)^(2/3))`.
2756+
- A rational function with symbols in it beside a half-odd power of a quadratic, split first over the factors below
2757+
the bar as written: `(a + b x + c x^2)^(3/2)/((d + k x)(f + g x)^2)`.
2758+
- A scaling of the variable that leaves numbers only, `x = (c/d) y`: `1/((c + d x)(2 c^3 + d^3 x^3)^(1/3))`.
2759+
- A power below `-1` of an odd root of a binomial in `x^n`, beside another binomial, divided by the root first:
2760+
`1/(x^9 (a + b x^3)^(4/3)(c + d x^3))`.
2761+
- A product under a nested root written out: `sqrt(x (a x + b sqrt(-a/b^2 + a^2 x^2/b^2)))/(x sqrt(-a/b^2 + a^2 x^2/b^2))`.
2762+
- A sum whose terms share a power of one polynomial that is not whole, written as that power times the rest:
2763+
`(1 - x^6)^(2/3) + (1 - x^6)^(2/3)/x^6` is `-(1 - x^6)^(5/3)/(5 x^5)` differentiated.
2764+
2765+
The depth of nested questions is sixteen where it was twelve. Twenty-three of 1.1.2.4's
2766+
`x^(k/2)/((a + b x^2)^j (c + d x^2)^l)`, which 2.5.0 declined and the unreleased master answered, change form:
2767+
`x^(7/2)/((a + b x^2)(c + d x^2)^2)` is 799 characters there and 1,246 here, and
2768+
`1/(x^(3/2) (a + b x^2)(c + d x^2)^2)` is 1,577 there and 1,367 here.
2769+
2770+
| Input | Was (2.5.0) | Now |
2771+
|---|---|---|
2772+
| `"x^(9/2)/((a + b*x^2)*(c + d*x^2)^2)".ToEntity().Integrate("x")` | `integral(...)` | 1,313 characters |
2773+
| `"1/(x^(3/2)*(a + c*x^4)^2)".ToEntity().Integrate("x")` | `integral(...)` | 1,237 characters |
2774+
| `"1/((d + b*x + c*x^2)^3*sqrt(a + b*x + c*x^2))".ToEntity().Integrate("x")` | `integral(...)` | 4,428 characters |
2775+
| `"1/((a + b*x)*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3))".ToEntity().Integrate("x")` | `integral(...)` | 1,120 characters |
2776+
| `"(1 + x - sqrt(3))/((1 + x + sqrt(3))*sqrt(-4 + x^4 + 4*x^2*sqrt(3)))".ToEntity().Integrate("x")` | `integral(...)` | 241 characters |
2777+
| `"(k*f - k*f*x^2)/((a*d + b*d*x + a*d*x^2)*sqrt(a + b*x + c*x^2 + b*x^3 + a*x^4))".ToEntity().Integrate("x")` | `integral(...)` | 1,460 characters |
2778+
| `"(k + f*x)^3/((a + b*x)^(1/3)*(c + d*x)^(2/3))".ToEntity().Integrate("x")` | `integral(...)` | 1,413 characters |
2779+
| `"1/((c + d*x)*(2*c^3 + d^3*x^3)^(1/3))".ToEntity().Integrate("x")` | `integral(...)` | 754 characters |
2780+
| `"1/(x^9*(a + b*x^3)^(4/3)*(c + d*x^3))".ToEntity().Integrate("x")` | `integral(...)` | 3,205 characters |
2781+
| `"x^(7/2)/((a+b*x^2)*(c+d*x^2)^2)".ToEntity().Integrate("x")` | `integral(...)` | 1,246 characters, where the unreleased master gives 799 |
2782+
27352783
### A quotient in `x^2` over a power of `x` and a biquadratic is split in `x^2`
27362784

27372785
**Shorter answers, sooner.** `cot(x)^(13/2) (a + b tan(x))^(5/2) (A + B tan(x))` was declined in 2.5.0

0 commit comments

Comments
 (0)