Details

rewrite7.9s (3.8%)

Algorithm

122×	rewrite-expression-head

Calls

390 calls:

675.0ms	(+ (- (/ (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
235.0ms	(* (cbrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)) (cbrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
199.0ms	(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (- (* 0.25 (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* x (pow n 2)))))) (/ (/ 0.5 n) x)))
197.0ms	(/ (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3)))))) (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))))
189.0ms	(* (sqrt (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))) (+ (- (* 0.25 (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* x (pow n 2)))))) (/ (/ 0.5 n) x)))

Rules

5963×	*-un-lft-identity
5555×	times-frac
4994×	add-sqr-sqrt
3369×	add-cube-cbrt
2853×	sqrt-prod
1355×	add-exp-log
1032×	add-cbrt-cube
877×	distribute-lft-out
801×	pow1
783×	associate-*l*
705×	add-log-exp
595×	difference-of-squares
594×	associate-/l*
515×	distribute-lft-out--
456×	associate-*r*
363×	associate-/r* prod-exp
334×	unpow-prod-down
320×	cbrt-prod
293×	div-exp
228×	flip-+ flip3-+
218×	unswap-sqr
217×	associate-/r/
216×	div-inv
215×	flip-- flip3--
213×	cbrt-unprod
211×	log-pow
202×	cbrt-undiv
177×	cube-prod exp-prod log-prod
166×	associate-*l/
164×	distribute-rgt-neg-in
151×	cbrt-div
145×	sqr-pow
141×	associate-*r/
128×	pow-prod-down frac-times
126×	sqrt-pow1
113×	sqrt-div
101×	sub-neg
100×	tan-quot
99×	diff-log
97×	swap-sqr
96×	associate-/l/
90×	pow-exp
89×	pow-to-exp
88×	pow1/2
84×	distribute-lft-neg-in
80×	*-commutative
75×	frac-2neg clear-num
73×	sum-log
63×	pow-unpow frac-add
54×	associate-+r+
52×	pow1/3
46×	rem-sqrt-square
40×	pow-prod-up distribute-rgt-in +-commutative distribute-lft-in
39×	associate-+l+ unpow2
36×	neg-mul-1
29×	div-sub frac-sub
28×	log-div
26×	pow-sqr 1-exp
25×	distribute-neg-frac
24×	complex-mul-def
23×	neg-sub0 rec-exp
21×	neg-log
20×	associate--l+
19×	pow-flip
17×	pow-pow associate-+l-
15×	rem-log-exp
14×	unpow3 cube-mult exp-sum
12×	associate--r+ pow-plus
11×	associate--l-
10×	pow-div exp-diff
9×	pow2
8×	associate-+r- cos-mult
7×	rem-cube-cbrt exp-to-pow
6×	cube-div difference-cubes sqrt-unprod sin-mult *.c-commutative
5×	inv-pow
4×	sin-cos-mult distribute-neg-in +.c-commutative unsub-neg complex-add-def
3×	un-div-inv rem-square-sqrt distribute-rgt-out
2×	rem-exp-log distribute-neg-out pow3 associate-+l+.c exp-neg sub-div difference-of-sqr-1 associate-*l*.c cos-sum tan-sum frac-2neg.c sin-sum
1×	distribute-lft1-in distribute-rgt1-in diff-atan diff-cos count-2 distribute-frac-neg rem-cbrt-cube diff-sin