Details

rewrite20.5s (2.8%)

Algorithm

117×	rewrite-expression-head

Calls

381 calls:

1.4s	(* (- (exp (* a eps)) 1) (+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2)))
1.2s	(* (- (exp (* a eps)) 1) (+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2)))
998.0ms	(/ (+ (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x))))) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))))
620.0ms	(* (/ (+ (+ (* (* 1/3 (* x x)) x) (* 2 x)) (* 1/60 (pow x 5))) 2) (sin y))
603.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2))))

Rules

5771×	*-un-lft-identity
4907×	times-frac
4692×	add-sqr-sqrt
2917×	add-cube-cbrt
2418×	sqrt-prod
1622×	add-exp-log
1378×	add-cbrt-cube
1103×	pow1
1068×	distribute-lft-out
876×	associate-*r*
650×	add-log-exp
574×	difference-of-squares
539×	associate-*l*
481×	prod-exp
465×	cbrt-unprod
450×	associate-/l*
405×	distribute-lft-out--
376×	div-exp
374×	insert-posit16
348×	cbrt-undiv
347×	cbrt-prod
326×	associate-/r*
319×	associate-/r/
309×	flip3-- flip--
303×	associate-*l/
277×	pow-prod-down
251×	flip-+ flip3-+
245×	log-prod
244×	frac-times
238×	cbrt-div
236×	div-inv
231×	swap-sqr
188×	unswap-sqr
145×	sqrt-div
140×	log-pow
136×	associate-*r/
130×	pow-unpow
117×	exp-prod
114×	unpow-prod-down
97×	associate-/l/
93×	sub-neg
91×	*-commutative
88×	diff-log
72×	frac-2neg clear-num
69×	pow-prod-up
58×	difference-of-sqr-1
56×	sum-log
54×	sqr-pow frac-add
53×	sqrt-pow1
52×	distribute-rgt-in distribute-lft-in
49×	pow-sqr
47×	pow1/2
38×	pow1/3
35×	associate-+r+
34×	pow-plus +-commutative
31×	rem-sqrt-square log-div
29×	distribute-rgt-out
27×	pow2
24×	frac-sub
23×	rem-log-exp
22×	associate-+l+
20×	tan-quot distribute-rgt-neg-in div-sub
17×	pow-flip associate--l+
16×	pow-exp pow-to-exp
15×	1-exp rec-exp
10×	associate--r+ pow-pow inv-pow
7×	associate--l- rem-exp-log distribute-rgt-out--
6×	neg-sub0
5×	exp-diff sin-sum exp-sum cube-unmult
4×	distribute-lft-neg-in pow3 neg-log sqrt-unprod sin-mult sum-cubes distribute-neg-frac associate-+l-
3×	sub-div sqr-sin exp-to-pow
2×	associate-+r- sin-cos-mult exp-neg tan-sum +.c-commutative cos-sum distribute-neg-in
1×	quot-tan diff-atan frac-2neg.c distribute-rgt-neg-out neg-mul-1 un-div-inv rem-square-sqrt diff-sin diff-cos