rewrite4.5s (2.1%)

Algorithm

124×	rewrite-expression-head

Calls

421 calls:

181.0ms	(* (/ 1 (sqrt 2.0)) (* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y)))
69.0ms	(* (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (/ (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
61.0ms	(* (/ (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sin y))
53.0ms	(* (exp (log (+ (sqrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)) eps))) (- eps (sqrt (+ (/ (pow eps 2) (pow 1.0 2)) eps))))
53.0ms	(* (+ (sqrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)) eps) (- eps (sqrt (+ (/ (pow eps 2) (pow 1.0 2)) eps))))

Rules

7704×	times-frac
7271×	*-un-lft-identity
6736×	add-sqr-sqrt
4244×	add-cube-cbrt
3917×	sqrt-prod
1425×	add-exp-log
1097×	add-cbrt-cube
1016×	difference-of-squares
963×	distribute-lft-out
838×	associate-*l*
805×	associate-*r*
767×	add-log-exp
717×	pow1
700×	unpow-prod-down
682×	associate-/l*
659×	distribute-lft-out--
540×	cbrt-prod
385×	prod-exp
355×	associate-/r*
353×	sqr-pow
297×	unswap-sqr
292×	div-exp
287×	cube-prod
253×	flip-+ flip3-+
251×	div-inv flip3-- flip--
246×	associate-/r/
219×	cbrt-unprod
208×	cbrt-undiv
188×	log-prod
167×	cbrt-div
161×	associate-*l/
158×	sqrt-div
137×	unpow2
132×	sub-neg
123×	associate-*r/
115×	diff-log
111×	exp-prod
109×	frac-times
101×	pow-prod-down
98×	pow-unpow log-pow distribute-rgt-neg-in
86×	*-commutative
85×	pow-exp
81×	associate-/l/ pow-to-exp
72×	frac-2neg clear-num
71×	pow1/3
67×	sum-log
59×	frac-sub
55×	pow-pow
54×	swap-sqr
50×	distribute-rgt-in distribute-lft-in
49×	tan-quot
41×	log-div
40×	pow1/2 +-commutative sqrt-pow1
31×	frac-add
29×	1-exp rec-exp
28×	rem-sqrt-square
27×	difference-cubes
25×	div-sub
24×	complex-mul-def
22×	rem-log-exp
21×	distribute-rgt-out--
20×	associate-+l+
18×	unpow3 cube-mult
17×	associate--l+
15×	exp-sum
14×	rem-cube-cbrt associate--r+
13×	exp-diff pow-sqr neg-sub0 pow-prod-up
12×	distribute-lft-neg-in cube-div associate-+r+
11×	associate-+l- exp-to-pow
9×	neg-log
8×	rem-exp-log associate--l- sub-div pow-flip cos-mult
7×	un-div-inv pow2 sin-mult exp-lft-cube
6×	pow-plus *.c-commutative
5×	difference-of-sqr-1
4×	inv-pow +.c-commutative complex-add-def distribute-neg-frac
3×	sqrt-pow2 sqrt-unprod neg-mul-1 rem-cbrt-cube
2×	cos-sum associate-+l+.c associate-+r- exp-neg associate-*l*.c tan-sum frac-2neg.c sin-sum
1×	sin-cos-mult diff-atan diff-cos +-inverses diff-sin