fabs fraction 1

Percentage Accurate: 91.9% → 99.8%

Time: 11.9s

Alternatives: 17

Speedup: 0.5×

• 20.5% of points produce a very large (infinite) output. You may want to add a precondition.

Specification

Math

\[\begin{array}{l} \\ \left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \end{array} \]

FPCore

(FPCore (x y z) :precision binary64 (fabs (- (/ (+ x 4.0) y) (* (/ x y) z))))

C

double code(double x, double y, double z) {
	return fabs((((x + 4.0) / y) - ((x / y) * z)));
}

Fortran

real(8) function code(x, y, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    code = abs((((x + 4.0d0) / y) - ((x / y) * z)))
end function

Java

public static double code(double x, double y, double z) {
	return Math.abs((((x + 4.0) / y) - ((x / y) * z)));
}

Python

def code(x, y, z):
	return math.fabs((((x + 4.0) / y) - ((x / y) * z)))

Julia

function code(x, y, z)
	return abs(Float64(Float64(Float64(x + 4.0) / y) - Float64(Float64(x / y) * z)))
end

MATLAB

function tmp = code(x, y, z)
	tmp = abs((((x + 4.0) / y) - ((x / y) * z)));
end

Wolfram

code[x_, y_, z_] := N[Abs[N[(N[(N[(x + 4.0), $MachinePrecision] / y), $MachinePrecision] - N[(N[(x / y), $MachinePrecision] * z), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

Initial Program: 91.9% accurate, 1.0× speedup

Math

\[\begin{array}{l} \\ \left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \end{array} \]

FPCore

(FPCore (x y z) :precision binary64 (fabs (- (/ (+ x 4.0) y) (* (/ x y) z))))

C

double code(double x, double y, double z) {
	return fabs((((x + 4.0) / y) - ((x / y) * z)));
}

Fortran

real(8) function code(x, y, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    code = abs((((x + 4.0d0) / y) - ((x / y) * z)))
end function

Java

public static double code(double x, double y, double z) {
	return Math.abs((((x + 4.0) / y) - ((x / y) * z)));
}

Python

def code(x, y, z):
	return math.fabs((((x + 4.0) / y) - ((x / y) * z)))

Julia

function code(x, y, z)
	return abs(Float64(Float64(Float64(x + 4.0) / y) - Float64(Float64(x / y) * z)))
end

MATLAB

function tmp = code(x, y, z)
	tmp = abs((((x + 4.0) / y) - ((x / y) * z)));
end

Wolfram

code[x_, y_, z_] := N[Abs[N[(N[(N[(x + 4.0), $MachinePrecision] / y), $MachinePrecision] - N[(N[(x / y), $MachinePrecision] * z), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]

Alternative 1: 99.8% accurate, 0.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;y\_m \leq 3 \cdot 10^{-45}:\\ \;\;\;\;\left|\frac{-1}{y\_m} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|\\ \mathbf{else}:\\ \;\;\;\;\left|\mathsf{fma}\left(x, \frac{z}{y\_m}, \frac{-4 - x}{y\_m}\right)\right|\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= y_m 3e-45)
   (fabs (* (/ -1.0 y_m) (fma x z (- -4.0 x))))
   (fabs (fma x (/ z y_m) (/ (- -4.0 x) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (y_m <= 3e-45) {
		tmp = fabs(((-1.0 / y_m) * fma(x, z, (-4.0 - x))));
	} else {
		tmp = fabs(fma(x, (z / y_m), ((-4.0 - x) / y_m)));
	}
	return tmp;
}

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (y_m <= 3e-45)
		tmp = abs(Float64(Float64(-1.0 / y_m) * fma(x, z, Float64(-4.0 - x))));
	else
		tmp = abs(fma(x, Float64(z / y_m), Float64(Float64(-4.0 - x) / y_m)));
	end
	return tmp
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[y$95$m, 3e-45], N[Abs[N[(N[(-1.0 / y$95$m), $MachinePrecision] * N[(x * z + N[(-4.0 - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[Abs[N[(x * N[(z / y$95$m), $MachinePrecision] + N[(N[(-4.0 - x), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]

Derivation

1. Split input into 2 regimes

2. if y < 3.00000000000000011e-45

   1. Initial program 93.2%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\frac{-1}{y} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|} \]
   4. Add Preprocessing

   if 3.00000000000000011e-45 < y

   1. Initial program 94.5%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.5%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 84.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 99.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
3. Recombined 2 regimes into one program.
4. Add Preprocessing

Alternative 2: 99.7% accurate, 0.3× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} t_0 := \frac{x + 4}{y\_m}\\ t_1 := \left|z \cdot \frac{x}{y\_m} - t\_0\right|\\ \mathbf{if}\;t\_1 \leq 2 \cdot 10^{-99} \lor \neg \left(t\_1 \leq 2 \cdot 10^{+301}\right):\\ \;\;\;\;\left|\frac{-1}{y\_m} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|\\ \mathbf{else}:\\ \;\;\;\;\left|t\_0 - \frac{z}{\frac{y\_m}{x}}\right|\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (let* ((t_0 (/ (+ x 4.0) y_m)) (t_1 (fabs (- (* z (/ x y_m)) t_0))))
   (if (or (<= t_1 2e-99) (not (<= t_1 2e+301)))
     (fabs (* (/ -1.0 y_m) (fma x z (- -4.0 x))))
     (fabs (- t_0 (/ z (/ y_m x)))))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double t_0 = (x + 4.0) / y_m;
	double t_1 = fabs(((z * (x / y_m)) - t_0));
	double tmp;
	if ((t_1 <= 2e-99) || !(t_1 <= 2e+301)) {
		tmp = fabs(((-1.0 / y_m) * fma(x, z, (-4.0 - x))));
	} else {
		tmp = fabs((t_0 - (z / (y_m / x))));
	}
	return tmp;
}

Julia

y_m = abs(y)
function code(x, y_m, z)
	t_0 = Float64(Float64(x + 4.0) / y_m)
	t_1 = abs(Float64(Float64(z * Float64(x / y_m)) - t_0))
	tmp = 0.0
	if ((t_1 <= 2e-99) || !(t_1 <= 2e+301))
		tmp = abs(Float64(Float64(-1.0 / y_m) * fma(x, z, Float64(-4.0 - x))));
	else
		tmp = abs(Float64(t_0 - Float64(z / Float64(y_m / x))));
	end
	return tmp
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := Block[{t$95$0 = N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]}, Block[{t$95$1 = N[Abs[N[(N[(z * N[(x / y$95$m), $MachinePrecision]), $MachinePrecision] - t$95$0), $MachinePrecision]], $MachinePrecision]}, If[Or[LessEqual[t$95$1, 2e-99], N[Not[LessEqual[t$95$1, 2e+301]], $MachinePrecision]], N[Abs[N[(N[(-1.0 / y$95$m), $MachinePrecision] * N[(x * z + N[(-4.0 - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[Abs[N[(t$95$0 - N[(z / N[(y$95$m / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]]]

Derivation

1. Split input into 2 regimes

2. if (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))) < 2e-99 or 2.00000000000000011e301 < (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))

   1. Initial program 82.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]

   3. Simplified 99.9%

      \[\leadsto \color{blue}{\left|\frac{-1}{y} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|} \]
   4. Add Preprocessing

   if 2e-99 < (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))) < 2.00000000000000011e301

   1. Initial program 99.8%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Add Preprocessing
   3. Step-by-step derivation

      1. *-commutative 99.8%

         \[\leadsto \left|\frac{x + 4}{y} - \color{blue}{z \cdot \frac{x}{y}}\right| \]

      2. clear-num 99.7%

         \[\leadsto \left|\frac{x + 4}{y} - z \cdot \color{blue}{\frac{1}{\frac{y}{x}}}\right| \]

      3. un-div-inv 99.8%

         \[\leadsto \left|\frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}}\right| \]

   4. Applied egg-rr 99.8%

      \[\leadsto \left|\frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}}\right| \]
3. Recombined 2 regimes into one program.

4. Final simplification 99.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\left|z \cdot \frac{x}{y} - \frac{x + 4}{y}\right| \leq 2 \cdot 10^{-99} \lor \neg \left(\left|z \cdot \frac{x}{y} - \frac{x + 4}{y}\right| \leq 2 \cdot 10^{+301}\right):\\ \;\;\;\;\left|\frac{-1}{y} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|\\ \mathbf{else}:\\ \;\;\;\;\left|\frac{x + 4}{y} - \frac{z}{\frac{y}{x}}\right|\\ \end{array} \]
5. Add Preprocessing

Alternative 3: 96.0% accurate, 0.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} t_0 := \left|z \cdot \frac{x}{y\_m} - \frac{x + 4}{y\_m}\right|\\ \mathbf{if}\;t\_0 \leq \infty:\\ \;\;\;\;t\_0\\ \mathbf{else}:\\ \;\;\;\;\left|\frac{-1}{y\_m} \cdot \left(x \cdot z\right)\right|\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (let* ((t_0 (fabs (- (* z (/ x y_m)) (/ (+ x 4.0) y_m)))))
   (if (<= t_0 INFINITY) t_0 (fabs (* (/ -1.0 y_m) (* x z))))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double t_0 = fabs(((z * (x / y_m)) - ((x + 4.0) / y_m)));
	double tmp;
	if (t_0 <= ((double) INFINITY)) {
		tmp = t_0;
	} else {
		tmp = fabs(((-1.0 / y_m) * (x * z)));
	}
	return tmp;
}

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double t_0 = Math.abs(((z * (x / y_m)) - ((x + 4.0) / y_m)));
	double tmp;
	if (t_0 <= Double.POSITIVE_INFINITY) {
		tmp = t_0;
	} else {
		tmp = Math.abs(((-1.0 / y_m) * (x * z)));
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	t_0 = math.fabs(((z * (x / y_m)) - ((x + 4.0) / y_m)))
	tmp = 0
	if t_0 <= math.inf:
		tmp = t_0
	else:
		tmp = math.fabs(((-1.0 / y_m) * (x * z)))
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	t_0 = abs(Float64(Float64(z * Float64(x / y_m)) - Float64(Float64(x + 4.0) / y_m)))
	tmp = 0.0
	if (t_0 <= Inf)
		tmp = t_0;
	else
		tmp = abs(Float64(Float64(-1.0 / y_m) * Float64(x * z)));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	t_0 = abs(((z * (x / y_m)) - ((x + 4.0) / y_m)));
	tmp = 0.0;
	if (t_0 <= Inf)
		tmp = t_0;
	else
		tmp = abs(((-1.0 / y_m) * (x * z)));
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := Block[{t$95$0 = N[Abs[N[(N[(z * N[(x / y$95$m), $MachinePrecision]), $MachinePrecision] - N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[t$95$0, Infinity], t$95$0, N[Abs[N[(N[(-1.0 / y$95$m), $MachinePrecision] * N[(x * z), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]]

Derivation

1. Split input into 2 regimes

2. if (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))) < +inf.0

   1. Initial program 97.4%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Add Preprocessing

   if +inf.0 < (fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))

   1. Initial program 0.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]

   3. Simplified 100.0%

      \[\leadsto \color{blue}{\left|\frac{-1}{y} \cdot \mathsf{fma}\left(x, z, -4 - x\right)\right|} \]
   4. Add Preprocessing

   5. Taylor expanded in z around inf 53.1%

      \[\leadsto \left|\frac{-1}{y} \cdot \color{blue}{\left(x \cdot z\right)}\right| \]
3. Recombined 2 regimes into one program.

4. Final simplification 95.7%

   \[\leadsto \begin{array}{l} \mathbf{if}\;\left|z \cdot \frac{x}{y} - \frac{x + 4}{y}\right| \leq \infty:\\ \;\;\;\;\left|z \cdot \frac{x}{y} - \frac{x + 4}{y}\right|\\ \mathbf{else}:\\ \;\;\;\;\left|\frac{-1}{y} \cdot \left(x \cdot z\right)\right|\\ \end{array} \]
5. Add Preprocessing

Alternative 4: 78.0% accurate, 5.3× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} t_0 := x \cdot \frac{z}{y\_m}\\ t_1 := \frac{x + 4}{y\_m}\\ \mathbf{if}\;x \leq -2.05 \cdot 10^{-13}:\\ \;\;\;\;t\_0 - t\_1\\ \mathbf{elif}\;x \leq 7.5 \cdot 10^{+193}:\\ \;\;\;\;t\_1 + \frac{z}{\frac{y\_m}{x}}\\ \mathbf{else}:\\ \;\;\;\;t\_1 - t\_0\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (let* ((t_0 (* x (/ z y_m))) (t_1 (/ (+ x 4.0) y_m)))
   (if (<= x -2.05e-13)
     (- t_0 t_1)
     (if (<= x 7.5e+193) (+ t_1 (/ z (/ y_m x))) (- t_1 t_0)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double t_0 = x * (z / y_m);
	double t_1 = (x + 4.0) / y_m;
	double tmp;
	if (x <= -2.05e-13) {
		tmp = t_0 - t_1;
	} else if (x <= 7.5e+193) {
		tmp = t_1 + (z / (y_m / x));
	} else {
		tmp = t_1 - t_0;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: t_0
    real(8) :: t_1
    real(8) :: tmp
    t_0 = x * (z / y_m)
    t_1 = (x + 4.0d0) / y_m
    if (x <= (-2.05d-13)) then
        tmp = t_0 - t_1
    else if (x <= 7.5d+193) then
        tmp = t_1 + (z / (y_m / x))
    else
        tmp = t_1 - t_0
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double t_0 = x * (z / y_m);
	double t_1 = (x + 4.0) / y_m;
	double tmp;
	if (x <= -2.05e-13) {
		tmp = t_0 - t_1;
	} else if (x <= 7.5e+193) {
		tmp = t_1 + (z / (y_m / x));
	} else {
		tmp = t_1 - t_0;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	t_0 = x * (z / y_m)
	t_1 = (x + 4.0) / y_m
	tmp = 0
	if x <= -2.05e-13:
		tmp = t_0 - t_1
	elif x <= 7.5e+193:
		tmp = t_1 + (z / (y_m / x))
	else:
		tmp = t_1 - t_0
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	t_0 = Float64(x * Float64(z / y_m))
	t_1 = Float64(Float64(x + 4.0) / y_m)
	tmp = 0.0
	if (x <= -2.05e-13)
		tmp = Float64(t_0 - t_1);
	elseif (x <= 7.5e+193)
		tmp = Float64(t_1 + Float64(z / Float64(y_m / x)));
	else
		tmp = Float64(t_1 - t_0);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	t_0 = x * (z / y_m);
	t_1 = (x + 4.0) / y_m;
	tmp = 0.0;
	if (x <= -2.05e-13)
		tmp = t_0 - t_1;
	elseif (x <= 7.5e+193)
		tmp = t_1 + (z / (y_m / x));
	else
		tmp = t_1 - t_0;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := Block[{t$95$0 = N[(x * N[(z / y$95$m), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]}, If[LessEqual[x, -2.05e-13], N[(t$95$0 - t$95$1), $MachinePrecision], If[LessEqual[x, 7.5e+193], N[(t$95$1 + N[(z / N[(y$95$m / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t$95$1 - t$95$0), $MachinePrecision]]]]]

Derivation

1. Split input into 3 regimes

2. if x < -2.0500000000000001e-13

   1. Initial program 92.1%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.1%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.3%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.4%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.4%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.9%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.9%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 53.5%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 53.5%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 50.5%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 53.4%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 53.4%

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

      8. sub-neg 53.4%

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

      9. metadata-eval 53.4%

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

      10. distribute-neg-in 53.4%

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

      11. +-commutative 53.4%

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

      12. cancel-sign-sub-inv 53.4%

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

      13. div-inv 53.4%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 50.5%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. associate-*r/ 53.5%

          \[\leadsto \color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y} \]

   6. Applied egg-rr 53.5%

      \[\leadsto \color{blue}{x \cdot \frac{z}{y} - \frac{x + 4}{y}} \]

   if -2.0500000000000001e-13 < x < 7.5000000000000008e193

   1. Initial program 94.2%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.2%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 96.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 93.5%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 93.5%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 96.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 94.2%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 94.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 94.2%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 94.2%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 54.6%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 54.6%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 55.6%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 56.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 53.0%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 53.0%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 53.0%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 55.7%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 55.7%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 24.9%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 43.8%

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

      6. sqr-neg 43.8%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 28.2%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 48.7%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 48.7%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   if 7.5000000000000008e193 < x

   1. Initial program 93.9%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 93.9%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 78.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 99.7%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.7%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.7%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.7%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.7%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.7%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.7%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.7%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 99.7%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 78.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 93.9%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 93.8%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 93.8%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 93.8%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 93.8%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 93.8%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 93.8%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 93.9%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 93.9%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 58.5%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 58.5%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 58.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 37.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 58.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 58.7%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 50.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -2.05 \cdot 10^{-13}:\\ \;\;\;\;x \cdot \frac{z}{y} - \frac{x + 4}{y}\\ \mathbf{elif}\;x \leq 7.5 \cdot 10^{+193}:\\ \;\;\;\;\frac{x + 4}{y} + \frac{z}{\frac{y}{x}}\\ \mathbf{else}:\\ \;\;\;\;\frac{x + 4}{y} - x \cdot \frac{z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 5: 81.2% accurate, 5.8× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;x \cdot \frac{z}{y\_m} - \frac{x + 4}{y\_m}\\ \mathbf{elif}\;x \leq 2.3 \cdot 10^{+16}:\\ \;\;\;\;\frac{\left(x + 4\right) - x \cdot z}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0)
   (- (* x (/ z y_m)) (/ (+ x 4.0) y_m))
   (if (<= x 2.3e+16) (/ (- (+ x 4.0) (* x z)) y_m) (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x * (z / y_m)) - ((x + 4.0) / y_m);
	} else if (x <= 2.3e+16) {
		tmp = ((x + 4.0) - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = (x * (z / y_m)) - ((x + 4.0d0) / y_m)
    else if (x <= 2.3d+16) then
        tmp = ((x + 4.0d0) - (x * z)) / y_m
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x * (z / y_m)) - ((x + 4.0) / y_m);
	} else if (x <= 2.3e+16) {
		tmp = ((x + 4.0) - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = (x * (z / y_m)) - ((x + 4.0) / y_m)
	elif x <= 2.3e+16:
		tmp = ((x + 4.0) - (x * z)) / y_m
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(Float64(x * Float64(z / y_m)) - Float64(Float64(x + 4.0) / y_m));
	elseif (x <= 2.3e+16)
		tmp = Float64(Float64(Float64(x + 4.0) - Float64(x * z)) / y_m);
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = (x * (z / y_m)) - ((x + 4.0) / y_m);
	elseif (x <= 2.3e+16)
		tmp = ((x + 4.0) - (x * z)) / y_m;
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[(N[(x * N[(z / y$95$m), $MachinePrecision]), $MachinePrecision] - N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.3e+16], N[(N[(N[(x + 4.0), $MachinePrecision] - N[(x * z), $MachinePrecision]), $MachinePrecision] / y$95$m), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. associate-*r/ 52.7%

          \[\leadsto \color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y} \]

   6. Applied egg-rr 52.7%

      \[\leadsto \color{blue}{x \cdot \frac{z}{y} - \frac{x + 4}{y}} \]

   if -4 < x < 2.3e16

   1. Initial program 95.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.3%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.4%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.4%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.3%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.3%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.3%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.3%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.4%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 60.2%

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

   6. Applied egg-rr 60.2%

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

   if 2.3e16 < x

   1. Initial program 91.8%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 91.8%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 83.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 83.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 91.8%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 91.6%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 91.8%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 91.8%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.2%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.2%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.0%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 44.6%

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

   6. Applied egg-rr 44.6%

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

   7. Taylor expanded in x around inf 44.6%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 55.0%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 55.0%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.
4. Add Preprocessing

Alternative 6: 81.4% accurate, 5.8× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -3.4:\\ \;\;\;\;\frac{x}{y\_m} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 5 \cdot 10^{+16}:\\ \;\;\;\;\frac{\left(x + 4\right) - x \cdot z}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -3.4)
   (* (/ x y_m) (+ -1.0 z))
   (if (<= x 5e+16) (/ (- (+ x 4.0) (* x z)) y_m) (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -3.4) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 5e+16) {
		tmp = ((x + 4.0) - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-3.4d0)) then
        tmp = (x / y_m) * ((-1.0d0) + z)
    else if (x <= 5d+16) then
        tmp = ((x + 4.0d0) - (x * z)) / y_m
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -3.4) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 5e+16) {
		tmp = ((x + 4.0) - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -3.4:
		tmp = (x / y_m) * (-1.0 + z)
	elif x <= 5e+16:
		tmp = ((x + 4.0) - (x * z)) / y_m
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -3.4)
		tmp = Float64(Float64(x / y_m) * Float64(-1.0 + z));
	elseif (x <= 5e+16)
		tmp = Float64(Float64(Float64(x + 4.0) - Float64(x * z)) / y_m);
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -3.4)
		tmp = (x / y_m) * (-1.0 + z);
	elseif (x <= 5e+16)
		tmp = ((x + 4.0) - (x * z)) / y_m;
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -3.4], N[(N[(x / y$95$m), $MachinePrecision] * N[(-1.0 + z), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 5e+16], N[(N[(N[(x + 4.0), $MachinePrecision] - N[(x * z), $MachinePrecision]), $MachinePrecision] / y$95$m), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -3.39999999999999991

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]
   8. Step-by-step derivation

      1. div-sub 48.3%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y} - \frac{x}{y}} \]

      2. *-commutative 48.3%

         \[\leadsto \frac{\color{blue}{z \cdot x}}{y} - \frac{x}{y} \]

      3. associate-*r/ 51.3%

         \[\leadsto \color{blue}{z \cdot \frac{x}{y}} - \frac{x}{y} \]

      4. *-un-lft-identity 51.3%

         \[\leadsto z \cdot \frac{x}{y} - \color{blue}{1 \cdot \frac{x}{y}} \]

      5. distribute-rgt-out-- 51.3%

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

   9. Applied egg-rr 51.3%

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

   if -3.39999999999999991 < x < 5e16

   1. Initial program 95.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.3%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.4%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.4%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.4%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.3%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.3%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.3%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.3%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.4%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 60.2%

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

   6. Applied egg-rr 60.2%

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

   if 5e16 < x

   1. Initial program 91.8%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 91.8%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 83.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 83.0%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 91.8%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 91.6%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 91.6%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 91.8%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 91.8%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.2%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.2%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.0%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 44.6%

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

   6. Applied egg-rr 44.6%

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

   7. Taylor expanded in x around inf 44.6%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 55.0%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 55.0%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 56.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -3.4:\\ \;\;\;\;\frac{x}{y} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 5 \cdot 10^{+16}:\\ \;\;\;\;\frac{\left(x + 4\right) - x \cdot z}{y}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 7: 80.7% accurate, 6.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -0.18:\\ \;\;\;\;\frac{x}{y\_m} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 4:\\ \;\;\;\;\frac{4 - x \cdot z}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -0.18)
   (* (/ x y_m) (+ -1.0 z))
   (if (<= x 4.0) (/ (- 4.0 (* x z)) y_m) (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -0.18) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 4.0) {
		tmp = (4.0 - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-0.18d0)) then
        tmp = (x / y_m) * ((-1.0d0) + z)
    else if (x <= 4.0d0) then
        tmp = (4.0d0 - (x * z)) / y_m
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -0.18) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 4.0) {
		tmp = (4.0 - (x * z)) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -0.18:
		tmp = (x / y_m) * (-1.0 + z)
	elif x <= 4.0:
		tmp = (4.0 - (x * z)) / y_m
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -0.18)
		tmp = Float64(Float64(x / y_m) * Float64(-1.0 + z));
	elseif (x <= 4.0)
		tmp = Float64(Float64(4.0 - Float64(x * z)) / y_m);
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -0.18)
		tmp = (x / y_m) * (-1.0 + z);
	elseif (x <= 4.0)
		tmp = (4.0 - (x * z)) / y_m;
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -0.18], N[(N[(x / y$95$m), $MachinePrecision] * N[(-1.0 + z), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 4.0], N[(N[(4.0 - N[(x * z), $MachinePrecision]), $MachinePrecision] / y$95$m), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -0.17999999999999999

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]
   8. Step-by-step derivation

      1. div-sub 48.3%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y} - \frac{x}{y}} \]

      2. *-commutative 48.3%

         \[\leadsto \frac{\color{blue}{z \cdot x}}{y} - \frac{x}{y} \]

      3. associate-*r/ 51.3%

         \[\leadsto \color{blue}{z \cdot \frac{x}{y}} - \frac{x}{y} \]

      4. *-un-lft-identity 51.3%

         \[\leadsto z \cdot \frac{x}{y} - \color{blue}{1 \cdot \frac{x}{y}} \]

      5. distribute-rgt-out-- 51.3%

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

   9. Applied egg-rr 51.3%

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

   if -0.17999999999999999 < x < 4

   1. Initial program 95.1%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.1%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.0%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.0%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.1%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.1%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.6%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.6%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 60.7%

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

   6. Applied egg-rr 60.7%

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

   7. Taylor expanded in x around 0 60.1%

      \[\leadsto \frac{\color{blue}{4} - x \cdot z}{y} \]

   if 4 < x

   1. Initial program 92.4%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.4%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.4%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 92.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.4%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.4%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.1%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.1%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.7%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 45.1%

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

   6. Applied egg-rr 45.1%

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

   7. Taylor expanded in x around inf 44.2%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 53.7%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 53.7%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 56.2%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -0.18:\\ \;\;\;\;\frac{x}{y} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 4:\\ \;\;\;\;\frac{4 - x \cdot z}{y}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 8: 75.3% accurate, 6.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{x}{y\_m} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 206000000000:\\ \;\;\;\;\frac{x}{y\_m} + \frac{4}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0)
   (* (/ x y_m) (+ -1.0 z))
   (if (<= x 206000000000.0)
     (+ (/ x y_m) (/ 4.0 y_m))
     (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 206000000000.0) {
		tmp = (x / y_m) + (4.0 / y_m);
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = (x / y_m) * ((-1.0d0) + z)
    else if (x <= 206000000000.0d0) then
        tmp = (x / y_m) + (4.0d0 / y_m)
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 206000000000.0) {
		tmp = (x / y_m) + (4.0 / y_m);
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = (x / y_m) * (-1.0 + z)
	elif x <= 206000000000.0:
		tmp = (x / y_m) + (4.0 / y_m)
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(Float64(x / y_m) * Float64(-1.0 + z));
	elseif (x <= 206000000000.0)
		tmp = Float64(Float64(x / y_m) + Float64(4.0 / y_m));
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = (x / y_m) * (-1.0 + z);
	elseif (x <= 206000000000.0)
		tmp = (x / y_m) + (4.0 / y_m);
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[(N[(x / y$95$m), $MachinePrecision] * N[(-1.0 + z), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 206000000000.0], N[(N[(x / y$95$m), $MachinePrecision] + N[(4.0 / y$95$m), $MachinePrecision]), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]
   8. Step-by-step derivation

      1. div-sub 48.3%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y} - \frac{x}{y}} \]

      2. *-commutative 48.3%

         \[\leadsto \frac{\color{blue}{z \cdot x}}{y} - \frac{x}{y} \]

      3. associate-*r/ 51.3%

         \[\leadsto \color{blue}{z \cdot \frac{x}{y}} - \frac{x}{y} \]

      4. *-un-lft-identity 51.3%

         \[\leadsto z \cdot \frac{x}{y} - \color{blue}{1 \cdot \frac{x}{y}} \]

      5. distribute-rgt-out-- 51.3%

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

   9. Applied egg-rr 51.3%

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

   if -4 < x < 2.06e11

   1. Initial program 95.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.3%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.3%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.3%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.4%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.4%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.5%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.4%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 53.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 53.2%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 53.2%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 57.6%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 57.6%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 25.3%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 43.9%

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

      6. sqr-neg 43.9%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 28.4%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 53.0%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 53.0%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   9. Taylor expanded in z around 0 42.8%

      \[\leadsto \color{blue}{4 \cdot \frac{1}{y} + \frac{x}{y}} \]
   10. Step-by-step derivation

       1. +-commutative 42.8%

          \[\leadsto \color{blue}{\frac{x}{y} + 4 \cdot \frac{1}{y}} \]

       2. associate-*r/ 42.8%

          \[\leadsto \frac{x}{y} + \color{blue}{\frac{4 \cdot 1}{y}} \]

       3. metadata-eval 42.8%

          \[\leadsto \frac{x}{y} + \frac{\color{blue}{4}}{y} \]

   11. Simplified 42.8%

       \[\leadsto \color{blue}{\frac{x}{y} + \frac{4}{y}} \]

   if 2.06e11 < x

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.0%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 91.9%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.0%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.0%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.2%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.2%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 44.8%

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

   6. Applied egg-rr 44.8%

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

   7. Taylor expanded in x around inf 44.6%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 54.7%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 54.7%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 47.9%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{x}{y} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 206000000000:\\ \;\;\;\;\frac{x}{y} + \frac{4}{y}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 9: 75.3% accurate, 6.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{x}{y\_m} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 32500000000:\\ \;\;\;\;\frac{x + 4}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0)
   (* (/ x y_m) (+ -1.0 z))
   (if (<= x 32500000000.0) (/ (+ x 4.0) y_m) (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 32500000000.0) {
		tmp = (x + 4.0) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = (x / y_m) * ((-1.0d0) + z)
    else if (x <= 32500000000.0d0) then
        tmp = (x + 4.0d0) / y_m
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (x / y_m) * (-1.0 + z);
	} else if (x <= 32500000000.0) {
		tmp = (x + 4.0) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = (x / y_m) * (-1.0 + z)
	elif x <= 32500000000.0:
		tmp = (x + 4.0) / y_m
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(Float64(x / y_m) * Float64(-1.0 + z));
	elseif (x <= 32500000000.0)
		tmp = Float64(Float64(x + 4.0) / y_m);
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = (x / y_m) * (-1.0 + z);
	elseif (x <= 32500000000.0)
		tmp = (x + 4.0) / y_m;
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[(N[(x / y$95$m), $MachinePrecision] * N[(-1.0 + z), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 32500000000.0], N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]
   8. Step-by-step derivation

      1. div-sub 48.3%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y} - \frac{x}{y}} \]

      2. *-commutative 48.3%

         \[\leadsto \frac{\color{blue}{z \cdot x}}{y} - \frac{x}{y} \]

      3. associate-*r/ 51.3%

         \[\leadsto \color{blue}{z \cdot \frac{x}{y}} - \frac{x}{y} \]

      4. *-un-lft-identity 51.3%

         \[\leadsto z \cdot \frac{x}{y} - \color{blue}{1 \cdot \frac{x}{y}} \]

      5. distribute-rgt-out-- 51.3%

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

   9. Applied egg-rr 51.3%

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

   if -4 < x < 3.25e10

   1. Initial program 95.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.3%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.3%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.3%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.4%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.4%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.5%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.4%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. clear-num 60.4%

          \[\leadsto \color{blue}{\frac{1}{\frac{y}{x + 4}}} - \frac{x \cdot z}{y} \]

      17. frac-sub 34.1%

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

   6. Applied egg-rr 34.1%

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

   7. Taylor expanded in z around 0 42.8%

      \[\leadsto \color{blue}{\frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. +-commutative 42.8%

         \[\leadsto \frac{\color{blue}{x + 4}}{y} \]

   9. Simplified 42.8%

      \[\leadsto \color{blue}{\frac{x + 4}{y}} \]

   if 3.25e10 < x

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.0%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 91.9%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.0%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.0%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.2%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.2%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 44.8%

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

   6. Applied egg-rr 44.8%

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

   7. Taylor expanded in x around inf 44.6%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 54.7%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 54.7%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 47.9%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{x}{y} \cdot \left(-1 + z\right)\\ \mathbf{elif}\;x \leq 32500000000:\\ \;\;\;\;\frac{x + 4}{y}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 10: 75.3% accurate, 6.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;x \cdot \frac{-1 + z}{y\_m}\\ \mathbf{elif}\;x \leq 280000000000:\\ \;\;\;\;\frac{x + 4}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0)
   (* x (/ (+ -1.0 z) y_m))
   (if (<= x 280000000000.0) (/ (+ x 4.0) y_m) (* x (/ (- 1.0 z) y_m)))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = x * ((-1.0 + z) / y_m);
	} else if (x <= 280000000000.0) {
		tmp = (x + 4.0) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = x * (((-1.0d0) + z) / y_m)
    else if (x <= 280000000000.0d0) then
        tmp = (x + 4.0d0) / y_m
    else
        tmp = x * ((1.0d0 - z) / y_m)
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = x * ((-1.0 + z) / y_m);
	} else if (x <= 280000000000.0) {
		tmp = (x + 4.0) / y_m;
	} else {
		tmp = x * ((1.0 - z) / y_m);
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = x * ((-1.0 + z) / y_m)
	elif x <= 280000000000.0:
		tmp = (x + 4.0) / y_m
	else:
		tmp = x * ((1.0 - z) / y_m)
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(x * Float64(Float64(-1.0 + z) / y_m));
	elseif (x <= 280000000000.0)
		tmp = Float64(Float64(x + 4.0) / y_m);
	else
		tmp = Float64(x * Float64(Float64(1.0 - z) / y_m));
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = x * ((-1.0 + z) / y_m);
	elseif (x <= 280000000000.0)
		tmp = (x + 4.0) / y_m;
	else
		tmp = x * ((1.0 - z) / y_m);
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[(x * N[(N[(-1.0 + z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 280000000000.0], N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision], N[(x * N[(N[(1.0 - z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \color{blue}{\frac{x \cdot \left(z - 1\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 51.2%

         \[\leadsto \color{blue}{x \cdot \frac{z - 1}{y}} \]

      2. sub-neg 51.2%

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

      3. metadata-eval 51.2%

         \[\leadsto x \cdot \frac{z + \color{blue}{-1}}{y} \]

   9. Simplified 51.2%

      \[\leadsto \color{blue}{x \cdot \frac{z + -1}{y}} \]

   if -4 < x < 2.8e11

   1. Initial program 95.3%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.3%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.3%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.3%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.3%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.4%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.4%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.5%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.4%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. clear-num 60.4%

          \[\leadsto \color{blue}{\frac{1}{\frac{y}{x + 4}}} - \frac{x \cdot z}{y} \]

      17. frac-sub 34.1%

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

   6. Applied egg-rr 34.1%

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

   7. Taylor expanded in z around 0 42.8%

      \[\leadsto \color{blue}{\frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. +-commutative 42.8%

         \[\leadsto \frac{\color{blue}{x + 4}}{y} \]

   9. Simplified 42.8%

      \[\leadsto \color{blue}{\frac{x + 4}{y}} \]

   if 2.8e11 < x

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.1%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 83.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.0%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 91.9%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 91.9%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.0%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.0%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.2%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.2%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. sub-div 44.8%

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

   6. Applied egg-rr 44.8%

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

   7. Taylor expanded in x around inf 44.6%

      \[\leadsto \color{blue}{\frac{x \cdot \left(1 - z\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 54.7%

         \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]

   9. Simplified 54.7%

      \[\leadsto \color{blue}{x \cdot \frac{1 - z}{y}} \]
3. Recombined 3 regimes into one program.

4. Final simplification 47.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;x \cdot \frac{-1 + z}{y}\\ \mathbf{elif}\;x \leq 280000000000:\\ \;\;\;\;\frac{x + 4}{y}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \frac{1 - z}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 11: 69.0% accurate, 8.5× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -10.5:\\ \;\;\;\;\frac{-x}{y\_m}\\ \mathbf{elif}\;x \leq 4:\\ \;\;\;\;\frac{4}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -10.5) (/ (- x) y_m) (if (<= x 4.0) (/ 4.0 y_m) (/ x y_m))))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -10.5) {
		tmp = -x / y_m;
	} else if (x <= 4.0) {
		tmp = 4.0 / y_m;
	} else {
		tmp = x / y_m;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-10.5d0)) then
        tmp = -x / y_m
    else if (x <= 4.0d0) then
        tmp = 4.0d0 / y_m
    else
        tmp = x / y_m
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -10.5) {
		tmp = -x / y_m;
	} else if (x <= 4.0) {
		tmp = 4.0 / y_m;
	} else {
		tmp = x / y_m;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -10.5:
		tmp = -x / y_m
	elif x <= 4.0:
		tmp = 4.0 / y_m
	else:
		tmp = x / y_m
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -10.5)
		tmp = Float64(Float64(-x) / y_m);
	elseif (x <= 4.0)
		tmp = Float64(4.0 / y_m);
	else
		tmp = Float64(x / y_m);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -10.5)
		tmp = -x / y_m;
	elseif (x <= 4.0)
		tmp = 4.0 / y_m;
	else
		tmp = x / y_m;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -10.5], N[((-x) / y$95$m), $MachinePrecision], If[LessEqual[x, 4.0], N[(4.0 / y$95$m), $MachinePrecision], N[(x / y$95$m), $MachinePrecision]]]

Derivation

1. Split input into 3 regimes

2. if x < -10.5

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]

   8. Taylor expanded in z around 0 29.5%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{y}} \]
   9. Step-by-step derivation

      1. mul-1-neg 29.5%

         \[\leadsto \color{blue}{-\frac{x}{y}} \]

      2. distribute-frac-neg 29.5%

         \[\leadsto \color{blue}{\frac{-x}{y}} \]

   10. Simplified 29.5%

       \[\leadsto \color{blue}{\frac{-x}{y}} \]

   if -10.5 < x < 4

   1. Initial program 95.1%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 95.1%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 91.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 91.0%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 91.0%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 91.0%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 91.0%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 99.9%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 95.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 95.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 95.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 95.1%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 95.1%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 56.6%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 56.6%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 57.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 60.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 53.3%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 53.3%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 53.3%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 57.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 57.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 25.3%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 44.5%

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

      6. sqr-neg 44.5%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 28.5%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 53.1%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 53.1%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   9. Taylor expanded in x around 0 42.8%

      \[\leadsto \color{blue}{\frac{4}{y}} \]

   if 4 < x

   1. Initial program 92.4%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.4%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.4%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 92.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.4%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.4%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.1%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.1%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.7%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 53.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 53.2%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 53.2%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 51.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 51.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 27.9%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 40.2%

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

      6. sqr-neg 40.2%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 26.0%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 36.6%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 36.6%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   9. Taylor expanded in z around 0 27.5%

      \[\leadsto \color{blue}{4 \cdot \frac{1}{y} + \frac{x}{y}} \]
   10. Step-by-step derivation

       1. +-commutative 27.5%

          \[\leadsto \color{blue}{\frac{x}{y} + 4 \cdot \frac{1}{y}} \]

       2. associate-*r/ 27.5%

          \[\leadsto \frac{x}{y} + \color{blue}{\frac{4 \cdot 1}{y}} \]

       3. metadata-eval 27.5%

          \[\leadsto \frac{x}{y} + \frac{\color{blue}{4}}{y} \]

   11. Simplified 27.5%

       \[\leadsto \color{blue}{\frac{x}{y} + \frac{4}{y}} \]

   12. Taylor expanded in x around inf 26.7%

       \[\leadsto \color{blue}{\frac{x}{y}} \]
3. Recombined 3 regimes into one program.
4. Add Preprocessing

Alternative 12: 72.5% accurate, 9.2× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -3.8:\\ \;\;\;\;x \cdot \frac{-1 + z}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;\frac{x + 4}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -3.8) (* x (/ (+ -1.0 z) y_m)) (/ (+ x 4.0) y_m)))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -3.8) {
		tmp = x * ((-1.0 + z) / y_m);
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-3.8d0)) then
        tmp = x * (((-1.0d0) + z) / y_m)
    else
        tmp = (x + 4.0d0) / y_m
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -3.8) {
		tmp = x * ((-1.0 + z) / y_m);
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -3.8:
		tmp = x * ((-1.0 + z) / y_m)
	else:
		tmp = (x + 4.0) / y_m
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -3.8)
		tmp = Float64(x * Float64(Float64(-1.0 + z) / y_m));
	else
		tmp = Float64(Float64(x + 4.0) / y_m);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -3.8)
		tmp = x * ((-1.0 + z) / y_m);
	else
		tmp = (x + 4.0) / y_m;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -3.8], N[(x * N[(N[(-1.0 + z), $MachinePrecision] / y$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]]

Derivation

1. Split input into 2 regimes

2. if x < -3.7999999999999998

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \color{blue}{\frac{x \cdot \left(z - 1\right)}{y}} \]
   8. Step-by-step derivation

      1. associate-/l* 51.2%

         \[\leadsto \color{blue}{x \cdot \frac{z - 1}{y}} \]

      2. sub-neg 51.2%

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

      3. metadata-eval 51.2%

         \[\leadsto x \cdot \frac{z + \color{blue}{-1}}{y} \]

   9. Simplified 51.2%

      \[\leadsto \color{blue}{x \cdot \frac{z + -1}{y}} \]

   if -3.7999999999999998 < x

   1. Initial program 94.2%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.2%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 94.1%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 94.1%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 94.2%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 94.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 94.2%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 94.2%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 54.7%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 54.7%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 55.6%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 54.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. clear-num 54.7%

          \[\leadsto \color{blue}{\frac{1}{\frac{y}{x + 4}}} - \frac{x \cdot z}{y} \]

      17. frac-sub 33.2%

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

   6. Applied egg-rr 33.2%

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

   7. Taylor expanded in z around 0 37.7%

      \[\leadsto \color{blue}{\frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. +-commutative 37.7%

         \[\leadsto \frac{\color{blue}{x + 4}}{y} \]

   9. Simplified 37.7%

      \[\leadsto \color{blue}{\frac{x + 4}{y}} \]
3. Recombined 2 regimes into one program.

4. Final simplification 41.1%

   \[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -3.8:\\ \;\;\;\;x \cdot \frac{-1 + z}{y}\\ \mathbf{else}:\\ \;\;\;\;\frac{x + 4}{y}\\ \end{array} \]
5. Add Preprocessing

Alternative 13: 70.0% accurate, 11.1× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{-4 - x}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;\frac{x + 4}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0) (/ (- -4.0 x) y_m) (/ (+ x 4.0) y_m)))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (-4.0 - x) / y_m;
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = ((-4.0d0) - x) / y_m
    else
        tmp = (x + 4.0d0) / y_m
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = (-4.0 - x) / y_m;
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = (-4.0 - x) / y_m
	else:
		tmp = (x + 4.0) / y_m
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(Float64(-4.0 - x) / y_m);
	else
		tmp = Float64(Float64(x + 4.0) / y_m);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = (-4.0 - x) / y_m;
	else
		tmp = (x + 4.0) / y_m;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[(N[(-4.0 - x), $MachinePrecision] / y$95$m), $MachinePrecision], N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]]

Derivation

1. Split input into 2 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in z around 0 30.9%

      \[\leadsto \color{blue}{-1 \cdot \frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. associate-*r/ 30.9%

         \[\leadsto \color{blue}{\frac{-1 \cdot \left(4 + x\right)}{y}} \]

      2. distribute-lft-in 30.9%

         \[\leadsto \frac{\color{blue}{-1 \cdot 4 + -1 \cdot x}}{y} \]

      3. metadata-eval 30.9%

         \[\leadsto \frac{\color{blue}{-4} + -1 \cdot x}{y} \]

      4. neg-mul-1 30.9%

         \[\leadsto \frac{-4 + \color{blue}{\left(-x\right)}}{y} \]

      5. sub-neg 30.9%

         \[\leadsto \frac{\color{blue}{-4 - x}}{y} \]

   9. Simplified 30.9%

      \[\leadsto \color{blue}{\frac{-4 - x}{y}} \]

   if -4 < x

   1. Initial program 94.2%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.2%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 94.1%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 94.1%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 94.2%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 94.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 94.2%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 94.2%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 54.7%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 54.7%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 55.6%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 54.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. clear-num 54.7%

          \[\leadsto \color{blue}{\frac{1}{\frac{y}{x + 4}}} - \frac{x \cdot z}{y} \]

      17. frac-sub 33.2%

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

   6. Applied egg-rr 33.2%

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

   7. Taylor expanded in z around 0 37.7%

      \[\leadsto \color{blue}{\frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. +-commutative 37.7%

         \[\leadsto \frac{\color{blue}{x + 4}}{y} \]

   9. Simplified 37.7%

      \[\leadsto \color{blue}{\frac{x + 4}{y}} \]
3. Recombined 2 regimes into one program.
4. Add Preprocessing

Alternative 14: 69.7% accurate, 11.1× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq -4:\\ \;\;\;\;\frac{-x}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;\frac{x + 4}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z)
 :precision binary64
 (if (<= x -4.0) (/ (- x) y_m) (/ (+ x 4.0) y_m)))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = -x / y_m;
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= (-4.0d0)) then
        tmp = -x / y_m
    else
        tmp = (x + 4.0d0) / y_m
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= -4.0) {
		tmp = -x / y_m;
	} else {
		tmp = (x + 4.0) / y_m;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= -4.0:
		tmp = -x / y_m
	else:
		tmp = (x + 4.0) / y_m
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= -4.0)
		tmp = Float64(Float64(-x) / y_m);
	else
		tmp = Float64(Float64(x + 4.0) / y_m);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= -4.0)
		tmp = -x / y_m;
	else
		tmp = (x + 4.0) / y_m;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, -4.0], N[((-x) / y$95$m), $MachinePrecision], N[(N[(x + 4.0), $MachinePrecision] / y$95$m), $MachinePrecision]]

Derivation

1. Split input into 2 regimes

2. if x < -4

   1. Initial program 92.0%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.0%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 89.2%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 96.8%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 98.3%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 98.3%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 98.3%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. add-sqr-sqrt 52.2%

         \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

      2. fabs-sqr 52.2%

         \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

      3. add-sqr-sqrt 52.7%

         \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

      4. fma-undefine 52.7%

         \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

      5. associate-*r/ 49.7%

         \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

      6. associate-*l/ 52.7%

         \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

      7. div-inv 52.6%

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

      8. sub-neg 52.6%

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

      9. metadata-eval 52.6%

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

      10. distribute-neg-in 52.6%

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

      11. +-commutative 52.6%

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

      12. cancel-sign-sub-inv 52.6%

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

      13. div-inv 52.7%

          \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

      14. associate-*l/ 49.7%

          \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

      15. sub-div 49.7%

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

   6. Applied egg-rr 49.7%

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

   7. Taylor expanded in x around inf 48.3%

      \[\leadsto \frac{x \cdot z - \color{blue}{x}}{y} \]

   8. Taylor expanded in z around 0 29.5%

      \[\leadsto \color{blue}{-1 \cdot \frac{x}{y}} \]
   9. Step-by-step derivation

      1. mul-1-neg 29.5%

         \[\leadsto \color{blue}{-\frac{x}{y}} \]

      2. distribute-frac-neg 29.5%

         \[\leadsto \color{blue}{\frac{-x}{y}} \]

   10. Simplified 29.5%

       \[\leadsto \color{blue}{\frac{-x}{y}} \]

   if -4 < x

   1. Initial program 94.2%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.2%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 94.1%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 94.1%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 94.1%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 92.6%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 94.4%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 94.2%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 94.1%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 94.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 94.2%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 94.2%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 54.7%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 54.7%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 55.6%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 54.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. clear-num 54.7%

          \[\leadsto \color{blue}{\frac{1}{\frac{y}{x + 4}}} - \frac{x \cdot z}{y} \]

      17. frac-sub 33.2%

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

   6. Applied egg-rr 33.2%

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

   7. Taylor expanded in z around 0 37.7%

      \[\leadsto \color{blue}{\frac{4 + x}{y}} \]
   8. Step-by-step derivation

      1. +-commutative 37.7%

         \[\leadsto \frac{\color{blue}{x + 4}}{y} \]

   9. Simplified 37.7%

      \[\leadsto \color{blue}{\frac{x + 4}{y}} \]
3. Recombined 2 regimes into one program.
4. Add Preprocessing

Alternative 15: 55.0% accurate, 13.8× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \begin{array}{l} \mathbf{if}\;x \leq 4:\\ \;\;\;\;\frac{4}{y\_m}\\ \mathbf{else}:\\ \;\;\;\;\frac{x}{y\_m}\\ \end{array} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z) :precision binary64 (if (<= x 4.0) (/ 4.0 y_m) (/ x y_m)))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	double tmp;
	if (x <= 4.0) {
		tmp = 4.0 / y_m;
	} else {
		tmp = x / y_m;
	}
	return tmp;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    real(8) :: tmp
    if (x <= 4.0d0) then
        tmp = 4.0d0 / y_m
    else
        tmp = x / y_m
    end if
    code = tmp
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	double tmp;
	if (x <= 4.0) {
		tmp = 4.0 / y_m;
	} else {
		tmp = x / y_m;
	}
	return tmp;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	tmp = 0
	if x <= 4.0:
		tmp = 4.0 / y_m
	else:
		tmp = x / y_m
	return tmp

Julia

y_m = abs(y)
function code(x, y_m, z)
	tmp = 0.0
	if (x <= 4.0)
		tmp = Float64(4.0 / y_m);
	else
		tmp = Float64(x / y_m);
	end
	return tmp
end

MATLAB

y_m = abs(y);
function tmp_2 = code(x, y_m, z)
	tmp = 0.0;
	if (x <= 4.0)
		tmp = 4.0 / y_m;
	else
		tmp = x / y_m;
	end
	tmp_2 = tmp;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := If[LessEqual[x, 4.0], N[(4.0 / y$95$m), $MachinePrecision], N[(x / y$95$m), $MachinePrecision]]

Derivation

1. Split input into 2 regimes

2. if x < 4

   1. Initial program 94.1%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 94.1%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 96.3%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 92.9%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 93.5%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 93.5%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 93.5%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 92.9%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 96.3%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 94.1%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 94.0%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 94.0%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 94.0%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 94.0%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 94.0%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 94.0%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 94.1%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 94.1%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 50.9%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 50.9%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.8%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 53.8%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 50.4%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 50.4%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 50.4%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 51.9%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 51.9%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 25.9%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 43.4%

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

      6. sqr-neg 43.4%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 25.8%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 52.2%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 52.2%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   9. Taylor expanded in x around 0 29.6%

      \[\leadsto \color{blue}{\frac{4}{y}} \]

   if 4 < x

   1. Initial program 92.4%

      \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
   2. Step-by-step derivation

      1. fabs-sub 92.4%

         \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

      2. associate-*l/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

      3. associate-*r/ 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

      4. fmm-def 99.8%

         \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

      5. distribute-neg-frac 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

      6. +-commutative 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

      7. distribute-neg-in 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

      8. unsub-neg 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

      9. metadata-eval 99.8%

         \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

   3. Simplified 99.8%

      \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
   4. Add Preprocessing
   5. Step-by-step derivation

      1. fma-undefine 95.4%

         \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

      2. associate-*r/ 84.5%

         \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

      3. associate-*l/ 92.4%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

      4. div-inv 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

      5. sub-neg 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

      6. metadata-eval 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

      7. distribute-neg-in 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

      8. +-commutative 92.3%

         \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

      9. cancel-sign-sub-inv 92.3%

         \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

      10. div-inv 92.4%

          \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

      11. fabs-sub 92.4%

          \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

      12. add-sqr-sqrt 51.1%

          \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

      13. fabs-sqr 51.1%

          \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

      14. add-sqr-sqrt 51.7%

          \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

      15. associate-*l/ 43.7%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

      16. associate-*r/ 53.2%

          \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

   6. Applied egg-rr 53.2%

      \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
   7. Step-by-step derivation

      1. *-commutative 53.2%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

      2. associate-/r/ 51.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

      3. frac-2neg 51.8%

         \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

      4. add-sqr-sqrt 27.9%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

      5. sqrt-unprod 40.2%

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

      6. sqr-neg 40.2%

         \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

      7. sqrt-unprod 26.0%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

      8. add-sqr-sqrt 36.6%

         \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

   8. Applied egg-rr 36.6%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

   9. Taylor expanded in z around 0 27.5%

      \[\leadsto \color{blue}{4 \cdot \frac{1}{y} + \frac{x}{y}} \]
   10. Step-by-step derivation

       1. +-commutative 27.5%

          \[\leadsto \color{blue}{\frac{x}{y} + 4 \cdot \frac{1}{y}} \]

       2. associate-*r/ 27.5%

          \[\leadsto \frac{x}{y} + \color{blue}{\frac{4 \cdot 1}{y}} \]

       3. metadata-eval 27.5%

          \[\leadsto \frac{x}{y} + \frac{\color{blue}{4}}{y} \]

   11. Simplified 27.5%

       \[\leadsto \color{blue}{\frac{x}{y} + \frac{4}{y}} \]

   12. Taylor expanded in x around inf 26.7%

       \[\leadsto \color{blue}{\frac{x}{y}} \]
3. Recombined 2 regimes into one program.
4. Add Preprocessing

Alternative 16: 40.5% accurate, 37.0× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \frac{4}{y\_m} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z) :precision binary64 (/ 4.0 y_m))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	return 4.0 / y_m;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    code = 4.0d0 / y_m
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	return 4.0 / y_m;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	return 4.0 / y_m

Julia

y_m = abs(y)
function code(x, y_m, z)
	return Float64(4.0 / y_m)
end

MATLAB

y_m = abs(y);
function tmp = code(x, y_m, z)
	tmp = 4.0 / y_m;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := N[(4.0 / y$95$m), $MachinePrecision]

Derivation

1. Initial program 93.6%

   \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
2. Step-by-step derivation

   1. fabs-sub 93.6%

      \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

   2. associate-*l/ 93.1%

      \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

   3. associate-*r/ 93.6%

      \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

   4. fmm-def 95.2%

      \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

   5. distribute-neg-frac 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

   6. +-commutative 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

   7. distribute-neg-in 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

   8. unsub-neg 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

   9. metadata-eval 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

3. Simplified 95.2%

   \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
4. Add Preprocessing
5. Step-by-step derivation

   1. fma-undefine 93.6%

      \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}}\right| \]

   2. associate-*r/ 93.1%

      \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y}\right| \]

   3. associate-*l/ 93.6%

      \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y}\right| \]

   4. div-inv 93.6%

      \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 - x\right) \cdot \frac{1}{y}}\right| \]

   5. sub-neg 93.6%

      \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-4 + \left(-x\right)\right)} \cdot \frac{1}{y}\right| \]

   6. metadata-eval 93.6%

      \[\leadsto \left|\frac{x}{y} \cdot z + \left(\color{blue}{\left(-4\right)} + \left(-x\right)\right) \cdot \frac{1}{y}\right| \]

   7. distribute-neg-in 93.6%

      \[\leadsto \left|\frac{x}{y} \cdot z + \color{blue}{\left(-\left(4 + x\right)\right)} \cdot \frac{1}{y}\right| \]

   8. +-commutative 93.6%

      \[\leadsto \left|\frac{x}{y} \cdot z + \left(-\color{blue}{\left(x + 4\right)}\right) \cdot \frac{1}{y}\right| \]

   9. cancel-sign-sub-inv 93.6%

      \[\leadsto \left|\color{blue}{\frac{x}{y} \cdot z - \left(x + 4\right) \cdot \frac{1}{y}}\right| \]

   10. div-inv 93.6%

       \[\leadsto \left|\frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}}\right| \]

   11. fabs-sub 93.6%

       \[\leadsto \color{blue}{\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|} \]

   12. add-sqr-sqrt 50.9%

       \[\leadsto \left|\color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}}\right| \]

   13. fabs-sqr 50.9%

       \[\leadsto \color{blue}{\sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \cdot \sqrt{\frac{x + 4}{y} - \frac{x}{y} \cdot z}} \]

   14. add-sqr-sqrt 51.8%

       \[\leadsto \color{blue}{\frac{x + 4}{y} - \frac{x}{y} \cdot z} \]

   15. associate-*l/ 51.1%

       \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{x \cdot z}{y}} \]

   16. associate-*r/ 51.2%

       \[\leadsto \frac{x + 4}{y} - \color{blue}{x \cdot \frac{z}{y}} \]

6. Applied egg-rr 51.2%

   \[\leadsto \color{blue}{\frac{x + 4}{y} - x \cdot \frac{z}{y}} \]
7. Step-by-step derivation

   1. *-commutative 51.2%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{y} \cdot x} \]

   2. associate-/r/ 51.8%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{\frac{y}{x}}} \]

   3. frac-2neg 51.8%

      \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{-z}{-\frac{y}{x}}} \]

   4. add-sqr-sqrt 26.5%

      \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{-z} \cdot \sqrt{-z}}}{-\frac{y}{x}} \]

   5. sqrt-unprod 42.6%

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

   6. sqr-neg 42.6%

      \[\leadsto \frac{x + 4}{y} - \frac{\sqrt{\color{blue}{z \cdot z}}}{-\frac{y}{x}} \]

   7. sqrt-unprod 25.9%

      \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{\sqrt{z} \cdot \sqrt{z}}}{-\frac{y}{x}} \]

   8. add-sqr-sqrt 48.1%

      \[\leadsto \frac{x + 4}{y} - \frac{\color{blue}{z}}{-\frac{y}{x}} \]

