Details

rewrite12.2m (69.7%)

Algorithm

165×	rewrite-expression-head

Calls

487 calls:

1.7m	(/ (* 1 (+ (+ (* (* (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 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (* 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)))))))
6.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)))) (+ (+ (+ (+ (+ (+ 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.7s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
3.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)))))
2.3s	(/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ (* (* 1.0 1.0) 1.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (/ 3.0 4.0) (* (/ 1.0 (pow (fabs x) 2)) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))

Rules

17777×	times-frac
12611×	*-un-lft-identity
9585×	add-sqr-sqrt
8513×	add-cube-cbrt
4500×	sqrt-prod
2652×	add-exp-log
2129×	add-cbrt-cube
2086×	pow1
1944×	distribute-lft-out
1299×	associate-/l*
1105×	associate-*l*
1092×	associate-*r*
978×	prod-exp
743×	add-log-exp
740×	associate-/r/
730×	cbrt-unprod
687×	flip-+ flip3-+
668×	unpow-prod-down
577×	sqrt-div
541×	pow-prod-down
523×	div-exp
444×	div-inv
443×	associate-/r*
417×	associate-*r/
380×	cbrt-prod
372×	cbrt-undiv
360×	frac-times
299×	unswap-sqr
277×	associate-*l/
239×	sqrt-pow1
236×	log-pow
231×	difference-of-squares
210×	flip3-- flip--
190×	sqr-pow
189×	pow-prod-up
168×	swap-sqr
159×	associate-/l/
156×	*-commutative
155×	cbrt-div
154×	pow-exp
152×	log-prod
140×	pow1/2
135×	distribute-lft-out--
134×	frac-add
125×	distribute-rgt-in distribute-lft-in
123×	pow-sqr
113×	cube-prod
99×	pow-to-exp
98×	pow-plus
92×	pow1/3
91×	clear-num frac-2neg
79×	sub-neg
72×	diff-log
71×	sum-log
69×	pow2 1-exp
68×	rec-exp
64×	rem-sqrt-square
56×	pow-unpow
48×	distribute-neg-frac
45×	+-commutative
39×	exp-prod
30×	associate--l+
28×	frac-sub
27×	unpow3 cube-mult
21×	pow-pow
19×	exp-sum log-div
16×	unpow2 associate--r+
13×	inv-pow pow-flip
12×	associate--l- div-sub
11×	associate-+l+
10×	rem-cube-cbrt un-div-inv rem-exp-log associate-+r+
9×	distribute-rgt-neg-in distribute-lft-neg-in rem-log-exp
8×	exp-diff difference-of-sqr-1
5×	unpow-prod-up associate-+l-
4×	cube-div sqrt-unprod sin-sum distribute-neg-in
3×	cos-sum pow3 pow-sub rem-square-sqrt neg-mul-1
2×	distribute-rgt-neg-out
1×	difference-cubes sqrt-pow2 associate--r- rem-cbrt-cube