Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

?

Percentage Accurate: 56.3% → 84.7%
Time: 25.5s
Precision: binary64
Cost: 48196

?

\[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\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{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)} \leq \infty:\\ \;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(y + a, y, b\right), y, c\right), y, i\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
(FPCore (x y z t a b c i)
 :precision binary64
 (/
  (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)
  (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
(FPCore (x y z t a b c i)
 :precision binary64
 (if (<=
      (/
       (+
        (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616))
        t)
       (+ i (* y (+ c (* y (+ (* y (+ y a)) b))))))
      INFINITY)
   (/
    (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
    (fma (fma (fma (+ y a) y b) y c) y i))
   (+ (/ z y) (- x (/ a (/ y x))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
	return ((((((((x * y) + z) * y) + 27464.7644705) * y) + 230661.510616) * y) + t) / (((((((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 tmp;
	if ((((y * ((y * ((y * ((x * y) + z)) + 27464.7644705)) + 230661.510616)) + t) / (i + (y * (c + (y * ((y * (y + a)) + b)))))) <= ((double) INFINITY)) {
		tmp = fma(fma(fma(fma(x, y, z), y, 27464.7644705), y, 230661.510616), y, t) / fma(fma(fma((y + a), y, b), y, c), y, i);
	} else {
		tmp = (z / y) + (x - (a / (y / x)));
	}
	return tmp;
}
function code(x, y, z, t, a, b, c, i)
	return Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(x * y) + z) * y) + 27464.7644705) * y) + 230661.510616) * y) + t) / Float64(Float64(Float64(Float64(Float64(Float64(Float64(y + a) * y) + b) * y) + c) * y) + i))
end
function code(x, y, z, t, a, b, c, i)
	tmp = 0.0
	if (Float64(Float64(Float64(y * Float64(Float64(y * Float64(Float64(y * Float64(Float64(x * y) + z)) + 27464.7644705)) + 230661.510616)) + t) / Float64(i + Float64(y * Float64(c + Float64(y * Float64(Float64(y * Float64(y + a)) + b)))))) <= Inf)
		tmp = Float64(fma(fma(fma(fma(x, y, z), y, 27464.7644705), y, 230661.510616), y, t) / fma(fma(fma(Float64(y + a), y, b), y, c), y, i));
	else
		tmp = Float64(Float64(z / y) + Float64(x - Float64(a / Float64(y / x))));
	end
	return tmp
end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(N[(N[(N[(N[(N[(N[(N[(N[(x * y), $MachinePrecision] + z), $MachinePrecision] * y), $MachinePrecision] + 27464.7644705), $MachinePrecision] * y), $MachinePrecision] + 230661.510616), $MachinePrecision] * y), $MachinePrecision] + t), $MachinePrecision] / N[(N[(N[(N[(N[(N[(N[(y + a), $MachinePrecision] * y), $MachinePrecision] + b), $MachinePrecision] * y), $MachinePrecision] + c), $MachinePrecision] * y), $MachinePrecision] + i), $MachinePrecision]), $MachinePrecision]
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(N[(y * N[(N[(y * N[(N[(y * N[(N[(x * y), $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision] + 27464.7644705), $MachinePrecision]), $MachinePrecision] + 230661.510616), $MachinePrecision]), $MachinePrecision] + t), $MachinePrecision] / N[(i + N[(y * N[(c + N[(y * N[(N[(y * N[(y + a), $MachinePrecision]), $MachinePrecision] + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], Infinity], N[(N[(N[(N[(N[(x * y + z), $MachinePrecision] * y + 27464.7644705), $MachinePrecision] * y + 230661.510616), $MachinePrecision] * y + t), $MachinePrecision] / N[(N[(N[(N[(y + a), $MachinePrecision] * y + b), $MachinePrecision] * y + c), $MachinePrecision] * y + i), $MachinePrecision]), $MachinePrecision], N[(N[(z / y), $MachinePrecision] + N[(x - N[(a / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\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{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)} \leq \infty:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(y + a, y, b\right), y, c\right), y, i\right)}\\

\mathbf{else}:\\
\;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\


\end{array}

Local Percentage Accuracy vs ?

The average percentage accuracy by input value. Horizontal axis shows value of an input variable; the variable is choosen in the title. Vertical axis is accuracy; higher is better. Red represent the original program, while blue represents Herbie's suggestion. These can be toggled with buttons below the plot. The line is an average while dots represent individual samples.

Herbie found 17 alternatives:

AlternativeAccuracySpeedup

Accuracy vs Speed

The accuracy (vertical axis) and speed (horizontal axis) of each alternatives. Up and to the right is better. The red square shows the initial program, and each blue circle shows an alternative.The line shows the best available speed-accuracy tradeoffs.

Bogosity?

Bogosity

Derivation?

  1. Split input into 2 regimes
  2. if (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)) < +inf.0

    1. Initial program 92.2%

      \[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]
    2. Simplified92.2%

      \[\leadsto \color{blue}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(y + a, y, b\right), y, c\right), y, i\right)}} \]
      Step-by-step derivation

      [Start]92.2%

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

      fma-def [=>]92.2%

      \[ \frac{\color{blue}{\mathsf{fma}\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616, y, t\right)}}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705, y, 230661.510616\right)}, y, t\right)}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x \cdot y + z, y, 27464.7644705\right)}, y, 230661.510616\right), y, t\right)}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x, y, z\right)}, y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\color{blue}{\mathsf{fma}\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c, y, i\right)}} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(y + a\right) \cdot y + b, y, c\right)}, y, i\right)} \]

      fma-def [=>]92.2%

      \[ \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(y + a, y, b\right)}, y, c\right), y, i\right)} \]

    if +inf.0 < (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

    1. Initial program 0.0%

      \[\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.7644705\right) \cdot y + 230661.510616\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i} \]
    2. Taylor expanded in y around inf 55.0%

      \[\leadsto \color{blue}{\left(\frac{z}{y} + x\right) - \frac{a \cdot x}{y}} \]
    3. Simplified63.4%

      \[\leadsto \color{blue}{\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)} \]
      Step-by-step derivation

      [Start]55.0%

      \[ \left(\frac{z}{y} + x\right) - \frac{a \cdot x}{y} \]

      associate--l+ [=>]55.0%

      \[ \color{blue}{\frac{z}{y} + \left(x - \frac{a \cdot x}{y}\right)} \]

      associate-/l* [=>]63.4%

      \[ \frac{z}{y} + \left(x - \color{blue}{\frac{a}{\frac{y}{x}}}\right) \]
  3. Recombined 2 regimes into one program.
  4. Final simplification82.0%

    \[\leadsto \begin{array}{l} \mathbf{if}\;\frac{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)} \leq \infty:\\ \;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(y + a, y, b\right), y, c\right), y, i\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]

