Details

rewrite30.9s (23.8%)

Algorithm

109×	rewrite-expression-head

Calls

298 calls:

3.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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
2.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.8s	(cbrt (+ (+ (* (* (* 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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0))))
1.8s	(cbrt (+ (+ (* (* (* 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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0))))
1.8s	(cbrt (+ (+ (* (* (* 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)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0))))

Rules

6367×	times-frac
5148×	*-un-lft-identity
4844×	add-sqr-sqrt
3013×	add-cube-cbrt
1978×	add-exp-log
1382×	add-cbrt-cube
987×	associate-*r*
944×	unpow-prod-down
734×	add-log-exp
679×	div-exp
673×	difference-of-squares
663×	pow1
652×	distribute-lft-out
574×	sqrt-prod prod-exp
535×	associate-/r*
472×	associate-*l*
450×	associate-/r/
413×	distribute-lft-out--
409×	cbrt-unprod
345×	div-inv
344×	sqr-pow
336×	associate-*r/
327×	cbrt-undiv
282×	associate-/l*
272×	flip-- flip3--
265×	flip-+ flip3-+
256×	cube-prod
249×	cbrt-prod
193×	unpow2
186×	unswap-sqr
171×	sum-log
156×	pow-prod-down
150×	frac-times
100×	1-exp
98×	associate-*l/
95×	swap-sqr
94×	sub-neg
91×	associate-/l/
77×	diff-log
76×	distribute-rgt-neg-in pow-exp
75×	rec-exp
73×	distribute-rgt-in distribute-lft-in *-commutative
68×	pow-to-exp
58×	clear-num frac-2neg
54×	distribute-lft-neg-in sqrt-div
49×	frac-add
48×	log-prod
46×	+-commutative
32×	associate-+l+
31×	cbrt-div
27×	div-sub
25×	pow-unpow rem-sqrt-square
24×	pow1/2 associate-+r+ unpow3 cube-mult sqrt-pow1
23×	frac-sub
18×	neg-mul-1
17×	cube-div
16×	pow-plus pow-prod-up exp-prod
15×	pow1/3
14×	exp-to-pow
13×	distribute-rgt-out-- log-pow
12×	neg-sub0 exp-sum
11×	pow2 pow-sqr pow-flip pow-pow
10×	neg-log associate--l+
9×	rem-exp-log associate--l- inv-pow
8×	associate--r+ log-div
6×	rem-cbrt-cube
5×	distribute-frac-neg
4×	rem-cube-cbrt sum-cubes rem-log-exp
3×	un-div-inv unsub-neg distribute-lft-neg-out sub-div associate-+r- associate--r-
2×	exp-diff distribute-rgt-neg-out associate-+l-
1×	sqrt-pow2 distribute-lft1-in pow3 distribute-rgt-out +-inverses remove-double-div