Details

rewrite16.0s (3.9%)

Algorithm

123×	rewrite-expression-head

Calls

388 calls:

2.1s	(- (+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0)) 1.0)
392.0ms	(* (/ (sqrt (sqrt 1.0)) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (pow (sqrt (sqrt 1.0)) 3) (* (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))
359.0ms	(+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* (log n) 1.0))
350.0ms	(/ 1 (* 2.0 (* (/ 1 (* 4.0 c)) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))))
266.0ms	(* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))

Rules

4578×	*-un-lft-identity
4369×	add-sqr-sqrt
3939×	times-frac
2548×	add-cube-cbrt
2153×	sqrt-prod
1364×	add-exp-log
1003×	add-cbrt-cube
816×	associate-*r*
722×	pow1
702×	distribute-lft-out
699×	unpow-prod-down
680×	difference-of-squares
665×	add-log-exp
505×	associate-*l*
467×	associate-/l*
379×	distribute-lft-out--
378×	prod-exp
375×	cbrt-prod
357×	log-prod
335×	associate-/r*
321×	sqr-pow
297×	cube-prod
282×	div-exp
257×	unswap-sqr
250×	flip-+ flip3-+
236×	associate-/r/
220×	flip-- flip3--
216×	cbrt-unprod
198×	associate-*l/
182×	swap-sqr
177×	cbrt-undiv
164×	div-inv
154×	associate-*r/
145×	sqrt-div
142×	associate-+l+
130×	unpow2
126×	cbrt-div
124×	frac-times
114×	pow-prod-down
109×	pow-unpow
96×	diff-log
94×	sub-neg
89×	pow1/3
78×	log-pow
77×	associate-/l/
76×	*-commutative
73×	clear-num frac-2neg
72×	distribute-rgt-neg-in
70×	pow-to-exp pow-exp
66×	sum-log
55×	frac-add
54×	associate-+r+
51×	distribute-lft-neg-in
50×	exp-prod
49×	distribute-rgt-in distribute-lft-in
41×	sqrt-pow1
39×	exp-sum
36×	log-div
33×	pow1/2
32×	+-commutative
31×	neg-mul-1
28×	pow-pow div-sub 1-exp rec-exp
23×	associate--l+ tan-quot
22×	rem-sqrt-square pow-prod-up
21×	frac-sub
16×	difference-cubes pow-sqr rem-log-exp
15×	unpow3 associate-+l-
13×	complex-mul-def
12×	neg-sub0
11×	sum-cubes cube-mult pow-plus
10×	associate--r+
9×	sqrt-undiv pow2
7×	distribute-rgt-out-- associate-+r- pow-flip
6×	associate--l-
5×	inv-pow distribute-frac-neg neg-log
4×	cube-div rem-cube-cbrt *.c-commutative distribute-rgt-out
3×	exp-diff +.c-commutative quot-tan
2×	cos-sum sub0-neg rem-exp-log sqrt-unprod cube-unmult sin-cos-mult complex-add-def exp-neg sqr-cos sin-mult tan-sum frac-2neg.c sin-sum
1×	un-div-inv distribute-lft1-in associate-+l+.c distribute-rgt1-in diff-atan associate-*l*.c diff-cos count-2 rem-square-sqrt sub-div cos-mult rem-cbrt-cube exp-to-pow diff-sin