Alternatives

Alternative 1
Accuracy84.7%
Cost48196
\[\begin{array}{l} \mathbf{if}\;\frac{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)} \leq \infty:\\ \;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, y, z\right), y, 27464.7644705\right), y, 230661.510616\right), y, t\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(y + a, y, b\right), y, c\right), y, i\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
Alternative 2
Accuracy84.7%
Cost4292
\[\begin{array}{l} t_1 := \frac{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}\\ \mathbf{if}\;t_1 \leq \infty:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
Alternative 3
Accuracy81.2%
Cost2249
\[\begin{array}{l} \mathbf{if}\;y \leq -4 \cdot 10^{+65} \lor \neg \left(y \leq 7.2 \cdot 10^{+53}\right):\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{\frac{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}{t + y \cdot \left(230661.510616 + y \cdot \left(27464.7644705 + y \cdot z\right)\right)}}\\ \end{array} \]
Alternative 4
Accuracy75.5%
Cost2120
\[\begin{array}{l} \mathbf{if}\;y \leq -8.8 \cdot 10^{+45}:\\ \;\;\;\;\frac{1}{\frac{1}{x} + \frac{\frac{a}{x} - \frac{z}{x \cdot x}}{y}}\\ \mathbf{elif}\;y \leq 4.9 \cdot 10^{+51}:\\ \;\;\;\;\frac{y \cdot \left(y \cdot \left(y \cdot \left(x \cdot y + z\right) + 27464.7644705\right) + 230661.510616\right) + t}{i + y \cdot \left(c + a \cdot \left(y \cdot y\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
Alternative 5
Accuracy76.9%
Cost2000
\[\begin{array}{l} t_1 := \frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ t_2 := t + y \cdot \left(230661.510616 + z \cdot \left(y \cdot y\right)\right)\\ \mathbf{if}\;y \leq -3.7 \cdot 10^{+63}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -9.5 \cdot 10^{-47}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + y \cdot 27464.7644705\right)}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}\\ \mathbf{elif}\;y \leq 5.4 \cdot 10^{-64}:\\ \;\;\;\;\frac{t_2}{i + y \cdot \left(c + y \cdot b\right)}\\ \mathbf{elif}\;y \leq 2.3 \cdot 10^{+15}:\\ \;\;\;\;\frac{t_2}{i + y \cdot \left(c + a \cdot \left(y \cdot y\right)\right)}\\ \mathbf{elif}\;y \leq 2.5 \cdot 10^{+204}:\\ \;\;\;\;\frac{1}{\frac{1}{x} + \frac{\frac{a}{x} - \frac{z}{x \cdot x}}{y}}\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 6
Accuracy80.6%
Cost1993
\[\begin{array}{l} \mathbf{if}\;y \leq -4.2 \cdot 10^{+63} \lor \neg \left(y \leq 7.6 \cdot 10^{+54}\right):\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + z \cdot \left(y \cdot y\right)\right)}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}\\ \end{array} \]
Alternative 7
Accuracy72.4%
Cost1736
\[\begin{array}{l} t_1 := \frac{1}{\frac{1}{x} + \frac{\frac{a}{x} - \frac{z}{x \cdot x}}{y}}\\ \mathbf{if}\;y \leq -1.75 \cdot 10^{+47}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.4 \cdot 10^{+15}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + z \cdot \left(y \cdot y\right)\right)}{i + y \cdot \left(c + a \cdot \left(y \cdot y\right)\right)}\\ \mathbf{elif}\;y \leq 2.32 \cdot 10^{+204}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
Alternative 8
Accuracy68.0%
Cost1616
\[\begin{array}{l} t_1 := \frac{t}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}\\ t_2 := \frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{if}\;y \leq -3 \cdot 10^{+63}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 9.6 \cdot 10^{-206}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.2 \cdot 10^{-125}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + y \cdot \left(27464.7644705 + y \cdot z\right)\right)}{i}\\ \mathbf{elif}\;y \leq 6.2 \cdot 10^{+56}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 9
Accuracy76.0%
Cost1609
\[\begin{array}{l} \mathbf{if}\;y \leq -1.02 \cdot 10^{+65} \lor \neg \left(y \leq 7.7 \cdot 10^{+56}\right):\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{t + y \cdot 230661.510616}{i + y \cdot \left(c + y \cdot \left(y \cdot \left(y + a\right) + b\right)\right)}\\ \end{array} \]
Alternative 10
Accuracy75.1%
Cost1608
\[\begin{array}{l} \mathbf{if}\;y \leq -6.6 \cdot 10^{+23}:\\ \;\;\;\;\frac{1}{\frac{1}{x} + \frac{\frac{a}{x} - \frac{z}{x \cdot x}}{y}}\\ \mathbf{elif}\;y \leq 1.9 \cdot 10^{+52}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + z \cdot \left(y \cdot y\right)\right)}{i + y \cdot \left(c + y \cdot b\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \end{array} \]
Alternative 11
Accuracy64.2%
Cost1356
\[\begin{array}{l} t_1 := \frac{t}{i + y \cdot c}\\ t_2 := \frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{if}\;y \leq -4.9 \cdot 10^{+55}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 5.4 \cdot 10^{-211}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.9 \cdot 10^{-117}:\\ \;\;\;\;\frac{t + y \cdot \left(230661.510616 + y \cdot \left(27464.7644705 + y \cdot z\right)\right)}{i}\\ \mathbf{elif}\;y \leq 9.5 \cdot 10^{+57}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 12
Accuracy64.2%
Cost1232
\[\begin{array}{l} t_1 := \frac{t}{i + y \cdot c}\\ t_2 := \frac{z}{y} + \left(x - \frac{a}{\frac{y}{x}}\right)\\ \mathbf{if}\;y \leq -3.5 \cdot 10^{+55}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 9.6 \cdot 10^{-206}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.05 \cdot 10^{-122}:\\ \;\;\;\;230661.510616 \cdot \frac{y}{i} + \frac{t}{i}\\ \mathbf{elif}\;y \leq 3.3 \cdot 10^{+56}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 13
Accuracy57.7%
Cost976
\[\begin{array}{l} t_1 := \frac{t}{i + y \cdot c}\\ \mathbf{if}\;y \leq -1.08 \cdot 10^{+24}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq 3 \cdot 10^{-206}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 7 \cdot 10^{-125}:\\ \;\;\;\;230661.510616 \cdot \frac{y}{i} + \frac{t}{i}\\ \mathbf{elif}\;y \leq 2.7 \cdot 10^{+59}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 14
Accuracy50.2%
Cost720
\[\begin{array}{l} \mathbf{if}\;y \leq -9.2 \cdot 10^{+23}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq -1.5 \cdot 10^{-119}:\\ \;\;\;\;\frac{t}{i}\\ \mathbf{elif}\;y \leq -7.2 \cdot 10^{-159}:\\ \;\;\;\;\frac{t}{y \cdot c}\\ \mathbf{elif}\;y \leq 1550000000000:\\ \;\;\;\;\frac{t}{i}\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 15
Accuracy58.3%
Cost712
\[\begin{array}{l} \mathbf{if}\;y \leq -8.8 \cdot 10^{+23}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq 2.7 \cdot 10^{+59}:\\ \;\;\;\;\frac{t}{i + y \cdot c}\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 16
Accuracy50.9%
Cost456
\[\begin{array}{l} \mathbf{if}\;y \leq -8.4 \cdot 10^{+23}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq 1040000000000:\\ \;\;\;\;\frac{t}{i}\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 17
Accuracy25.5%
Cost64
\[x \]

Reproduce?

herbie shell --seed 2023171 
(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)))