Details

rewrite10.1s (4.6%)

Algorithm

123×	rewrite-expression-head

Calls

400 calls:

334.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
210.0ms	(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
182.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
149.0ms	(* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
137.0ms	(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))

Rules

13023×	times-frac
12550×	*-un-lft-identity
10234×	add-sqr-sqrt
7968×	add-cube-cbrt
3694×	prod-diff
2393×	sqrt-prod
1359×	distribute-lft-out
1168×	cbrt-prod
1039×	add-exp-log
997×	difference-of-squares
978×	distribute-lft-out--
847×	add-cbrt-cube
793×	associate-/l*
778×	unpow-prod-down
713×	pow1
707×	log-prod
639×	add-log-exp
545×	div-inv
479×	associate-/r/
419×	fma-neg associate-*l*
384×	log1p-expm1-u expm1-log1p-u
330×	associate-+l+
312×	flip-- flip3--
301×	associate-*r*
275×	distribute-rgt-neg-in
271×	associate-/r*
259×	sqr-pow
220×	exp-sum
219×	div-exp
217×	cube-prod
189×	prod-exp
184×	sqrt-div
183×	flip-+ flip3-+
177×	swap-sqr
162×	log-pow
160×	cbrt-undiv
132×	fma-def cbrt-unprod
123×	unswap-sqr
122×	associate-+r+
118×	associate-*l/
103×	sub-neg
102×	distribute-lft-neg-in
100×	diff-log
94×	pow-unpow
91×	cbrt-div
83×	pow1/3
74×	sqrt-pow1
71×	pow-prod-down
69×	log-div
66×	associate-/l/
65×	exp-prod
63×	frac-times
62×	clear-num frac-2neg
56×	associate-*r/
50×	pow1/2
46×	*-commutative
39×	tan-quot
37×	distribute-rgt-in distribute-lft-in rem-log-exp
35×	rem-sqrt-square sum-log
34×	unpow3 cube-mult neg-mul-1
31×	fma-udef
29×	pow-exp
28×	pow-to-exp
26×	+-commutative
24×	complex-mul-def
21×	1-exp
19×	pow-prod-up
18×	div-sub
16×	pow-pow
15×	rec-exp sum-cubes associate-+l-
14×	neg-sub0
13×	pow-sqr hypot-def distribute-rgt-out-- frac-sub
12×	pow-plus associate--l+
11×	exp-diff
10×	associate--l- frac-add unpow2
9×	associate-+r-
8×	pow2 neg-log
6×	rem-cube-cbrt rem-exp-log *.c-commutative
5×	cube-div pow-flip
4×	difference-of-sqr-1 +.c-commutative complex-add-def sin-mult cos-mult associate--r+
3×	difference-cubes sqrt-unprod inv-pow sub-div
2×	cos-sum associate-+l+.c expm1-def un-div-inv exp-neg pow-sub associate-*l*.c sqr-cos tan-sum frac-2neg.c pow-neg exp-to-pow rem-cbrt-cube sin-sum
1×	sin-cos-mult pow3 diff-atan diff-cos expm1-log1p expm1-udef distribute-rgt-out diff-sin