2273 calls:
| 20.9s | (* (cbrt (fma y (- (log z) t) (* (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (- (log 1.0) (* 1.0 z))) b) a))) (cbrt (fma y (- (log z) t) (* (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (- (log 1.0) (* 1.0 z))) b) a)))) |
| 10.8s | (fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))) |
| 3.7s | (* (cbrt (fma (log y) (+ 0.5 y) (- z y))) (cbrt (fma (log y) (+ 0.5 y) (- z y)))) |
| 2.1s | (/ (/ (fma (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) |
| 2.0s | (/ (/ (fma (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0)) (* (- (cos x) (cos y)) (- (sin y) (* 0.0625 (sin x)))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) |
| 538× | intervals |
| 3.0m | 2577519× | body | 80 | valid |
| 1.0m | 537826× | body | 80 | nan |
| 39.0s | 46444× | body | 1280 | valid |
| 24.0s | 44586× | body | 640 | valid |
| 10.8s | 25567× | body | 320 | valid |
| 6.7s | 5711× | body | 2560 | valid |
| 3.8s | 13639× | body | 160 | valid |
| 1.6s | 1543× | body | 10240 | exit |
| 448.0ms | 655× | body | 640 | nan |
| 273.0ms | 479× | body | 1280 | nan |
| 107.0ms | 417× | body | 320 | nan |
| 92.0ms | 34× | body | 5120 | valid |
| 31.0ms | 239× | body | 160 | nan |
Total 194.1b remaining (36.8%)
Threshold costs 24.0b (4.5%)
| 851× | rewrite-expression-head |
2275 calls:
| 11.4s | (* (/ (/ (sqrt 6.0) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (sqrt (fma (sqrt x) 4.0 (+ x 1.0))) (- x 1.0))) (/ (/ (sqrt 6.0) (/ 1 (+ (sqrt x) (sqrt 1.0)))) (+ (sqrt x) (sqrt 1.0)))) |
| 975.0ms | (* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0))) |
| 750.0ms | (* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z)))) |
| 580.0ms | (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) |
| 513.0ms | (* (- (/ x (- z y)) (/ 1 (/ (- z y) y))) t) |
| 94849× | times-frac |
| 72209× | *-un-lft-identity |
| 68585× | add-sqr-sqrt |
| 48444× | add-cube-cbrt |
| 20533× | sqrt-prod |
| 13768× | prod-diff |
| 9785× | add-exp-log |
| 7868× | difference-of-squares |
| 7473× | add-cbrt-cube |
| 6663× | cbrt-prod |
| 6549× | distribute-lft-out-- |
| 5977× | pow1 |
| 5451× | distribute-lft-out |
| 5337× | associate-*r* |
| 4696× | associate-*l* |
| 3870× | div-inv |
| 3777× | associate-/r* |
| 3014× | associate-/r/ |
| 2959× | add-log-exp |
| 2812× | associate-/l* |
| 2702× | div-exp |
| 2626× | distribute-rgt-in distribute-lft-in |
| 2459× | prod-exp |
| 2283× | expm1-log1p-u |
| 2281× | log1p-expm1-u |
| 1979× | cbrt-unprod |
| 1839× | flip3-- flip-- |
| 1690× | cbrt-undiv |
| 1624× | pow-prod-down |
| 1368× | cbrt-div |
| 1282× | unswap-sqr |
| 1073× | log-prod |
| 1021× | associate-*l/ |
| 978× | flip-+ flip3-+ |
| 973× | fma-def |
| 817× | pow1/3 |
| 806× | associate-*r/ |
| 798× | frac-times |
| 779× | fma-neg |
| 735× | swap-sqr |
| 548× | *-commutative |
| 498× | frac-2neg clear-num |
| 491× | sqrt-pow1 |
| 446× | 1-exp |
| 440× | rec-exp |
| 396× | associate-+r+ |
| 362× | sub-neg |
| 358× | associate-/l/ |
| 347× | associate--l+ |
| 330× | pow-prod-up |
| 328× | fma-udef |
| 319× | log-pow |
| 279× | associate-+l+ |
| 269× | sqrt-div |
| 232× | pow1/2 |
| 229× | pow-sqr |
| 224× | diff-log |
| 204× | associate--r+ |
| 185× | exp-sum |
| 148× | sum-log |
| 133× | pow-plus |
| 117× | div-sub |
| 103× | pow2 |
| 98× | +-commutative exp-prod |
| 83× | pow-flip |
| 79× | rem-sqrt-square |
| 74× | inv-pow |
| 72× | frac-sub cube-unmult |
| 54× | frac-add |
| 51× | un-div-inv |
| 50× | log-div |
| 49× | rem-log-exp |
| 45× | distribute-rgt-out-- |
| 39× | difference-cubes |
| 27× | unpow-prod-down distribute-rgt-out |
| 23× | cos-sum |
| 21× | pow-exp pow3 sub-div sinh-def |
| 19× | associate-+r- distribute-rgt-neg-out sqrt-unprod associate-+l- |
| 17× | expm1-udef pow-unpow rem-exp-log |
| 15× | expm1-log1p |
| 14× | log1p-udef |
| 13× | distribute-lft-neg-out log1p-expm1 unpow-prod-up |
| 12× | unsub-neg pow-pow rem-square-sqrt |
| 11× | tanh-def hypot-def |
| 10× | pow-to-exp count-2 |
| 9× | associate--l- sqr-pow associate--r- |
| 8× | distribute-rgt-neg-in rem-cbrt-cube distribute-lft-neg-in |
| 7× | exp-diff unpow1/3 |
| 6× | distribute-lft1-in distribute-rgt1-in cos-mult exp-to-pow diff-cos |
| 5× | cosh-def |
| 4× | neg-mul-1 sqr-cos |
| 3× | neg-sub0 sqrt-undiv exp-neg cos-diff |
| 2× | tan-quot sin-mult e-exp-1 |
| 1× | pow-sub asin-acos acos-asin |