Details

rewrite10.3m (67.5%)

Algorithm
108×rewrite-expression-head
Calls

307 calls:

2.1m
(- (* (+ (* (/ 77617.0 (* 2.0 33096.0)) (- (/ 77617.0 (* 2.0 33096.0)) (* 5.5 (pow 33096.0 8.0)))) (* (pow 33096.0 (* 2 8.0)) (* 5.5 5.5))) (* (+ (pow (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) 3) (pow (* 333.75 (pow 33096.0 6.0)) 3)) (+ (pow (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) 3) (pow (* 333.75 (pow 33096.0 6.0)) 3)))) (* (+ (* (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))))) (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (/ 77617.0 (* 2.0 33096.0)) 3)) (+ (* (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))))))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
14.2s
(* (+ (* (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))))) (* (+ (* (/ 77617.0 (* 2.0 33096.0)) (- (/ 77617.0 (* 2.0 33096.0)) (* 5.5 (pow 33096.0 8.0)))) (* (pow 33096.0 (* 2 8.0)) (* 5.5 5.5))) (+ (* (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0)))) (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))))))))
3.5s
(/ (- (* (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0)))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (- (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))
2.4s
(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
1.6s
(+ (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (+ (* -121.0 (pow 33096.0 4.0)) -2.0))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))
Rules
8198×times-frac
7245×add-sqr-sqrt
7138×*-un-lft-identity
3635×add-cube-cbrt
2282×sqrt-prod
2060×unpow-prod-down
1925×difference-of-squares
1695×cube-prod
1473×add-exp-log
1255×add-cbrt-cube
1065×cbrt-prod
922×distribute-lft-out
880×distribute-lft-out--
810×sqr-pow
725×pow1
666×add-log-exp
633×associate-*l*
615×associate-*r*
554×flip-+ flip3-+
510×associate-/r*
449×associate-*r/
447×prod-exp
420×associate-/l*
371×cbrt-unprod
346×div-exp
298×frac-times
285×associate-/r/
270×cbrt-undiv
252×div-inv
203×flip-- flip3--
196×frac-add
191×associate-*l/
180×pow-prod-down
157×associate-/l/ sum-log
147×unswap-sqr
144×frac-sub
101×sqrt-div
98×cbrt-div
96×unpow2
87×sub-neg
86×swap-sqr
83×sqrt-pow1
80×difference-cubes
78×distribute-rgt-in distribute-lft-in
72×*-commutative
71×distribute-rgt-neg-in
67×clear-num frac-2neg
61×diff-log
56×pow1/2
54×distribute-lft-neg-in
47×pow1/3
41×rem-sqrt-square
40×+-commutative
39×associate-+r+
34×log-prod
31×pow-to-exp pow-exp
28×associate-+l+ div-sub
27×pow-prod-up
24×rec-exp 1-exp
22×exp-sum
21×pow-unpow pow-sqr
19×cube-mult
18×unpow3 neg-mul-1
17×pow-pow
14×cube-div
11×pow-plus pow2 distribute-rgt-out
10×associate--r+
9×distribute-lft-neg-out pow-flip
8×inv-pow distribute-rgt1-in
7×rem-cbrt-cube
6×associate--l- log-pow distribute-frac-neg neg-sub0
5×un-div-inv
4×sqrt-pow2
3×distribute-lft1-in unpow-prod-up neg-log associate--l+
2×sqrt-unprod rem-square-sqrt associate-+l- log-div
1×rem-cube-cbrt unsub-neg associate-+r- associate--r- rem-log-exp

simplify3.2m (21.3%)

prune35.0s (3.8%)

sample31.9s (3.5%)

Algorithm
72×intervals
Results
9.2s294096×body80valid
4.7s13707×body1280valid
2.6s3911×body2560valid
1.7s9420×body640valid
1.3s100616×pre80true
1.0s2258×body10240exit
695.0ms6798×body320valid
547.0ms19341×body80nan
495.0ms8936×body160valid
86.0ms236×body5120valid
4.0ms100×pre80false

series29.7s (3.2%)

Calls

303 calls:

551.0ms
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
495.0ms
(+ (+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))) (* (* (- 6.0) (* x1 x1)) (+ (* x1 x1) 1.0)))
452.0ms
(* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))
434.0ms
(* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0))))
426.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

regimes3.5s (0.4%)

Accuracy

Total 32.2b remaining (8.7%)

Threshold costs 5.6b (1.5%)

12.8b48.6%Compound Interest
4.9b81.9%The quadratic formula (r1)
4.6b76.3%Kahan p9 Example
2.4b22.9%Complex division, real part
1.8b40.3%Complex division, imag part

localize1.4s (0.2%)

bsearch972.0ms (0.1%)

end1.0ms (0.0%)