Details

rewrite56.9s (13.5%)

Algorithm

110×	rewrite-expression-head

Calls

316 calls:

10.0s	(+ (* (* (* 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)))) (* (* x1 x1) (- 6.0))))
6.8s	(* (cbrt (+ (* 2.0 2.0) (- (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (+ (* 2.0 2.0) (- (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))))
4.0s	(+ (+ (* 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	(+ (* (* (* 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)))) (* (* x1 x1) (- 6.0))))
1.8s	(+ (+ (+ (* 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)))

Rules

4875×	times-frac
4331×	*-un-lft-identity
4277×	add-sqr-sqrt
2767×	add-cube-cbrt
1689×	add-exp-log
1421×	add-cbrt-cube
1114×	associate-*r*
770×	pow1
745×	sqrt-prod
732×	add-log-exp
690×	associate-*r/
603×	frac-times
581×	cbrt-div
544×	associate-*l*
543×	flip-- difference-of-squares flip3--
539×	prod-exp
514×	unpow-prod-down
451×	distribute-lft-out
432×	cbrt-unprod
412×	div-exp
393×	flip-+ flip3-+
384×	distribute-lft-out--
380×	associate-/r*
355×	cbrt-prod
327×	associate-/l* associate-*l/
320×	cbrt-undiv
316×	associate-/r/
292×	frac-add
288×	div-inv
205×	sqr-pow
201×	pow-prod-down
192×	cube-prod
182×	unswap-sqr
163×	sum-log
162×	distribute-rgt-neg-in
137×	associate-/l/
129×	distribute-lft-neg-in
124×	frac-sub
104×	sqrt-div
91×	sub-neg
83×	diff-log
80×	exp-neg
78×	*-commutative
73×	neg-sub0
70×	swap-sqr unpow2
66×	exp-diff clear-num frac-2neg
63×	sqrt-pow1
50×	pow-exp
46×	pow-to-exp
45×	distribute-rgt-in distribute-lft-in
43×	+-commutative neg-mul-1
42×	pow1/2
37×	pow-prod-up
33×	1-exp
32×	un-div-inv pow1/3
31×	pow-unpow
30×	rec-exp
29×	associate-+l+
28×	rem-sqrt-square
23×	associate-+r+
21×	pow-sqr
19×	pow-plus unpow3 cube-mult
16×	cube-div div-sub
14×	associate--l+
13×	pow2 pow-pow
11×	associate--l- log-prod
10×	neg-log
9×	exp-prod
8×	associate--r+ log-div
7×	associate-+r- exp-sum
6×	inv-pow distribute-lft-neg-out pow-flip rem-cbrt-cube
5×	rem-cube-cbrt distribute-frac-neg
4×	unsub-neg log-pow distribute-rgt-neg-out
2×	difference-cubes rem-exp-log distribute-lft1-in sqrt-unprod rem-square-sqrt distribute-rgt-out associate-+l-
1×	sqrt-pow2 pow3 cube-unmult distribute-rgt-out-- sub-div exp-to-pow rem-log-exp