Details

rewrite1.2m (32.4%)

Algorithm

108×	rewrite-expression-head

Calls

304 calls:

44.7s	(+ (+ (* (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (cbrt (- (/ (- (+ (* (* 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))) (* x1 (* x1 (- 6.0))))
3.4s	(+ (+ (* (* (* 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))) (* x1 (* x1 (- 6.0))))
2.5s	(+ (+ (* 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)))
1.1s	(+ (+ (+ (* 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)))
1.1s	(* (* (* 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

7017×	times-frac
5704×	*-un-lft-identity
5006×	add-sqr-sqrt
3338×	add-cube-cbrt
1556×	add-exp-log
1253×	add-cbrt-cube
831×	distribute-lft-out
771×	add-log-exp
755×	difference-of-squares
733×	unpow-prod-down
707×	associate-*l*
670×	pow1
661×	associate-*r*
560×	associate-/r*
528×	sqrt-prod
464×	distribute-rgt-neg-in
461×	prod-exp
435×	distribute-lft-neg-in
416×	div-exp
393×	associate-/r/
377×	sqr-pow
364×	cbrt-unprod
349×	distribute-lft-out--
342×	associate-/l*
334×	associate-*r/
324×	div-inv
269×	cbrt-undiv
266×	flip3-- flip--
254×	flip-+ flip3-+
197×	unpow2
187×	sum-log
162×	pow-prod-down
145×	neg-mul-1
139×	unswap-sqr
120×	cube-prod
109×	sub-neg
105×	frac-times
90×	associate-/l/
88×	diff-log
80×	associate-*l/
74×	cbrt-prod
73×	distribute-rgt-in frac-add swap-sqr distribute-lft-in
71×	sqrt-div
68×	clear-num frac-2neg
66×	*-commutative
56×	pow-exp
53×	+-commutative
52×	pow-to-exp
45×	log-prod
37×	associate-+l+
35×	1-exp rec-exp
34×	associate-+r+ frac-sub
31×	rem-sqrt-square
25×	div-sub
24×	pow1/2 sqrt-pow1
20×	log-div
19×	pow-unpow
17×	pow-prod-up associate--l+
15×	pow-plus cbrt-div associate--r+
13×	pow-sqr log-pow
12×	unpow3 cube-mult neg-sub0
11×	distribute-rgt-out--
10×	difference-cubes associate--l- pow2 sub-div neg-log pow-pow
9×	exp-prod exp-sum
8×	cube-div pow1/3 distribute-rgt-neg-out
7×	inv-pow pow-flip rem-log-exp
6×	pow3 associate-+l-
4×	associate-+r- unsub-neg associate--r- rem-cbrt-cube
3×	distribute-frac-neg exp-to-pow
2×	exp-diff rem-exp-log distribute-lft-neg-out distribute-rgt-out distribute-neg-frac
1×	rem-cube-cbrt un-div-inv distribute-lft1-in