Details

rewrite20.6s (5.3%)

Algorithm

121×	rewrite-expression-head

Calls

386 calls:

1.4s	(/ (+ (/ (pow x 5) 60) (+ (+ (/ (pow x 3) 3) x) x)) (sqrt 2.0))
1.4s	(/ (+ (/ (pow x 5) 60) (+ (+ (/ (pow x 3) 3) x) x)) (sqrt 2.0))
1.1s	(* (/ (+ (/ (pow x 5) 60) (+ (+ (/ (pow x 3) 3) x) x)) 2.0) (sin y))
1.1s	(* (/ (+ (/ (pow x 5) 60) (+ (+ (/ (pow x 3) 3) x) x)) (sqrt 2.0)) (sin y))
1.1s	(* (/ (+ (/ (pow x 5) 60) (+ (+ (/ (pow x 3) 3) x) x)) (sqrt 2.0)) (sin y))

Rules

7481×	times-frac
6731×	*-un-lft-identity
6118×	add-sqr-sqrt
4170×	add-cube-cbrt
1590×	add-exp-log
1249×	unpow-prod-down
1215×	sqrt-prod
1057×	add-cbrt-cube
864×	distribute-lft-out
749×	associate-/l*
703×	add-log-exp
677×	difference-of-squares
676×	pow1
594×	associate-*l*
519×	distribute-lft-out--
495×	associate-/r*
485×	div-exp
464×	associate-*r*
432×	sqr-pow
375×	cube-prod
368×	prod-exp
358×	div-inv
250×	exp-prod
238×	associate-/r/
235×	unswap-sqr cbrt-prod unpow2
232×	cbrt-undiv
230×	log-prod
221×	associate-*l/
209×	flip-- flip3--
196×	log-pow
194×	distribute-rgt-neg-in
192×	cbrt-unprod
161×	flip-+ flip3-+
151×	distribute-lft-neg-in
145×	pow-unpow
143×	swap-sqr
135×	sqrt-pow1
130×	pow-exp
125×	pow-to-exp
115×	diff-log
110×	sub-neg
108×	frac-add
90×	clear-num frac-2neg
84×	associate-/l/
83×	cbrt-div
76×	pow-prod-down
69×	1-exp
68×	sqrt-div
66×	frac-times
65×	pow1/2
64×	rec-exp
61×	associate-*r/
59×	*-commutative
56×	exp-sum
49×	sum-log
48×	unpow3 cube-mult
44×	log-div
43×	pow1/3
36×	tan-quot
35×	rem-sqrt-square
34×	frac-sub
32×	neg-mul-1
31×	distribute-rgt-in difference-cubes distribute-lft-in
29×	pow-prod-up
26×	div-sub exp-to-pow
25×	associate--l+
24×	pow-pow complex-mul-def +-commutative
21×	pow-sqr
19×	rem-log-exp
18×	neg-sub0 associate--r+
16×	associate-+l+
13×	exp-diff pow-flip associate--l-
12×	associate-+l-
11×	inv-pow un-div-inv
10×	neg-log
9×	cube-div exp-lft-cube
8×	rem-cube-cbrt cos-mult
7×	pow2 pow-plus sin-mult
6×	rem-exp-log *.c-commutative
5×	difference-of-sqr-1
4×	sqrt-unprod +.c-commutative complex-add-def
3×	rem-square-sqrt associate--r- rem-cbrt-cube
2×	cos-sum associate-+l+.c exp-neg pow-sub distribute-frac-neg associate-*l*.c distribute-rgt-neg-out frac-2neg.c pow-neg sin-sum tan-sum
1×	sub0-neg sin-cos-mult associate-+r+ diff-atan sub-div diff-cos sqrt-undiv distribute-rgt-out diff-sin