Details

rewrite16.0m (32.0%)

Algorithm

155×	rewrite-expression-head

Calls

470 calls:

2.1m	(+ (/ -176.6150291621406 (+ (- 2 z) 2)) (+ (+ (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (/ 12.507343278686905 (+ -1 (- 6 z)))) (/ 771.3234287776531 (- (- 1 z) -2))) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z)))))
1.5m	(+ (/ -176.6150291621406 (+ (- 2 z) 2)) (+ (+ (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (/ 12.507343278686905 (+ -1 (- 6 z)))) (/ 771.3234287776531 (- (- 1 z) -2))) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z)))))
1.0m	(+ (+ (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (/ 12.507343278686905 (+ -1 (- 6 z)))) (/ 771.3234287776531 (- (- 1 z) -2))) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))))
41.3s	(+ (+ (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))) (/ 12.507343278686905 (+ -1 (- 6 z)))) (/ 771.3234287776531 (- (- 1 z) -2))) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))))
16.7s	(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)

Rules

46450×	frac-times
30906×	associate-*r/
18160×	associate-*l/
17315×	times-frac
14925×	exp-neg
13963×	*-un-lft-identity
13469×	flip-+ flip3-+
13317×	frac-add
12795×	exp-diff
12793×	neg-sub0
10634×	add-exp-log
10130×	add-sqr-sqrt
8845×	add-cube-cbrt
6182×	prod-exp
4578×	sqrt-prod
3659×	div-exp
3217×	pow1
2626×	distribute-lft-out
2392×	add-cbrt-cube
2179×	un-div-inv
1700×	1-exp
1688×	rec-exp
1258×	associate-/l*
1245×	prod-diff
1053×	associate-*l*
952×	associate-*r*
896×	cbrt-unprod
893×	pow-prod-up
875×	add-log-exp
631×	pow-prod-down
557×	associate-/r/
511×	log-pow
499×	cbrt-div
470×	log1p-expm1-u
469×	expm1-log1p-u
468×	insert-posit16
458×	cbrt-undiv
440×	div-inv
372×	unpow-prod-down
360×	cbrt-prod
357×	sqrt-div
353×	pow-plus
343×	associate-/r*
338×	unswap-sqr
303×	cube-prod
271×	swap-sqr
259×	sum-log
244×	difference-of-squares
233×	pow-flip inv-pow
231×	pow-sqr
222×	sqrt-pow1
220×	exp-sum
204×	fma-def
189×	fma-neg
161×	distribute-lft-out-- *-commutative
155×	sqr-pow
153×	log-prod
148×	distribute-rgt-out
147×	pow1/3
132×	pow2
131×	distribute-rgt-in distribute-lft-in
128×	pow1/2
125×	pow-exp
108×	cube-div
101×	flip3-- flip--
87×	cube-mult
86×	unpow3 pow-to-exp
78×	frac-2neg clear-num
75×	associate--r+
73×	distribute-lft1-in
72×	fma-udef
71×	distribute-rgt1-in
65×	associate-/l/
63×	sub-neg
41×	rem-sqrt-square
38×	frac-sub
34×	exp-prod
33×	diff-log
32×	+-commutative
27×	pow-unpow
26×	count-2
24×	rem-cube-cbrt cube-unmult pow-pow
19×	associate-+l+
14×	hypot-def
13×	pow3
12×	div-sub
11×	rem-log-exp
10×	sin-sum
9×	distribute-lft-neg-in distribute-rgt-neg-in cos-sum
7×	sqrt-unprod
6×	unpow-prod-up associate-+r+
5×	associate--l+ rem-exp-log associate-+l- rem-square-sqrt
4×	expm1-log1p expm1-udef neg-log pow-sub sub-div pow-div
3×	log1p-expm1 log1p-udef
2×	sub0-neg difference-cubes neg-mul-1 associate--r- log-div
1×	distribute-rgt-neg-out difference-of-sqr-1 associate-+r- distribute-rgt-out-- distribute-neg-in rem-cbrt-cube unsub-neg