15033 calls:
| 2.0s | (* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) |
| 1.9s | (* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) |
| 1.9s | (* (* (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) |
| 1.8s | (* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) |
| 1.8s | (* (* (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t t) t) (* (* 2 2) 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) |
| 62× | intervals |
| 33.6s | 252993× | body | 80 | valid |
| 8.3s | 16474× | body | 160 | valid |
| 8.0s | 11152× | body | 1280 | valid |
| 4.2s | 7948× | body | 640 | valid |
| 4.1s | 75673× | pre | 80 | true |
| 3.8s | 2785× | body | 2560 | valid |
| 2.8s | 5895× | body | 320 | valid |
| 1.5s | 16033× | body | 80 | nan |
| 146.0ms | 64× | body | 10240 | exit |
| 98.0ms | 108× | body | 5120 | valid |
271 calls:
| 815.0ms | (- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))) |
| 682.0ms | (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))) |
| 668.0ms | (fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1))) |
| 618.0ms | (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) |
| 572.0ms | (/ (sqrt (fma d d (* c c))) (fma a c (* b d))) |
| 94× | rewrite-expression-head |
271 calls:
| 1.4s | (+ (+ (+ (* 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))) |
| 976.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))) |
| 892.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))) |
| 869.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))) |
| 22759× | times-frac |
| 17767× | *-un-lft-identity |
| 16666× | add-sqr-sqrt |
| 15242× | add-cube-cbrt |
| 14052× | prod-diff |
| 6795× | exp-sum |
| 3955× | associate--r+ |
| 3510× | distribute-rgt-in distribute-lft-in |
| 1854× | sqrt-prod |
| 1757× | add-exp-log |
| 1410× | add-cbrt-cube |
| 975× | div-inv |
| 860× | distribute-lft-out pow1 |
| 683× | cbrt-prod |
| 673× | sub-neg |
| 634× | div-exp |
| 584× | add-log-exp |
| 567× | difference-of-squares |
| 506× | prod-exp |
| 500× | associate-*l* |
| 482× | distribute-lft-out-- |
| 476× | associate-/l* |
| 445× | associate-/r* |
| 429× | associate-*r* |
| 416× | cbrt-unprod |
| 405× | cbrt-undiv |
| 358× | distribute-rgt-neg-in |
| 274× | expm1-log1p-u |
| 272× | log1p-expm1-u |
| 271× | insert-posit16 |
| 265× | fma-neg |
| 232× | associate-/r/ |
| 224× | pow-prod-down |
| 210× | distribute-lft-neg-in |
| 148× | swap-sqr |
| 141× | flip-+ flip3-+ |
| 135× | unswap-sqr |
| 126× | sum-log |
| 98× | pow-prod-up |
| 91× | flip3-- flip-- |
| 80× | sqrt-pow1 |
| 71× | fma-def |
| 66× | neg-mul-1 |
| 65× | 1-exp |
| 64× | associate-*r/ diff-log |
| 63× | *-commutative |
| 59× | pow1/2 fma-udef |
| 55× | frac-times frac-2neg clear-num |
| 49× | exp-prod |
| 47× | pow-plus |
| 46× | rec-exp |
| 43× | pow-sqr |
| 42× | associate-/l/ |
| 41× | associate-*l/ |
| 32× | unpow-prod-down |
| 28× | div-sub |
| 25× | pow2 |
| 23× | +-commutative rem-sqrt-square |
| 20× | associate--l+ pow1/3 |
| 18× | pow-flip |
| 16× | frac-sub cbrt-div |
| 14× | associate-+l+ |
| 13× | sqr-pow |
| 11× | log-prod |
| 10× | rem-exp-log |
| 9× | hypot-def log-pow |
| 8× | pow-exp associate-+r+ pow-to-exp |
| 7× | neg-sub0 associate--l- pow3 inv-pow frac-add |
| 6× | exp-diff sqrt-div log-div |
| 5× | neg-log associate-+l- |
| 4× | cube-prod distribute-rgt-out-- log1p-expm1 sqrt-unprod rem-square-sqrt log1p-udef |
| 3× | pow-unpow distribute-frac-neg |
| 2× | distribute-lft-neg-out associate-+r- cube-unmult rem-cbrt-cube associate--r- |
| 1× | expm1-log1p expm1-udef distribute-lft1-in unpow3 sub-div pow-pow rem-log-exp hypot-udef cube-mult unsub-neg |
Total 39.2b remaining (25.1%)
| 15.5b | 40.9% | Compound Interest |
| 8.2b | 20.4% | Complex division, imag part |
| 4.8b | 75.7% | Kahan p9 Example |
| 4.4b | 84.1% | The quadratic formula (r2) |
| 2.6b | 0% | Complex division, real part |