Details

rewrite1.2m (12.4%)

Algorithm

104×	rewrite-expression-head

Calls

293 calls:

11.8s	(+ (* (* (* 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 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
10.6s	(+ (* (* (* 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 (* (* (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 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
5.4s	(+ (+ (* 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.3s	(+ (* (* (* 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) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
1.2s	(+ (* (* (* 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)))

Rules

4744×	cbrt-div
4262×	times-frac
3897×	*-un-lft-identity
3734×	add-sqr-sqrt
3333×	frac-times
3286×	associate-*r/
2687×	flip3-- flip--
2506×	add-cube-cbrt
1686×	add-exp-log
1609×	sqrt-prod
1424×	add-cbrt-cube
1263×	frac-add
1049×	associate-*l/
720×	pow1
716×	add-log-exp
666×	difference-of-squares
644×	associate-*r*
612×	prod-exp
536×	associate-*l*
524×	cbrt-unprod
501×	distribute-lft-out
433×	unpow-prod-down
390×	associate-/r*
376×	div-exp
349×	cbrt-prod
317×	cbrt-undiv
295×	associate-/l*
250×	flip-+ flip3-+
235×	sqr-pow
230×	distribute-lft-out--
226×	associate-/r/
206×	pow-prod-down
192×	div-inv
159×	sum-log
157×	sqrt-div
143×	unswap-sqr
121×	frac-sub
111×	sub-neg
98×	associate-/l/
94×	diff-log
93×	cube-prod
82×	exp-neg
71×	*-commutative
69×	distribute-rgt-neg-in
68×	distribute-rgt-in distribute-lft-in
66×	neg-sub0
64×	distribute-lft-neg-in
62×	exp-diff
57×	clear-num frac-2neg
53×	log-prod
48×	swap-sqr
44×	+-commutative
36×	rem-sqrt-square
35×	log-pow
34×	associate-+l+
32×	associate-+r+
31×	sqrt-pow1
30×	pow-to-exp exp-prod pow-exp
29×	pow1/2 associate--l+
24×	unpow2 pow1/3
23×	un-div-inv
22×	pow-prod-up neg-mul-1
19×	unpow3 1-exp cube-mult rec-exp
18×	cube-div div-sub
17×	pow-plus
16×	exp-sum log-div
14×	pow-unpow
13×	associate--l-
12×	pow-sqr
11×	pow2
9×	rem-log-exp
8×	distribute-neg-in pow-pow
7×	distribute-frac-neg
6×	rem-cbrt-cube associate--r+
4×	rem-exp-log distribute-lft-neg-out associate-+l-
3×	neg-log
2×	sqrt-pow2 distribute-lft1-in unpow-prod-up exp-to-pow
1×	rem-cube-cbrt sqrt-undiv pow3 inv-pow associate-+r- cube-unmult distribute-rgt-out-- sub-div pow-flip distribute-rgt-out