Details

rewrite7.3m (62.8%)

Algorithm

71×	rewrite-expression-head

Calls

179 calls:

3.7m	(* (/ (pow (+ 0.5 (+ 7.0 (- z))) (+ (- z) 0.5)) (exp (+ 0.5 (+ 7.0 (- z))))) (* (/ PI (sin (* PI z))) (+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))))
1.6m	(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
1.1m	(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
25.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)
14.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)))))

Rules

2033×	*-un-lft-identity
1875×	times-frac
1737×	add-sqr-sqrt
1328×	frac-add
1286×	add-cube-cbrt
946×	add-exp-log
762×	add-cbrt-cube
627×	associate-*l*
561×	pow1
541×	flip-+ flip3-+
424×	distribute-lft-out
378×	add-log-exp
365×	prod-exp
360×	associate-*r*
351×	associate-*r/
339×	sqrt-prod
315×	frac-times
294×	unpow-prod-down
254×	cbrt-unprod
183×	cube-prod
178×	div-exp
173×	associate-/r/
170×	associate-/l*
151×	pow-prod-down
135×	unswap-sqr
127×	cbrt-undiv
112×	sum-log
108×	div-inv
97×	associate-*l/
92×	associate-/r*
87×	log-pow
79×	sqr-pow
77×	sqrt-div
69×	difference-of-squares
68×	pow-exp
60×	*-commutative
57×	cbrt-prod
51×	log-prod
43×	pow-to-exp
42×	pow-unpow sqrt-pow1
39×	flip-- flip3--
38×	associate-/l/ distribute-rgt-in distribute-lft-in
36×	unpow3 cube-mult
30×	pow1/2 distribute-lft-out--
29×	+-commutative
25×	rem-cube-cbrt frac-2neg clear-num
24×	swap-sqr
21×	sub-neg
20×	rem-sqrt-square cbrt-div diff-log
19×	pow1/3
15×	pow-pow
14×	exp-sum
12×	1-exp rec-exp
11×	cube-div
9×	associate-+l-
8×	associate-+l+ div-sub
7×	pow-prod-up pow-sqr
6×	associate-+r+ unpow-prod-up
5×	exp-diff pow-plus pow2
4×	distribute-rgt-neg-in associate-+r- associate--l+ associate--r+
3×	un-div-inv rem-log-exp log-div
2×	pow-sub
1×	cos-sum difference-cubes associate--l- unsub-neg distribute-rgt-out neg-sub0 associate--r- rem-cbrt-cube sin-sum