13288 calls:
| 2.1s | (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x)))) (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))) (* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))))) |
| 2.0s | (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x)))) (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (* (* (/ (- x y) (hypot x y)) (/ (- x y) (hypot x y))) (/ (- x y) (hypot x y)))) (* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))))) |
| 1.8s | (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x)))) (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x)))) (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))) (* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))))) |
| 1.8s | (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x)))) (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x)))) (* (* (* (* (/ (+ y x) (hypot y x)) (/ (- x y) (hypot x y))) (* (/ (+ y x) (hypot y x)) (/ (- x y) (hypot x y)))) (* (/ (+ y x) (hypot y x)) (/ (- x y) (hypot x y)))) (* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))))) |
| 1.6s | (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x)))) (* (* (* (* (/ (+ y x) (hypot y x)) (/ (+ y x) (hypot y x))) (/ (+ y x) (hypot y x))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (hypot x y) (hypot x y)) (hypot x y)))) (* (* (* (/ (- x y) (hypot x y)) (/ (- x y) (hypot x y))) (* (/ (- x y) (hypot x y)) (/ (- x y) (hypot x y)))) (* (/ (- x y) (hypot x y)) (/ (- x y) (hypot x y)))))) |
| 63× | intervals |
| 35.0s | 259380× | body | 80 | valid |
| 9.9s | 12123× | body | 1280 | valid |
| 7.4s | 16552× | body | 160 | valid |
| 5.9s | 3817× | body | 2560 | valid |
| 4.9s | 8151× | body | 640 | valid |
| 3.5s | 75684× | pre | 80 | true |
| 2.5s | 6241× | body | 320 | valid |
| 2.4s | 19514× | body | 80 | nan |
| 280.0ms | 242× | body | 5120 | valid |
| 68.0ms | 53× | body | 10240 | exit |
274 calls:
| 3.3s | (cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))) |
| 3.2s | (cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))) |
| 3.2s | (cbrt (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))) |
| 903.0ms | (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))) |
| 593.0ms | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (sqrt 6) (sqrt 6)))) (* x1 x1))) |
| 94× | rewrite-expression-head |
274 calls:
| 958.0ms | (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) |
| 948.0ms | (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))) |
| 893.0ms | (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) |
| 847.0ms | (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) |
| 830.0ms | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) |
| 9282× | *-un-lft-identity |
| 8897× | add-sqr-sqrt |
| 8358× | times-frac |
| 7925× | prod-diff |
| 7553× | add-cube-cbrt |
| 4372× | exp-sum |
| 2316× | distribute-rgt-in distribute-lft-in |
| 2099× | add-exp-log |
| 1989× | add-cbrt-cube |
| 1977× | associate--r+ |
| 1302× | sqrt-prod |
| 1099× | pow1 |
| 874× | prod-exp |
| 842× | cbrt-unprod |
| 605× | add-log-exp |
| 578× | difference-of-squares |
| 546× | div-exp |
| 499× | cbrt-undiv |
| 458× | distribute-lft-out |
| 442× | associate-*l* |
| 441× | sub-neg |
| 427× | associate-*r* |
| 419× | distribute-lft-out-- div-inv |
| 372× | associate-/l* |
| 364× | associate-/r* |
| 348× | frac-times |
| 281× | pow-prod-down |
| 279× | associate-+l+ |
| 278× | expm1-log1p-u |
| 275× | log1p-expm1-u |
| 274× | insert-posit16 |
| 256× | fma-neg |
| 244× | associate-/r/ |
| 228× | associate-*r/ |
| 197× | associate-*l/ |
| 195× | flip-+ flip3-+ |
| 161× | distribute-rgt-neg-in |
| 159× | pow-prod-up |
| 149× | sum-log |
| 122× | flip3-- flip-- |
| 114× | cbrt-prod |
| 109× | cbrt-div exp-prod |
| 108× | distribute-lft-neg-in |
| 104× | unswap-sqr |
| 93× | fma-def |
| 92× | pow-sqr |
| 87× | log-pow |
| 85× | unpow-prod-down |
| 83× | pow-plus |
| 65× | frac-2neg clear-num |
| 58× | *-commutative |
| 53× | pow2 |
| 52× | associate-/l/ diff-log |
| 37× | fma-udef |
| 34× | sqr-pow |
| 31× | +-commutative neg-mul-1 |
| 29× | pow-flip |
| 26× | sqrt-pow1 pow1/2 rem-sqrt-square |
| 25× | swap-sqr frac-add |
| 24× | pow1/3 1-exp |
| 22× | rec-exp |
| 20× | associate-+r+ |
| 19× | div-sub rem-exp-log |
| 16× | log-prod |
| 9× | hypot-def |
| 8× | pow-exp frac-sub sqrt-div pow-to-exp |
| 7× | distribute-rgt-out-- |
| 6× | associate--l- inv-pow |
| 5× | neg-sub0 expm1-udef difference-of-sqr-1 |
| 4× | expm1-log1p pow-div cube-prod log1p-expm1 pow3 neg-log log1p-udef |
| 3× | distribute-lft-neg-out pow-unpow associate--l+ distribute-frac-neg rem-log-exp |
| 2× | distribute-neg-frac associate--r- |
| 1× | distribute-lft1-in exp-diff associate-+r- sqrt-undiv cube-unmult unpow3 sub-div hypot-1-def pow-pow un-div-inv hypot-udef rem-cbrt-cube cube-mult unsub-neg |
Total 29.6b remaining (17.4%)
| 11.5b | 56.1% | Compound Interest |
| 7.1b | 33.5% | Complex division, real part |
| 3.2b | 0% | Complex division, imag part |
| 2.8b | 88% | The quadratic formula (r2) |
| 1.9b | 0% | Expression, p6 |