2312 calls:
| 15.0s | (* (/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y)))) (/ (sqrt (- x y)) (- (sqrt 2.0) (sqrt (+ x y))))) |
| 4.9s | (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.4s | (/ (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 | (/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y)))) |
| 537× | intervals |
| 3.1m | 2577005× | body | 80 | valid |
| 57.1s | 507359× | body | 80 | nan |
| 41.6s | 46999× | body | 1280 | valid |
| 22.4s | 42558× | body | 640 | valid |
| 9.3s | 24687× | body | 320 | valid |
| 7.5s | 5431× | body | 2560 | valid |
| 3.5s | 13738× | body | 160 | valid |
| 1.5s | 1498× | body | 10240 | exit |
| 274.0ms | 688× | body | 640 | nan |
| 190.0ms | 475× | body | 1280 | nan |
| 114.0ms | 39× | body | 5120 | valid |
| 80.0ms | 414× | body | 320 | nan |
| 72.0ms | 212× | body | 160 | nan |
| 866× | rewrite-expression-head |
2316 calls:
| 19.0s | (* (/ (/ (sqrt (/ 1 1)) (sqrt 1)) (/ (fma z z 1.0) (/ 1.0 x))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y)) |
| 7.3s | (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)))))) |
| 5.4s | (* (* (/ (/ (sqrt (sqrt (/ 1 1))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))) (/ (* (cbrt (fma z z 1.0)) (cbrt (fma z z 1.0))) (/ 1 1))) (/ (/ (sqrt (sqrt (/ 1 1))) (cbrt (sqrt 1))) (/ (cbrt (fma z z 1.0)) (/ 1.0 x)))) (/ (/ (sqrt (/ 1 1)) (sqrt 1)) y)) |
| 879.0ms | (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (+ (- (/ 1.0 (* x 9.0)) 1.0) y)))) |
| 756.0ms | (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x))) |
| 139092× | times-frac |
| 89237× | add-sqr-sqrt |
| 85249× | *-un-lft-identity |
| 68115× | add-cube-cbrt |
| 19106× | sqrt-prod |
| 19013× | prod-diff |
| 18607× | add-exp-log |
| 10401× | cbrt-prod |
| 9846× | add-cbrt-cube |
| 8452× | div-exp |
| 8174× | associate-*l* |
| 6070× | div-inv |
| 5694× | associate-*r* |
| 5676× | pow1 |
| 5532× | unpow-prod-down |
| 5265× | difference-of-squares |
| 5190× | prod-exp |
| 4790× | cube-prod |
| 4770× | distribute-lft-out-- |
| 3577× | associate-/r* |
| 3571× | cbrt-undiv |
| 3033× | add-log-exp |
| 2949× | distribute-lft-out |
| 2846× | cbrt-unprod |
| 2583× | distribute-rgt-in distribute-lft-in |
| 2393× | unswap-sqr |
| 2383× | associate-/l* |
| 2321× | expm1-log1p-u |
| 2320× | log1p-expm1-u |
| 2260× | associate-/r/ |
| 1451× | pow-prod-down |
| 1433× | fma-neg |
| 1370× | flip3-- flip-- |
| 1070× | log-prod |
| 1008× | sqr-pow |
| 975× | associate--l+ |
| 944× | 1-exp |
| 943× | fma-def |
| 838× | pow1/3 |
| 816× | cbrt-div |
| 772× | flip-+ flip3-+ |
| 752× | associate-*r/ |
| 735× | swap-sqr |
| 733× | associate-+l+ |
| 730× | associate-*l/ |
| 691× | unpow3 cube-mult |
| 603× | *-commutative |
| 513× | clear-num frac-2neg |
| 503× | frac-times |
| 495× | rec-exp |
| 486× | sqrt-pow1 |
| 412× | sub-neg |
| 397× | associate-/l/ |
| 343× | associate-+r+ |
| 317× | fma-udef |
| 276× | pow-prod-up |
| 274× | pow1/2 |
| 272× | log-pow |
| 216× | pow-sqr |
| 211× | sum-log |
| 204× | pow-exp |
| 194× | distribute-rgt-out-- |
| 192× | sqrt-div |
| 179× | diff-log |
| 170× | pow-to-exp unpow-prod-up exp-sum |
| 147× | +-commutative |
| 140× | associate--r+ |
| 136× | pow-unpow |
| 113× | div-sub |
| 93× | pow-plus |
| 86× | pow2 |
| 83× | pow-pow |
| 77× | pow-flip |
| 67× | rem-sqrt-square unpow2 |
| 63× | inv-pow |
| 62× | distribute-rgt-out frac-sub |
| 57× | frac-add |
| 53× | log-div |
| 52× | cube-div |
| 50× | exp-prod |
| 47× | rem-log-exp |
| 41× | un-div-inv |
| 39× | sinh-def |
| 34× | distribute-rgt-neg-in |
| 32× | distribute-lft-neg-in |
| 25× | associate-+l- |
| 24× | sqrt-unprod |
| 23× | cos-sum |
| 19× | rem-square-sqrt |
| 18× | rem-cube-cbrt associate-+r- |
| 15× | unsub-neg tanh-def |
| 13× | cosh-def |
| 12× | neg-mul-1 distribute-rgt-neg-out |
| 11× | difference-cubes distribute-lft-neg-out expm1-udef |
| 10× | difference-of-sqr-1 expm1-log1p |
| 9× | rem-exp-log sub-div hypot-def |
| 8× | log1p-udef log1p-expm1 hypot-udef neg-sub0 |
| 7× | associate--l- |
| 6× | exp-diff sqrt-undiv diff-cos rem-cbrt-cube |
| 5× | distribute-lft1-in distribute-rgt1-in count-2 |
| 4× | sqrt-pow2 neg-log associate--r- |
| 3× | cos-diff pow-sub |
| 2× | expm1-def sub0-neg unpow1/3 exp-neg distribute-frac-neg sin-mult distribute-neg-frac tan-quot |
| 1× | sin-cos-mult pow3 +-inverses cos-mult exp-to-pow |
Total 203.0b remaining (41.8%)
Threshold costs 25.9b (5.3%)