Integrate a function of an inverse function of a linear beside its powers under the linear

[Rafael-SOWNet]

Part of #718.

(c e + d e x)^3 (a + b asinh(c + d x))^2 timed out, although x^3 (a + b asinh(x))^2 is answered in half a second, and the first is the second under u = c + d x. This rule reads each power of a multiple of the linear k (c + d x) as (k u)^m, takes the inverse function's argument as u, and asks the integral in u divided by d.

Rubi corpus, against master 67d8e8d (budget 5 s):

	master	this branch
7.1.5:195 (c e+d e x)^3 (a+b asinh(c+d x))^2	timeout	620 ms
7.1.5:205 … ^3	timeout	415 ms
7.1.5:214 … ^4	timeout	656 ms
7.2.5:195 (c e+d e x) (a+b acosh(c+d x))^4	timeout	95 ms

Nothing else moves:

• Family 0 is run whole and families 1–8 sampled. The 2,151-row pocket has no losses and no new wrong answers.
• 7.2.4:599 moved in the sampled run, but run alone it is solved on both arms in about 22 s.
• The allocation gate and the suite pass.

2.5.0 leaves all four unsolved. They are recorded in BREAKING-CHANGES with their sizes, 3,574 to 9,539 characters.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura