Details

rewrite10.1m (82.1%)

Algorithm
46×rewrite-expression-head
Calls

114 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.7s
(* (+ (* (* (* 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))))))))
5.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)))))
4.0s
(+ (+ (* 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)))
2.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))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))
Rules
1023×*-un-lft-identity
906×add-sqr-sqrt
704×times-frac
513×add-cube-cbrt
421×add-exp-log
408×add-cbrt-cube
357×flip-+ flip3-+
353×add-log-exp
284×frac-times
280×pow1
238×associate-*r*
217×frac-sub
207×distribute-lft-out
194×associate-*r/
172×difference-of-squares
169×associate-*l/
140×prod-exp
132×cbrt-unprod
129×cbrt-prod
117×associate-*l*
116×sum-log
109×flip-- flip3--
93×unpow-prod-down
87×associate-/l/
84×distribute-lft-out--
78×exp-neg
77×pow-prod-down
71×cbrt-undiv div-exp
69×associate-/l*
68×frac-add
60×associate-/r* neg-sub0 associate-/r/
59×exp-diff
52×div-inv
45×cube-prod
44×sqrt-prod
43×swap-sqr
42×sqr-pow sub-neg
36×unswap-sqr
35×sqrt-pow1
32×diff-log
25×distribute-rgt-in distribute-lft-in +-commutative
24×*-commutative
22×exp-prod
21×sqrt-div
20×associate-+r+
19×un-div-inv
17×associate-+l+
16×clear-num frac-2neg
15×pow1/2
14×cbrt-div pow-prod-up
12×log-prod
10×pow-sqr
9×log-pow
8×cube-div div-sub associate--r+
7×rem-exp-log cube-mult
6×unpow3 pow1/3
5×distribute-rgt-neg-in pow-to-exp pow2 pow-plus pow-exp
4×rem-sqrt-square
3×pow-unpow neg-log exp-sum rem-cbrt-cube
2×distribute-lft-neg-in associate--l- distribute-rgt-out neg-mul-1 associate--l+ rem-log-exp log-div
1×distribute-lft1-in sqrt-unprod distribute-lft-neg-out associate-+r- rem-square-sqrt distribute-frac-neg pow-pow

simplify1.9m (15.4%)

sample10.5s (1.4%)

Algorithm
45×intervals
Results
5.0s85260×body80valid
1.1s36648×pre80true
511.0ms264×body10240exit
237.0ms409×body1280valid
151.0ms538×body160valid
142.0ms302×body640valid
127.0ms117×body2560valid
47.0ms217×body320valid
35.0ms590×body80nan
4.0ms100×pre80false
4.0ms5×body5120valid

prune5.3s (0.7%)

series1.6s (0.2%)

Calls

35 calls:

98.0ms
(cbrt (pow (+ (+ d (+ b c)) a) 3))
92.0ms
(cbrt (pow (+ a (+ (+ b c) d)) 3))
88.0ms
(+ (+ e d) (+ a (+ b c)))
85.0ms
(+ (+ (+ (+ e d) c) b) a)
84.0ms
(cbrt (pow (cbrt (pow (+ (+ d (+ b c)) a) 3)) 3))

localize1.0s (0.1%)

regimes498.0ms (0.1%)

Accuracy

Total 1.0b remaining (1.5%)

Threshold costs 1.0b (1.5%)

0.8b0%Expression, p6
0.2b0%Expression 1, p15

bsearch0.0ms (0.0%)

end0.0ms (0.0%)