Details

rewrite20.2m (58.8%)

Algorithm

158×	rewrite-expression-head

Calls

476 calls:

3.6m	(* (/ (sqrt (+ (+ (+ (+ (+ 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))))) (/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (sqrt (+ (+ (+ (+ (+ 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))))))) x)
3.5m	(/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (sqrt (+ (+ (+ (+ (+ 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.9m	(/ (sqrt (+ (+ (+ (+ (+ 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))))) (/ (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) (sqrt (+ (+ (+ (+ (+ 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)))))))
7.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))))) 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)))))

Rules

11594×	times-frac
9244×	add-sqr-sqrt
8709×	*-un-lft-identity
5953×	add-cube-cbrt
3822×	add-exp-log
3217×	associate-*r*
3183×	sqrt-prod
2918×	add-cbrt-cube
2127×	pow1
1649×	prod-exp
1492×	associate-*l*
1213×	difference-of-squares
1142×	cbrt-unprod
948×	div-exp
877×	distribute-lft-out
771×	add-log-exp
719×	flip-+ flip3-+
666×	cbrt-undiv
631×	associate-/r/
578×	unpow-prod-down frac-times
567×	distribute-lft-out--
513×	associate-*r/
512×	pow-prod-down
407×	cube-prod
405×	associate-/l*
404×	sqrt-div
399×	associate-/r*
391×	div-inv
364×	associate-*l/
362×	cbrt-prod
342×	unswap-sqr
302×	pow-prod-up
297×	sqr-pow
247×	sqrt-pow1
246×	swap-sqr
234×	log-prod
233×	log-pow
212×	cbrt-div
190×	flip3-- flip--
172×	pow1/2
159×	*-commutative
148×	distribute-rgt-in distribute-lft-in
143×	pow-plus
129×	pow-exp
118×	pow-sqr
104×	pow1/3
99×	associate-/l/
97×	pow-to-exp
87×	sub-neg
85×	exp-prod sum-log
83×	pow-unpow
80×	diff-log
74×	frac-2neg clear-num
72×	pow2
60×	rem-sqrt-square
58×	distribute-neg-frac
52×	frac-add
48×	+-commutative
42×	pow-pow
41×	exp-diff
40×	cube-div
38×	associate-+r+
33×	1-exp rec-exp
32×	exp-neg
30×	associate-+l+ associate--l+
28×	neg-sub0 exp-sum
23×	log-div
19×	distribute-rgt-neg-in unpow3 distribute-lft-neg-in cube-mult
16×	div-sub
15×	rem-exp-log
14×	rem-cube-cbrt
13×	rem-log-exp
12×	inv-pow pow-flip frac-sub associate--r+
10×	un-div-inv difference-of-sqr-1 distribute-rgt-out
8×	associate--l- sum-cubes
7×	unpow2
6×	pow3 sin-sum neg-log neg-mul-1
5×	distribute-neg-in associate-+l-
4×	log-rec
3×	sqrt-pow2 associate-+r-
2×	difference-cubes sqrt-unprod rem-square-sqrt rem-cbrt-cube distribute-rgt-neg-out
1×	cos-sum distribute-neg-out sqrt-undiv distribute-lft-neg-out distribute-rgt-out-- unpow-prod-up pow-sub unsub-neg associate--r-