| 60× | intervals |
| 1.5m | 335582× | body | 80 | valid |
| 34.4s | 209070× | body | 80 | nan |
| 27.5s | 21298× | body | 1280 | valid |
| 10.7s | 10939× | body | 640 | valid |
| 7.0s | 5274× | body | 2560 | valid |
| 4.3s | 5196× | body | 320 | valid |
| 1.6s | 2526× | body | 160 | valid |
| 1.5s | 16512× | pre | 80 | true |
| 610.0ms | 244× | body | 5120 | valid |
350 calls:
| 3.4s | (+ (* (* (* b a) (* b a)) (* b a)) (* (+ (* z t) (* x y)) (* (+ (* z t) (* x y)) (+ (* z t) (* x y))))) |
| 900.0ms | (+ (* (+ (* z t) (* x y)) (+ (* z t) (- (* x y) (* b a)))) (* (* b a) (* b a))) |
| 741.0ms | (/ (* (sin b) r) (- (* (cos a) (cos b)) (* (sin b) (sin a)))) |
| 736.0ms | (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (- (+ t 1.0) z) (cbrt (- y z)))) (- a x)) |
| 684.0ms | (* (/ (cbrt (- y z)) (/ (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (* (cbrt (- y z)) (cbrt (- y z)))))) (* (/ (cbrt (- y z)) (/ (cbrt (- (+ t 1.0) z)) (cbrt (cbrt (- y z))))) (- a x))) |
Total 39.8b remaining (26.3%)
Threshold costs 3.7b (2.5%)
| 101× | rewrite-expression-head |
350 calls:
| 1.1s | (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)) |
| 619.0ms | (exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))) |
| 509.0ms | (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) |
| 408.0ms | (/ (+ (* (* (* b a) (* b a)) (* b a)) (* (+ (* z t) (* x y)) (* (+ (* z t) (* x y)) (+ (* z t) (* x y))))) (+ (* (+ (* z t) (* x y)) (+ (* z t) (- (* x y) (* b a)))) (* (* b a) (* b a)))) |
| 361.0ms | (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i)) |
| 5176× | times-frac |
| 4210× | *-un-lft-identity |
| 4156× | add-sqr-sqrt |
| 3077× | add-cube-cbrt |
| 1858× | pow1 |
| 1547× | add-exp-log |
| 1304× | add-cbrt-cube |
| 840× | associate-*l* |
| 838× | cbrt-prod |
| 586× | add-log-exp |
| 568× | associate-*r* |
| 513× | prod-exp |
| 484× | pow-prod-down |
| 461× | cbrt-unprod |
| 405× | pow-prod-up |
| 350× | insert-posit16 |
| 328× | associate-/r* |
| 325× | flip3-- flip-- |
| 322× | distribute-lft-out-- |
| 321× | difference-of-squares |
| 305× | associate-/l* |
| 290× | div-exp |
| 277× | div-inv |
| 253× | associate-/r/ |
| 245× | distribute-rgt-neg-in |
| 236× | cbrt-div |
| 232× | distribute-lft-out |
| 227× | distribute-lft-neg-in |
| 218× | cbrt-undiv |
| 200× | frac-times |
| 191× | sqrt-prod |
| 173× | flip-+ flip3-+ pow-sqr |
| 169× | associate-*r/ |
| 163× | unswap-sqr |
| 158× | associate-*l/ |
| 157× | pow-plus |
| 142× | sub-neg |
| 131× | distribute-rgt-in distribute-lft-in |
| 125× | *-commutative |
| 116× | sqrt-div |
| 108× | pow2 |
| 100× | log-prod |
| 98× | swap-sqr |
| 75× | neg-mul-1 |
| 74× | diff-log |
| 62× | exp-sum frac-2neg clear-num |
| 58× | pow1/3 |
| 55× | sum-log |
| 52× | frac-sub |
| 49× | exp-prod associate-/l/ |
| 47× | associate-+r+ |
| 44× | log-pow |
| 40× | sqrt-pow1 pow1/2 |
| 39× | 1-exp |
| 36× | sin-mult |
| 33× | associate--l+ |
| 30× | cos-mult rec-exp |
| 29× | rem-exp-log |
| 28× | associate--r+ rem-sqrt-square |
| 25× | +-commutative |
| 21× | frac-add |
| 20× | difference-of-sqr-1 div-sub |
| 19× | associate-+l+ |
| 18× | sub-div tan-quot |
| 15× | associate-+l- |
| 14× | exp-diff |
| 12× | neg-sub0 log-div |
| 10× | neg-log |
| 9× | cos-2 |
| 8× | pow-flip cube-unmult inv-pow |
| 7× | associate--l- |
| 6× | unpow-prod-down |
| 5× | pow3 sum-cubes |
| 4× | remove-posit16 associate-+r- pow-unpow un-div-inv |
| 2× | difference-of-sqr--1 distribute-frac-neg distribute-rgt-neg-out pow-exp sqr-pow pow-to-exp pow-pow tan-sum distribute-neg-frac cos-sum associate--r- |
| 1× | distribute-rgt-out-- sqrt-unprod +-inverses unpow1/3 rem-log-exp |