8. Applied egg-rr 48.1%

   \[\leadsto \frac{x + 4}{y} - \color{blue}{\frac{z}{-\frac{y}{x}}} \]

9. Taylor expanded in x around 0 22.7%

   \[\leadsto \color{blue}{\frac{4}{y}} \]
10. Add Preprocessing

Alternative 17: 1.7% accurate, 37.0× speedup

Math

\[\begin{array}{l} y_m = \left|y\right| \\ \frac{-4}{y\_m} \end{array} \]

FPCore

y_m = (fabs.f64 y)
(FPCore (x y_m z) :precision binary64 (/ -4.0 y_m))

C

y_m = fabs(y);
double code(double x, double y_m, double z) {
	return -4.0 / y_m;
}

Fortran

y_m = abs(y)
real(8) function code(x, y_m, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y_m
    real(8), intent (in) :: z
    code = (-4.0d0) / y_m
end function

Java

y_m = Math.abs(y);
public static double code(double x, double y_m, double z) {
	return -4.0 / y_m;
}

Python

y_m = math.fabs(y)
def code(x, y_m, z):
	return -4.0 / y_m

Julia

y_m = abs(y)
function code(x, y_m, z)
	return Float64(-4.0 / y_m)
end

MATLAB

y_m = abs(y);
function tmp = code(x, y_m, z)
	tmp = -4.0 / y_m;
end

Wolfram

y_m = N[Abs[y], $MachinePrecision]
code[x_, y$95$m_, z_] := N[(-4.0 / y$95$m), $MachinePrecision]

Derivation

1. Initial program 93.6%

   \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right| \]
