Details

rewrite13.4m (37.5%)

Algorithm

153×	rewrite-expression-head

Calls

443 calls:

1.0m	(/ (+ (/ 9.984369578019572e-06 (+ 7.0 (- z))) (+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -176.6150291621406 (+ (- z) 4.0)))) (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ 1.5056327351493116e-07 (+ 8.0 (- z)))))) (exp (+ (+ 0.5 7.0) (- z))))
57.2s	(log (exp (/ (+ (/ 9.984369578019572e-06 (+ 7.0 (- z))) (+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -176.6150291621406 (+ (- z) 4.0)))) (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ 1.5056327351493116e-07 (+ 8.0 (- z)))))) (exp (+ (+ 0.5 7.0) (- z))))))
42.0s	(/ (+ (/ 9.984369578019572e-06 (+ 7.0 (- z))) (+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -176.6150291621406 (+ (- z) 4.0)))) (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ 1.5056327351493116e-07 (+ 8.0 (- z)))))) (exp (+ (+ 0.5 7.0) (- z))))
7.8s	(+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (/ -176.6150291621406 (+ (- z) 4.0)))) (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ 1.5056327351493116e-07 (+ 8.0 (- z)))))
6.1s	(* (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* 0.0072644182 (* x x)) (* (* x x) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1.0)))) (fma (* 2.0 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (+ (* 0.0008327945 (* (* x x) (* x x))) (* (* x x) 0.0140005442)) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))) x)

Rules

47206×	frac-times
31206×	associate-*r/
18311×	associate-*l/
15184×	exp-neg
14066×	frac-add
13646×	flip-+ flip3-+
13030×	exp-diff
13018×	neg-sub0
9538×	*-un-lft-identity
8197×	times-frac
7388×	add-sqr-sqrt
5402×	add-cube-cbrt
4040×	pow1
3111×	add-exp-log
2409×	distribute-lft-out
2380×	add-cbrt-cube
2188×	un-div-inv
1891×	sqrt-prod
1668×	associate-*r*
1387×	prod-diff
1369×	pow-prod-up
1345×	prod-exp
1164×	associate-*l*
920×	cbrt-unprod
881×	pow-prod-down
841×	add-log-exp
745×	div-exp
681×	pow-plus
533×	difference-of-squares
530×	unpow-prod-down
525×	associate-/l*
447×	associate-/r*
443×	log1p-expm1-u
441×	expm1-log1p-u div-inv
427×	cube-prod
416×	cbrt-undiv
372×	distribute-lft-out--
365×	pow-sqr
339×	unswap-sqr
315×	associate-/r/
302×	swap-sqr
267×	pow-exp
265×	cbrt-prod
258×	exp-sum
257×	log-pow
250×	pow2
238×	associate-/l/
227×	sum-log
222×	sqr-pow
205×	exp-prod
202×	cbrt-div
185×	fma-neg
175×	fma-def
167×	flip3-- flip--
163×	*-commutative
151×	1-exp
143×	rec-exp
128×	sqrt-div
117×	pow-to-exp
101×	unpow3 cube-mult
99×	pow1/3
94×	distribute-rgt-in distribute-lft-in
90×	cube-div
81×	frac-2neg clear-num
68×	sub-neg
66×	sqrt-pow1
61×	cube-unmult
56×	log-prod
55×	pow1/2
52×	fma-udef
48×	diff-log
47×	associate--l+
31×	+-commutative
24×	associate-+l+ pow-unpow distribute-rgt-out--
23×	frac-sub
21×	pow-pow distribute-rgt-out
20×	rem-cube-cbrt div-sub
19×	pow-flip
18×	distribute-rgt1-in
17×	rem-sqrt-square
15×	pow3 distribute-rgt-neg-in
11×	associate-+r+
9×	inv-pow hypot-def
6×	distribute-lft-neg-in associate--r+
5×	cos-sum rem-exp-log
4×	sin-sum neg-log associate--l- associate-+l- rem-log-exp
3×	sqrt-unprod sub-div associate-+r- rem-square-sqrt rem-cbrt-cube unsub-neg log1p-udef
2×	expm1-log1p expm1-udef log1p-expm1 difference-cubes hypot-udef
1×	unpow-prod-up neg-mul-1 exp-to-pow distribute-neg-in associate--r- pow-sub log-div