| 21× | intervals |
| 1.3m | 38373× | body | 10240 | exit |
| 14.0s | 7462× | body | 1280 | valid |
| 11.3s | 57470× | body | 80 | nan |
| 10.9s | 56666× | body | 80 | valid |
| 9.3s | 3509× | body | 2560 | valid |
| 5.0s | 4498× | body | 640 | valid |
| 1.5s | 2303× | body | 320 | valid |
| 490.0ms | 1167× | body | 160 | valid |
| 340.0ms | 24× | body | 1280 | nan |
| 294.0ms | 8356× | pre | 80 | true |
| 75.0ms | 24× | body | 5120 | valid |
| 38.0ms | 37× | body | 2560 | nan |
| 16.0ms | 6× | body | 5120 | nan |
| 6.0ms | 13× | body | 640 | nan |
| 3.0ms | 8× | body | 320 | nan |
| 2.0ms | 8× | body | 160 | nan |
93 calls:
| 2.5s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 2.5s | (sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))))) |
| 2.4s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 710.0ms | (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 707.0ms | (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
Total 10.2b remaining (4.8%)
Threshold costs 0.7b (0.3%)
| 7.4b | -6.1% | Toniolo and Linder, Equation (13) |
| 2.2b | 0% | Random Jason Timeout Test 006 |
| 0.4b | 0% | Random Jason Timeout Test 012 |
| 0.2b | 0% | Random Jason Timeout Test 004 |
| 0.0b | 0% | Random Jason Timeout Test 003 |
| 29× | rewrite-expression-head |
93 calls:
| 119.0ms | (sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))))) |
| 46.0ms | (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) |
| 38.0ms | (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) |
| 38.0ms | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 38.0ms | (* (* U 2) (* n (fma (- U* U) (/ (* (* (/ (* (cbrt n) (cbrt l)) (cbrt Om)) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ (* (cbrt n) (cbrt l)) (cbrt Om))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) |
| 354× | add-sqr-sqrt |
| 329× | pow1 |
| 311× | *-un-lft-identity |
| 275× | add-cube-cbrt |
| 181× | add-exp-log |
| 177× | sqrt-prod |
| 171× | add-cbrt-cube |
| 100× | times-frac |
| 94× | log1p-expm1-u |
| 93× | add-log-exp expm1-log1p-u insert-posit16 |
| 91× | unpow-prod-up |
| 78× | unpow-prod-down |
| 72× | prod-diff |
| 65× | pow-prod-down sqrt-pow1 |
| 44× | cbrt-unprod prod-exp |
| 40× | pow-prod-up |
| 38× | pow-unpow |
| 37× | pow-plus |
| 35× | pow1/2 |
| 33× | associate-*r* |
| 30× | rem-sqrt-square |
| 28× | pow-pow |
| 23× | associate-*l* |
| 21× | fma-udef |
| 18× | log-prod distribute-lft-out-- difference-of-squares associate-/r* |
| 14× | pow-sqr pow1/3 distribute-lft-in distribute-rgt-in |
| 13× | pow2 *-commutative |
| 12× | log-pow sqr-pow |
| 10× | exp-prod unswap-sqr pow-exp |
| 8× | associate-/l* sub-neg pow-to-exp pow-sub |
| 7× | pow3 |
| 6× | sqrt-pow2 div-inv cbrt-prod |
| 4× | rem-log-exp div-exp cbrt-undiv |
| 3× | associate-/r/ exp-sum swap-sqr |
| 2× | sinh-def associate-/l/ flip3-- flip-- frac-2neg sqrt-div expm1-udef acos-asin clear-num e-exp-1 |
| 1× | div-sub expm1-log1p rem-exp-log rem-cbrt-cube sin-diff |