Details

rewrite1.1m (4.8%)

Algorithm

125×	rewrite-expression-head

Calls

413 calls:

4.5s	(- (+ (- (+ 1.0 (/ 0.5 n)) (/ 0.16666666666666669 (* n n))) (* 1.0 (log n))) 1.0)
3.7s	(/ (+ (* 0.3333333333333333 0.3333333333333333) (- (* (* (* x x) 0.022222222222222223) (* (* x x) 0.022222222222222223)) (* 0.3333333333333333 (* (* x x) 0.022222222222222223)))) (+ (* (* (* x x) 0.022222222222222223) (* (* (* x x) 0.022222222222222223) (* (* x x) 0.022222222222222223))) (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333)))
3.3s	(* x (+ (* (* (* x x) 0.022222222222222223) (* (* (* x x) 0.022222222222222223) (* (* x x) 0.022222222222222223))) (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333)))
3.2s	(/ x (/ (+ (* 0.3333333333333333 0.3333333333333333) (- (* (* (* x x) 0.022222222222222223) (* (* x x) 0.022222222222222223)) (* 0.3333333333333333 (* (* x x) 0.022222222222222223)))) (+ (* (* (* x x) 0.022222222222222223) (* (* (* x x) 0.022222222222222223) (* (* x x) 0.022222222222222223))) (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333))))
2.1s	(* (- (exp (* a eps)) 1.0) (+ (* (* 1/6 (* b (* b b))) (* eps (* eps eps))) (+ (* eps b) (* (* (* b eps) (* b eps)) 1/2))))

Rules

6051×	*-un-lft-identity
5383×	times-frac
5025×	add-sqr-sqrt
3051×	add-cube-cbrt
2399×	sqrt-prod
2037×	add-exp-log
1716×	pow1
1701×	add-cbrt-cube
998×	distribute-lft-out
792×	difference-of-squares
774×	prod-exp
764×	add-log-exp
700×	associate-*r*
666×	associate-*l*
588×	cbrt-unprod
578×	distribute-lft-out--
556×	pow-prod-down
485×	associate-/l*
407×	div-exp
402×	insert-posit16
331×	associate-/r/
319×	associate-/r*
301×	flip-+ flip3-+
299×	sqrt-div
285×	cbrt-undiv
282×	swap-sqr
278×	div-inv
275×	associate-*r/
268×	associate-*l/
238×	flip3-- flip--
201×	frac-times
187×	pow-prod-up
182×	unpow-prod-down
177×	unswap-sqr
164×	distribute-rgt-neg-in
149×	log-prod
129×	distribute-lft-neg-in
116×	diff-log
115×	sub-neg
110×	*-commutative
102×	cbrt-prod
99×	pow-sqr
97×	associate-/l/
93×	sqr-pow
81×	pow-plus
77×	sqrt-pow1
75×	pow1/2
73×	frac-2neg clear-num
67×	log-pow
65×	exp-prod
61×	sum-log frac-sub
56×	1-exp rec-exp
55×	pow-unpow
51×	cbrt-div frac-add
40×	pow3
37×	pow2 div-sub
35×	distribute-rgt-in +-commutative distribute-lft-in rem-sqrt-square
31×	cube-unmult
28×	pow1/3 neg-mul-1 exp-to-pow log-div
26×	exp-lft-cube
23×	difference-cubes
22×	associate--l+
17×	sum-cubes
16×	pow-flip tan-quot associate--r+ rem-log-exp
15×	associate-+l+ pow-exp pow-to-exp
14×	neg-sub0 complex-mul-def
12×	associate-+r+
11×	associate--l-
9×	cos-mult sin-mult
8×	pow-pow associate-+l- sqr-cos
7×	distribute-neg-frac
6×	exp-sum pow-div distribute-frac-neg neg-log inv-pow rem-exp-log
5×	exp-diff cube-prod associate-+r- sqrt-unprod rem-square-sqrt
3×	sin-sum *.c-commutative difference-of-sqr-1 sqr-sin +.c-commutative cos-sum
2×	associate-*l*.c sin-cos-mult exp-neg sub-div un-div-inv complex-add-def tan-sum rem-cbrt-cube distribute-neg-in associate--r- distribute-rgt-out
1×	remove-posit16 diff-atan distribute-rgt-out-- rem-cube-cbrt distribute-rgt-neg-out unpow3 +-inverses frac-2neg.c diff-sin associate-+l+.c cube-mult diff-cos