[Rafael-SOWNet]

Part of #233.

Four shapes, one test class and one BREAKING-CHANGES entry each:

1. Two powers of exponentials with one logarithmic derivative, read as multiples of one exponential. Rubi's 2.3:28, (a + b (F^(e (c + d x)))^n)^p (G^(h (f + g x)))^(d e n ln F/(g h ln G)).
2. A polynomial over a power of a linear beside a + b ln(c x^n), by parts against its antiderivative vanishing at zero: 3.1.4:78.
3. A root over the root of the quartic inside it, beside a power of a linear, split over the quartic's factors: 1.3.2:1224 and 1225.
4. A linear over the root of a quartic whose symbols are a scale of x, in the scaled variable: 1.3.2:1358.

Chain against master f7f2a7a, with the harness at its current revision on both arms:

• pocket of 664 rows: 630 → 635 solved, 0 wrong;
• samples: unchanged, except family 3's, 222 → 223;
• no row's allocation grew past 1.3×.

The five rows that moved, alone:

row	master f7f2a7a	this
2.3:28	declined after 21.9 s, 12.7 GB	0.16 s
3.1.4:78	22.9 s, 26.7 GB	0.15 s, 0.04 GB
1.3.2:1224, 1225, 1358	declined	0.3–0.7 s

The entries' "Now" lengths are re-measured on this build after the rebase; several came out shorter than when the branch was written. 28 tests pass locally across the four classes and the corpus gate.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura