Details

rewrite1.1m (9.4%)

Algorithm

109×	rewrite-expression-head

Calls

320 calls:

20.0s	(+ (+ (* (+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (+ (+ (* (- 3.0) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))) (* (* x1 x1) (- 6.0)))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1))
6.9s	(+ (+ (* (+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (+ (* (- 3.0) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1))
2.7s	(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (* (* w r) (* w r))) (- 3.0 (* 2.0 v))) (/ (cbrt 0.125) (cbrt (- 1.0 v))))
2.0s	(cbrt (* (- (+ (* 0.6666666666666667 (* x (* x x))) 2.0) (* 1.0 (* x x))) (* (- (+ (* 0.6666666666666667 (* x (* x x))) 2.0) (* 1.0 (* x x))) (- (+ (* 0.6666666666666667 (* x (* x x))) 2.0) (* 1.0 (* x x))))))
1.9s	(+ (+ (* (* x x) (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (+ 2.0 (* (pow y 4.0) 121.0)))) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* 2.0 y))))

Rules

3332×	add-exp-log
2976×	*-un-lft-identity
2745×	add-sqr-sqrt
2624×	add-cbrt-cube
2390×	times-frac
1827×	prod-exp
1787×	cbrt-unprod
1722×	add-cube-cbrt
1321×	pow1
935×	associate-*r*
782×	add-log-exp
564×	div-exp
550×	cbrt-undiv
537×	pow-prod-down
492×	frac-times
462×	associate-*l*
410×	distribute-lft-out
343×	associate-*r/ associate-*l/
341×	flip-+ flip3-+
340×	difference-of-squares
338×	flip3-- flip--
312×	sqrt-prod
304×	cbrt-prod
238×	distribute-lft-out--
225×	associate-/l*
213×	associate-/r/
205×	associate-/r*
201×	sum-log
193×	frac-sub
168×	swap-sqr
164×	cbrt-div
156×	div-inv
146×	unswap-sqr
120×	unpow-prod-down
116×	sub-neg
94×	sqrt-div *-commutative
92×	exp-neg
85×	pow-prod-up
75×	diff-log
73×	neg-sub0 sqr-pow
71×	distribute-rgt-in associate-/l/ distribute-lft-in
69×	exp-diff
58×	frac-add
57×	+-commutative distribute-rgt-neg-in
56×	pow-plus
54×	distribute-lft-neg-in
49×	frac-2neg clear-num pow-sqr
48×	sqrt-pow1
41×	pow1/3
40×	rem-sqrt-square
34×	pow2 pow1/2
33×	associate-+r+
32×	associate-+l+
27×	log-prod
26×	un-div-inv
23×	log-pow
19×	div-sub
18×	neg-mul-1
16×	exp-sum associate--l+
15×	pow-exp pow-to-exp
14×	pow3
13×	associate--r+
11×	exp-prod
9×	distribute-lft-neg-out cube-unmult distribute-frac-neg
8×	associate-+r- 1-exp rec-exp
7×	sum-cubes
6×	log-div
5×	rem-log-exp
4×	cube-prod rem-cbrt-cube distribute-rgt-out
3×	distribute-lft1-in associate--l- pow-unpow unsub-neg
2×	pow-flip distribute-rgt-neg-out neg-log inv-pow exp-to-pow associate-+l-
1×	unpow3 pow-pow rem-exp-log cube-mult associate--r- distribute-rgt1-in