Details

rewrite13.1m (48.8%)

Algorithm

160×	rewrite-expression-head

Calls

485 calls:

30.1s	(* (/ (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))))) (/ (+ (+ (* (* (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)))))) (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)
27.5s	(/ (+ (+ (* (* (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)))))) (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))))))
15.8s	(/ (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))))) (/ (+ (+ (* (* (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)))))) (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)))))))
14.8s	(* (/ (+ (+ (+ (+ (+ 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)
12.3s	(/ (* (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (* x x)))))) (* 0.0005064034 (pow x 8))) 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

26356×	times-frac
18037×	*-un-lft-identity
16000×	add-sqr-sqrt
11278×	add-cube-cbrt
8678×	sqrt-prod
3254×	add-exp-log
2478×	distribute-lft-out
2294×	pow1
2283×	add-cbrt-cube
2060×	associate-*l*
1688×	difference-of-squares
1506×	prod-exp
1476×	cbrt-prod
1453×	associate-*r*
943×	distribute-lft-out-- associate-/r/
894×	flip-+ flip3-+
874×	div-inv
845×	cbrt-unprod
732×	add-log-exp
712×	associate-/r*
646×	associate-/l*
645×	div-exp
642×	log-pow
557×	pow-prod-down
535×	unpow-prod-down
455×	associate-*r/
435×	cbrt-undiv
428×	cube-prod
420×	frac-times
400×	sqrt-div
381×	pow-exp
347×	unswap-sqr
276×	associate-*l/
258×	sqrt-pow1
239×	pow-to-exp
219×	swap-sqr
203×	cbrt-div
182×	pow1/2
148×	associate-/l/
135×	*-commutative
124×	sqr-pow
117×	pow-prod-up
115×	flip3-- flip--
111×	pow1/3
90×	distribute-rgt-in distribute-lft-in
89×	log-prod
87×	frac-2neg clear-num
85×	rem-sqrt-square
82×	sub-neg diff-log
80×	pow-sqr
79×	cube-mult
64×	distribute-neg-frac
57×	1-exp
56×	sum-log
55×	frac-sub
53×	sum-cubes
52×	frac-add
51×	pow-unpow rec-exp
50×	pow-plus
42×	associate--l+
41×	exp-diff
40×	pow2
39×	+-commutative
38×	pow-pow
33×	cube-div
31×	unpow3
28×	exp-neg exp-prod
25×	neg-sub0
21×	exp-sum
20×	rem-cube-cbrt
17×	log-div
15×	unpow2
14×	associate--l-
13×	un-div-inv
12×	distribute-rgt-neg-in distribute-lft-neg-in pow-flip div-sub
10×	inv-pow associate--r+
8×	sin-sum
7×	associate-+l+ associate-+r+ rem-log-exp
5×	rem-exp-log sqrt-unprod rem-square-sqrt associate-+l-
4×	distribute-neg-in distribute-rgt-out-- neg-mul-1
2×	cos-sum distribute-rgt-neg-out
1×	difference-cubes sqrt-pow2 pow3 sub-div