2498 calls:
| 1.7m | (/ 1 (/ (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (+ t (* (+ 230661.510616 (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) y)))) |
| 1.6m | (/ (/ 1 (* (cbrt (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (cbrt (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y))))) (/ (cbrt (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y))) (+ t (* (+ 230661.510616 (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) y)))) |
| 2.2s | (/ 1 (/ (+ (* (- b y) z) y) (+ (* x y) (* z (- t a))))) |
| 1.8s | (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* 1/3 (* (log y) (+ y 0.5)))) |
| 1.3s | (cbrt (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y))) |
| 539× | intervals |
| 3.3m | 2625636× | body | 80 | valid |
| 58.3s | 516947× | body | 80 | nan |
| 38.8s | 47280× | body | 1280 | valid |
| 24.0s | 42924× | body | 640 | valid |
| 9.4s | 24400× | body | 320 | valid |
| 7.1s | 5678× | body | 2560 | valid |
| 3.2s | 13837× | body | 160 | valid |
| 1.6s | 1533× | body | 10240 | exit |
| 252.0ms | 500× | body | 1280 | nan |
| 219.0ms | 646× | body | 640 | nan |
| 176.0ms | 48× | body | 5120 | valid |
| 84.0ms | 405× | body | 320 | nan |
| 30.0ms | 227× | body | 160 | nan |
| 884× | rewrite-expression-head |
2498 calls:
| 1.1s | (/ (* (* (sqrt (/ (pow a (- 1.0)) (exp (- (- b (* (log a) t)) (* (log z) y))))) x) (sqrt (/ (pow a (- 1.0)) (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b))))) y) |
| 995.0ms | (/ (* (* (- (* x y) (/ (* z t) 16.0)) (* (cbrt (- (* 4.0 (+ (* x y) (/ (* z t) 16.0))) (* a b))) (cbrt (- (* 4.0 (+ (* x y) (/ (* z t) 16.0))) (* a b))))) (cbrt (- (* 4.0 (+ (* x y) (/ (* z t) 16.0))) (* a b)))) (* (- (* x y) (/ (* z t) 16.0)) 4.0)) |
| 954.0ms | (+ (/ x y) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)) |
| 782.0ms | (/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0)))) |
| 768.0ms | (* (* (* x (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))) (- z)) |
| 43670× | times-frac |
| 37158× | *-un-lft-identity |
| 36320× | add-sqr-sqrt |
| 25370× | add-cube-cbrt |
| 11799× | add-exp-log |
| 9300× | sqrt-prod |
| 8989× | add-cbrt-cube |
| 6641× | pow1 |
| 6569× | associate-*r* |
| 5419× | cbrt-prod |
| 5010× | associate-*l* |
| 4575× | cbrt-div |
| 4454× | frac-times |
| 4112× | flip3-- flip-- |
| 3794× | add-log-exp |
| 3609× | prod-exp |
| 3448× | difference-of-squares |
| 3406× | associate-/r* |
| 3270× | associate-*r/ |
| 3087× | distribute-lft-out-- |
| 3034× | associate-*l/ |
| 2899× | distribute-lft-out |
| 2857× | cbrt-unprod |
| 2703× | div-exp |
| 2518× | associate-/r/ |
| 2471× | associate-/l* |
| 2139× | div-inv |
| 1904× | cbrt-undiv |
| 1863× | pow-prod-down |
| 1829× | flip-+ flip3-+ |
| 1586× | sqrt-div |
| 1585× | unswap-sqr |
| 1547× | unpow-prod-down |
| 1047× | log-prod |
| 1032× | distribute-rgt-in distribute-lft-in |
| 859× | pow1/3 |
| 849× | swap-sqr |
| 815× | *-commutative |
| 767× | associate-/l/ |
| 743× | frac-sub |
| 711× | cube-prod |
| 701× | distribute-rgt-neg-in |
| 700× | distribute-lft-neg-in |
| 673× | sub-neg |
| 669× | sqrt-pow1 |
| 524× | clear-num frac-2neg |
| 478× | sum-log |
| 417× | sqr-pow |
| 410× | pow1/2 |
| 383× | associate-+r+ |
| 347× | associate--l+ |
| 332× | pow-prod-up |
| 327× | 1-exp |
| 323× | pow-exp |
| 296× | +-commutative |
| 280× | rec-exp |
| 253× | diff-log |
| 251× | pow-sqr |
| 241× | neg-mul-1 |
| 240× | associate-+l+ |
| 228× | frac-add |
| 204× | log-pow |
| 201× | pow-to-exp |
| 183× | pow-unpow |
| 136× | rem-sqrt-square |
| 119× | pow-plus |
| 109× | div-sub |
| 107× | pow-pow |
| 101× | pow2 |
| 97× | exp-prod |
| 80× | pow-flip |
| 70× | cube-div |
| 63× | tanh-def |
| 59× | inv-pow |
| 56× | log-div |
| 54× | unpow2 |
| 50× | associate-+l- |
| 49× | unpow3 cube-mult associate--r+ |
| 42× | distribute-lft-neg-out |
| 40× | un-div-inv exp-sum |
| 38× | rem-log-exp |
| 33× | distribute-rgt-neg-out |
| 28× | distribute-rgt-out |
| 26× | sqrt-unprod |
| 23× | rem-cube-cbrt unsub-neg rem-square-sqrt |
| 20× | sum-cubes associate-+r- distribute-rgt-out-- difference-of-sqr-1 |
| 19× | difference-cubes |
| 13× | exp-diff |
| 12× | pow-div cosh-def |
| 11× | rem-exp-log rem-cbrt-cube |
| 10× | diff-cos |
| 9× | sub-div associate--r- |
| 8× | sqrt-pow2 |
| 7× | neg-sub0 |
| 6× | unpow1/3 distribute-rgt1-in distribute-neg-in sinh-def |
| 5× | associate--l- distribute-lft1-in unpow-prod-up count-2 tan-quot |
| 4× | distribute-frac-neg |
| 3× | exp-neg cos-diff exp-to-pow |
| 2× | cos-sum e-exp-1 sin-mult cos-mult distribute-neg-frac |
| 1× | sin-cos-mult pow-neg sqrt-undiv pow3 pow-sub remove-double-div |
Total 206.4b remaining (39.7%)
Threshold costs 27.4b (5.3%)