Details

rewrite1.5m (18.5%)

Algorithm

123×	rewrite-expression-head

Calls

404 calls:

1.1m	(- (+ 1.0 (+ (+ (/ (/ 1.0 2.0) n) (/ (- (/ 3002399751580331.0 18014398509481984.0)) (pow n 2))) (* (log n) 1.0))) 1.0)
5.9s	(+ 1.0 (+ (+ (/ (/ 1.0 2.0) n) (/ (- (/ 3002399751580331.0 18014398509481984.0)) (pow n 2))) (* (log n) 1.0)))
1.7s	(+ 1.0 (+ (- (* (log n) 1.0) 1.0) (- (/ (/ 1.0 2.0) n) (/ (/ 3002399751580331.0 18014398509481984.0) (pow n 2)))))
450.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
391.0ms	(/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))

Rules

6191×	*-un-lft-identity
5837×	times-frac
5796×	add-sqr-sqrt
3369×	add-cube-cbrt
2138×	sqrt-prod
1511×	add-exp-log
1236×	unpow-prod-down
1044×	add-cbrt-cube
991×	associate-*r*
932×	difference-of-squares
860×	distribute-lft-out
774×	add-log-exp
765×	pow1
638×	distribute-lft-out--
614×	cube-prod
581×	associate-*l*
560×	cbrt-prod
506×	sqr-pow
495×	associate-/l*
392×	prod-exp
376×	div-exp
369×	flip3-- flip--
320×	unswap-sqr
312×	div-inv
302×	associate-/r*
286×	associate-*l/
253×	distribute-rgt-neg-in
251×	associate-/r/
233×	swap-sqr frac-times
202×	cbrt-undiv
201×	flip-+ cbrt-unprod flip3-+
200×	log-prod
193×	unpow2
175×	frac-sub
168×	associate-/l/
159×	associate-*r/
155×	exp-prod
137×	distribute-lft-neg-in
127×	diff-log
126×	neg-sub0
123×	exp-neg
122×	log-pow
121×	pow-prod-down
120×	sub-neg
118×	sqrt-div
115×	exp-diff
95×	pow-unpow
93×	pow-exp
92×	pow-to-exp
84×	sqrt-pow1
82×	cbrt-div *-commutative sum-log
69×	frac-2neg clear-num
66×	frac-add
63×	pow1/2 pow1/3
46×	pow-prod-up
45×	cube-mult
43×	log-div
40×	unpow3 1-exp rec-exp
38×	difference-cubes pow-sqr
35×	+-commutative exp-sum
34×	distribute-rgt-in distribute-lft-in
33×	associate--l+
32×	tan-quot rem-sqrt-square
31×	div-sub
24×	complex-mul-def
23×	rem-log-exp
22×	pow-pow
21×	associate--l- associate--r+
20×	un-div-inv
18×	associate-+l+
17×	neg-mul-1
15×	associate-+r- distribute-rgt-out-- associate-+r+ associate-+l-
14×	cube-div
13×	neg-log
12×	pow-plus pow2 exp-to-pow
9×	pow-flip
8×	rem-cube-cbrt distribute-frac-neg
7×	cos-mult
6×	sqrt-unprod sqrt-undiv *.c-commutative
5×	inv-pow sin-mult exp-lft-cube
4×	+.c-commutative complex-add-def rem-cbrt-cube
3×	rem-exp-log rem-square-sqrt sub-div
2×	cos-sum sub0-neg pow-neg associate-+l+.c distribute-lft-neg-out associate--r- pow-sub difference-of-sqr-1 unsub-neg associate-*l*.c tan-sum frac-2neg.c sin-sum
1×	+-inverses diff-atan sin-cos-mult diff-cos distribute-neg-frac diff-sin