| 18× | intervals |
| 49.9s | 32422× | body | 10240 | exit |
| 7.0s | 3448× | body | 2560 | valid |
| 5.4s | 38059× | body | 80 | nan |
| 5.0s | 37189× | body | 80 | valid |
| 5.0s | 4973× | body | 1280 | valid |
| 1.5s | 2902× | body | 640 | valid |
| 754.0ms | 8356× | pre | 80 | true |
| 591.0ms | 1531× | body | 320 | valid |
| 209.0ms | 744× | body | 160 | valid |
| 101.0ms | 73× | body | 1280 | nan |
| 51.0ms | 43× | body | 2560 | nan |
| 32.0ms | 19× | body | 5120 | valid |
| 24.0ms | 10× | body | 5120 | nan |
| 15.0ms | 26× | body | 640 | nan |
| 14.0ms | 24× | body | 320 | nan |
| 3.0ms | 12× | body | 160 | nan |
48 calls:
| 2.2s | (sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U))))))))) |
| 2.0s | (sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U)))))))) |
| 1.5s | (sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (* n (/ 1 (/ Om l))) (- U* U))))))))) |
| 579.0ms | (cbrt (log1p a)) |
| 517.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U))))))) |
Total 10.5b remaining (5.8%)
Threshold costs 0.4b (0.2%)
| 8.3b | 25.6% | Toniolo and Linder, Equation (13) |
| 1.8b | 0% | Random Jason Timeout Test 004 |
| 0.4b | 0% | Random Jason Timeout Test 012 |
| 15× | rewrite-expression-head |
48 calls:
| 61.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U))))))) |
| 60.0ms | (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U)))))))) |
| 54.0ms | (sqrt (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ n (/ Om l)) (- U* U))))))))) |
| 50.0ms | (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (* n (/ 1 (/ Om l))) (- U* U)))))))) |
| 49.0ms | (* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (* n (/ 1 (/ Om l))) (- U* U)))))))) |
| 457× | times-frac |
| 390× | add-sqr-sqrt |
| 348× | *-un-lft-identity |
| 312× | add-cube-cbrt |
| 223× | add-exp-log |
| 163× | add-cbrt-cube |
| 153× | pow1 |
| 112× | associate-*r* |
| 106× | associate-*l* |
| 88× | distribute-lft-in distribute-rgt-in |
| 82× | prod-exp |
| 62× | pow-prod-down |
| 54× | associate-*r/ |
| 52× | cbrt-unprod |
| 48× | add-log-exp insert-posit16 |
| 41× | div-exp |
| 36× | sub-neg |
| 31× | associate-/r* |
| 27× | div-inv cbrt-prod |
| 25× | cbrt-undiv |
| 19× | flip3-- flip-- |
| 16× | distribute-lft-out-- unswap-sqr difference-of-squares |
| 13× | sqrt-pow1 |
| 12× | frac-times log-pow |
| 11× | associate-/l* unpow-prod-down |
| 10× | *-commutative |
| 9× | exp-prod pow1/3 pow-unpow |
| 8× | un-div-inv 1-exp associate-/r/ rec-exp |
| 6× | sqrt-div log-prod associate-*l/ pow-exp pow-pow |
| 3× | pow1/2 frac-2neg sqr-pow clear-num pow-to-exp sqrt-prod |
| 2× | rem-log-exp sinh-def associate-/l/ acos-asin |
| 1× | div-sub unpow1/2 |