Details

rewrite14.1s (11.1%)

Algorithm

109×	rewrite-expression-head

Calls

307 calls:

1.5s	(+ (+ (* (* (* 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 (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* (* (- 6.0) x1) x1))
1.2s	(+ (+ (* 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)))
597.0ms	(+ (+ (+ (* 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)))
556.0ms	(+ (+ (* 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)))
460.0ms	(* (* (* 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))

Rules

3329×	add-sqr-sqrt
3288×	*-un-lft-identity
3012×	times-frac
2020×	add-cube-cbrt
1734×	add-exp-log
1532×	add-cbrt-cube
942×	associate-*r*
801×	pow1
709×	add-log-exp
692×	associate-*l*
608×	prod-exp
518×	cbrt-unprod
489×	sqrt-prod
415×	distribute-lft-out
394×	difference-of-squares
375×	div-exp
326×	cbrt-undiv
317×	unpow-prod-down
292×	flip-+ flip3-+
276×	associate-*r/
254×	associate-/l*
239×	frac-times
237×	associate-/r/
232×	associate-/r*
226×	distribute-lft-out--
223×	cbrt-prod
221×	flip3-- flip--
211×	unswap-sqr
206×	div-inv
196×	pow-prod-down
165×	sum-log
149×	associate-*l/
143×	sqr-pow
136×	cube-prod
121×	swap-sqr
116×	sqrt-div
106×	sub-neg
100×	frac-sub
92×	*-commutative
85×	distribute-rgt-in distribute-lft-in
80×	exp-neg log-prod
73×	associate-/l/
72×	diff-log
71×	neg-sub0
67×	sqrt-pow1
63×	frac-add
62×	exp-diff
56×	distribute-rgt-neg-in
53×	clear-num frac-2neg
50×	pow-exp
47×	pow1/2 unpow2
46×	cbrt-div
45×	+-commutative
39×	pow-to-exp
35×	pow-prod-up
34×	associate-+l+
33×	associate-+r+
30×	distribute-lft-neg-in rem-sqrt-square
26×	un-div-inv log-pow
25×	1-exp rec-exp
23×	pow-sqr
22×	pow-plus
19×	pow-unpow div-sub
18×	pow2
17×	unpow3 cube-mult
16×	log-div
14×	cube-div rem-cube-cbrt
13×	associate--l+
12×	pow-pow
11×	pow1/3
10×	distribute-lft-neg-out neg-mul-1
9×	neg-log associate--l-
8×	pow-flip
7×	rem-log-exp
6×	inv-pow sum-cubes
5×	associate-+r- distribute-frac-neg exp-prod rem-cbrt-cube associate--r+
4×	unsub-neg exp-sum
2×	distribute-lft1-in distribute-rgt-out-- associate-+l-
1×	sqrt-undiv rem-exp-log sqrt-unprod pow3 cube-unmult sub-div rem-square-sqrt distribute-rgt-out exp-to-pow