Details

rewrite7.7s (1.2%)

Algorithm

112×	rewrite-expression-head

Calls

329 calls:

285.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
212.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (* (sin x) (/ (sin eps) (cos eps))) (cos x)))) (/ (sin x) (cos x)))
160.0ms	(* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (/ 1 a))
151.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (* (* (sin x) (sin eps)) (/ 1 (cos eps))) (cos x)))) (/ (sin x) (cos x)))
127.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

Rules

9789×	times-frac
9756×	*-un-lft-identity
9314×	add-sqr-sqrt
7037×	add-cube-cbrt
5047×	prod-diff
1903×	sqrt-prod
1246×	pow1
1049×	difference-of-squares
983×	add-exp-log
842×	add-cbrt-cube
714×	div-inv
599×	associate-*r*
595×	distribute-lft-out--
591×	distribute-lft-out
504×	fma-neg
493×	add-log-exp
383×	associate-*l*
325×	log1p-expm1-u
323×	expm1-log1p-u
321×	insert-posit16
320×	associate-/r/
282×	pow-prod-up
266×	cbrt-prod
247×	associate-+l+
242×	prod-exp
241×	pow-prod-down
232×	associate-/l*
223×	unpow-prod-down
208×	associate-/r*
196×	cbrt-unprod
184×	sqrt-pow1
183×	distribute-rgt-neg-in
176×	sqrt-div
174×	flip-+ flip3-+
173×	div-exp
168×	distribute-lft-neg-in
154×	flip3-- flip--
152×	distribute-rgt-out
142×	unswap-sqr
127×	cbrt-undiv
124×	swap-sqr
121×	pow1/2
118×	pow-sqr
104×	pow-unpow
90×	associate-*r/
81×	pow1/3 sqr-pow
78×	pow-plus
70×	diff-log
65×	sub-neg
62×	*-commutative fma-def
59×	pow2
56×	frac-2neg clear-num neg-mul-1
53×	pow-flip
51×	frac-times
43×	log-prod
41×	rem-sqrt-square
40×	distribute-rgt-in distribute-lft-in associate-*l/
38×	cbrt-div
36×	associate-/l/
34×	tan-quot
33×	1-exp rec-exp
27×	pow-pow
26×	inv-pow
24×	difference-of-sqr-1
22×	frac-add
21×	fma-udef
18×	sum-log pow-exp div-sub
16×	cube-unmult pow-to-exp
14×	hypot-def log-pow
12×	neg-sub0 distribute-rgt1-in associate-+r+ +-commutative distribute-lft1-in
11×	exp-prod
10×	associate--l- frac-sub
9×	expm1-udef sin-mult
8×	neg-log pow-div
6×	expm1-log1p un-div-inv log1p-udef
5×	sqrt-unprod log-div
4×	quot-tan exp-diff log1p-expm1 associate--r+ exp-neg rem-exp-log rem-log-exp count-2
3×	associate--l+ sqr-sin rem-square-sqrt expm1-def
2×	sin-sum frac-2neg.c sin-cos-mult +.c-commutative tan-sum hypot-1-def exp-to-pow associate-+l- log1p-def cos-sum
1×	diff-atan associate-+r- exp-sum pow3 diff-sin diff-cos associate--r-