Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

Average Error: 28.9 → 28.1

Time: 20.9s

Precision: binary64

Math

\[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]

↓

\[\begin{array}{l} \mathbf{if}\;\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \le 7.8995124455314326 \cdot 10^{304}:\\ \;\;\;\;\frac{\left(\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot \left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right)\right) \cdot \sqrt[3]{y} + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\\ \mathbf{else}:\\ \;\;\;\;0\\ \end{array}\]

C

double code(double x, double y, double z, double t, double a, double b, double c, double i) {
	return ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) + z)) * y)) + 27464.7644705)) * y)) + 230661.510616)) * y)) + t)) / ((double) (((double) (((double) (((double) (((double) (((double) (((double) (y + a)) * y)) + b)) * y)) + c)) * y)) + i))));
}

↓

double code(double x, double y, double z, double t, double a, double b, double c, double i) {
	double VAR;
	if ((((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) + z)) * y)) + 27464.7644705)) * y)) + 230661.510616)) * y)) + t)) / ((double) (((double) (((double) (((double) (((double) (((double) (((double) (y + a)) * y)) + b)) * y)) + c)) * y)) + i)))) <= 7.899512445531433e+304)) {
		VAR = ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) + z)) * y)) + 27464.7644705)) * ((double) (((double) cbrt(y)) * ((double) cbrt(y)))))) * ((double) cbrt(y)))) + 230661.510616)) * y)) + t)) / ((double) (((double) (((double) (((double) (((double) (((double) (((double) (y + a)) * y)) + b)) * y)) + c)) * y)) + i))));
	} else {
		VAR = 0.0;
	}
	return VAR;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Derivation

1. Split input into 2 regimes

2. if (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) < 7.8995124455314326e304

   1. Initial program 5.1

      \[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]
   2. Using strategy rm

   3. Applied add-cube-cbrt 5.2

      \[\leadsto \frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot \color{blue}{\left(\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}\right)} + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]

   4. Applied associate-*r* 5.2

      \[\leadsto \frac{\left(\color{blue}{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot \left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right)\right) \cdot \sqrt[3]{y}} + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]

   if 7.8995124455314326e304 < (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

   1. Initial program 63.9

      \[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\]

   2. Taylor expanded around 0 61.7

      \[\leadsto \color{blue}{0}\]
3. Recombined 2 regimes into one program.

4. Final simplification 28.1

   \[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \le 7.8995124455314326 \cdot 10^{304}:\\ \;\;\;\;\frac{\left(\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot \left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right)\right) \cdot \sqrt[3]{y} + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}\\ \mathbf{else}:\\ \;\;\;\;0\\ \end{array}\]

Reproduce

herbie shell --seed 2020162 
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  :precision binary64
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))