Details

rewrite1.9m (10.4%)

Algorithm

109×	rewrite-expression-head

Calls

324 calls:

9.0s	(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))
5.4s	(+ (* (* (* (cbrt (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (cbrt (* (* (* 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)))) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (* (* (cbrt (+ (* x1 x1) 1.0)) (cbrt (+ (* x1 x1) 1.0))) (* x1 (* x1 (* (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))))
1.3s	(* (* (* 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))
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)))
924.0ms	(/ (- (* (* (* (cbrt (fma x y z)) (cbrt (fma x y z))) (* (cbrt (fma x y z)) (cbrt (fma x y z)))) (* (cbrt (fma x y z)) (cbrt (fma x y z)))) (* (+ 1.0 (+ (* x y) z)) (+ 1.0 (+ (* x y) z)))) (+ (fma x y z) (+ 1.0 (+ (* x y) z))))

Rules

607805×	frac-times
593679×	associate-*r/
463106×	cbrt-div
234671×	flip3-- flip--
205424×	associate-*l/
157171×	flip-+ flip3-+
117061×	frac-add
4655×	times-frac
4071×	add-sqr-sqrt
3997×	*-un-lft-identity
2723×	add-cube-cbrt
2430×	add-exp-log
2286×	add-cbrt-cube
976×	pow1
953×	prod-exp
920×	associate-*r*
901×	cbrt-unprod
758×	add-log-exp
723×	sqrt-prod
694×	associate-*l*
632×	div-exp
577×	cbrt-undiv
517×	difference-of-squares
395×	associate-/r*
336×	distribute-lft-out
329×	distribute-lft-out--
269×	associate-/r/
262×	div-inv
255×	associate-/l*
229×	pow-prod-down
154×	distribute-rgt-in distribute-lft-in
152×	sum-log
148×	swap-sqr
147×	unswap-sqr
130×	sub-neg
124×	unpow-prod-down
108×	sqrt-div
103×	frac-sub
90×	sqr-pow *-commutative pow-prod-up diff-log
78×	associate-+r+
68×	associate-/l/
57×	frac-2neg clear-num
55×	pow-plus
51×	log-pow
50×	+-commutative
48×	pow-sqr
47×	cbrt-prod
41×	exp-sum distribute-rgt-neg-in
38×	pow2
31×	sqrt-pow1 rem-sqrt-square
30×	pow1/2 distribute-lft-neg-in
27×	1-exp pow1/3 rec-exp
26×	associate-+l+ associate--r+
25×	exp-prod
19×	exp-to-pow
18×	div-sub
15×	pow-exp pow-to-exp
14×	pow-flip log-prod cube-unmult
10×	neg-mul-1
7×	neg-sub0 associate-+l-
6×	pow-unpow inv-pow associate--r-
5×	associate-+r- pow3 neg-log sum-cubes un-div-inv
4×	distribute-lft1-in distribute-lft-neg-out cube-prod associate--l- distribute-frac-neg rem-log-exp rem-exp-log
2×	distribute-rgt-out-- associate--l+ pow-pow rem-cbrt-cube distribute-rgt-out log-div
1×	unpow3 sub-div +-inverses remove-double-div cube-mult unsub-neg