Details

rewrite42.3s (17.6%)

Algorithm

112×	rewrite-expression-head

Calls

309 calls:

4.3s	(+ (+ (* 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.7s	(+ (+ (* 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)))
1.6s	(+ (+ (+ (* 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.5s	(* (- (/ 1.0 (+ (pow 1.0 3) (pow x 3))) (/ x (+ (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
994.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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

Rules

5698×	times-frac
5179×	*-un-lft-identity
4613×	add-sqr-sqrt
2820×	add-cube-cbrt
1816×	cbrt-div
1740×	add-exp-log
1662×	associate-*r/
1487×	add-cbrt-cube
1139×	flip-- flip3--
1079×	frac-times
1074×	associate-*r*
839×	unpow-prod-down
731×	add-log-exp
717×	frac-add
711×	distribute-lft-out
690×	pow1
687×	difference-of-squares
596×	associate-/r*
568×	associate-*l/
553×	prod-exp
547×	associate-*l*
471×	cbrt-unprod
464×	div-exp
437×	distribute-lft-out--
359×	cbrt-undiv
345×	cbrt-prod
307×	cube-prod
290×	sqrt-prod
285×	sqr-pow
276×	swap-sqr div-inv
239×	flip-+ flip3-+
219×	associate-/l*
193×	associate-/r/
167×	pow-prod-down
165×	unswap-sqr
152×	sum-log
112×	sub-neg
97×	diff-log
92×	associate-/l/
91×	unpow2
68×	*-commutative
65×	distribute-rgt-in distribute-lft-in
62×	distribute-rgt-neg-in
61×	clear-num frac-2neg
58×	sqrt-div
51×	pow-to-exp pow-exp
45×	+-commutative
42×	associate--l+
40×	pow-unpow
38×	unpow3 cube-mult
36×	associate-+l+
33×	distribute-lft-neg-in pow1/3
32×	associate-+r+ log-prod
27×	frac-sub 1-exp
24×	distribute-lft-neg-out
23×	rec-exp
22×	pow-prod-up sum-cubes sqrt-pow1
20×	cube-div pow1/2 div-sub
18×	rem-sqrt-square associate--l- pow-plus
17×	pow-pow
12×	pow-sqr pow2 log-div
11×	neg-sub0 neg-mul-1
9×	log-pow neg-log associate--r+
7×	sub-div
6×	pow-flip exp-prod rem-cbrt-cube
5×	inv-pow distribute-rgt-out-- unsub-neg
4×	distribute-frac-neg exp-sum
3×	un-div-inv associate-+r- difference-of-sqr-1 associate--r- exp-to-pow rem-log-exp
2×	exp-diff rem-exp-log distribute-lft1-in distribute-rgt-out associate-+l-
1×	rem-cube-cbrt difference-cubes sqrt-pow2 pow3 cube-unmult