Details

rewrite11.1m (38.0%)

Algorithm

123×	rewrite-expression-head

Calls

387 calls:

2.4m	(/ (- (* (- (/ 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))))
58.5s	(- (* (- (/ 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))))
5.8s	(/ (* (+ (* (sqrt (/ 1.0 1)) (sqrt (sqrt (sqrt (+ x 1.0))))) (* (sqrt (sqrt x)) (sqrt (/ 1.0 (sqrt (sqrt (+ x 1.0))))))) (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0)))))) (* (sqrt (sqrt x)) (sqrt (sqrt (sqrt (+ x 1.0))))))
2.1s	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))
981.0ms	(/ (/ (- (- (* 1.0 (/ x (cbrt 1.0))) (* (+ x 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (/ x (cbrt 1.0))) (- (+ x 1.0)))

Rules

543112×	sqrt-div
368672×	add-sqr-sqrt
273646×	associate-/r*
267371×	*-un-lft-identity
202841×	frac-times
190980×	add-cube-cbrt
184976×	sqrt-prod
167590×	times-frac
139646×	frac-sub
134798×	associate-/l*
104225×	frac-add
95509×	associate-*r/
80371×	unswap-sqr
74721×	associate-/l/
44813×	clear-num
43582×	frac-2neg
42030×	cbrt-prod
40072×	difference-of-squares
33583×	prod-diff
30251×	distribute-lft-out
28381×	associate-*l/
27946×	associate-*l*
26882×	distribute-rgt-neg-in
26735×	distribute-lft-neg-in
26555×	flip-+ flip3-+
18697×	associate-*r*
16158×	unpow-prod-down
14674×	swap-sqr
13553×	sqr-pow
6592×	distribute-lft-out--
5227×	*-commutative
3928×	div-inv
3278×	un-div-inv
2938×	neg-mul-1
1775×	associate-/r/
1506×	fma-neg
993×	add-exp-log
837×	flip-- flip3--
785×	distribute-rgt-in distribute-lft-in
767×	pow1
761×	log-prod
754×	add-cbrt-cube
638×	add-log-exp
448×	associate-+l+
402×	unpow2
370×	expm1-log1p-u
369×	log1p-expm1-u
357×	unpow3
352×	exp-prod
349×	exp-sum
291×	log-pow
230×	pow-unpow
220×	div-exp
200×	log-div
175×	fma-def
167×	prod-exp
160×	cbrt-div
145×	*.c-commutative
138×	associate-*l*.c
134×	cbrt-undiv
118×	sqrt-pow1
114×	distribute-neg-frac
100×	distribute-lft-out.c
98×	pow-prod-down
96×	diff-log
94×	sub-neg
89×	associate-+r+
88×	cbrt-unprod
84×	tan-quot
82×	pow-exp
75×	pow-to-exp
74×	pow1/2
55×	associate-+l-
49×	pow1/3
44×	pow-pow distribute-rgt-out
41×	sum-log
38×	fma-udef
34×	div-sub
32×	pow-prod-up +-commutative
31×	exp-diff rem-sqrt-square
29×	rem-log-exp
28×	associate-+r- neg-sub0
26×	1-exp rec-exp
25×	complex-mul-def pow-flip
22×	pow-sqr
18×	log-rec
17×	neg-log
16×	associate--l- sum-cubes
15×	rem-cube-cbrt
14×	distribute-rgt-out--
12×	associate--r+
11×	rem-exp-log
10×	inv-pow
9×	pow-plus remove-double-div
8×	sqrt-unprod pow2 rem-cbrt-cube
7×	log1p-expm1
6×	log1p-udef sub-div difference-of-sqr-1 +.c-commutative associate--l+ exp-to-pow
5×	rem-square-sqrt
4×	associate-+l+.c sin-cos-mult expm1-log1p distribute-rgt-out.c complex-add-def cos-sum tan-sum sin-sum
3×	expm1-def unsub-neg distribute-frac-neg expm1-udef
2×	exp-neg hypot-udef sqrt-undiv cos-mult frac-2neg.c
1×	sqrt-pow2 distribute-lft-neg-out diff-atan diff-cos diff-sin