Details

simplify7.5m (59.7%)

prune2.7m (21.1%)

sample1.6m (12.5%)

Algorithm
67×intervals
Results
37.5s269541×body80valid
14.4s13870×body1280valid
8.6s16814×body160valid
5.8s9291×body640valid
5.5s3849×body2560valid
5.0s2233×body10240exit
3.8s75773×pre80true
3.1s6892×body320valid
2.1s19430×body80nan
386.0ms237×body5120valid
9.0ms100×pre80false

series27.9s (3.7%)

Calls

275 calls:

688.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma (* x1 (* x1 x1)) (* x1 (* x1 x1)) 1)) (- (fma (* x1 x1) (* x1 x1) 1) (* x1 x1)) -3) 0)) (+ (* x1 (* x1 (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (sqrt 6) (sqrt 6)))))) (* (* x1 0) x1)))
529.0ms
(/ (fma (exp (* n (log1p (/ i n)))) 100 -100) (/ i n))
512.0ms
(/ (+ (* (exp (* n (log1p (/ i n)))) 100) -100) (/ i n))
436.0ms
(/ (fma (pow (+ 1 (/ i n)) n) 100 -100) (/ i n))
433.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)))

rewrite12.0s (1.6%)

Algorithm
96×rewrite-expression-head
Calls

275 calls:

1.2s
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
1.1s
(+ (+ (+ (* 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)))
1.1s
(+ (+ (* 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)))
773.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)))
469.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
8391×times-frac
6417×*-un-lft-identity
5679×add-sqr-sqrt
4539×add-cube-cbrt
1894×sqrt-prod
1220×prod-diff
1094×add-exp-log
1034×add-cbrt-cube
667×pow1
594×difference-of-squares
509×distribute-lft-out
486×add-log-exp
435×div-inv
427×associate-/r*
390×associate-/r/
378×associate-/l*
347×associate-*r*
342×distribute-lft-out--
288×prod-exp
278×expm1-log1p-u
277×log1p-expm1-u
275×insert-posit16
272×cbrt-unprod
261×div-exp
253×associate-*l*
219×cbrt-undiv
211×flip-+ flip3-+
192×cbrt-prod
178×pow-prod-down
172×distribute-rgt-neg-in
160×distribute-lft-neg-in
159×fma-neg
141×associate-+l+
135×distribute-rgt-in distribute-lft-in
101×flip3-- flip--
93×associate-*r/
89×sum-log
78×unpow-prod-down
73×frac-2neg clear-num associate-/l/
68×fma-def
66×unswap-sqr
65×frac-times
64×associate-*l/
59×*-commutative
56×fma-udef
54×neg-mul-1
45×sub-neg
37×pow-prod-up exp-prod diff-log
35×sqrt-div
31×sqr-pow
27×frac-add
26×pow-plus
25×sqrt-pow1 pow1/2
24×rem-sqrt-square
22×swap-sqr
20×pow1/3 div-sub
19×+-commutative
18×log-pow
16×associate-+r+
15×cbrt-div pow-sqr
12×1-exp rec-exp
11×pow2
8×log-prod hypot-def
7×log1p-expm1 distribute-frac-neg rem-exp-log log1p-udef
6×neg-sub0
5×associate--l-
4×expm1-udef distribute-lft-neg-out cube-prod pow-exp pow3 neg-log pow-to-exp
3×expm1-log1p pow-unpow exp-sum distribute-rgt-neg-out
2×pow-flip associate--r+ inv-pow rem-log-exp hypot-udef
1×cube-unmult unpow3 pow-pow un-div-inv rem-cbrt-cube cube-mult unsub-neg

regimes4.5s (0.6%)

Accuracy

Total 44.7b remaining (32.3%)

Threshold costs 2.0b (1.4%)

16.3b37.6%Compound Interest
8.1b30%Complex division, imag part
7.2b32.9%Complex division, real part
5.6b79.9%The quadratic formula (r2)
4.3b84.4%The quadratic formula (r1)

localize3.5s (0.5%)

bsearch2.5s (0.3%)

end1.0ms (0.0%)