Details

rewrite19.7s (2.9%)

Algorithm

118×	rewrite-expression-head

Calls

369 calls:

2.8s	(/ (- (exp (* (+ a b) eps)) 1) (+ (+ (* (* (* b b) (* b (* eps (* eps eps)))) 1/6) (* eps b)) (* (* eps b) (* (* eps b) 1/2))))
1.0s	(/ (+ (* (* (+ (/ 1 N) (/ -1/2 (* N N))) (+ (/ 1 N) (/ -1/2 (* N N)))) (+ (/ 1 N) (/ -1/2 (* N N)))) (/ (/ (/ 1/27 (* (* N N) N)) (* (* N N) N)) (* (* N N) N))) (+ (* (/ 1/3 (* (* N N) N)) (/ 1/3 (* (* N N) N))) (- (* (+ (/ 1 N) (/ -1/2 (* N N))) (+ (/ 1 N) (/ -1/2 (* N N)))) (* (/ 1/3 (* (* N N) N)) (+ (/ 1 N) (/ -1/2 (* N N)))))))
732.0ms	(- (- (+ 1 (/ 1/2 n)) (- (/ 1/6 (* n n)) (log n))) 1)
548.0ms	(/ (+ (+ (* 1/6 (* x (* x x))) (* (pow x 7) 1/5040)) (* (pow x 5) -1/120)) (- x (tan x)))
454.0ms	(+ (* (* 1/6 x) (* (* (* a x) (* a x)) a)) (+ (* 1/2 (* (* a x) (* a x))) (* a x)))

Rules

4290×	*-un-lft-identity
3753×	add-sqr-sqrt
3334×	times-frac
2334×	add-cube-cbrt
1768×	sqrt-prod
1469×	pow1
1416×	add-exp-log
1237×	add-cbrt-cube
935×	frac-add
744×	frac-times
672×	distribute-lft-out
660×	add-log-exp
624×	associate-*l*
591×	flip-+ flip3-+
567×	associate-*r*
531×	associate-/r/
522×	associate-*l/
464×	difference-of-squares
461×	associate-*r/
456×	prod-exp
423×	pow-prod-down
398×	cbrt-unprod
362×	insert-posit16
347×	associate-/l*
338×	frac-sub
305×	associate-/r*
296×	distribute-lft-out--
250×	flip3-- flip--
234×	div-exp
208×	div-inv
203×	unswap-sqr
198×	pow-prod-up
177×	cbrt-prod
172×	swap-sqr
166×	cbrt-undiv
159×	exp-prod
151×	log-prod
140×	associate-/l/
130×	pow-unpow
128×	sqrt-pow1
123×	sqrt-div
122×	pow-sqr
110×	unpow-prod-down
106×	log-pow
101×	distribute-rgt-neg-in
100×	diff-log
94×	cbrt-div
93×	sub-neg
92×	*-commutative
90×	pow-flip pow-plus
88×	distribute-lft-neg-in
73×	frac-2neg clear-num
68×	pow1/2
62×	sum-log
60×	pow2
57×	difference-of-sqr-1
51×	sqr-pow
48×	distribute-rgt-in distribute-lft-in
44×	1-exp rec-exp
43×	pow1/3
41×	inv-pow
34×	+-commutative
27×	tan-quot
26×	log-div
21×	associate-+l+ div-sub associate--l+ rem-sqrt-square
20×	pow-exp pow-to-exp
19×	sub-div
18×	rem-log-exp
12×	sin-sum associate--r+
11×	pow-pow
10×	associate-+r+
9×	associate--l-
8×	exp-sum distribute-neg-frac
6×	neg-sub0 pow-div sin-mult
5×	un-div-inv rem-exp-log
4×	distribute-lft-neg-out exp-diff pow3 neg-log neg-mul-1 associate-+l-
3×	sqr-sin exp-to-pow distribute-rgt-out--
2×	sqrt-undiv sin-cos-mult exp-neg sqrt-unprod +.c-commutative rem-square-sqrt cos-sum tan-sum associate--r-
1×	diff-atan cos-mult associate-+r- frac-2neg.c diff-sin diff-cos