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

↓

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

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

↓

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

double f(double x, double y) {
        double r17188 = x;
        double r17189 = 4.0;
        double r17190 = pow(r17188, r17189);
        double r17191 = y;
        double r17192 = pow(r17191, r17189);
        double r17193 = r17190 - r17192;
        return r17193;
}

↓

double f(double x, double y) {
        double r17194 = x;
        double r17195 = 4.0;
        double r17196 = pow(r17194, r17195);
        double r17197 = y;
        double r17198 = pow(r17197, r17195);
        double r17199 = r17196 - r17198;
        return r17199;
}

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 2020042 +o rules:numerics
(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