Details

rewrite6.3m

Algorithm

144×	rewrite-expression-head

Calls

424 calls:

Slowest

1.3m	(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
1.3m	(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
46.5s	(* (exp (- -6 0.5)) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
31.0s	(* (* (sqrt (/ (+ (+ (+ (+ (+ 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)))))) (sqrt (/ (+ (+ (+ (+ (+ 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)
29.5s	(* (/ (/ (+ (+ (+ (+ (+ 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)))) (sqrt (+ (+ (+ (+ (+ (+ 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)))))) (sqrt (+ (+ (+ (+ (+ (+ 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

15464×	*-un-lft-identity
14312×	times-frac
8231×	add-sqr-sqrt
6951×	add-cube-cbrt
5093×	distribute-lft-out
4248×	add-exp-log
4021×	sqrt-prod
2864×	pow1
2227×	add-cbrt-cube
2141×	frac-add
1646×	div-exp
1546×	prod-exp
1528×	associate-*l*
1240×	flip-+ flip3-+
1237×	prod-diff
1155×	associate-*r*
1062×	pow-prod-up
755×	associate-/r/
750×	div-inv
712×	cbrt-unprod
674×	associate-/l*
621×	add-log-exp
617×	associate-*r/
615×	distribute-rgt-in distribute-lft-in
584×	associate-/r*
542×	frac-times
530×	cbrt-undiv
515×	pow-plus
512×	pow-exp
441×	pow-prod-down
424×	expm1-log1p-u insert-posit16 log1p-expm1-u
347×	1-exp
342×	unswap-sqr
335×	rec-exp
302×	associate-*l/
293×	exp-sum
288×	unpow-prod-down
269×	swap-sqr
244×	log-pow
235×	pow-to-exp
208×	difference-of-squares
202×	fma-def
166×	cbrt-div
160×	distribute-lft-out--
157×	pow-sqr
150×	*-commutative
139×	pow2
137×	sqrt-pow1
116×	flip3-- flip--
106×	sqrt-div
104×	sqr-pow
99×	frac-2neg clear-num
95×	exp-diff
94×	pow1/2
90×	pow-div fma-neg
86×	cbrt-prod associate-/l/ sub-neg
83×	log-prod
80×	sum-log
69×	fma-udef
63×	cube-unmult
62×	pow-flip
58×	inv-pow
46×	associate-+l+
39×	+-commutative
33×	diff-log
30×	pow1/3
29×	rem-sqrt-square
28×	unpow-prod-up
26×	distribute-rgt1-in div-sub distribute-rgt-out
23×	exp-prod
22×	frac-sub
17×	cube-prod unpow3 cube-mult
15×	associate-+r+ un-div-inv
12×	associate-+l-
11×	sin-sum
9×	pow-unpow
8×	pow3 pow-pow hypot-def
7×	pow-sub
6×	sqrt-unprod rem-log-exp
4×	associate--l+ associate--r+
3×	hypot-udef rem-square-sqrt cos-sum rem-cbrt-cube log-div
2×	difference-cubes
1×	associate--l- associate-+r- exp-to-pow rem-exp-log associate--r- sin-mult