Details

rewrite15.9s (4.9%)

Algorithm

125×	rewrite-expression-head

Calls

425 calls:

1.0s	(+ (- (/ (sqrt 1.0) (/ (+ x 1.0) (sqrt 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
648.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
586.0ms	(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
387.0ms	(/ (+ (* 2.0 (/ 1 (sqrt 1.0))) (- (+ (* (pow x 2) (sqrt 1.0)) (* 1.0 (/ x (sqrt 1.0)))) (* 1.0 (+ (* x (sqrt 1.0)) (/ (pow x 2) (sqrt 1.0)))))) (* (* (/ (+ x 1.0) (sqrt 1.0)) x) (- x 1.0)))
349.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

Rules

10632×	times-frac
10142×	*-un-lft-identity
8083×	add-sqr-sqrt
4996×	add-cube-cbrt
4103×	sqrt-prod
1462×	distribute-lft-out
1427×	add-exp-log
1355×	difference-of-squares
1222×	cbrt-prod
1029×	add-cbrt-cube
1008×	distribute-lft-out--
783×	add-log-exp
770×	pow1
739×	associate-*l*
628×	unpow-prod-down
580×	associate-/l*
573×	associate-*r*
537×	associate-/r*
482×	div-inv
382×	div-exp
364×	log-prod
326×	sqr-pow
325×	distribute-rgt-neg-in
315×	associate-/r/
311×	prod-exp
283×	cube-prod
282×	flip-- flip3--
206×	cbrt-undiv
184×	cbrt-unprod
183×	unswap-sqr
181×	swap-sqr
177×	flip-+ flip3-+
138×	diff-log sqrt-div
129×	sub-neg
123×	pow-unpow
115×	associate-/l/
106×	associate-*l/ cbrt-div
102×	pow-prod-down
98×	unpow2
96×	associate-*r/
89×	log-pow pow-exp
87×	pow-to-exp
77×	sqrt-pow1
75×	frac-2neg clear-num
68×	pow1/3
65×	pow1/2
58×	*-commutative
57×	frac-add exp-prod
55×	log-div
53×	sum-log
52×	distribute-lft-neg-in
51×	1-exp
50×	frac-times
48×	associate-+r+
46×	rem-sqrt-square
44×	frac-sub
42×	rec-exp
39×	exp-sum rem-log-exp
32×	+-commutative
31×	pow-flip
30×	distribute-rgt-in distribute-lft-in
29×	cos-mult
27×	associate-+l+ sin-mult
25×	unpow-prod-up div-sub
24×	complex-mul-def
23×	pow-prod-up neg-sub0
21×	difference-cubes pow-sqr
20×	associate--l-
19×	tan-quot
18×	associate--l+ pow-pow
16×	neg-log
15×	inv-pow
14×	pow-div associate--r+ associate-+l-
12×	rem-exp-log
11×	exp-diff
9×	pow-plus
8×	un-div-inv exp-to-pow
7×	pow2 log-rec
6×	sub-div *.c-commutative
5×	unpow3 associate-+r- cube-mult
4×	sqrt-unprod pow-sub +.c-commutative complex-add-def neg-mul-1
3×	difference-of-sqr-1
2×	sin-sum e-exp-1 associate-+l+.c exp-neg associate-*l*.c tan-sum cos-sum frac-2neg.c
1×	rem-cube-cbrt sin-cos-mult sum-cubes diff-atan distribute-rgt-out-- diff-cos unsub-neg rem-square-sqrt distribute-frac-neg distribute-rgt-out sqr-cos distribute-neg-frac diff-sin