Details

rewrite10.6m (44.9%)

Algorithm
108×rewrite-expression-head
Calls

314 calls:

2.8m
(- (* (* (* (* 77617.0 77617.0) (- (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0)))) (* (* (pow 33096.0 4.0) -121.0) (* (pow 33096.0 4.0) -121.0)))) (* (* 77617.0 77617.0) (+ (pow (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) 3) (pow (* (pow 33096.0 4.0) -121.0) 3)))) (* (+ (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (+ (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))))) (* (* (- (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)) (+ (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0)))) (- (* (* (pow 33096.0 4.0) -121.0) (* (pow 33096.0 4.0) -121.0)) (* (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))))) (* (+ (pow (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))))
11.7s
(/ (- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))))) (- (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))
3.8s
(- (* (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0))) (* (* 77617.0 77617.0) (+ (+ (* (* 77617.0 33096.0) (* 11.0 (* 77617.0 33096.0))) (- -2.0 (pow 33096.0 6.0))) (* (pow 33096.0 4.0) -121.0)))) (* (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* (pow 33096.0 6.0) 333.75) (/ (/ 77617.0 2.0) 33096.0)) (* 5.5 (pow 33096.0 8.0)))))
3.7s
(+ (+ (* (* x x) (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (+ 2.0 (* (pow y 4.0) 121.0)))) (* (pow y 6.0) 333.75)) (+ (* 5.5 (pow y 8.0)) (/ (/ x 2.0) y)))
2.7s
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
Rules
3400×times-frac
3139×add-sqr-sqrt
3120×*-un-lft-identity
2202×pow1
2134×add-cube-cbrt
1861×add-exp-log
1684×add-cbrt-cube
1038×pow-prod-down
834×sqrt-prod
799×associate-*r*
759×add-log-exp
671×prod-exp
636×flip-+ flip3-+
623×cbrt-unprod
541×associate-*r/
531×associate-*l*
505×frac-times
417×div-exp
341×sqrt-pow1
337×cbrt-undiv associate-*l/
325×distribute-lft-out
317×difference-of-squares
284×associate-/r/
275×associate-/r*
267×associate-/l*
242×flip3-- flip--
227×div-inv
202×cbrt-div
193×distribute-lft-out-- pow-prod-up
181×sum-log
159×sqrt-div frac-sub
151×associate-/l/
140×unswap-sqr
134×cbrt-prod
132×swap-sqr
119×sub-neg
118×pow-sqr
91×diff-log
88×*-commutative
77×unpow-prod-down
75×distribute-rgt-in distribute-lft-in
71×pow-plus
69×frac-add
68×pow1/2
62×distribute-rgt-neg-in
59×clear-num exp-sum frac-2neg
57×log-pow
54×distribute-lft-neg-in
51×sqr-pow
49×exp-prod
39×+-commutative
37×log-prod
34×pow2
31×1-exp
29×rec-exp
28×associate-+r+
24×associate-+l+ rem-sqrt-square pow1/3
22×associate--l+
21×div-sub
18×neg-mul-1
12×rem-exp-log
11×pow3 rem-log-exp
10×associate--l-
9×cube-unmult pow-to-exp pow-exp associate--r+
8×distribute-lft-neg-out distribute-frac-neg
6×pow-unpow distribute-rgt-out-- log-div
5×associate-+r- neg-sub0
4×exp-diff inv-pow pow-flip sum-cubes rem-cbrt-cube
3×neg-log
2×un-div-inv distribute-lft1-in sqrt-unprod sub-div rem-square-sqrt associate-+l- exp-to-pow pow-pow
1×unsub-neg distribute-rgt-out

simplify8.5m (36.1%)

sample1.7m (7.2%)

Algorithm
72×intervals
Results
38.1s285893×body80valid
13.6s13845×body1280valid
7.8s17311×body160valid
6.3s9247×body640valid
6.2s3787×body2560valid
4.3s2207×body10240exit
3.7s6865×body320valid
3.6s100607×pre80true
3.0s19212×body80nan
270.0ms213×body5120valid
5.0ms100×pre80false

prune1.5m (6.3%)

series59.9s (4.2%)

Calls

310 calls:

1.2s
(cbrt (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)))
1.1s
(cbrt (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)))
1.1s
(+ (+ (* (* x x) (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (+ 2.0 (* (pow y 4.0) 121.0)))) (* (pow y 6.0) 333.75)) (+ (* 5.5 (pow y 8.0)) (/ (/ x 2.0) y)))
1.1s
(cbrt (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)))
936.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

regimes10.4s (0.7%)

Accuracy

Total 35.3b remaining (10.6%)

Threshold costs 3.3b (1%)

10.6b57.1%Compound Interest
5.5b72.9%Kahan p9 Example
5.2b82.1%The quadratic formula (r1)
4.2b85.4%The quadratic formula (r2)
2.9b0%Complex division, real part

localize6.4s (0.5%)

bsearch1.8s (0.1%)

end2.0ms (0.0%)