Details

rewrite11.8m (77.5%)

Algorithm

155×	rewrite-expression-head

Calls

468 calls:

15.7s	(* (/ (+ (+ (+ (+ (+ 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)
10.0s	(* (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))))) (* (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 (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))))
9.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)))))
8.5s	(* (+ (+ (+ (+ (+ 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) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))))))
7.7s	(* (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 (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))))))

Rules

7486×	times-frac
6918×	*-un-lft-identity
6170×	add-sqr-sqrt
4526×	add-cube-cbrt
3800×	add-exp-log
3159×	add-cbrt-cube
3104×	pow1
2322×	sqrt-prod
2117×	prod-exp
1782×	cbrt-unprod
1683×	pow-prod-down
1478×	associate-*r*
1056×	associate-*l*
970×	distribute-lft-out
707×	flip-+ flip3-+
705×	add-log-exp
681×	associate-/l*
554×	associate-/r/
480×	div-exp
474×	cbrt-prod
468×	sqrt-div
422×	associate-*r/
396×	difference-of-squares
395×	associate-/r*
384×	frac-times
346×	unswap-sqr
317×	unpow-prod-down div-inv
295×	cbrt-undiv
294×	distribute-lft-out--
274×	associate-*l/
227×	log-pow
220×	sqrt-pow1
204×	cbrt-div
203×	swap-sqr
180×	cube-prod
172×	frac-add
159×	pow1/2 log-prod
146×	*-commutative
126×	pow1/3
125×	sqr-pow
118×	pow-exp
117×	flip3-- flip--
107×	associate-/l/
99×	pow-unpow
97×	distribute-rgt-in distribute-lft-in
96×	pow-prod-up
86×	pow-to-exp
76×	rem-sqrt-square
75×	frac-2neg clear-num
72×	sum-log
68×	pow-sqr
66×	sub-neg exp-sum
63×	exp-prod
60×	diff-log
53×	1-exp rec-exp
52×	pow-pow
46×	pow-plus
45×	+-commutative
35×	exp-diff
34×	unpow3 cube-mult
32×	pow2
29×	exp-neg associate--l+
28×	distribute-neg-frac
25×	neg-sub0
24×	cube-div
21×	log-div
19×	pow-flip
18×	distribute-rgt-neg-in distribute-lft-neg-in
17×	rem-cube-cbrt
15×	div-sub
13×	un-div-inv associate-+r+
11×	inv-pow associate-+l+
9×	rem-exp-log
8×	associate--l- frac-sub
6×	pow-div sqrt-unprod cos-sum associate--r+ unpow2
5×	distribute-neg-in neg-mul-1
4×	difference-cubes sin-sum rem-square-sqrt unpow-prod-up neg-log
3×	pow3 pow-sub associate-+l- rem-log-exp
2×	sqrt-undiv sqrt-pow2 distribute-rgt-neg-out
1×	unpow1/3 distribute-rgt-out-- associate--r-