Details

rewrite27.1s (3.6%)

Algorithm

97×	rewrite-expression-head

Calls

295 calls:

1.7s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (* (cbrt (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))) (cbrt (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))))) (cbrt (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))))) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
983.0ms	(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
902.0ms	(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
690.0ms	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
637.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

Rules

80633×	cbrt-div
49131×	associate-*r/
45093×	frac-times
30384×	flip3-- flip--
15719×	associate-*l/
11090×	frac-add
6310×	times-frac
5166×	add-sqr-sqrt
4671×	*-un-lft-identity
2848×	add-cube-cbrt
1638×	add-exp-log
1367×	add-cbrt-cube
993×	associate-*r*
940×	cbrt-prod
897×	pow1
850×	difference-of-squares
789×	add-log-exp
500×	prod-exp
480×	associate-*l*
459×	div-exp
446×	cbrt-unprod
437×	distribute-lft-out--
383×	div-inv
359×	flip-+ flip3-+
357×	distribute-lft-out
331×	cbrt-undiv associate-/l*
318×	associate-/r*
301×	unpow-prod-down
295×	insert-posit16
265×	pow-prod-down
242×	sqrt-prod
229×	sqr-pow
204×	unswap-sqr
187×	associate-/r/
180×	sum-log
161×	difference-of-sqr-1
133×	associate-/l/
120×	diff-log
107×	sub-neg
97×	cube-prod
77×	sqrt-div distribute-rgt-neg-in
71×	frac-sub
66×	distribute-lft-neg-in
65×	*-commutative
63×	log-prod
59×	frac-2neg distribute-rgt-in clear-num distribute-lft-in
57×	sqrt-pow1
56×	exp-prod
53×	pow-prod-up
46×	exp-sum
43×	+-commutative
37×	pow1/2
35×	associate-+l+ swap-sqr log-pow
34×	1-exp rec-exp
33×	pow-sqr
28×	pow-plus
22×	associate--l+ neg-mul-1 rem-sqrt-square
20×	log-div
19×	pow1/3 div-sub
17×	associate--r+ rem-exp-log
16×	associate-+r+ pow2
14×	pow-exp pow-to-exp
11×	associate--l-
10×	rem-log-exp
9×	pow-unpow
8×	pow-flip pow-div inv-pow
7×	cube-mult associate--r-
6×	neg-sub0 pow-pow
5×	neg-log difference-cubes
4×	remove-posit16 exp-diff distribute-frac-neg distribute-lft-neg-out
3×	associate-+r- distribute-rgt-out-- cube-unmult
2×	pow3 unpow3 un-div-inv associate-+l- rem-cbrt-cube
1×	rem-cube-cbrt distribute-lft1-in sqrt-unprod sub-div exp-to-pow rem-square-sqrt distribute-rgt-out