Details

rewrite11.3m (32.1%)

Algorithm

162×	rewrite-expression-head

Calls

486 calls:

15.9s	(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
9.1s	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
9.0s	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
8.9s	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
8.7s	(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

Rules

46614×	frac-times
31304×	associate-*r/
18129×	associate-*l/
15314×	*-un-lft-identity
14925×	exp-neg
13638×	flip-+ flip3-+
13439×	frac-add
12797×	exp-diff
12793×	neg-sub0
11900×	times-frac
6734×	add-sqr-sqrt
5634×	distribute-lft-out
5285×	add-cube-cbrt
3179×	add-exp-log
3011×	pow1
2264×	un-div-inv
2166×	sqrt-prod
2058×	add-cbrt-cube
1531×	prod-exp
1227×	associate-*r*
1103×	associate-*l*
765×	add-log-exp
759×	associate-/l*
728×	cbrt-unprod
688×	pow-prod-down
674×	pow-prod-up
627×	associate-/r/
590×	div-exp
548×	cbrt-prod
484×	insert-posit16
452×	associate-/r*
412×	div-inv
384×	difference-of-squares
332×	cbrt-undiv pow-plus
298×	log-pow
297×	unswap-sqr
272×	cbrt-div
265×	distribute-lft-out--
261×	sqrt-div
256×	associate-/l/
216×	pow-sqr
215×	unpow-prod-down
204×	pow-exp
170×	sqrt-pow1
155×	*-commutative
151×	swap-sqr
142×	1-exp rec-exp
136×	pow2
121×	sum-log flip3-- flip--
118×	frac-sub
111×	sqr-pow pow1/2
108×	cube-div
100×	pow-to-exp
99×	pow1/3
90×	frac-2neg clear-num
84×	log-prod
66×	cube-prod
62×	distribute-rgt-in distribute-lft-in
60×	rem-sqrt-square
59×	+-commutative
57×	sub-neg
47×	exp-prod
46×	pow-flip inv-pow
38×	diff-log
28×	pow-unpow log-div
27×	cube-unmult
26×	associate--l+
25×	pow-pow
24×	rem-cube-cbrt
19×	div-sub distribute-rgt-out
17×	associate-+l+ pow3
16×	distribute-rgt1-in
13×	associate--r+ rem-log-exp
12×	exp-sum
10×	associate-+r+
9×	distribute-lft-neg-in distribute-rgt-neg-in
8×	pow-div rem-exp-log
7×	sin-sum associate-+l- cube-mult
6×	unpow3
5×	associate--r-
4×	unpow-prod-up neg-log sub-div
3×	pow-sub
2×	sqrt-unprod difference-cubes neg-mul-1 sum-cubes rem-square-sqrt rem-cbrt-cube
1×	distribute-lft-neg-out sqrt-pow2 exp-to-pow distribute-rgt-out-- remove-posit16 count-2 distribute-neg-in cos-sum