Details

rewrite22.0s

Algorithm

117×	rewrite-expression-head

Calls

379 calls:

Slowest

5.3s	(/ (log (- 1 x)) (- (- (+ (* (* x x) (* (* (* x x) (* x x)) 1/3)) (+ (* 1/2 (* (* x x) (* x x))) (* x x)))) (log (- 1 x))))
2.2s	(- (+ (/ 1/2 n) (- 1 (- (/ 1/6 (* n n)) (log n)))) 1)
765.0ms	(* (- (exp (* a eps)) 1) (+ (* (* 1/6 (* b (* b b))) (* eps (* eps eps))) (+ (* eps b) (* (* 1/2 (* b b)) (* eps eps)))))
478.0ms	(/ (* x (+ 1/27 (* (* (* x x) 1/91125) (* (* x x) (* x x))))) (+ (* 1/3 1/3) (- (* (* (* x x) 1/45) (* (* x x) 1/45)) (* 1/3 (* (* x x) 1/45)))))
455.0ms	(* (* -2 (sin (* eps 1/2))) (+ (* (sin (* eps 1/2)) (cos (* x 1))) (* (cos (* eps 1/2)) (sin (* x 1)))))

Rules

3331×	*-un-lft-identity
3260×	add-sqr-sqrt
2343×	pow1
2326×	times-frac
1907×	add-cube-cbrt
1669×	add-exp-log
1469×	add-cbrt-cube
825×	sqrt-prod
672×	pow-prod-down
658×	prod-exp
652×	add-log-exp
581×	cbrt-unprod
573×	associate-*l*
530×	pow-prod-up
509×	difference-of-squares
479×	associate-*r*
382×	distribute-lft-out
367×	insert-posit16
335×	distribute-lft-out--
293×	associate-/r*
290×	pow-plus
288×	flip-+ flip3-+
257×	log-prod
253×	associate-/l*
244×	associate-*r/
241×	frac-times
240×	associate-*l/
227×	pow-sqr
226×	sqrt-div div-exp
209×	flip3-- flip--
195×	swap-sqr
184×	div-inv
179×	exp-prod
177×	unswap-sqr
172×	associate-/r/
171×	cbrt-prod
159×	cbrt-undiv
127×	unpow-prod-down
123×	pow2
117×	log-pow
112×	*-commutative
111×	diff-log
102×	sub-neg
100×	sqrt-pow1
94×	pow1/2
85×	associate-/l/
84×	frac-add
71×	sqr-pow
64×	pow-flip
62×	frac-2neg clear-num
55×	pow-unpow
48×	frac-sub
47×	associate-+l+
42×	1-exp rec-exp
41×	sum-log
39×	distribute-rgt-in distribute-rgt-neg-in distribute-lft-in
35×	log-div
34×	tan-quot
33×	cbrt-div
32×	pow1/3
30×	difference-of-sqr-1
29×	pow3
24×	+-commutative
23×	div-sub
22×	inv-pow un-div-inv rem-sqrt-square rem-log-exp
16×	associate--l+
15×	associate--r+
13×	complex-mul-def
12×	associate-+r+ difference-of-sqr--1
11×	associate--l-
10×	pow-pow
9×	pow-exp
8×	neg-sub0 pow-to-exp
6×	sqrt-unprod sin-mult rem-square-sqrt
5×	sin-sum neg-log sqr-sin
4×	distribute-rgt-out--
3×	exp-diff associate-+r- cube-unmult *.c-commutative +.c-commutative associate-+l-
2×	associate-*l*.c cos-mult sin-cos-mult exp-sum sub-div tan-sum frac-2neg-c exp-to-pow exp-neg rem-exp-log cos-sum rem-cbrt-cube associate--r- complex-add-def
1×	remove-posit16 diff-atan associate-+l+.c diff-sin diff-cos