Details

rewrite11.1m (45.1%)

Algorithm

151×	rewrite-expression-head

Calls

442 calls:

13.2s	(* (cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3)) x)
6.9s	(* (/ (+ (+ (+ (+ (+ 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)
4.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)))))
4.0s	(/ (+ (+ (+ (+ (+ 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)))))
3.3s	(cbrt (pow (/ (+ (+ (+ (+ (+ 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))))) 3))

Rules

453067×	times-frac
281624×	*-un-lft-identity
154633×	sqrt-prod
153912×	add-sqr-sqrt
152721×	add-cube-cbrt
72337×	distribute-lft-out
20814×	associate-/r/
11172×	div-inv
9865×	flip-+ flip3-+
3117×	prod-diff
2444×	add-exp-log
2442×	unpow-prod-down
2287×	cube-prod
1748×	add-cbrt-cube
1579×	pow1
1409×	associate-/r*
814×	associate-*l*
771×	prod-exp
740×	cbrt-prod
709×	div-exp
700×	associate-*r*
684×	associate-/l*
614×	add-log-exp
484×	cbrt-unprod
440×	log1p-expm1-u expm1-log1p-u
406×	sqr-pow
388×	cbrt-undiv
363×	pow-prod-down
343×	sqrt-div
307×	fma-neg
298×	difference-of-squares
295×	unpow3 cube-mult
248×	distribute-lft-out--
240×	unswap-sqr
192×	log-pow
176×	distribute-rgt-in distribute-lft-in
164×	1-exp
152×	pow-prod-up
149×	associate-*r/
147×	swap-sqr
135×	flip3-- flip--
134×	fma-def
133×	exp-sum
127×	associate-*l/
120×	*-commutative
118×	log-prod
117×	associate--l+
106×	cbrt-div
102×	sqrt-pow1
100×	pow-sqr
93×	pow1/3
91×	pow-exp
87×	frac-2neg rec-exp clear-num
84×	associate-/l/
83×	pow1/2
79×	pow-unpow
78×	frac-times
72×	pow-to-exp pow-plus
70×	sub-neg
58×	diff-log fma-udef
57×	associate-+l+
56×	pow2
43×	sum-log
38×	distribute-rgt-neg-in
37×	rem-sqrt-square
34×	distribute-lft-neg-in
28×	exp-prod
25×	pow-pow
22×	+-commutative
20×	frac-add hypot-udef neg-mul-1
17×	div-sub
15×	rem-cube-cbrt
14×	cube-div
13×	hypot-def
12×	pow-flip
11×	inv-pow unpow2
9×	rem-log-exp
8×	associate--l-
7×	sqrt-unprod
5×	rem-exp-log distribute-rgt-neg-out associate-+l-
4×	difference-cubes un-div-inv sin-sum distribute-neg-in associate--r+
3×	rem-square-sqrt log-div
2×	exp-diff log1p-udef log1p-expm1 expm1-log1p associate-+r+ frac-sub rem-cbrt-cube expm1-udef distribute-neg-frac
1×	sqrt-pow2 distribute-lft-neg-out unsub-neg neg-sub0 log-rec cos-sum