Details

rewrite11.3m (40.9%)

Algorithm

164×	rewrite-expression-head

Calls

504 calls:

18.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)))) (/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (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))))))))
13.8s	(* (/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
8.1s	(/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))
7.3s	(* (/ (+ (+ (+ (+ (+ 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.8s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

Rules

64517×	frac-times
47585×	associate-*l/
44623×	associate-*r/
43250×	frac-add
9800×	add-exp-log
5490×	prod-exp
5251×	*-un-lft-identity
5250×	add-sqr-sqrt
5034×	times-frac
3623×	add-cube-cbrt
3471×	add-cbrt-cube
3137×	div-exp
2235×	pow1
1610×	cbrt-unprod
1535×	flip-+ flip3-+
1323×	associate-*r*
1206×	sqrt-prod
1032×	associate-*l*
812×	pow-prod-down
776×	add-log-exp
713×	cbrt-prod
682×	cbrt-undiv
602×	distribute-lft-out
595×	1-exp
459×	associate-/l*
429×	associate-/r/
425×	difference-of-squares
365×	unpow-prod-down
325×	unswap-sqr
324×	associate-/r*
309×	swap-sqr
289×	pow-exp div-inv
274×	pow-to-exp
271×	sqrt-div
259×	rec-exp
252×	sqr-pow cube-prod
232×	distribute-lft-out--
218×	cbrt-div
214×	sqrt-pow1
205×	log-pow
185×	log-prod
158×	*-commutative
145×	pow1/3
128×	pow1/2
125×	pow-prod-up
124×	flip-- flip3--
101×	associate-/l/ distribute-rgt-in distribute-lft-in
85×	pow-sqr diff-log
82×	pow-plus
80×	clear-num frac-2neg
78×	sub-neg
77×	pow-unpow
72×	exp-prod
71×	rem-sqrt-square
67×	sum-log
60×	cube-div
51×	associate-+r+
50×	pow2
43×	+-commutative
42×	associate--l+
34×	associate-+l+ pow-pow
31×	exp-neg
28×	exp-diff unpow3 cube-mult distribute-neg-frac
25×	neg-sub0
19×	div-sub
18×	distribute-rgt-neg-in distribute-lft-neg-in
16×	frac-sub log-div
15×	associate--l-
14×	inv-pow pow-flip rem-log-exp
12×	rem-cube-cbrt un-div-inv associate--r+
10×	distribute-rgt-out
8×	rem-exp-log log-rec
7×	pow3 exp-sum
5×	difference-cubes distribute-neg-in neg-mul-1 rem-cbrt-cube
4×	difference-of-sqr-1 neg-log associate-+l-
3×	sqrt-unprod rem-square-sqrt
2×	distribute-neg-out sqrt-pow2 associate-+r- distribute-lft-neg-out unsub-neg distribute-rgt-neg-out mul-1-neg
1×	cos-sum sqrt-undiv unpow1/3 sin-sum unpow-prod-up pow-sub exp-to-pow