Details

rewrite18.7s (2.9%)

Algorithm

120×	rewrite-expression-head

Calls

378 calls:

741.0ms	(cbrt (* (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos x) (cos x)) (cos x))) (* (* (cos x) (cos x)) (cos x))))
700.0ms	(+ (* (* (* x a) (* x a)) 1/2) (+ (* x (* (* 1/6 a) (* (* x a) (* x a)))) (* x a)))
642.0ms	(* (/ (+ (+ (* 1/3 (* x (* x x))) (* x 2)) (* 1/60 (pow x 5))) (sqrt 2.0)) (sin y))
612.0ms	(* (/ (+ (+ (* 1/3 (* x (* x x))) (* x 2)) (* 1/60 (pow x 5))) 2.0) (sin y))
564.0ms	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (+ (+ (* 1/3 (* x (* x x))) (* x 2)) (* 1/60 (pow x 5))) (sqrt 2.0)) (sin y)))

Rules

3644×	*-un-lft-identity
3502×	add-sqr-sqrt
3435×	times-frac
2394×	add-cube-cbrt
1590×	sqrt-prod
1300×	add-exp-log
1153×	add-cbrt-cube
1070×	pow1
702×	associate-*l*
655×	add-log-exp
414×	difference-of-squares
381×	prod-exp
376×	associate-*l/
373×	associate-/l*
367×	distribute-lft-out--
331×	cbrt-unprod
324×	associate-*r/
319×	associate-/r*
276×	distribute-lft-out associate-*r*
275×	pow-prod-down
254×	flip3-- flip-- frac-add
244×	associate-/r/
237×	frac-times
227×	div-exp
215×	frac-sub
195×	log-prod
193×	cbrt-prod
181×	cbrt-undiv
172×	div-inv
171×	un-div-inv
164×	flip-+ flip3-+
124×	pow-unpow
109×	sub-neg
107×	unswap-sqr diff-log
98×	pow-prod-up
95×	associate-/l/
92×	cbrt-div
83×	pow1/3
78×	sqrt-div
76×	*-commutative
74×	distribute-rgt-neg-in
67×	frac-2neg clear-num
65×	unpow-prod-down
64×	sqrt-pow1
61×	sub-div
54×	pow-pow distribute-lft-neg-in
52×	pow-plus pow1/2
48×	log-pow pow-sqr
47×	swap-sqr
43×	sum-log
40×	associate-+r+
32×	distribute-rgt-in distribute-lft-in
31×	tan-quot pow2
30×	sqr-pow
27×	div-sub log-div
26×	+-commutative rem-sqrt-square
21×	1-exp rec-exp
20×	pow-flip pow-exp
18×	neg-mul-1
17×	exp-prod rem-log-exp
16×	cube-prod
15×	cos-mult associate--l+ associate--r+
14×	pow3 complex-mul-def
13×	pow-to-exp
12×	associate-+l+
10×	pow-div
8×	associate--l- cube-unmult distribute-rgt-out--
7×	neg-sub0
6×	inv-pow distribute-neg-in
5×	associate-+r- neg-log sum-cubes rem-exp-log
4×	distribute-frac-neg sqrt-unprod sin-mult exp-to-pow
3×	unpow-prod-up exp-sum *.c-commutative +.c-commutative rem-cbrt-cube
2×	exp-diff sin-sum frac-2neg.c sqr-sin tan-sum associate-+l- cos-sum sqr-cos associate-*l*.c pow-sub complex-add-def
1×	diff-atan rem-cube-cbrt distribute-neg-out distribute-rgt-neg-out unpow3 difference-cubes diff-sin rem-square-sqrt associate-+l+.c cube-mult diff-cos associate--r- e-exp-1