Details

rewrite20.6s (4.7%)

Algorithm

122×	rewrite-expression-head

Calls

397 calls:

2.1s	(- (+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
1.3s	(* (cbrt (+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))) (cbrt (+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))))
893.0ms	(/ (* (cbrt (- (* (- (/ 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))))) (cbrt (- (* (- (/ 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)))))) (* (cbrt (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))) (cbrt (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))))
598.0ms	(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))
594.0ms	(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (* (sin x) (* (cbrt (sin eps)) (cbrt (sin eps)))) (cbrt (sin eps))) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))

Rules

6857×	frac-sub
6562×	*-un-lft-identity
6472×	times-frac
6460×	frac-times
6021×	add-sqr-sqrt
4894×	cbrt-div
3264×	add-cube-cbrt
2749×	flip-- flip3--
2512×	associate-*r/
2477×	associate-*l/
2390×	associate-/l/
1366×	add-exp-log
1232×	difference-of-squares
1034×	sqrt-prod
1013×	add-cbrt-cube
829×	cbrt-prod
818×	distribute-lft-out
751×	distribute-lft-out--
737×	unpow-prod-down
711×	add-log-exp
697×	pow1
652×	associate-*r*
474×	associate-*l*
463×	associate-/l*
443×	log-prod
441×	exp-prod
389×	div-inv
372×	log-pow
368×	associate-/r*
356×	cube-prod
347×	prod-exp
298×	pow-unpow sqr-pow
290×	div-exp
284×	associate-/r/
243×	unswap-sqr
197×	cbrt-unprod cbrt-undiv
177×	flip-+ flip3-+
145×	exp-sum
121×	frac-add
117×	diff-log
110×	unpow2
102×	pow-prod-down
101×	sub-neg
95×	sqrt-div
86×	sqrt-pow1
81×	swap-sqr
78×	clear-num frac-2neg
73×	pow-to-exp pow-exp
71×	*-commutative
66×	pow1/2
60×	sum-log
56×	pow1/3
40×	distribute-rgt-in distribute-lft-in
39×	pow-prod-up
38×	unpow3 cube-mult div-sub
37×	neg-sub0
36×	exp-diff
35×	rem-sqrt-square
33×	pow-sqr
30×	exp-neg log-div
29×	+-commutative distribute-rgt-neg-in
28×	rem-log-exp
26×	1-exp
25×	rec-exp associate--l+
24×	distribute-rgt-out
21×	associate-+l+
18×	pow-pow
14×	distribute-lft1-in distribute-rgt1-in
13×	complex-mul-def
12×	tan-quot pow-flip
11×	difference-cubes associate-+l-
10×	associate--l- count-2 associate--r+
8×	inv-pow
6×	sum-cubes pow-plus distribute-frac-neg neg-log pow2
5×	sqrt-unprod sin-mult
4×	pow-div cube-div rem-exp-log *.c-commutative
3×	un-div-inv +.c-commutative associate-+r+
2×	cos-sum rem-cube-cbrt sub0-neg distribute-lft-neg-out complex-add-def rem-square-sqrt cos-mult tan-sum rem-cbrt-cube sin-sum
1×	associate-+l+.c diff-atan distribute-rgt-out-- sin-cos-mult diff-cos associate-*l*.c frac-2neg.c exp-to-pow diff-sin log-rec