Details

rewrite9.3s (1.5%)

Algorithm

118×	rewrite-expression-head

Calls

369 calls:

229.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
201.0ms	(cbrt (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sin eps) (cos eps)) (/ (sin eps) (cos eps))) (/ (sin eps) (cos eps)))))
190.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (* (sin x) (/ (sin eps) (cos eps))) (cos x)))) (/ (sin x) (cos x)))
157.0ms	(* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (/ 1 a))
138.0ms	(- (/ (/ (sin x) (cos x)) (- 1 (/ (cbrt (* (* (* (sin x) (sin x)) (sin x)) (* (* (/ (sin eps) (cos eps)) (/ (sin eps) (cos eps))) (/ (sin eps) (cos eps))))) (cos x)))) (/ (sin x) (cos x)))

Rules

14106×	times-frac
13339×	*-un-lft-identity
12887×	add-sqr-sqrt
8956×	add-cube-cbrt
5892×	prod-diff
2190×	sqrt-prod
1747×	difference-of-squares
1337×	pow1
1228×	add-exp-log
1046×	add-cbrt-cube
1036×	distribute-lft-out
948×	distribute-lft-out--
888×	associate-*r*
883×	div-inv
598×	associate-*l*
596×	fma-neg
563×	cbrt-prod
559×	add-log-exp
435×	unpow-prod-down
432×	associate-/r/
396×	associate-/r*
377×	associate-/l*
366×	log1p-expm1-u
365×	expm1-log1p-u
362×	insert-posit16
302×	pow-prod-down
295×	prod-exp
269×	associate-+l+
265×	div-exp
257×	cbrt-unprod
231×	pow-prod-up
228×	distribute-rgt-neg-in
220×	flip3-- flip--
217×	flip-+ flip3-+
185×	cbrt-undiv
172×	unswap-sqr
152×	distribute-rgt-out
148×	associate-*l/
147×	distribute-lft-neg-in
143×	sqr-pow
121×	swap-sqr
104×	log-prod
103×	sqrt-div pow-sqr
97×	frac-times
81×	diff-log
80×	sub-neg
78×	pow-plus associate-*r/
74×	*-commutative
73×	fma-def
71×	frac-2neg clear-num
67×	cbrt-div log-pow
61×	pow1/3
58×	sqrt-pow1
56×	pow2
55×	pow1/2
49×	neg-mul-1
46×	associate-/l/
44×	1-exp rec-exp
43×	distribute-rgt-in distribute-lft-in exp-prod
39×	pow-unpow
37×	rem-sqrt-square
34×	frac-add
29×	tan-quot
25×	pow-flip
24×	div-sub
23×	fma-udef
21×	sum-log
20×	log-div
18×	difference-of-sqr-1
17×	sin-mult
16×	cube-unmult inv-pow
15×	+-commutative
14×	frac-sub hypot-def
12×	distribute-rgt1-in distribute-lft1-in
10×	associate--l- rem-log-exp
9×	neg-sub0
8×	exp-sum associate--l+
7×	neg-log
6×	expm1-udef
5×	expm1-log1p exp-diff cos-mult
4×	log1p-def log1p-expm1 pow-exp log1p-udef pow3 associate--r+ sqr-sin un-div-inv pow-to-exp count-2
3×	sqrt-unprod sub-div pow-pow distribute-rgt-out-- cos-sum
2×	sin-sum sin-cos-mult +.c-commutative tan-sum hypot-udef exp-neg rem-exp-log associate-+l- rem-cbrt-cube
1×	diff-atan frac-2neg.c remove-double-div hypot-1-def rem-square-sqrt diff-sin diff-cos expm1-def