2. Step-by-step derivation

   1. fabs-sub 93.6%

      \[\leadsto \color{blue}{\left|\frac{x}{y} \cdot z - \frac{x + 4}{y}\right|} \]

   2. associate-*l/ 93.1%

      \[\leadsto \left|\color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y}\right| \]

   3. associate-*r/ 93.6%

      \[\leadsto \left|\color{blue}{x \cdot \frac{z}{y}} - \frac{x + 4}{y}\right| \]

   4. fmm-def 95.2%

      \[\leadsto \left|\color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, -\frac{x + 4}{y}\right)}\right| \]

   5. distribute-neg-frac 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \color{blue}{\frac{-\left(x + 4\right)}{y}}\right)\right| \]

   6. +-commutative 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-\color{blue}{\left(4 + x\right)}}{y}\right)\right| \]

   7. distribute-neg-in 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) + \left(-x\right)}}{y}\right)\right| \]

   8. unsub-neg 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{\left(-4\right) - x}}{y}\right)\right| \]

   9. metadata-eval 95.2%

      \[\leadsto \left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{\color{blue}{-4} - x}{y}\right)\right| \]

3. Simplified 95.2%

   \[\leadsto \color{blue}{\left|\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)\right|} \]
4. Add Preprocessing
5. Step-by-step derivation

   1. add-sqr-sqrt 43.2%

      \[\leadsto \left|\color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}}\right| \]

   2. fabs-sqr 43.2%

      \[\leadsto \color{blue}{\sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \cdot \sqrt{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)}} \]

   3. add-sqr-sqrt 44.1%

      \[\leadsto \color{blue}{\mathsf{fma}\left(x, \frac{z}{y}, \frac{-4 - x}{y}\right)} \]

   4. fma-undefine 43.7%

      \[\leadsto \color{blue}{x \cdot \frac{z}{y} + \frac{-4 - x}{y}} \]

   5. associate-*r/ 43.3%

      \[\leadsto \color{blue}{\frac{x \cdot z}{y}} + \frac{-4 - x}{y} \]

   6. associate-*l/ 43.2%

      \[\leadsto \color{blue}{\frac{x}{y} \cdot z} + \frac{-4 - x}{y} \]

   7. div-inv 43.1%

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

   8. sub-neg 43.1%

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

   9. metadata-eval 43.1%

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

   10. distribute-neg-in 43.1%

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

   11. +-commutative 43.1%

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

   12. cancel-sign-sub-inv 43.1%

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

   13. div-inv 43.2%

       \[\leadsto \frac{x}{y} \cdot z - \color{blue}{\frac{x + 4}{y}} \]

   14. associate-*l/ 43.3%

       \[\leadsto \color{blue}{\frac{x \cdot z}{y}} - \frac{x + 4}{y} \]

   15. sub-div 44.1%

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

6. Applied egg-rr 44.1%

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

7. Taylor expanded in x around 0 16.1%

   \[\leadsto \color{blue}{\frac{-4}{y}} \]
8. Add Preprocessing

Reproduce

herbie shell --seed 2024181 
(FPCore (x y z)
  :name "fabs fraction 1"
  :precision binary64
  (fabs (- (/ (+ x 4.0) y) (* (/ x y) z))))