Details

simplify6.2m (58.3%)

rewrite1.8m (16.4%)

Algorithm
107×rewrite-expression-head
Calls

299 calls:

34.0s
(- (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))) (* 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)))) (- (+ (* (* 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))))) 3) (/ (pow (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) 6) (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))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) 3)))
19.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)))) (- (+ (* (* 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))) (+ (* 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))))))
4.9s
(/ (- (* (+ (* (* 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)))))
3.9s
(+ (+ (* 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)))
3.1s
(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))) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) 3)
Rules
2799×add-sqr-sqrt
2575×*-un-lft-identity
2193×times-frac
1602×add-exp-log
1575×add-cube-cbrt
1449×add-cbrt-cube
871×associate-*r*
767×pow1
703×add-log-exp
613×prod-exp
539×cbrt-unprod
489×associate-*l*
470×difference-of-squares
459×flip-+ flip3-+
380×frac-times
375×unpow-prod-down
348×distribute-lft-out associate-*r/
294×div-exp
276×frac-sub
259×flip3-- flip--
258×cbrt-undiv associate-*l/
230×sqrt-prod
220×pow-prod-down
210×associate-/l*
200×sqr-pow
199×associate-/r*
198×associate-/r/
191×distribute-lft-out--
172×unswap-sqr
163×sum-log
152×cbrt-prod
145×associate-/l/
136×div-inv
103×cube-prod
101×sub-neg
91×distribute-rgt-neg-in
90×frac-add
84×*-commutative
83×distribute-lft-neg-in
78×exp-neg
76×distribute-rgt-in distribute-lft-in diff-log
67×neg-sub0
66×cbrt-div
64×sqrt-div
62×log-prod
59×exp-diff
55×swap-sqr
47×+-commutative
46×clear-num frac-2neg
39×unpow2
38×associate-+l+
35×log-pow
34×cube-div
32×pow1/3
29×pow-to-exp neg-mul-1 pow-exp
27×exp-sum
25×associate-+r+
24×div-sub
23×un-div-inv exp-prod
19×pow1/2 distribute-rgt-out-- sqrt-pow1
18×pow-unpow rem-sqrt-square
16×pow-prod-up 1-exp rec-exp
15×pow-sqr cube-mult
14×unpow3
10×pow-plus distribute-frac-neg associate--r+ log-div
9×associate--l+ rem-log-exp
8×rem-exp-log pow2 associate-+r-
7×associate--l- distribute-lft-neg-out neg-log
6×pow-flip rem-cbrt-cube pow-pow
4×rem-cube-cbrt unsub-neg inv-pow distribute-rgt-neg-out
2×sub-div distribute-rgt-out
1×e-exp-1 distribute-lft1-in distribute-rgt1-in associate--r- associate-+l- exp-to-pow

sample1.2m (11.6%)

Algorithm
73×intervals
Results
26.1s293719×body80valid
10.4s13893×body1280valid
4.8s16752×body160valid
4.5s3851×body2560valid
4.2s9486×body640valid
3.1s100670×pre80true
2.9s2115×body10240exit
1.7s19321×body80nan
1.4s6834×body320valid
128.0ms207×body5120valid
4.0ms100×pre80false

prune41.9s (6.5%)

series36.6s (5.7%)

Calls

299 calls:

1.0s
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
670.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
652.0ms
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
627.0ms
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
608.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

regimes4.6s (0.7%)

Accuracy

Total 32.4b remaining (7.4%)

Threshold costs 2.5b (0.6%)

10.5b53.4%Compound Interest
5.0b74.3%Kahan p9 Example
3.5b87.6%The quadratic formula (r2)
3.1b0%Complex division, imag part
2.9b87.2%The quadratic formula (r1)

localize3.1s (0.5%)

bsearch1.5s (0.2%)

end1.0ms (0.0%)