Details

rewrite15.0s (5.7%)

Algorithm

125×	rewrite-expression-head

Calls

425 calls:

1.5s	(/ (/ (- (pow (pow eps 2) 3) (pow (+ (/ (pow eps 2) (pow 1.0 2)) eps) 3)) (sqrt (+ (* (+ (/ (pow eps 2) (pow 1.0 2)) eps) (+ (+ (/ (pow eps 2) (pow 1.0 2)) eps) (pow eps 2))) (pow eps 4)))) (sqrt (+ (* (+ (/ (pow eps 2) (pow 1.0 2)) eps) (+ (+ (/ (pow eps 2) (pow 1.0 2)) eps) (pow eps 2))) (pow eps 4))))
1.0s	(/ (- (pow (pow eps 2) 3) (pow (+ (/ (pow eps 2) (pow 1.0 2)) eps) 3)) (+ (* (+ (/ (pow eps 2) (pow 1.0 2)) eps) (+ (+ (/ (pow eps 2) (pow 1.0 2)) eps) (pow eps 2))) (pow eps 4)))
959.0ms	(/ (- (pow (pow eps 2) 3) (pow (+ (/ (pow eps 2) (pow 1.0 2)) eps) 3)) (sqrt (+ (* (+ (/ (pow eps 2) (pow 1.0 2)) eps) (+ (+ (/ (pow eps 2) (pow 1.0 2)) eps) (pow eps 2))) (pow eps 4))))
411.0ms	(/ (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))))
326.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)

Rules

59808×	sqrt-prod
56775×	times-frac
48479×	*-un-lft-identity
25736×	add-sqr-sqrt
20809×	add-cube-cbrt
14407×	distribute-lft-out
3079×	unpow-prod-down
2971×	difference-of-squares
1985×	cube-prod
1619×	associate-/r/
1589×	add-exp-log
1522×	sqrt-div
1472×	sqr-pow
1306×	distribute-lft-out--
1190×	associate-/l*
1077×	add-cbrt-cube
1062×	div-inv
881×	flip-+ flip3-+
794×	add-log-exp
775×	pow1
760×	associate-/r*
759×	associate-*r*
629×	unpow2
551×	cbrt-prod
456×	associate-*l*
407×	prod-exp
395×	div-exp
316×	unswap-sqr
255×	flip-- flip3--
245×	log-prod
209×	cbrt-undiv
204×	cbrt-div
194×	cbrt-unprod
193×	distribute-rgt-neg-in
135×	diff-log
134×	pow-exp
132×	log-pow associate-*l/
131×	sub-neg
118×	pow-prod-down
116×	pow-to-exp
97×	pow-unpow
95×	associate-*r/
83×	frac-times
82×	exp-prod
79×	associate-/l/
77×	*-commutative sqrt-pow1
74×	frac-2neg clear-num
72×	sum-log
61×	pow1/3
57×	pow1/2
55×	difference-cubes
50×	associate-+l+
49×	rec-exp 1-exp
40×	associate-+r+
39×	distribute-rgt-in distribute-lft-in
36×	+-commutative
33×	frac-add
32×	frac-sub tan-quot
31×	rem-sqrt-square
29×	cube-div
27×	div-sub
26×	log-div
25×	pow-pow swap-sqr
24×	complex-mul-def
23×	pow-prod-up unpow3 cube-mult
22×	associate--r+
20×	rem-cube-cbrt
18×	neg-sub0 cos-mult associate--l+
17×	pow-sqr rem-log-exp
12×	associate--l- neg-log
11×	associate-+l-
10×	distribute-rgt-out-- pow-flip
7×	inv-pow
6×	exp-diff pow-plus *.c-commutative
5×	sqrt-unprod pow2
4×	associate-+r- +.c-commutative complex-add-def exp-sum rem-cbrt-cube
3×	un-div-inv sin-cos-mult difference-of-sqr-1 sqrt-undiv
2×	cos-sum rem-exp-log associate-+l+.c associate--r- exp-neg pow-sub rem-square-sqrt associate-*l*.c tan-sum pow-neg exp-to-pow sin-sum
1×	diff-atan diff-cos +-inverses sin-mult frac-2neg.c diff-sin