Details

rewrite12.7s (5.8%)

Algorithm

125×	rewrite-expression-head

Calls

405 calls:

323.0ms	(- (/ (+ (/ (sin eps) (cos eps)) (/ (sin x) (cos x))) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))
291.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
232.0ms	(* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))
207.0ms	(* (sqrt (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (/ (sqrt (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))
191.0ms	(* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))

Rules

11447×	times-frac
10060×	*-un-lft-identity
8636×	add-sqr-sqrt
5601×	add-cube-cbrt
3341×	sqrt-prod
2389×	cbrt-prod
1439×	add-exp-log
1299×	distribute-lft-out
1279×	difference-of-squares
1072×	add-cbrt-cube
1070×	distribute-lft-out--
892×	unpow-prod-down
793×	associate-/l*
740×	pow1
725×	add-log-exp
668×	associate-*r*
614×	associate-*l*
469×	cube-prod
467×	associate-/r*
386×	log-prod
362×	prod-exp
354×	div-inv
333×	div-exp
324×	sqr-pow
305×	associate-/r/
263×	unswap-sqr
260×	flip-- flip3--
256×	distribute-rgt-neg-in
219×	cbrt-undiv
205×	cbrt-unprod
194×	flip-+ flip3-+
162×	sqrt-div
139×	sub-neg
130×	associate-*l/
125×	diff-log
122×	unpow2
116×	log-pow
110×	sqrt-pow1
103×	pow-unpow
102×	pow-prod-down
101×	associate-+l+
97×	associate-+r+
92×	associate-*r/
90×	pow-exp
86×	pow-to-exp
82×	associate-/l/
80×	exp-prod
78×	pow1/2
76×	distribute-rgt-in distribute-lft-in
75×	*-commutative
74×	clear-num frac-2neg
68×	frac-times
59×	swap-sqr
57×	cbrt-div
52×	unpow3 cube-mult
49×	sum-log
46×	rec-exp 1-exp
39×	pow-prod-up
37×	rem-sqrt-square
35×	log-div pow1/3 +-commutative
32×	frac-add
27×	pow-pow
25×	rem-log-exp
24×	complex-mul-def
23×	frac-sub
21×	tan-quot
19×	div-sub
18×	associate--l+
15×	neg-sub0
14×	associate--l- pow-flip associate--r+
13×	pow-sqr
12×	cube-div inv-pow
11×	neg-log
10×	rem-cube-cbrt
9×	sin-mult associate-+l-
8×	exp-diff exp-sum
7×	un-div-inv
6×	difference-cubes sqrt-unprod distribute-rgt-out-- cos-mult *.c-commutative
5×	associate-+r- exp-to-pow
4×	pow-div pow2 +.c-commutative complex-add-def pow-plus rem-cbrt-cube log-rec
3×	sub-div
2×	rem-exp-log associate-+l+.c exp-neg difference-of-sqr-1 distribute-rgt-out cos-sum tan-sum associate-*l*.c sin-sum
1×	sin-cos-mult sqrt-pow2 distribute-lft1-in distribute-lft-neg-in diff-atan sqr-sin diff-cos unsub-neg rem-square-sqrt quot-tan neg-mul-1 distribute-rgt-neg-out frac-2neg.c distribute-neg-frac diff-sin