Details

rewrite16.2m (46.9%)

Algorithm

155×	rewrite-expression-head

Calls

462 calls:

5.2m	(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
1.2m	(* (* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp z)) (exp (- (- 1.0 7.0) 0.5))) (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
57.8s	(* (* (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (- 1.0 7.0))) (+ (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
53.7s	(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
26.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)

Rules

1655459×	frac-times
1296332×	associate-*l/
876952×	associate-*r/
788300×	frac-add
18068×	flip-+ flip3-+
10361×	times-frac
9115×	*-un-lft-identity
8437×	add-sqr-sqrt
5557×	add-cube-cbrt
2911×	sqrt-prod
2322×	add-exp-log
1830×	associate-*r*
1748×	add-cbrt-cube
1664×	associate-*l*
1531×	pow1
1442×	distribute-lft-out
911×	difference-of-squares
860×	cbrt-prod
831×	unpow-prod-down
778×	prod-exp
648×	add-log-exp
575×	associate-/l*
537×	associate-/r/
536×	cbrt-unprod
522×	associate-/r*
516×	div-exp
452×	exp-diff distribute-lft-out--
437×	unswap-sqr
391×	div-inv
342×	cbrt-undiv
337×	log-pow
335×	pow-prod-down
329×	sqrt-div
318×	cbrt-div
313×	cube-prod
286×	swap-sqr
273×	flip3-- flip--
236×	sqr-pow
233×	associate-+l-
227×	pow-sub
198×	associate-/l/
197×	sqrt-pow1
151×	*-commutative
147×	pow1/2
133×	pow-exp
128×	distribute-rgt-neg-in
123×	distribute-lft-neg-in
117×	frac-sub
106×	pow1/3
91×	clear-num frac-2neg
83×	distribute-rgt-in distribute-lft-in
72×	rem-sqrt-square pow-to-exp
70×	log-prod
67×	sub-neg
62×	pow-prod-up
59×	unpow2
56×	1-exp
55×	sum-log
53×	rec-exp
46×	pow-sqr diff-log
42×	+-commutative
37×	pow-plus
36×	pow-unpow
31×	neg-mul-1
29×	pow2
27×	exp-sum
26×	div-sub associate--l+
24×	exp-prod
23×	unpow3 cube-mult
21×	pow-pow
15×	log-div
14×	associate--r+
9×	rem-cube-cbrt
8×	unpow-prod-up
7×	cube-div associate-+r+
6×	cos-sum sin-sum
5×	un-div-inv
4×	associate-+l+ pow-flip neg-sub0 inv-pow associate--r- rem-cbrt-cube
3×	sqrt-unprod sqrt-undiv rem-square-sqrt rem-log-exp associate--l-
2×	rem-exp-log pow3 distribute-frac-neg
1×	difference-cubes sqrt-pow2 distribute-lft-neg-out associate-+r- distribute-rgt-out sum-cubes