Details

rewrite45.9s (6.8%)

Algorithm

112×	rewrite-expression-head

Calls

314 calls:

6.7s	(+ (* (* (* 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))) 6.0)))
4.2s	(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (- 3.0 (* 2.0 v)) (/ (/ (cbrt (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))) (cbrt (cbrt (- 1.0 v)))))) (/ (cbrt (sqrt 0.125)) (cbrt (cbrt (- 1.0 v)))))
2.9s	(* (* (* (* (/ (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.1s	(+ (+ (* (* 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))))
1.7s	(* (* (- 3.0 (* v 2.0)) (/ (cbrt (sqrt 0.125)) (* (cbrt (cbrt (- 1.0 v))) (cbrt (cbrt (- 1.0 v)))))) (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) r) w) (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) r) w)))

Rules

5920×	add-exp-log
4497×	add-cbrt-cube
3407×	add-sqr-sqrt
3389×	prod-exp
3343×	cbrt-unprod
3339×	*-un-lft-identity
3160×	times-frac
2036×	add-cube-cbrt
1458×	pow1
1289×	div-exp
1255×	cbrt-undiv
893×	associate-*r*
763×	add-log-exp
686×	associate-*r/
618×	frac-times
599×	pow-prod-down
551×	flip3-- flip--
542×	associate-*l*
507×	associate-*l/
492×	difference-of-squares
381×	cbrt-div
380×	distribute-lft-out
378×	cbrt-prod
372×	sqrt-prod
312×	distribute-lft-out--
265×	associate-/r*
242×	div-inv
239×	swap-sqr unpow-prod-down
232×	frac-add
221×	associate-/l*
220×	flip-+ flip3-+
219×	associate-/r/
150×	sum-log
144×	unswap-sqr
143×	frac-sub
135×	sqr-pow
119×	sub-neg
117×	sqrt-div
114×	pow-prod-up
111×	diff-log
85×	*-commutative
69×	sqrt-pow1
64×	pow-sqr
62×	associate-/l/
56×	pow-plus
50×	distribute-rgt-in distribute-lft-in
48×	frac-2neg clear-num pow1/2
44×	distribute-rgt-neg-in
42×	pow2
38×	+-commutative
36×	log-prod
33×	pow1/3
29×	associate-+l+
28×	associate-+r+ log-pow
24×	distribute-lft-neg-in
23×	associate--l+ rem-sqrt-square
20×	pow-exp pow-to-exp
18×	1-exp rec-exp exp-prod
16×	associate--l- div-sub
13×	sub-div associate--r+
12×	pow-unpow
9×	cube-unmult rem-log-exp
8×	neg-sub0 neg-mul-1 log-div
7×	neg-log exp-to-pow
6×	pow-flip distribute-rgt-out-- distribute-rgt-out
5×	distribute-frac-neg inv-pow associate-+l-
4×	distribute-lft-neg-out cube-prod exp-sum pow3 pow-pow
3×	distribute-lft1-in sqrt-unprod un-div-inv rem-exp-log rem-square-sqrt
2×	associate-+r- difference-cubes rem-cbrt-cube
1×	unpow3 cube-mult unsub-neg associate--r- distribute-rgt1-in