[Rafael-SOWNet]

Adding two fractions inside Simplify goes over their least common denominator, and a factor counts as shared by both denominators only when the two copies are written alike. Two spellings of one factor were read as different factors:

• -1 added deep inside the factor, as in x + 1/(e^(2x) + -1) against x + 1/(e^(2x) - 1);
• the terms of a sum in another order, as in (1 + e^(2x))^6 against (e^(2x) + 1)^2.

Either way the denominators were multiplied together, and each sum after it raised the power again. l'Hôpital's rule on ln(tanh(x) + x^2) / ln(x) at +oo produces both, and simplifying that one quotient took 17 of the limit's 19 seconds. With a symbol in place of e^(2x) it took 54 ms.

A factor is now compared after -1 anywhere in it is written as a subtraction and its terms are put in the canonical order.

ln(tanh(x) + x^2) / ln(x) at +oo	master	This PR
answer	2	2
time	19.8 s	3.3 s

No answer changes. Most of what remains is a second l'Hôpital step whose quotient really does grow. The two new rows in ASumOfFractionsTakesTheLeastCommonDenominatorTest fail on master and pass here. The test does not time the limit, since a wall clock in a test measures the runner.

Measured

• Suite, wrappers, AOT and the harnesses are green; canoncheck and confluence match their baselines.
• limitcheck at DEPTH=3, across 42 seeds against master: no row differs.

Found while tracing a slow limitcheck row; no issue was filed.

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.81%. Comparing base (3c2951c) to head (9aeb264).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2392   +/-   ##
=======================================
  Coverage   86.80%   86.81%           
=======================================
  Files         312      312           
  Lines       69225    69223    -2     
  Branches    20186    20186           
=======================================
  Hits        60094    60094           
+ Misses       4915     4914    -1     
+ Partials     4216     4215    -1     

Flag	Coverage Δ
cpp	37.77% <ø> (ø)
csharp	87.35% <100.00%> (+<0.01%)	⬆️
fsharp	32.97% <ø> (ø)
interactive	40.72% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines	Coverage Δ
Sources/AngouriMath/Functions/SingleQuotient.cs	92.78% <100.00%> (-0.15%)	⬇️

... and 4 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.