Details

rewrite4.4m (50.4%)

Algorithm

71×	rewrite-expression-head

Calls

181 calls:

1.9m	(+ (/ -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)))))))
24.9s	(* (/ (+ (+ (+ (+ (+ 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.2s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
13.9s	(/ (+ (+ (+ (+ (+ 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

2017×	*-un-lft-identity
1680×	times-frac
1634×	add-sqr-sqrt
1236×	add-cube-cbrt
1011×	add-exp-log
851×	add-cbrt-cube
810×	frac-add
631×	pow1
484×	associate-*l*
436×	distribute-lft-out
427×	flip3-+ flip-+
418×	prod-exp
390×	associate-*r*
381×	add-log-exp
324×	cbrt-unprod
266×	sqrt-prod
216×	associate-*r/
206×	unpow-prod-down
191×	frac-times
188×	pow-prod-down
170×	div-exp
168×	associate-/l*
148×	associate-/r/
129×	cbrt-undiv
122×	cbrt-prod
121×	unswap-sqr
118×	sum-log
114×	cube-prod
108×	div-inv
92×	associate-*l/
91×	associate-/r*
79×	log-pow
69×	sqrt-div
65×	difference-of-squares
64×	*-commutative
58×	cbrt-div pow-exp
52×	flip-- flip3--
45×	pow-unpow
44×	sqr-pow
42×	swap-sqr
40×	distribute-lft-out-- associate-/l/
36×	distribute-rgt-in distribute-lft-in
35×	log-prod
34×	pow-to-exp sqrt-pow1
30×	pow1/2
28×	pow1/3
26×	+-commutative
25×	frac-2neg clear-num
22×	rem-cube-cbrt
20×	cube-div rem-sqrt-square sub-neg
18×	diff-log
16×	pow-pow pow-prod-up
15×	rec-exp 1-exp
14×	cube-mult unpow3
13×	pow-plus
12×	pow-sqr
9×	associate-+r+ pow2
8×	associate-+l- div-sub
7×	associate-+l+
5×	associate--l+
4×	associate--r+
3×	un-div-inv exp-sum
2×	exp-diff log-div pow-sub
1×	cos-sum difference-cubes associate--r- unpow-prod-up pow3 rem-cbrt-cube sin-sum rem-log-exp associate-+r-