Details

rewrite13.6s (2.5%)

Algorithm

108×	rewrite-expression-head

Calls

341 calls:

642.0ms	(* (/ (exp x) (- (exp (+ (+ x x) x)) 1)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
570.0ms	(+ (- (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ 1 (cbrt (+ x 1)))) (/ 2 x)) (/ 1 (- x 1)))
514.0ms	(+ (+ (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (sqrt N))) (log (/ (* (cbrt (cbrt (+ N 1))) (cbrt (cbrt (+ N 1)))) (* (cbrt (sqrt N)) (cbrt (sqrt N)))))) (log (/ (cbrt (cbrt (+ N 1))) (cbrt (sqrt N)))))
327.0ms	(+ (* (* 1/6 x) (* (* (* a x) (* a x)) a)) (+ (* 1/2 (* (* a x) (* a x))) (* a x)))
306.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (* (* 1/6 (* eps (* eps eps))) (* (* a a) a)) (+ (* eps a) (* 1/2 (* (* eps eps) (* a a))))) (- (exp (* b eps)) 1)))

Rules

3714×	*-un-lft-identity
3520×	add-sqr-sqrt
3507×	times-frac
2394×	add-cube-cbrt
1952×	sqrt-prod
1352×	pow1
1342×	add-exp-log
1150×	add-cbrt-cube
873×	associate-*l*
570×	add-log-exp
429×	prod-exp
412×	associate-*r*
392×	distribute-lft-out
391×	difference-of-squares
373×	cbrt-unprod
364×	pow-prod-down
351×	cbrt-prod
338×	associate-/l*
334×	insert-posit16
293×	distribute-lft-out--
280×	associate-/r*
264×	log-prod
233×	div-exp
173×	div-inv
164×	pow-prod-up
163×	sqrt-pow1
161×	flip3-- flip--
160×	tan-quot
155×	cbrt-undiv
151×	associate-+r+
150×	associate-*l/
146×	flip-+ flip3-+
141×	unswap-sqr
139×	frac-times
126×	associate-/r/
125×	pow-unpow
124×	associate-*r/
109×	pow1/2
104×	distribute-rgt-neg-in
96×	sqrt-div
89×	*-commutative
88×	distribute-lft-neg-in
87×	cbrt-div
86×	log-pow
82×	sub-neg pow-sqr
78×	pow-plus
76×	diff-log
57×	frac-2neg clear-num associate-/l/
52×	frac-add
50×	sum-log
48×	unpow-prod-down
44×	1-exp rec-exp
43×	pow2 swap-sqr
41×	pow-flip
38×	pow1/3
36×	distribute-rgt-in distribute-lft-in
33×	rem-sqrt-square
28×	difference-of-sqr-1 +-commutative
26×	exp-prod
25×	log-div
22×	frac-sub sqr-pow
21×	div-sub
20×	associate--l+ inv-pow
19×	associate-+l+
12×	associate--r+ un-div-inv
10×	pow-exp pow-div pow-to-exp rem-log-exp
9×	associate--l-
8×	distribute-neg-frac
7×	neg-sub0 sqrt-unprod associate-+l-
6×	exp-sum pow3
5×	associate-+r- neg-log sin-mult pow-pow
4×	distribute-lft-neg-out exp-diff neg-mul-1 exp-to-pow rem-exp-log
3×	sqr-sin
2×	sin-sum tan-sum exp-neg +.c-commutative rem-square-sqrt cos-sum rem-cbrt-cube distribute-rgt-out
1×	diff-atan cos-mult frac-2neg.c sin-cos-mult cube-unmult diff-sin diff-cos distribute-rgt1-in