| 21× | intervals |
| 1.3m | 39324× | body | 10240 | exit |
| 13.5s | 7174× | body | 1280 | valid |
| 13.3s | 58209× | body | 80 | nan |
| 10.3s | 56625× | body | 80 | valid |
| 8.6s | 3416× | body | 2560 | valid |
| 5.2s | 4771× | body | 640 | valid |
| 2.0s | 2289× | body | 320 | valid |
| 927.0ms | 1251× | body | 160 | valid |
| 305.0ms | 8356× | pre | 80 | true |
| 70.0ms | 23× | body | 5120 | valid |
| 31.0ms | 27× | body | 2560 | nan |
| 22.0ms | 7× | body | 5120 | nan |
| 12.0ms | 22× | body | 1280 | nan |
| 5.0ms | 11× | body | 640 | nan |
| 5.0ms | 12× | body | 320 | nan |
| 2.0ms | 8× | body | 160 | nan |
89 calls:
| 2.8s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 2.5s | (sqrt (* (* U 2) (* (* (cbrt n) (cbrt n)) (* (cbrt n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))) |
| 2.5s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 2.5s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 2.4s | (sqrt (* (* U 2) (* n (fma (- U* U) (/ (* (* (cbrt l) (cbrt l)) (/ n (/ Om (cbrt l)))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
Total 10.0b remaining (4.7%)
Threshold costs 0.5b (0.2%)
| 5.5b | 40.3% | Toniolo and Linder, Equation (13) |
| 2.2b | 0% | Random Jason Timeout Test 006 |
| 1.9b | 0% | Random Jason Timeout Test 004 |
| 0.4b | 0% | Random Jason Timeout Test 012 |
| 0.0b | 0% | Random Jason Timeout Test 003 |
| 27× | rewrite-expression-head |
89 calls:
| 157.0ms | (* (* U 2) (* (* (cbrt n) (cbrt n)) (* (cbrt n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) |
| 147.0ms | (* (* (* (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (atan2 (expm1 (sin (expm1 a))) (atan a))) |
| 134.0ms | (sqrt (* (* U 2) (* (* (cbrt n) (cbrt n)) (* (cbrt n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))) |
| 122.0ms | (* (* (* (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (atan2 (expm1 (sin (expm1 a))) (atan a))) |
| 101.0ms | (cbrt (* (* (* (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) |
| 665× | add-sqr-sqrt |
| 532× | *-un-lft-identity |
| 496× | add-cube-cbrt |
| 400× | times-frac |
| 354× | pow1 |
| 282× | sqrt-prod |
| 240× | add-exp-log |
| 210× | unpow-prod-down |
| 192× | add-cbrt-cube |
| 162× | unpow-prod-up |
| 139× | pow-prod-down |
| 126× | prod-diff |
| 90× | expm1-log1p-u log1p-expm1-u |
| 89× | add-log-exp insert-posit16 |
| 84× | sqrt-pow1 |
| 83× | prod-exp |
| 71× | swap-sqr |
| 70× | associate-/r* associate-*r* |
| 67× | cbrt-unprod |
| 64× | associate-*l* |
| 57× | unswap-sqr |
| 38× | pow1/2 |
| 35× | cbrt-prod |
| 34× | sqr-pow |
| 30× | pow-unpow pow-pow |
| 26× | div-inv |
| 21× | distribute-rgt-in distribute-lft-in |
| 20× | rem-sqrt-square associate-/l* |
| 19× | fma-udef |
| 18× | pow-to-exp difference-of-squares sub-neg distribute-lft-out-- pow-exp |
| 17× | pow1/3 |
| 16× | div-exp cbrt-undiv |
| 14× | pow-sub |
| 11× | pow-prod-up *-commutative |
| 8× | log-pow pow-plus |
| 7× | associate-/r/ pow-sqr |
| 6× | log-prod frac-2neg pow2 exp-prod clear-num sqrt-pow2 |
| 2× | frac-times associate-/l/ pow3 flip3-- flip-- associate-*r/ rem-log-exp acos-asin associate-*l/ |
| 1× | expm1-log1p expm1-udef div-sub log1p-expm1 log1p-udef rem-cbrt-cube |