Details

rewrite10.4m (82.0%)

Algorithm
45×rewrite-expression-head
Calls

105 calls:

1.9m
(- (* (+ (* (/ 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.0s
(* (+ (* (* (* 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))))))))
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)))
2.4s
(+ (+ (* (* 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
884×*-un-lft-identity
778×add-sqr-sqrt
572×times-frac
438×add-exp-log
427×add-cube-cbrt
424×add-cbrt-cube
353×add-log-exp
326×flip-+ flip3-+
309×pow1
252×frac-times
251×associate-*r*
217×frac-sub
179×distribute-lft-out
172×associate-*r/
162×prod-exp
156×difference-of-squares
154×cbrt-unprod
136×associate-*l/
126×sum-log
105×pow-prod-down
97×flip3-- flip--
96×associate-*l*
90×associate-/l/
78×distribute-lft-out--
74×exp-neg
68×cbrt-undiv div-exp
64×sqrt-prod
59×neg-sub0
56×exp-diff
54×unpow-prod-down associate-/r* associate-/r/
51×associate-/l*
45×swap-sqr
44×div-inv
38×sqr-pow frac-add sub-neg unswap-sqr
29×diff-log
26×+-commutative
25×*-commutative
24×pow1/2 sqrt-pow1
23×sqrt-div
19×pow-prod-up
18×cbrt-prod distribute-rgt-in un-div-inv exp-prod distribute-lft-in
17×associate-+r+
15×associate-+l+
14×clear-num frac-2neg
13×pow-sqr pow-plus
8×distribute-rgt-neg-in pow2 log-pow div-sub log-prod
7×sqrt-unprod associate--r+
6×cube-prod distribute-rgt-out
5×rem-sqrt-square distribute-lft1-in pow-to-exp pow-exp
4×rem-exp-log neg-log
3×pow-unpow cube-mult
2×cbrt-div cube-div distribute-lft-neg-in associate--l- unpow3 associate-+l- associate--l+ neg-mul-1 rem-log-exp log-div
1×pow3 distribute-lft-neg-out associate-+r- pow1/3 rem-square-sqrt distribute-frac-neg exp-sum rem-cbrt-cube pow-pow

simplify1.9m (15.1%)

sample13.6s (1.8%)

Algorithm
46×intervals
Results
4.5s87563×body80valid
1.2s3093×body1280valid
1.2s36636×pre80true
1.0s1821×body640valid
779.0ms726×body2560valid
570.0ms257×body10240exit
290.0ms917×body320valid
239.0ms873×body160valid
41.0ms610×body80nan
7.0ms100×pre80false
4.0ms5×body5120valid

prune5.1s (0.7%)

series1.5s (0.2%)

Calls

31 calls:

102.0ms
(cbrt (pow (+ a (+ (+ b c) d)) 3))
98.0ms
(+ (+ (+ e d) c) (+ b a))
83.0ms
(+ e (+ d (+ a (+ b c))))
82.0ms
(+ (+ (+ (+ e d) c) b) a)
79.0ms
(* (* (sqrt a) (sqrt (+ (+ b c) d))) (* (sqrt a) (sqrt (+ (+ b c) d))))

localize1.0s (0.1%)

regimes307.0ms (0.0%)

Accuracy

Total 1.2b remaining (1.1%)

Threshold costs 1.2b (1.1%)

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

bsearch0.0ms (0.0%)

end0.0ms (0.0%)