[Rafael-SOWNet]

Part of #233.

Seven shapes of Rubi's family 4, one test class and one BREAKING-CHANGES entry each:

1. An even power of a cosine over a power of a + b sin, reduced in the power of the binomial.
2. An odd power of a tangent beside a root of a + b sin^2, under v = sin^2.
3. From the twelfth power, a power of a tangent over a power of a + a sec, cancelled.
4. A root of 1 - cos beside another root, under the cosine.
5. Roots that are a constant times a power of x, taken out as that constant.
6. A power of a secant over a power of a cos + b sin, written in powers of a + b tan.
7. An odd power of a sine over a power of a + b tan^2, under the cosine with a - b named.

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

• pocket of 1,267 rows: 1,250 → 1,259 solved, 0 wrong;
• samples of families 0–8: unchanged;
• no row's allocation grew past 1.3×.

The ten rows that moved, alone: 2 → 9 solved.

row	master f7f2a7a	this
4.1.1.2:512, 513	past the budget	0.55 s, 0.18 s
4.1.1.2:516	16.3 s, 13.1 GB	0.24 s, 0.01 GB
4.1.7:671, 4.3.7:108	past the budget	0.4 s, 0.27 s
4.2.2.1:897, 898, 4.7.7:51	declined	53–379 ms
4.3.7:470	declined	declined

The entries' "Now" lengths are re-measured on this build after the rebase. 40 tests pass locally across the seven classes and the corpus gate.

Rebased onto 47ab958. Master's two-roots-as-one rule now comes before this branch's rule for constant roots, in the dispatcher; both are kept. All nine rows still answer on the rebased build, and the BREAKING-CHANGES lengths still match it. The full suite passes locally: 16463 passed, 0 failed. This overlaps with #2031 on sqrt(1 - cos(x))/sqrt(a - cos(x)), and whichever merges second gets its entry re-measured.

After #2031 merged. sqrt(1 - cos(x))/sqrt(a - cos(x)) is answered first by this branch's rule, in 98 characters where #2031's route writes 70. Both answers are right. The rule runs early because the quotient form sqrt((1 - cos(x))/(a - cos(x))) ran out of time before any later route reached it, so the order stays as it is, and this commit updates #2031's row to 98.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura