Details

rewrite2.0m (3.0%)

Algorithm

899×	rewrite-expression-head

Calls

2572 calls:

8.6s	(/ (/ (+ (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* (* (* x y) (* x y)) (* (* x y) (* x y))))) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))))) (+ (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))) (* (* (* x y) (* (* x y) (* x y))) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t)))))) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))
7.4s	(/ (+ (* (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* x y) (* (* (* x y) (* x y)) (* (* x y) (* x y))))) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))))) (+ (* (* (* (* z t) (* z t)) (* z t)) (* (* (* z t) (* z t)) (* z t))) (* (* (* x y) (* (* x y) (* x y))) (- (* (* x y) (* (* x y) (* x y))) (* (* (* z t) (* z t)) (* z t))))))
3.1s	(* (/ (+ (* x (* x x)) (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (+ (* (* (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x)) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x))) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (/ 1.0 3.0) x))) (* (* (* x x) (* x x)) (* x x)))) (+ (* (* x x) (* x x)) (/ (- (* (* 1.0 (- (/ 1.0 3.0) x)) (* (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) 3.0)) (* (* 3.0 (* x x)) (* 1.0 (- (/ 1.0 3.0) x)))) (* 3.0 3.0))))
2.5s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.8s	(/ (* x (* (sqrt (exp (+ (+ (* (log a) t) (- b)) (+ (* (log z) y) (* (- 1.0) (log a)))))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

Rules

38855×	times-frac
34652×	*-un-lft-identity
33449×	add-sqr-sqrt
23418×	add-cube-cbrt
15559×	associate-*r/
12044×	add-exp-log
11636×	frac-times
10046×	cbrt-div
9690×	add-cbrt-cube
7784×	pow1
6162×	associate-*r*
5532×	frac-sub
5493×	associate-*l/
5364×	cbrt-prod
5275×	flip3-- flip--
5152×	sqrt-prod
4947×	associate-*l*
4187×	add-log-exp
3977×	prod-exp
3501×	flip-+ flip3-+
3350×	distribute-lft-out--
3208×	cbrt-unprod
3175×	difference-of-squares
3111×	associate-/r*
2666×	tanh-def
2572×	insert-posit16
2502×	associate-/l*
2477×	div-exp
2439×	distribute-lft-out
2350×	pow-prod-down
2039×	div-inv
1832×	cbrt-undiv
1821×	associate-/r/
1386×	unswap-sqr
1324×	log-prod
1248×	distribute-rgt-in distribute-lft-in
947×	sqrt-div
928×	pow1/3
863×	swap-sqr
821×	*-commutative frac-add
817×	sub-neg
700×	associate-/l/
594×	sum-log
558×	pow-prod-up
530×	frac-2neg clear-num
492×	associate--l+
461×	sqrt-pow1
458×	sub-div
363×	associate-+r+
332×	diff-log
307×	pow-sqr
306×	1-exp
305×	+-commutative
299×	rec-exp
298×	pow1/2
284×	associate-+l+
251×	exp-sum
238×	log-pow
237×	pow-plus
206×	un-div-inv
178×	unpow-prod-down
170×	pow-exp
138×	pow2
137×	cube-unmult
127×	cosh-def
111×	rem-sqrt-square
98×	div-sub
96×	distribute-rgt-out--
86×	sum-cubes
85×	associate--r+
81×	pow3
72×	log-div
70×	exp-prod
65×	pow-flip
63×	distribute-rgt-out
56×	inv-pow rem-log-exp
54×	pow-to-exp
51×	associate-+l-
48×	associate-+r-
35×	exp-diff pow-unpow
34×	rem-exp-log
33×	sinh-def
31×	distribute-lft-neg-out
26×	distribute-lft-neg-in distribute-rgt-neg-in
23×	unsub-neg
20×	sqr-pow pow-pow
18×	unpow-prod-up sqrt-unprod
17×	distribute-rgt-neg-out
16×	cube-prod neg-mul-1
14×	difference-cubes associate--r-
13×	distribute-lft1-in rem-square-sqrt
12×	associate--l-
11×	distribute-rgt1-in
10×	count-2
9×	rem-cbrt-cube
8×	cos-sum diff-cos
6×	neg-sub0 cos-diff
5×	neg-log unpow1/3
3×	sqrt-undiv
2×	remove-posit16 tan-quot
1×	pow-sub exp-to-pow exp-neg distribute-neg-in acos-asin