Details

simplify13.7m (64.0%)

prune5.1m (23.6%)

rewrite1.0m (4.8%)

Algorithm
92×rewrite-expression-head
Calls

267 calls:

7.3s
(+ (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.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)))))
6.8s
(+ (* (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* (/ 77617.0 (* 2.0 33096.0)) (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0)))) (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))) (* (+ (* (/ 77617.0 (* 2.0 33096.0)) (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0)))) (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))) (* (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (- (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))) (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))))) (* (+ (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (- (* (/ 77617.0 (* 2.0 33096.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)) (* 5.5 (pow 33096.0 8.0))) (- (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))) (* (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))))
6.4s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 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))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (+ (* x1 x1) 1.0) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.9s
(+ (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))
1.8s
(* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0)))
Rules
80707×frac-times
47528×flip-+ flip3-+
28428×associate-*r/
24002×associate-*l/
20406×frac-add
14386×add-exp-log
14102×add-cbrt-cube
13499×flip3-- flip--
8026×prod-exp
7907×cbrt-unprod
4479×div-exp
4407×cbrt-undiv
2513×*-un-lft-identity
2510×add-sqr-sqrt
2181×times-frac
1886×pow1
1428×add-cube-cbrt
740×associate-*r*
671×add-log-exp
496×pow-prod-down
460×pow-prod-up
385×difference-of-squares
360×associate-*l*
326×cbrt-div
322×distribute-lft-out
274×distribute-lft-out--
264×sqrt-prod
260×associate-/l/
219×pow-sqr
207×pow-plus
197×cbrt-prod
195×associate-/l*
175×sum-log
174×associate-/r/
169×div-inv
142×associate-/r*
136×swap-sqr
131×pow2
108×unswap-sqr
94×sub-neg
81×*-commutative
70×distribute-rgt-in distribute-lft-in
68×diff-log
63×exp-prod
60×unpow-prod-down
50×log-pow
48×distribute-rgt-neg-in
46×sqrt-div
45×distribute-lft-neg-in
44×sqr-pow
42×+-commutative
41×pow1/3 frac-2neg clear-num
38×log-prod associate-+r+
35×associate-+l+
23×frac-sub
22×1-exp rec-exp
20×sqrt-pow1 pow1/2 div-sub log-div
17×pow-flip
15×pow-exp neg-mul-1 pow-to-exp rem-sqrt-square
10×pow3 associate--r+
8×rem-log-exp
6×pow-unpow
5×distribute-lft1-in associate--l- cube-unmult rem-cbrt-cube
4×cube-prod associate--l+ exp-to-pow
3×distribute-frac-neg distribute-rgt-out--
2×neg-sub0 distribute-lft-neg-out exp-diff associate-+r- exp-sum pow-pow inv-pow rem-exp-log associate-+l- associate--r-
1×unpow3 neg-log sqrt-unprod sub-div difference-cubes sum-cubes un-div-inv rem-square-sqrt cube-mult distribute-rgt-out

sample47.4s (3.7%)

Algorithm
63×intervals
Results
17.9s215104×body80valid
6.1s10229×body1280valid
5.5s16403×body160valid
3.4s92624×pre80true
2.6s7204×body640valid
2.2s1711×body2560valid
1.3s5744×body320valid
439.0ms263×body10240exit
289.0ms5494×body80nan
43.0ms20×body5120valid
7.0ms100×pre80false

series37.7s (2.9%)

Calls

267 calls:

1.2s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 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))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (+ (* x1 x1) 1.0) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
723.0ms
(* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
660.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))))
658.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
636.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))))

regimes7.4s (0.6%)

Accuracy

Total 17.2b remaining (5.7%)

Threshold costs 1.9b (0.6%)

11.1b51.8%Compound Interest
1.5b0%Rosa's DopplerBench
1.5b0%Expression, p6
1.1b0%simple fma test
0.3b0%fma_test1

localize4.0s (0.3%)

bsearch980.0ms (0.1%)

end1.0ms (0.0%)