Details

rewrite11.4s (5.1%)

Algorithm

121×	rewrite-expression-head

Calls

368 calls:

758.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
352.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
313.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
302.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
297.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (* (* (cbrt (/ 1.0 (- x 1.0))) (cbrt (/ 1.0 (- x 1.0)))) (cbrt (/ 1.0 (- x 1.0)))))

Rules

11791×	*-un-lft-identity
10457×	times-frac
10202×	add-sqr-sqrt
8075×	add-cube-cbrt
5682×	prod-diff
1678×	sqrt-prod
1221×	add-exp-log
1075×	unpow-prod-down distribute-lft-out
862×	add-cbrt-cube
858×	difference-of-squares
773×	distribute-lft-out--
745×	cbrt-prod
723×	associate-+l+
716×	div-inv
684×	associate-*r*
651×	add-log-exp
649×	pow1
550×	fma-neg
535×	distribute-rgt-in distribute-lft-in
523×	associate-/r/
487×	associate--l+
472×	associate-/l*
391×	sqr-pow
382×	associate-/r*
372×	distribute-rgt-neg-in
354×	log1p-expm1-u expm1-log1p-u
327×	log-prod
313×	associate-*l*
311×	prod-exp
304×	cube-prod
299×	div-exp
279×	flip-- flip3--
263×	distribute-lft-neg-in
253×	flip-+ flip3-+
239×	pow-unpow
176×	unswap-sqr
175×	cbrt-undiv
173×	log-pow
172×	frac-sub
153×	exp-sum
145×	cbrt-unprod
142×	frac-times
139×	fma-def
138×	sqrt-div
122×	swap-sqr
120×	unpow2
118×	diff-log
117×	associate-*r/
116×	sub-neg
113×	associate-/l/
107×	associate-*l/
99×	cbrt-div
90×	neg-mul-1
83×	exp-prod
66×	unpow3 cube-mult
65×	clear-num frac-2neg
62×	pow-prod-down pow1/3
61×	sqrt-pow1
52×	pow-exp
51×	pow-to-exp
50×	pow1/2
49×	frac-add
42×	1-exp rec-exp
41×	*-commutative
39×	log-div
38×	tan-quot
36×	sum-log
34×	associate-+r+
31×	fma-udef
29×	rem-sqrt-square
24×	complex-mul-def +-commutative
22×	div-sub hypot-def
21×	difference-of-sqr-1 rem-log-exp
18×	neg-sub0
17×	associate--l- pow-prod-up
16×	pow-flip pow-pow
15×	pow-sqr
14×	neg-log
11×	exp-diff associate--r+
9×	pow2 pow-plus associate-+l-
8×	inv-pow
6×	rem-cube-cbrt distribute-rgt-out-- *.c-commutative cos-mult
5×	distribute-rgt-out
4×	rem-exp-log sqrt-unprod associate-+r- +.c-commutative complex-add-def expm1-def sqr-cos sin-mult
3×	sin-cos-mult associate--r- sub-div
2×	cube-div associate-+l+.c sin-sum exp-neg associate-*l*.c cos-sum tan-sum
1×	difference-cubes un-div-inv diff-atan diff-cos rem-square-sqrt distribute-frac-neg rem-cbrt-cube distribute-rgt-neg-out expm1-udef exp-to-pow diff-sin log-rec