[Rafael-SOWNet]

A performance regression, with no change to any answer. limitcheck found it on SEED=16, where it gives each limit five seconds. No issue was filed.

ln(x - 1) / ln(ln(x)) at 1	2.6.0	master	now
from the left	1, 14 ms	1, 11.9 s	1, 191 ms
from the right	1, 5.5 s	1, 6.1 s	1, 40 ms
two-sided		1, 15.7 s	1, 59 ms

Bisected to #2275, which made LogarithmDiverges read a finite limit by its value. That was right: both logarithms here diverge, so SolveAsLogarithmDivision applies, and the left side now reaches it. The rule takes the limit of the ratio of the logarithmic derivatives, and it asked that as a quotient of quotients, (u'/u) / (v'/v). Here that is (1/(x - 1)) / ((1/x) / ln(x)), whose limit took 8.7 s, while x ln(x) / (x - 1), the same function, takes 26 ms. The ratio is now asked as the single quotient u' v / (u v'), which is the shape the other limit rules read.

limitcheck on seeds 14–16 finds no limit of another value and no new NaN, and the two limits that did not finish now agree with the values. The 706 limit tests pass.

Tests: AQuotientOfLogarithmsIsAskedAsOneQuotientTest, 5 limits that must be 1, each under a 4 s cap. That is 20 times the fixed time and a third of master's, so it measures the code and not the runner. All 5 fail on master by the cap. The full suite, AOT and the nine harnesses pass. No answer changes, so there is no BREAKING-CHANGES entry.

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.76%. Comparing base (5a665c6) to head (e170ed6).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2354   +/-   ##
=======================================
  Coverage   86.75%   86.76%           
=======================================
  Files         312      312           
  Lines       68754    68753    -1     
  Branches    20025    20025           
=======================================
+ Hits        59650    59656    +6     
+ Misses       4920     4912    -8     
- Partials     4184     4185    +1     

Flag	Coverage Δ
cpp	37.77% <ø> (ø)
csharp	87.31% <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 Δ
...nctions/Continuous/Limits/Solvers/Limit.Solvers.cs	86.57% <100.00%> (-0.09%)	⬇️

... and 9 files with indirect coverage changes

🚀 New features to boost your workflow:

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