2310 calls:
| 13.8s | (* (/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y)))) (/ (sqrt (- x y)) (- (sqrt 2.0) (sqrt (+ x y))))) |
| 4.8s | (pow (sqrt (cbrt (* (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))) (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t))))))) 4) |
| 4.5s | (/ (fma (/ y t) z x) (* (cbrt (+ (fma (/ y t) b a) 1.0)) (cbrt (+ (fma (/ y t) b a) 1.0)))) |
| 3.2s | (fma (* (/ 1 (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (/ (/ y (fabs (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (sqrt (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x) |
| 2.4s | (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (* (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)) 3.0)) |
| 537× | intervals |
| 3.1m | 2577005× | body | 80 | valid |
| 1.0m | 507359× | body | 80 | nan |
| 41.9s | 46999× | body | 1280 | valid |
| 23.9s | 42558× | body | 640 | valid |
| 8.9s | 24687× | body | 320 | valid |
| 7.9s | 5431× | body | 2560 | valid |
| 4.4s | 13738× | body | 160 | valid |
| 2.0s | 1498× | body | 10240 | exit |
| 200.0ms | 688× | body | 640 | nan |
| 171.0ms | 475× | body | 1280 | nan |
| 124.0ms | 414× | body | 320 | nan |
| 111.0ms | 39× | body | 5120 | valid |
| 28.0ms | 212× | body | 160 | nan |
| 868× | rewrite-expression-head |
2314 calls:
| 6.8s | (log (+ (- (pow (cbrt 1.0) 3) (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (+ (/ (- x y) (pow (cbrt (- 1.0 y)) 3)) (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3)))))) |
| 1.6s | (/ (/ (/ (/ (sqrt 1.0) 1) 1) (/ (fma z z 1.0) (/ (sqrt 1.0) x))) y) |
| 966.0ms | (* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y)))) |
| 887.0ms | (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (+ (- (/ 1.0 (* x 9.0)) 1.0) y)))) |
| 578.0ms | (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) |
| 264162× | times-frac |
| 132805× | *-un-lft-identity |
| 130831× | add-sqr-sqrt |
| 117050× | add-cube-cbrt |
| 34864× | sqrt-prod |
| 13521× | prod-diff |
| 9899× | add-exp-log |
| 8007× | cbrt-prod |
| 7669× | associate-/l* |
| 7542× | add-cbrt-cube |
| 7501× | div-inv |
| 5738× | pow1 |
| 5359× | associate-*r* |
| 5326× | difference-of-squares |
| 5051× | distribute-lft-out-- |
| 4332× | associate-/r* |
| 3482× | unpow-prod-down |
| 3430× | associate-*l* |
| 3043× | add-log-exp |
| 2999× | distribute-lft-out |
| 2791× | cube-prod |
| 2752× | div-exp |
| 2614× | distribute-rgt-in distribute-lft-in |
| 2516× | prod-exp |
| 2350× | associate-/r/ |
| 2319× | expm1-log1p-u |
| 2318× | log1p-expm1-u |
| 2048× | distribute-rgt-neg-in |
| 2044× | distribute-lft-neg-in |
| 1966× | cbrt-unprod |
| 1644× | cbrt-undiv |
| 1487× | pow-prod-down |
| 1381× | flip-- flip3-- |
| 1258× | unswap-sqr |
| 1085× | log-prod |
| 986× | fma-def |
| 900× | fma-neg |
| 863× | associate-*l/ |
| 839× | associate--l+ |
| 819× | pow1/3 |
| 788× | flip-+ flip3-+ |
| 767× | associate-*r/ |
| 741× | cbrt-div |
| 720× | swap-sqr |
| 686× | associate-+l+ |
| 672× | sqr-pow |
| 599× | *-commutative |
| 534× | neg-mul-1 |
| 527× | frac-times |
| 524× | sqrt-pow1 |
| 520× | clear-num frac-2neg |
| 410× | sub-neg |
| 395× | associate-/l/ |
| 392× | 1-exp |
| 351× | unpow3 cube-mult |
| 312× | fma-udef |
| 303× | pow1/2 |
| 299× | pow-prod-up |
| 262× | rec-exp |
| 258× | log-pow |
| 236× | sqrt-div |
| 231× | associate-+r+ |
| 229× | sum-log |
| 217× | pow-sqr |
| 170× | exp-sum |
| 169× | unpow-prod-up diff-log |
| 158× | pow-exp |
| 152× | +-commutative |
| 142× | pow-to-exp |
| 119× | div-sub |
| 113× | pow-unpow |
| 91× | pow-plus |
| 89× | pow-flip |
| 85× | pow2 |
| 84× | unpow2 |
| 77× | pow-pow |
| 75× | rem-sqrt-square |
| 72× | inv-pow |
| 71× | frac-add |
| 64× | distribute-rgt-out frac-sub |
| 55× | cube-div |
| 51× | log-div |
| 47× | un-div-inv |
| 46× | distribute-neg-frac rem-log-exp |
| 44× | exp-prod |
| 38× | sinh-def |
| 26× | sqrt-unprod associate-+l- |
| 23× | cos-sum |
| 21× | associate-+r- |
| 19× | rem-square-sqrt distribute-rgt-out-- |
| 18× | rem-cube-cbrt unsub-neg |
| 17× | tanh-def |
| 14× | neg-sub0 |
| 12× | distribute-rgt-neg-out expm1-udef |
| 11× | difference-cubes |
| 10× | difference-of-sqr-1 expm1-log1p cosh-def |
| 9× | rem-exp-log hypot-def |
| 8× | distribute-lft-neg-out sub-div hypot-udef rem-cbrt-cube |
| 7× | log1p-udef associate--l- log1p-expm1 neg-log |
| 6× | exp-diff sqrt-undiv sqrt-pow2 diff-cos associate--r+ |
| 5× | distribute-lft1-in distribute-rgt1-in count-2 |
| 4× | distribute-frac-neg |
| 3× | unpow1/3 cos-diff pow-sub associate--r- |
| 2× | expm1-def sub0-neg exp-neg sin-mult tan-quot |
| 1× | sin-cos-mult pow3 acos-asin cos-mult exp-to-pow |
Total 196.6b remaining (40.2%)
Threshold costs 26.2b (5.3%)