Details

rewrite4.6m (5.9%)

Algorithm

893×	rewrite-expression-head

Calls

2554 calls:

13.9s	(/ (+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0)))) (* (* (+ 1.0 t) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))) (+ x (* (- y 1.0) z))))
13.2s	(/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0)))))
5.7s	(* (/ y (* (cbrt t) (* (* (* (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))
4.4s	(log (/ (- (* (* (* 1.0 1.0) 1.0) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))) (* (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (+ (* (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (* (* (* 1.0 1.0) 1.0) (+ (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (* (* 1.0 1.0) 1.0))))))
3.5s	(+ (* (- (* (+ t y) (* (+ t y) (+ t y))) (* 2.0 (* 2.0 2.0))) (* b (* (+ x (* (- y 1.0) z)) (+ 1.0 t)))) (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ 1.0 t)) (* a (* (+ x (* (- y 1.0) z)) (* (- t 1.0) (+ 1.0 t))))) (+ (* (+ t y) (+ t y)) (* (+ (+ t 2.0) y) 2.0))))

Rules

843171×	frac-times
732759×	associate-*r/
602403×	flip-+ flip3-+
415654×	associate-*l/
388469×	frac-add
225955×	flip3-- flip--
206411×	frac-sub
105921×	associate-/l/
63023×	times-frac
48769×	*-un-lft-identity
47443×	add-sqr-sqrt
30984×	add-cube-cbrt
12480×	add-exp-log
11316×	cbrt-prod
9308×	add-cbrt-cube
7868×	pow1
7306×	associate-*r*
6364×	difference-of-squares
6344×	distribute-lft-out--
5622×	sqrt-prod
4627×	associate-*l*
4455×	cbrt-div
4150×	add-log-exp
3966×	prod-exp
3802×	associate-/r/
3718×	associate-/r*
3183×	cbrt-unprod
2926×	div-exp
2777×	distribute-lft-out
2626×	div-inv
2412×	pow-prod-down
2332×	associate-/l*
2013×	sub-div
1998×	cbrt-undiv
1310×	unswap-sqr
1125×	swap-sqr
1100×	log-prod
1091×	pow1/3
1005×	distribute-rgt-in distribute-lft-in
810×	sqrt-div
792×	*-commutative
731×	sub-neg
571×	pow-prod-up
568×	sum-log
516×	frac-2neg clear-num
499×	sqrt-pow1
386×	1-exp
385×	pow-sqr
367×	diff-log
339×	associate--l+
315×	rec-exp
292×	pow1/2
275×	associate-+r+
263×	log-pow
262×	pow-plus
255×	+-commutative
212×	tanh-def
179×	associate-+l+ pow2
133×	exp-prod
127×	div-sub
125×	pow3
113×	associate--r+
112×	cube-unmult
103×	unpow-prod-down
90×	pow-unpow
86×	pow-flip exp-sum
85×	rem-log-exp rem-sqrt-square
84×	log-div
63×	distribute-rgt-out--
61×	inv-pow
55×	pow-exp
53×	difference-cubes
46×	pow-to-exp
43×	sqr-pow
40×	sinh-def
37×	rem-exp-log associate-+l-
34×	distribute-rgt-out
33×	pow-pow
28×	un-div-inv
27×	sqrt-unprod
21×	sum-cubes
20×	associate-+r- unpow1/3
19×	exp-diff
18×	distribute-lft-neg-out
17×	associate--l- rem-square-sqrt
14×	rem-cbrt-cube associate--r-
13×	distribute-lft-neg-in distribute-rgt-neg-out cosh-def distribute-rgt-neg-in unsub-neg
9×	distribute-rgt1-in
8×	cos-mult distribute-lft1-in
7×	neg-mul-1 count-2
5×	sqr-cos
4×	tan-quot diff-cos
3×	unpow-prod-up exp-to-pow cos-diff
2×	neg-sub0 sin-mult remove-double-div cos-sum
1×	sqrt-undiv distribute-frac-neg pow-sub exp-neg e-exp-1