Details

rewrite15.8s (2.7%)

Algorithm

123×	rewrite-expression-head

Calls

394 calls:

567.0ms	(* (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (- (/ 0.5 (* n x)) (* (/ 0.25 n) (/ (/ (- (log x)) x) n))) (/ (/ 0.25 (* x x)) n)))
440.0ms	(* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
396.0ms	(/ (+ (+ (/ (* -1/2 (/ x (/ 1.0 x))) 1.0) (* 1.0 x)) (log 1.0)) (- (- (log 1.0) (* 1.0 x)) (* (* (/ x 1.0) (/ x 1.0)) 1/2)))
320.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (+ (* (* (* eps eps) 1/2) (* a a)) (* eps a)) (* (* (pow a 3) 1/6) (pow eps 3))) (- (exp (* b eps)) 1.0)))
291.0ms	(/ (/ (- (pow (exp (+ x x)) 3) (pow 1.0 6)) (+ (pow (exp x) 4) (* 1.0 (+ (pow 1.0 3) (* 1.0 (exp (+ x x))))))) (+ (exp x) 1.0))

Rules

8067×	times-frac
7737×	*-un-lft-identity
6139×	add-sqr-sqrt
4322×	add-cube-cbrt
3293×	sqrt-prod
1453×	distribute-lft-out
1410×	cbrt-prod
1174×	add-exp-log
1012×	add-cbrt-cube
936×	difference-of-squares
858×	unpow-prod-down
748×	pow1
653×	add-log-exp
648×	associate-/l*
622×	cube-prod
458×	associate-*l*
444×	log-prod
406×	distribute-lft-out--
404×	associate-*r*
375×	associate-/r*
359×	sqr-pow
308×	associate-/r/
302×	div-inv
289×	prod-exp
274×	flip-+ flip3-+
225×	exp-sum
217×	cbrt-unprod
208×	flip3-- flip--
197×	div-exp
181×	sqrt-div
179×	cbrt-undiv
151×	pow-unpow associate-*l/
143×	unswap-sqr
142×	pow-prod-down
138×	associate-*r/
120×	cbrt-div
105×	log-pow
103×	distribute-rgt-neg-in
100×	frac-times
99×	sub-neg
97×	distribute-lft-neg-in
92×	diff-log
81×	frac-sub
78×	associate-/l/
75×	*-commutative
73×	frac-2neg clear-num
72×	exp-prod
69×	pow1/3
50×	sum-log
49×	sqrt-pow1
48×	unpow3 cube-mult
47×	pow-exp pow-to-exp
45×	pow1/2
41×	pow-pow
35×	rem-sqrt-square
34×	+-commutative
33×	frac-add log-div
30×	div-sub
27×	swap-sqr
24×	neg-mul-1
23×	rem-log-exp
19×	distribute-rgt-in distribute-lft-in
15×	complex-mul-def
13×	associate-+r+ associate--l+
12×	exp-diff distribute-neg-frac difference-cubes tan-quot
11×	pow-flip
10×	distribute-rgt-out-- associate--r+ pow-prod-up pow-sqr
9×	1-exp rec-exp
8×	associate-+l+ neg-sub0
7×	associate--l-
6×	rem-cube-cbrt distribute-frac-neg sin-mult cube-div
5×	unpow-prod-up sin-cos-mult pow2 pow-plus
4×	associate-+r- *.c-commutative sub-div sum-cubes
3×	neg-log sqrt-unprod inv-pow un-div-inv +.c-commutative rem-exp-log distribute-rgt-out
2×	distribute-lft-neg-out associate-*l*.c sin-sum difference-of-sqr-1 tan-sum exp-neg unpow2 cos-sum pow-sub complex-add-def
1×	diff-atan frac-2neg.c distribute-lft1-in sub0-neg sqrt-pow2 exp-to-pow associate-+l- unpow1/3 diff-sin associate-+l+.c rem-cbrt-cube count-2 diff-cos distribute-rgt1-in