rewrite3.6s (1.7%)

Algorithm

123×	rewrite-expression-head

Calls

407 calls:

49.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
38.0ms	(* -2/3 (/ (pow eps 3) (pow 1.0 3)))
34.0ms	(- (/ (+ (tan x) (tan eps)) (/ (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (+ 1 (* (tan x) (tan eps))))) (tan x))
33.0ms	(/ (+ (pow (* (pow x 2) (* x 1/6)) 3) (pow (+ (* 1/2 (pow x 2)) x) 3)) (+ (* (+ (* 1/2 (pow x 2)) x) (- (+ (* 1/2 (pow x 2)) x) (* (pow x 2) (* x 1/6)))) (* (* (* (pow x 3) 1/6) (pow x 2)) (* x 1/6))))
31.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

Rules

4901×	*-un-lft-identity
4792×	add-sqr-sqrt
4063×	times-frac
2656×	add-cube-cbrt
1249×	add-exp-log
1064×	sqrt-prod
980×	add-cbrt-cube
852×	difference-of-squares
823×	pow1
749×	add-log-exp
664×	unpow-prod-down
653×	associate-*r*
622×	distribute-lft-out--
520×	distribute-lft-out
518×	cbrt-prod
503×	associate-*l*
445×	associate-/l*
378×	cube-prod
318×	log-prod
317×	associate-/r*
312×	prod-exp
274×	sqr-pow
271×	flip3-- flip--
240×	unswap-sqr
231×	div-exp
191×	cbrt-unprod
181×	flip-+ flip3-+
176×	log-pow
174×	associate-*l/ associate-/r/
171×	div-inv
165×	cbrt-undiv
156×	exp-prod
152×	associate-*r/
151×	sub-neg
135×	pow-prod-down
134×	swap-sqr
133×	diff-log
120×	pow-unpow
116×	frac-times
114×	distribute-rgt-neg-in
108×	cbrt-div
107×	sqrt-pow1
100×	associate-/l/
98×	sqrt-div
88×	pow-exp
82×	pow-to-exp
77×	*-commutative
67×	frac-2neg clear-num
63×	pow1/2
58×	pow1/3 tan-quot
56×	distribute-rgt-in distribute-lft-in
54×	sum-log exp-sum
53×	unpow3 cube-mult
51×	frac-add
50×	unpow2 log-div
39×	pow-pow
37×	pow-prod-up
34×	frac-sub associate--l+
32×	rem-sqrt-square
31×	pow-sqr
30×	associate--r+
29×	+-commutative sin-mult
28×	cos-mult
27×	1-exp rem-log-exp
26×	cube-div rec-exp
24×	complex-mul-def
23×	associate-+l+
20×	div-sub
18×	exp-diff
17×	associate-+r+
16×	associate--l-
15×	neg-sub0
14×	pow-plus
11×	pow2
10×	rem-cube-cbrt neg-log
8×	sub-div associate-+l-
7×	pow-flip
6×	*.c-commutative exp-to-pow
5×	distribute-lft-neg-in un-div-inv rem-exp-log sqrt-unprod inv-pow rem-cbrt-cube
4×	sum-cubes +.c-commutative complex-add-def
3×	associate-+r- exp-neg distribute-rgt-out-- difference-of-sqr-1 neg-mul-1
2×	cos-sum difference-cubes difference-of-sqr--1 associate-+l+.c associate--r- rem-square-sqrt associate-*l*.c tan-sum frac-2neg.c distribute-neg-frac sin-sum
1×	sub0-neg diff-atan sin-cos-mult diff-cos distribute-frac-neg distribute-rgt-neg-out diff-sin