Details

rewrite17.4s (2.4%)

Algorithm

120×	rewrite-expression-head

Calls

393 calls:

2.6s	(- (+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
420.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (/ (* (sin x) (sin eps)) (cos eps)) (cos x)))) (/ (sin x) (cos x)))
393.0ms	(- x (sin x))
377.0ms	(/ (- (log 1.0) (+ (* (* 1/2 (/ x 1.0)) (/ x 1.0)) (* 1.0 x))) (+ (* -1/2 (* (/ x 1.0) (/ x 1.0))) (+ (* 1.0 x) (log 1.0))))
376.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

Rules

3785×	*-un-lft-identity
3623×	add-sqr-sqrt
3472×	times-frac
2489×	add-cube-cbrt
1806×	sqrt-prod
1242×	pow1
1207×	add-exp-log
1028×	add-cbrt-cube
712×	add-log-exp
684×	associate-*l*
396×	associate-*r*
379×	cbrt-prod
378×	difference-of-squares
333×	distribute-lft-out
332×	distribute-lft-out--
331×	associate-/l*
327×	prod-exp
303×	associate-/r*
287×	pow-prod-down
269×	cbrt-unprod
235×	log-prod
227×	flip3-- flip--
191×	div-exp
157×	associate-/r/
156×	flip-+ flip3-+
155×	div-inv
146×	log-pow
132×	associate-*l/
130×	cbrt-undiv
127×	unswap-sqr
124×	sub-neg
123×	distribute-rgt-neg-in
118×	diff-log
115×	sqrt-pow1 sqrt-div
111×	associate-*r/
105×	pow-prod-up
93×	swap-sqr
91×	pow-unpow
89×	distribute-lft-neg-in
86×	frac-times
82×	*-commutative
69×	pow-sqr
65×	pow1/2
62×	frac-2neg clear-num
60×	unpow-prod-down
55×	associate-/l/
54×	sum-log
49×	pow-plus exp-prod
45×	log-div
44×	pow1/3
42×	distribute-rgt-in distribute-lft-in
38×	associate-+r+
36×	pow2
33×	frac-add
31×	+-commutative
30×	sqr-pow rem-sqrt-square
29×	1-exp rec-exp div-sub
28×	neg-mul-1
27×	cbrt-div
26×	rem-log-exp
25×	associate-+l+
23×	pow-flip
17×	associate--l+
15×	frac-sub
14×	complex-mul-def distribute-neg-in
13×	tan-quot pow3
12×	neg-sub0
11×	associate--l- pow-exp pow-to-exp
10×	pow-div associate--r+ pow-pow
9×	exp-sum
8×	associate-+r- neg-log inv-pow
6×	exp-diff difference-cubes exp-to-pow distribute-neg-frac
5×	distribute-frac-neg distribute-rgt-out-- rem-exp-log cos-sum
4×	sqrt-unprod associate-+l-
3×	quot-tan cos-mult *.c-commutative sub-div un-div-inv +.c-commutative sqr-cos
2×	associate-*l*.c sin-sum cube-unmult sin-mult tan-sum rem-cbrt-cube complex-add-def
1×	diff-atan distribute-rgt-neg-out sqr-sin rem-square-sqrt diff-sin associate-+l+.c diff-cos distribute-rgt-out