Details

rewrite29.5s (4.0%)

Algorithm

126×	rewrite-expression-head

Calls

436 calls:

2.1s	(- (+ (- 1.0 (+ (* 1.0 (* -1 (log n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
1.9s	(/ (- (pow (* (* (pow x 4) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)) 3) (pow (pow x 2) 3)) (* (+ (+ (* (* (* (pow x 4) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)) (* (* (pow x 4) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2))) (pow x 4)) (* (* (* (pow x 4) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2)) (pow x 2))) (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
1.8s	(/ (/ 1 (/ (/ 1 1) (/ c (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* c a)))) a)))) a)
813.0ms	(+ (- (* (* (cbrt (/ 1.0 (+ x 1.0))) (cbrt (/ 1.0 (+ x 1.0)))) (cbrt (/ 1.0 (+ x 1.0)))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
455.0ms	(/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))

Rules

71972×	times-frac
35788×	add-sqr-sqrt
35623×	*-un-lft-identity
27288×	add-cube-cbrt
4110×	difference-of-squares
3877×	associate-/l*
3723×	distribute-lft-out--
2372×	sqrt-prod
1843×	div-inv
1636×	add-exp-log
1621×	distribute-rgt-neg-in
1143×	cbrt-prod
1059×	add-cbrt-cube
844×	pow1
790×	add-log-exp
739×	unpow-prod-down
547×	div-exp
528×	log-prod
520×	associate-*l* associate-*r*
470×	cube-prod
465×	associate-/r/
437×	distribute-lft-out
398×	sqr-pow
393×	flip-- flip3--
332×	associate-/r*
331×	associate-*l/
326×	prod-exp
311×	frac-times
282×	flip-+ flip3-+
263×	unswap-sqr
215×	associate-*r/
209×	cbrt-undiv
191×	cbrt-unprod
188×	frac-sub
183×	sqrt-pow1
165×	swap-sqr
158×	associate-/l/
145×	pow-prod-down
144×	exp-prod
134×	pow-unpow
128×	diff-log
125×	sub-neg
123×	exp-neg neg-sub0
122×	cbrt-div
117×	sqrt-div
112×	exp-diff
108×	1-exp
93×	log-pow
92×	pow1/3
91×	pow1/2
84×	frac-add
81×	*-commutative
80×	associate-+r+
79×	pow-exp
77×	pow-to-exp
76×	rec-exp
72×	unpow2
70×	frac-2neg clear-num
64×	pow-prod-up
58×	sum-log
54×	log-div
52×	pow-sqr
51×	associate-+l+
42×	rem-log-exp
40×	rem-sqrt-square
38×	distribute-rgt-in distribute-lft-in
33×	pow-pow
31×	+-commutative
30×	tan-quot
27×	exp-sum
26×	distribute-lft-neg-in div-sub
24×	complex-mul-def
22×	difference-cubes
21×	unpow3 cube-mult exp-to-pow
20×	un-div-inv
19×	associate--l+
16×	pow-flip
15×	cube-div associate--l- pow-plus associate--r+
14×	pow2 cos-mult
12×	neg-log
10×	rem-cube-cbrt neg-mul-1 associate-+l-
9×	inv-pow difference-of-sqr-1
7×	sqrt-unprod
6×	rem-exp-log *.c-commutative distribute-neg-frac
5×	rem-cbrt-cube
4×	distribute-lft-neg-out associate-+r- distribute-rgt-out-- +.c-commutative complex-add-def rem-square-sqrt
2×	pow-neg associate-+l+.c sub-div pow-sub cos-sum sin-mult tan-sum frac-2neg.c associate-*l*.c sin-sum log-rec
1×	sin-cos-mult sqrt-pow2 diff-atan diff-cos diff-sin