| 539× | intervals |
| 5.2m | 2657865× | body | 80 | valid |
| 1.2m | 514607× | body | 80 | nan |
| 54.5s | 47406× | body | 1280 | valid |
| 35.4s | 42928× | body | 640 | valid |
| 12.6s | 24447× | body | 320 | valid |
| 9.9s | 5564× | body | 2560 | valid |
| 5.5s | 13909× | body | 160 | valid |
| 2.4s | 1561× | body | 10240 | exit |
| 302.0ms | 490× | body | 1280 | nan |
| 302.0ms | 688× | body | 640 | nan |
| 164.0ms | 31× | body | 5120 | valid |
| 156.0ms | 454× | body | 320 | nan |
| 60.0ms | 244× | body | 160 | nan |
2556 calls:
| 2.4m | (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) |
| 2.7s | (/ (- (* (* 1.0 1.0) 1.0) (* (* (/ (/ x (- y z)) (- y t)) (/ (/ x (- y z)) (- y t))) (/ (/ x (- y z)) (- y t)))) (+ (* 1.0 1.0) (* (/ (/ x (- y z)) (- y t)) (+ (/ (/ x (- y z)) (- y t)) 1.0)))) |
| 2.3s | (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) |
| 1.9s | (cbrt (* (- y x) (/ (- z t) (- a t)))) |
| 1.9s | (cbrt (* (- y x) (/ (- z t) (- a t)))) |
Total 200.3b remaining (36.9%)
Threshold costs 27.0b (5%)
| 898× | rewrite-expression-head |
2556 calls:
| 3.3s | (* (- x) (* (/ 1 (* (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z)))))) (/ (- y z) (cbrt (- (+ t 1.0) z))))) |
| 1.7s | (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))) |
| 1.6s | (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (* (cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))) (cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))) |
| 1.6s | (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))) |
| 1.1s | (cbrt (* (* (* (* z (* y 4.0)) z) (* (* z (* y 4.0)) z)) (* (* z (* y 4.0)) z))) |
| 32775× | *-un-lft-identity |
| 31015× | times-frac |
| 30648× | add-sqr-sqrt |
| 20114× | add-cube-cbrt |
| 11653× | add-exp-log |
| 9309× | add-cbrt-cube |
| 7945× | pow1 |
| 6571× | cbrt-prod |
| 6235× | associate-*r* |
| 5108× | associate-*l* |
| 4192× | sqrt-prod |
| 3938× | cbrt-div |
| 3922× | add-log-exp |
| 3668× | prod-exp |
| 3568× | distribute-lft-out-- |
| 3533× | frac-times |
| 3385× | associate-*r/ |
| 3354× | difference-of-squares |
| 3224× | flip3-- flip-- |
| 3086× | distribute-lft-out |
| 3061× | associate-/r* |
| 3003× | cbrt-unprod |
| 2556× | insert-posit16 |
| 2416× | div-exp |
| 2279× | pow-prod-down |
| 2249× | associate-*l/ |
| 2040× | associate-/l* |
| 2014× | flip-+ flip3-+ |
| 1875× | cbrt-undiv |
| 1864× | associate-/r/ |
| 1743× | div-inv |
| 1679× | log-prod |
| 1468× | unswap-sqr |
| 1383× | swap-sqr |
| 1287× | distribute-rgt-in distribute-lft-in |
| 1032× | frac-add |
| 951× | pow1/3 |
| 829× | *-commutative |
| 746× | sub-neg |
| 662× | associate-/l/ |
| 658× | frac-sub |
| 630× | sqrt-div |
| 590× | sqrt-pow1 associate--l+ |
| 586× | pow-prod-up |
| 524× | frac-2neg clear-num |
| 460× | sum-log |
| 406× | pow-sqr |
| 366× | associate-+r+ |
| 352× | log-pow |
| 307× | diff-log |
| 299× | pow1/2 |
| 288× | 1-exp |
| 275× | rec-exp |
| 267× | sub-div |
| 258× | pow-plus |
| 255× | +-commutative |
| 208× | associate-+l+ |
| 196× | exp-sum pow2 |
| 184× | exp-prod |
| 170× | unpow-prod-down |
| 130× | div-sub |
| 117× | associate--r+ |
| 101× | rem-sqrt-square |
| 90× | pow-exp |
| 85× | pow-unpow |
| 80× | pow3 |
| 78× | rem-log-exp |
| 75× | log-div |
| 69× | pow-to-exp |
| 67× | pow-flip |
| 65× | tanh-def |
| 61× | cube-unmult |
| 57× | inv-pow |
| 56× | un-div-inv |
| 55× | distribute-rgt-out |
| 53× | distribute-neg-frac |
| 48× | sqr-pow pow-pow |
| 47× | sinh-def |
| 42× | distribute-rgt-neg-in |
| 36× | distribute-lft-neg-in |
| 35× | distribute-rgt-out-- |
| 34× | difference-cubes |
| 30× | distribute-rgt-neg-out |
| 29× | associate-+l- |
| 26× | distribute-lft-neg-out cosh-def |
| 23× | associate-+r- rem-exp-log rem-cbrt-cube |
| 22× | unsub-neg |
| 20× | sqrt-unprod associate--r- |
| 17× | sum-cubes |
| 15× | neg-mul-1 unpow1/3 rem-square-sqrt |
| 11× | distribute-lft1-in distribute-rgt1-in |
| 10× | associate--l- count-2 |
| 9× | exp-diff |
| 8× | diff-cos |
| 6× | cos-mult exp-to-pow sqr-cos |
| 5× | tan-quot |
| 4× | neg-sub0 difference-of-sqr-1 |
| 3× | unpow-prod-up neg-log remove-double-div cos-diff |
| 2× | cos-sum |
| 1× | remove-posit16 pow-sub sqrt-pow2 exp-neg e-exp-1 |