Details

rewrite11.7m (74.0%)

Algorithm

151×	rewrite-expression-head

Calls

441 calls:

15.2s	(* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
15.1s	(* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
8.6s	(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
8.6s	(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
8.6s	(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

Rules

7416×	times-frac
7408×	*-un-lft-identity
6045×	add-sqr-sqrt
4958×	add-cube-cbrt
2734×	add-exp-log
2254×	add-cbrt-cube
1885×	pow1
1302×	prod-diff
1193×	prod-exp
1176×	sqrt-prod
1003×	cbrt-unprod
985×	distribute-lft-out
848×	pow-prod-down
747×	associate-*l*
627×	associate-/r*
618×	add-log-exp
547×	div-exp
527×	associate-/l*
480×	associate-*r*
467×	fma-def
439×	log1p-expm1-u expm1-log1p-u
406×	associate-/r/
370×	cbrt-prod
358×	unpow-prod-down
351×	cbrt-undiv
333×	div-inv
316×	difference-of-squares
300×	distribute-lft-out--
283×	exp-sum
273×	flip-+ flip3-+
246×	log-pow
241×	log-prod
225×	distribute-rgt-in distribute-lft-in
197×	fma-neg
182×	flip3-- flip--
176×	associate-*r/
166×	unswap-sqr
147×	cbrt-div
137×	associate--l+
125×	associate-*l/
123×	cube-prod
115×	sqrt-div
114×	pow-exp
110×	frac-times
109×	sqr-pow
104×	*-commutative
95×	associate-/l/ 1-exp
94×	sqrt-pow1
92×	pow1/3
84×	frac-2neg clear-num
82×	sub-neg
73×	pow-unpow
72×	pow-to-exp
70×	diff-log
68×	swap-sqr
62×	pow1/2
59×	exp-prod
55×	rec-exp
53×	fma-udef
50×	frac-add
36×	rem-sqrt-square
28×	pow-pow pow-prod-up
27×	sum-log
22×	pow-sqr
21×	distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
20×	+-commutative
19×	unpow3 cube-mult
18×	pow-plus
16×	hypot-def
14×	rem-cube-cbrt pow2 associate--r+ associate--l-
12×	div-sub
11×	rem-log-exp
10×	rem-exp-log inv-pow pow-flip
9×	exp-diff
8×	log-div
7×	hypot-udef
6×	cube-div frac-sub
4×	sin-sum associate-+r+ unpow2
3×	sqrt-undiv un-div-inv log1p-udef distribute-lft-neg-out log1p-expm1 expm1-log1p expm1-udef
2×	neg-sub0 neg-log distribute-rgt-neg-out
1×	sqrt-pow2 associate-+r- sqrt-unprod pow3 associate-+l+ associate-+l- unsub-neg rem-square-sqrt cos-sum