Details

simplify2.8m (35.4%)

prune2.3m (29.2%)

sample1.7m (22.0%)

Algorithm
67×intervals
Results
43.1s269292×body80valid
14.0s13715×body1280valid
7.8s16896×body160valid
6.9s9288×body640valid
6.5s3916×body2560valid
4.2s75934×pre80true
4.0s2139×body10240exit
3.7s7010×body320valid
2.4s19701×body80nan
253.0ms225×body5120valid
14.0ms100×pre80false

series33.6s (7.2%)

Calls

276 calls:

902.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (fma (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (/ 1 (+ (* x1 x1) 1)) (- (* (sqrt 3) (sqrt 3)))) (+ -3 3))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
838.0ms
(sqrt (* (/ 0.125 (/ (- 1 v) (fma -2 v 3))) (* (* w r) (* w r))))
763.0ms
(sqrt (* (/ 0.125 (/ (- 1 v) (fma -2 v 3))) (* (* w r) (* w r))))
720.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ 1 (sqrt (+ (* x1 x1) 1))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (sqrt (+ (* x1 x1) 1))) -3)) (+ (* (fma 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (* (sqrt 6) (sqrt 6)))) (* x1 x1)) 0))
668.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ 1 (sqrt (+ (* x1 x1) 1))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (sqrt (+ (* x1 x1) 1))) -3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite17.8s (3.8%)

Algorithm
97×rewrite-expression-head
Calls

276 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)))
1.2s
(+ (+ (+ (* 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)))
818.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)))
728.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
720.0ms
(exp (+ (+ a (+ d (+ c e))) b))
Rules
33866×times-frac
22295×*-un-lft-identity
18255×add-sqr-sqrt
14078×add-cube-cbrt
4635×cbrt-prod
3026×sqrt-prod
2203×distribute-lft-out
1975×difference-of-squares
1906×distribute-lft-out--
1669×associate-/l*
1223×prod-diff
1222×add-exp-log
1120×associate-/r*
1116×add-cbrt-cube
988×div-inv
879×pow1
528×add-log-exp
489×associate-*l*
488×associate-/r/
463×associate-*r*
365×distribute-rgt-neg-in
361×prod-exp
359×distribute-lft-neg-in
325×flip-+ flip3-+
321×cbrt-unprod
280×expm1-log1p-u
276×log1p-expm1-u insert-posit16
267×pow-prod-down
261×div-exp
229×cbrt-undiv
185×associate-*r/
163×distribute-rgt-in distribute-lft-in
146×associate-+l+
140×cbrt-div
136×flip-- flip3--
132×frac-times
129×fma-neg
123×unswap-sqr
121×neg-mul-1
119×sum-log
94×fma-def
88×associate-*l/
83×frac-sub
75×*-commutative
74×exp-neg
64×neg-sub0
60×exp-diff
59×pow-prod-up
58×frac-2neg clear-num
54×fma-udef
52×sub-neg
51×associate-/l/
49×sqrt-pow1 sqrt-div
48×swap-sqr exp-prod
44×unpow-prod-down
38×associate-+r+
37×pow1/2
35×frac-add
34×diff-log
31×pow-sqr
30×pow-plus
27×log-prod rem-sqrt-square
23×pow1/3
22×exp-sum
21×sqr-pow +-commutative un-div-inv
18×1-exp rec-exp pow2 log-pow
15×div-sub
12×cube-prod distribute-rgt-out-- rem-exp-log
11×pow-exp pow-to-exp
10×distribute-frac-neg hypot-def
9×associate--l+
7×pow-flip
6×cube-unmult neg-log sqrt-unprod inv-pow
5×associate--l-
4×expm1-udef log1p-expm1 distribute-lft-neg-out log1p-udef log-div
3×pow-unpow unpow3 cube-mult
2×remove-posit16 pow3 sub-div rem-log-exp
1×expm1-log1p distribute-lft1-in pow-pow hypot-udef rem-cbrt-cube

regimes4.9s (1.0%)

Accuracy

Total 28.7b remaining (18%)

Threshold costs 2.3b (1.5%)

11.3b61.9%Compound Interest
5.2b81.6%The quadratic formula (r2)
3.1b86.4%The quadratic formula (r1)
2.7b0%Complex division, imag part
2.6b0%Complex division, real part

localize4.1s (0.9%)

bsearch1.7s (0.4%)

end1.0ms (0.0%)