Details

rewrite9.4s (4.4%)

Algorithm

120×	rewrite-expression-head

Calls

365 calls:

336.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
296.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos eps) (cos x))))) (tan x))
116.0ms	(/ (/ (* (/ a (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (/ c (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))) (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))) a)
109.0ms	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
98.0ms	(/ 1 (* (/ 2.0 (* (/ 4.0 1) c)) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))))

Rules

8674×	*-un-lft-identity
7974×	add-sqr-sqrt
7136×	times-frac
6014×	add-cube-cbrt
4052×	prod-diff
2405×	sqrt-prod
1391×	add-exp-log
1008×	add-cbrt-cube
896×	unpow-prod-down
781×	difference-of-squares
687×	distribute-lft-out
634×	distribute-lft-out--
627×	pow1
621×	add-log-exp
531×	fma-neg
499×	log-prod
446×	associate-/l*
438×	associate-*r*
414×	div-inv
400×	associate-/r/
384×	prod-exp
368×	cube-prod
367×	associate-*l*
351×	sqr-pow
350×	expm1-log1p-u
349×	log1p-expm1-u
346×	associate-/r*
340×	distribute-rgt-neg-in
329×	div-exp
275×	cbrt-prod
270×	distribute-lft-neg-in
251×	flip-- flip3-- associate-+l+
235×	unswap-sqr
226×	cbrt-unprod
220×	cbrt-undiv
170×	sqrt-div
144×	flip-+ flip3-+
134×	unpow2
113×	diff-log
104×	sqrt-pow1
101×	sub-neg
93×	pow-exp
92×	pow-to-exp
81×	pow-unpow
80×	pow1/2 neg-mul-1
74×	associate-/l/
73×	log-pow
72×	unpow3 cube-mult
70×	frac-2neg clear-num
69×	pow-prod-down
68×	fma-def
54×	associate-*r/
46×	*-commutative associate-*l/ swap-sqr
42×	1-exp
39×	rec-exp
38×	rem-log-exp
37×	rem-sqrt-square
36×	fma-udef
33×	frac-times
30×	log-div
29×	tan-quot
27×	associate-+r+ sum-log
24×	complex-mul-def
22×	pow-prod-up
21×	pow-flip div-sub frac-sub
20×	neg-sub0
18×	exp-prod
17×	+-commutative cbrt-div
16×	inv-pow pow1/3 exp-sum
15×	associate--l-
14×	pow-sqr pow-pow
13×	neg-log
12×	distribute-rgt-in distribute-lft-in
11×	cos-mult
10×	frac-add expm1-udef associate--l+
8×	associate--r- sub-div
7×	sin-mult
6×	cube-div difference-cubes sqrt-unprod pow2 pow-plus hypot-def *.c-commutative associate-+l-
5×	distribute-rgt-out--
4×	rem-cube-cbrt sqrt-undiv sum-cubes associate-+r- +.c-commutative associate--r+ complex-add-def log-rec
3×	rem-exp-log exp-diff unpow-prod-up difference-of-sqr-1 rem-square-sqrt
2×	expm1-def log1p-udef frac-2neg.c exp-neg sin-sum log1p-expm1 pow-sub expm1-log1p associate-*l*.c sqr-cos tan-sum cos-sum associate-+l+.c pow-neg
1×	sin-cos-mult sqrt-pow2 e-exp-1 un-div-inv diff-atan diff-cos distribute-frac-neg distribute-rgt-out diff-sin exp-to-pow rem-cbrt-cube