\[{x}^{4} - {y}^{4}\]

↓

\[{x}^{4} - {y}^{4}\]

{x}^{4} - {y}^{4}

↓

{x}^{4} - {y}^{4}

double f(double x, double y) {
        double r34865 = x;
        double r34866 = 4.0;
        double r34867 = pow(r34865, r34866);
        double r34868 = y;
        double r34869 = pow(r34868, r34866);
        double r34870 = r34867 - r34869;
        return r34870;
}

↓

double f(double x, double y) {
        double r34871 = x;
        double r34872 = 4.0;
        double r34873 = pow(r34871, r34872);
        double r34874 = y;
        double r34875 = pow(r34874, r34872);
        double r34876 = r34873 - r34875;
        return r34876;
}

Try it out

In
Out

Enter valid numbers for all inputs

Derivation

Initial program 0.0
\[{x}^{4} - {y}^{4}\]
Final simplification0.0
\[\leadsto {x}^{4} - {y}^{4}\]

Reproduce

herbie shell --seed 2019350 
(FPCore (x y)
  :name "Radioactive exchange between two surfaces"
  :precision binary64
  (- (pow x 4) (pow y 4)))

Falling back on racket egraph because egg-herbie package not installed (more)

Error

Try it out

Derivation

Reproduce