Average Error: 58.1 → 56.8
Time: 1.0m
Precision: 64
\[x = 77617 \land y = 33096\]
\[\left(\left(333.75 \cdot {y}^{6} + \left(x \cdot x\right) \cdot \left(\left(\left(\left(\left(\left(11 \cdot x\right) \cdot x\right) \cdot y\right) \cdot y - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right)\right) + 5.5 \cdot {y}^{8}\right) + \frac{x}{2 \cdot y}\]
↓
\[\left(\left(\left(\left(\left(\left(11 \cdot \left(\left(y \cdot x\right) \cdot \left(y \cdot x\right)\right) - {y}^{6}\right) - {y}^{4} \cdot 121\right) - 2\right) \cdot \left(x \cdot x\right) + 333.75 \cdot {y}^{6}\right) + \left(5.5 \cdot {y}^{8} + \frac{x}{2 \cdot y}\right)\right)\right)\]
\left(\left(333.75 \cdot {y}^{6} + \left(x \cdot x\right) \cdot \left(\left(\left(\left(\left(\left(11 \cdot x\right) \cdot x\right) \cdot y\right) \cdot y - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right)\right) + 5.5 \cdot {y}^{8}\right) + \frac{x}{2 \cdot y}
↓
\left(\left(\left(\left(\left(\left(11 \cdot \left(\left(y \cdot x\right) \cdot \left(y \cdot x\right)\right) - {y}^{6}\right) - {y}^{4} \cdot 121\right) - 2\right) \cdot \left(x \cdot x\right) + 333.75 \cdot {y}^{6}\right) + \left(5.5 \cdot {y}^{8} + \frac{x}{2 \cdot y}\right)\right)\right)
double f(double x, double y) {
        double r1560941 = 333.75;
        double r1560942 = y;
        double r1560943 = 6.0;
        double r1560944 = pow(r1560942, r1560943);
        double r1560945 = r1560941 * r1560944;
        double r1560946 = x;
        double r1560947 = r1560946 * r1560946;
        double r1560948 = 11.0;
        double r1560949 = r1560948 * r1560946;
        double r1560950 = r1560949 * r1560946;
        double r1560951 = r1560950 * r1560942;
        double r1560952 = r1560951 * r1560942;
        double r1560953 = r1560952 - r1560944;
        double r1560954 = 121.0;
        double r1560955 = 4.0;
        double r1560956 = pow(r1560942, r1560955);
        double r1560957 = r1560954 * r1560956;
        double r1560958 = r1560953 - r1560957;
        double r1560959 = 2.0;
        double r1560960 = r1560958 - r1560959;
        double r1560961 = r1560947 * r1560960;
        double r1560962 = r1560945 + r1560961;
        double r1560963 = 5.5;
        double r1560964 = 8.0;
        double r1560965 = pow(r1560942, r1560964);
        double r1560966 = r1560963 * r1560965;
        double r1560967 = r1560962 + r1560966;
        double r1560968 = r1560959 * r1560942;
        double r1560969 = r1560946 / r1560968;
        double r1560970 = r1560967 + r1560969;
        return r1560970;
}
↓
double f(double x, double y) {
        double r1560971 = 11.0;
        double r1560972 = y;
        double r1560973 = x;
        double r1560974 = r1560972 * r1560973;
        double r1560975 = r1560974 * r1560974;
        double r1560976 = r1560971 * r1560975;
        double r1560977 = 6.0;
        double r1560978 = pow(r1560972, r1560977);
        double r1560979 = r1560976 - r1560978;
        double r1560980 = 4.0;
        double r1560981 = pow(r1560972, r1560980);
        double r1560982 = 121.0;
        double r1560983 = r1560981 * r1560982;
        double r1560984 = r1560979 - r1560983;
        double r1560985 = 2.0;
        double r1560986 = r1560984 - r1560985;
        double r1560987 = r1560973 * r1560973;
        double r1560988 = r1560986 * r1560987;
        double r1560989 = 333.75;
        double r1560990 = r1560989 * r1560978;
        double r1560991 = r1560988 + r1560990;
        double r1560992 = 5.5;
        double r1560993 = 8.0;
        double r1560994 = pow(r1560972, r1560993);
        double r1560995 = r1560992 * r1560994;
        double r1560996 = r1560985 * r1560972;
        double r1560997 = r1560973 / r1560996;
        double r1560998 = r1560995 + r1560997;
        double r1560999 = r1560991 + r1560998;
        double r1561000 = /* ERROR: no posit support in C */;
        double r1561001 = /* ERROR: no posit support in C */;
        return r1561001;
}

Error

Derivation

  1. Initial program 58.1

    \[\left(\left(333.75 \cdot {y}^{6} + \left(x \cdot x\right) \cdot \left(\left(\left(\left(\left(\left(11 \cdot x\right) \cdot x\right) \cdot y\right) \cdot y - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right)\right) + 5.5 \cdot {y}^{8}\right) + \frac{x}{2 \cdot y}\]

  2. Simplified58.1

    \[\leadsto \color{blue}{\left(\left(x \cdot x\right) \cdot \left(\left(\left(11 \cdot \left(\left(x \cdot y\right) \cdot \left(x \cdot y\right)\right) - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right) + {y}^{6} \cdot 333.75\right) + \left({y}^{8} \cdot 5.5 + \frac{x}{y \cdot 2}\right)}\]
  3. Using strategy rm

  4. Applied insert-posit1656.8

    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(\left(\left(11 \cdot \left(\left(x \cdot y\right) \cdot \left(x \cdot y\right)\right) - {y}^{6}\right) - 121 \cdot {y}^{4}\right) - 2\right) + {y}^{6} \cdot 333.75\right) + \left({y}^{8} \cdot 5.5 + \frac{x}{y \cdot 2}\right)\right)\right)}\]

  5. Final simplification56.8

    \[\leadsto \left(\left(\left(\left(\left(\left(11 \cdot \left(\left(y \cdot x\right) \cdot \left(y \cdot x\right)\right) - {y}^{6}\right) - {y}^{4} \cdot 121\right) - 2\right) \cdot \left(x \cdot x\right) + 333.75 \cdot {y}^{6}\right) + \left(5.5 \cdot {y}^{8} + \frac{x}{2 \cdot y}\right)\right)\right)\]

Reproduce

herbie shell --seed 2019168 
(FPCore (x y)
  :name "Rump's expression from Stadtherr's award speech"
  :pre (and (== x 77617.0) (== y 33096.0))
  (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))