Details

rewrite21.7s (3.2%)

Algorithm

121×	rewrite-expression-head

Calls

394 calls:

1.3s	(+ (+ (* 1/6 (* (* a x) (* (* a x) (* a x)))) (* a x)) (* 1/2 (* (* a x) (* a x))))
1.2s	(+ (+ (* 1/6 (* (* a x) (* (* a x) (* a x)))) (* a x)) (* 1/2 (* (* a x) (* a x))))
896.0ms	(* x (+ (* (* a (* (* a x) (* a x))) 1/6) a))
740.0ms	(* (/ (+ 1/27 (* (* (* (* x x) x) (* (* x x) x)) 1/91125)) (sqrt (+ (* (* (* x x) 1/45) (* (* x x) 1/45)) (- (* 1/3 1/3) (* (* (* x x) 1/45) 1/3))))) (/ x (sqrt (+ (* (* (* x x) 1/45) (* (* x x) 1/45)) (- (* 1/3 1/3) (* (* (* x x) 1/45) 1/3))))))
697.0ms	(- (- (+ 1 (/ 1/2 n)) (- (/ 1/6 (* n n)) (log n))) 1)

Rules

5193×	*-un-lft-identity
4947×	add-sqr-sqrt
4744×	times-frac
3250×	sqrt-prod
2955×	add-cube-cbrt
1789×	pow1
1609×	add-exp-log
1311×	add-cbrt-cube
994×	associate-*l*
803×	distribute-lft-out
721×	associate-*r*
694×	add-log-exp
512×	prod-exp
455×	pow-prod-down
451×	difference-of-squares
412×	cbrt-unprod
393×	associate-/l*
387×	insert-posit16
385×	associate-*l/
359×	log-prod
348×	flip-+ flip3-+
345×	unswap-sqr
336×	distribute-lft-out--
302×	div-exp
286×	sqrt-div
272×	pow-prod-up
271×	div-inv
263×	cbrt-prod
237×	associate-/r*
230×	frac-times
219×	flip3-- flip--
211×	sqrt-pow1
184×	cbrt-undiv
183×	swap-sqr
170×	pow-sqr
168×	associate-/r/
156×	frac-add
139×	associate-*r/
136×	cbrt-div
132×	pow-plus
121×	pow-flip unpow-prod-down
109×	pow1/2
105×	associate-/l/
104×	diff-log
103×	*-commutative
102×	distribute-rgt-neg-in
94×	exp-prod
93×	sub-neg
88×	pow2 distribute-lft-neg-in
78×	pow-unpow
67×	sqr-pow
66×	log-pow
63×	frac-2neg clear-num tan-quot
62×	sum-log
59×	frac-sub
58×	1-exp rec-exp
57×	distribute-rgt-in distribute-lft-in
43×	pow1/3
41×	rem-sqrt-square
40×	log-div
34×	inv-pow rem-log-exp
33×	+-commutative
29×	associate--l+
23×	div-sub
20×	associate-+l+
19×	difference-of-sqr-1
16×	exp-sum pow-div associate--r+
15×	pow3
13×	associate-+r+
12×	sin-sum
11×	un-div-inv
10×	associate--l-
9×	pow-exp pow-to-exp
8×	distribute-neg-frac
7×	neg-sub0
6×	distribute-rgt-out-- sqrt-unprod pow-pow
5×	distribute-lft1-in neg-log rem-exp-log
4×	exp-diff sin-mult sub-div distribute-lft-neg-out neg-mul-1 sum-cubes exp-to-pow rem-square-sqrt distribute-rgt-out
3×	sqr-sin associate-+l- rem-cbrt-cube
2×	associate-+r- sin-cos-mult tan-sum exp-neg +.c-commutative cos-sum count-2 distribute-rgt1-in
1×	remove-posit16 diff-atan cos-mult frac-2neg.c log-rec difference-of-sqr--1 diff-sin diff-cos associate--r-