Details

rewrite35.5s (5.4%)

Algorithm

109×	rewrite-expression-head

Calls

325 calls:

3.6s	(* (* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v))))))) (cbrt (/ (cbrt 0.125) (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.2s	(+ (+ (* (* 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.8s	(* (* (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w)) (* (/ (cbrt 0.125) (cbrt (- 1.0 v))) (* r w))) (* (* (- 3.0 (* 2.0 v)) (* (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v)))))) (cbrt (/ (cbrt 0.125) (cbrt (- 1.0 v))))))
1.2s	(+ (+ (* 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)))

Rules

4703×	times-frac
4085×	*-un-lft-identity
3958×	add-sqr-sqrt
3861×	add-exp-log
2887×	add-cbrt-cube
2686×	add-cube-cbrt
2316×	prod-exp
2268×	cbrt-unprod
1647×	pow1
1389×	associate-*r/
1221×	frac-times
1016×	cbrt-div
944×	associate-*l/
876×	pow-prod-down
858×	sqrt-prod
799×	flip3-- flip--
783×	associate-*r*
727×	add-log-exp
560×	div-exp
525×	cbrt-undiv
520×	associate-*l*
469×	difference-of-squares
400×	distribute-lft-out--
349×	associate-/l*
342×	distribute-lft-out
303×	frac-add
285×	associate-/r/
282×	flip-+ flip3-+
280×	div-inv
277×	cbrt-prod
274×	associate-/r*
189×	frac-sub
173×	sqrt-div
158×	sum-log
133×	distribute-rgt-neg-in
130×	unswap-sqr
121×	unpow-prod-down
103×	sub-neg
95×	*-commutative
89×	exp-neg
81×	diff-log
78×	neg-sub0 associate-/l/
75×	pow-prod-up
74×	sqr-pow
69×	exp-diff distribute-rgt-in distribute-lft-in
62×	exp-prod
58×	distribute-lft-neg-in
56×	frac-2neg clear-num
48×	sqrt-pow1 pow1/2
47×	log-prod
41×	pow1/3 swap-sqr
40×	+-commutative
37×	rem-sqrt-square
34×	associate-+l+
33×	pow-plus
31×	pow-sqr
27×	log-pow
24×	un-div-inv
21×	associate-+r+ associate--r+
20×	neg-mul-1 div-sub
19×	pow2
16×	associate--l+
15×	pow-exp pow-to-exp
14×	log-div
12×	exp-sum
11×	1-exp rec-exp
9×	associate--l- pow3 neg-log rem-exp-log
8×	distribute-frac-neg
7×	sqrt-unprod
6×	distribute-lft-neg-out cube-unmult rem-log-exp
4×	cube-prod associate-+r- associate-+l-
3×	pow-unpow rem-cbrt-cube associate--r-
2×	distribute-lft1-in sum-cubes distribute-rgt-out
1×	distribute-rgt-out-- pow-flip unpow3 sub-div pow-pow inv-pow exp-to-pow rem-square-sqrt cube-mult unsub-neg