Details

rewrite10.8m (73.0%)

Algorithm

160×	rewrite-expression-head

Calls

485 calls:

9.0m	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (* 1 z))) (/ -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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
7.0s	(* (/ (+ (+ (+ (+ (+ 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 (* (* (* (* (* 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)
7.0s	(* (/ (+ (+ (+ (+ (+ 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.0s	(/ (+ (+ (+ (+ (+ 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)))))
4.0s	(/ (+ (+ (+ (+ (+ 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 (* (* (* (* (* 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)))))

Rules

13387×	times-frac
11084×	*-un-lft-identity
8882×	add-sqr-sqrt
6713×	add-cube-cbrt
4315×	add-exp-log
4187×	sqrt-prod
3372×	associate-*r*
2819×	add-cbrt-cube
1995×	prod-exp
1811×	pow1
1694×	distribute-lft-out
1248×	associate-*l*
1185×	cbrt-unprod
1089×	div-exp
914×	add-log-exp
755×	associate-/r/
700×	difference-of-squares
698×	pow-prod-down
672×	flip-+ flip3-+
616×	associate-/l*
567×	unpow-prod-down
566×	distribute-lft-out--
539×	cbrt-undiv
479×	div-inv
469×	associate-/r*
466×	cbrt-prod
357×	associate-*r/
327×	unswap-sqr
247×	frac-times
209×	cube-prod
206×	sqr-pow
194×	associate-*l/
192×	sqrt-div
190×	cbrt-div
188×	log-pow
161×	pow-exp
142×	pow-to-exp
141×	*-commutative
140×	flip3-- flip--
137×	sum-log
136×	frac-add
133×	1-exp swap-sqr
127×	associate-/l/
123×	diff-log
111×	log-prod
106×	pow-unpow
95×	clear-num frac-2neg
86×	sub-neg
73×	sqrt-pow1
63×	distribute-rgt-in distribute-lft-in
60×	pow1/2 pow1/3
51×	+-commutative
48×	exp-prod
47×	pow-pow rec-exp
46×	frac-sub
45×	rem-sqrt-square
38×	un-div-inv
37×	associate--l+
33×	unpow3 cube-mult
30×	pow-prod-up pow-sqr
27×	exp-diff
24×	unpow2 log-div
22×	associate-+l+ div-sub
21×	cube-div
19×	pow-plus
18×	rem-cube-cbrt distribute-neg-frac
17×	pow2
15×	distribute-rgt-neg-in distribute-lft-neg-in exp-neg
13×	neg-sub0 rem-log-exp associate--l-
12×	inv-pow pow-flip
11×	associate--r+
10×	exp-sum
9×	sin-sum associate-+l-
8×	cos-sum
7×	rem-exp-log associate-+r+
5×	difference-cubes neg-mul-1 sum-cubes
4×	distribute-neg-in distribute-rgt-out-- exp-to-pow
3×	rem-cbrt-cube
2×	associate-+r- distribute-rgt-neg-out
1×	sqrt-undiv sqrt-pow2 cube-unmult sub-div unpow-prod-up pow-sub distribute-frac-neg log-rec associate--r- mul-1-neg