literal rational → [numerator, denominator] as machine numbers
(e: Expression)
| 470 | } catch { |
| 471 | // Deadline exceeded (CancellationError): fall back to the |
| 472 | // unsimplified expression — same fail-closed behavior as the leaf cap. |
| 473 | r = e; |
| 474 | } |
| 475 | const ms = Date.now() - t0; |
| 476 | if (ms > 1000 && process.env.RUBI_DEBUG) |
| 477 | console.error(`slow simplify ${ms}ms: ${e.toString().slice(0, 120)}`); |
| 478 | activeCaches?.simplify.set(key, r); |
| 479 | return r; |
| 480 | } |
| 481 |
no test coverage detected