\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

↓

\[\mathsf{fma}\left(\frac{x}{8}, 1, t\right) - \frac{z \cdot y}{2}\]

\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t

↓

\mathsf{fma}\left(\frac{x}{8}, 1, t\right) - \frac{z \cdot y}{2}

double f(double x, double y, double z, double t) {
        double r490491 = 1.0;
        double r490492 = 8.0;
        double r490493 = r490491 / r490492;
        double r490494 = x;
        double r490495 = r490493 * r490494;
        double r490496 = y;
        double r490497 = z;
        double r490498 = r490496 * r490497;
        double r490499 = 2.0;
        double r490500 = r490498 / r490499;
        double r490501 = r490495 - r490500;
        double r490502 = t;
        double r490503 = r490501 + r490502;
        return r490503;
}

↓

double f(double x, double y, double z, double t) {
        double r490504 = x;
        double r490505 = 8.0;
        double r490506 = r490504 / r490505;
        double r490507 = 1.0;
        double r490508 = t;
        double r490509 = fma(r490506, r490507, r490508);
        double r490510 = z;
        double r490511 = y;
        double r490512 = r490510 * r490511;
        double r490513 = 2.0;
        double r490514 = r490512 / r490513;
        double r490515 = r490509 - r490514;
        return r490515;
}

Original	0.0
Target	0.0
Herbie	0.0

Derivation

Initial program 0.0
\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]
Simplified0.0
\[\leadsto \color{blue}{\mathsf{fma}\left(\frac{x}{8}, 1, t\right) - \frac{y \cdot z}{2}}\]
Final simplification0.0
\[\leadsto \mathsf{fma}\left(\frac{x}{8}, 1, t\right) - \frac{z \cdot y}{2}\]

Reproduce

herbie shell --seed 2019174 +o rules:numerics
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, B"

  :herbie-target
  (- (+ (/ x 8.0) t) (* (/ z 2.0) y))

  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))

Error

Target

Derivation

Reproduce