Average Error: 5.8 → 5.8
Time: 1.4s
Precision: binary64
\[\frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}\]
↓
\[\frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}\]
\frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}
↓
\frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}
double code(double a, double V, double b, double c, double d, double g) {
	return ((double) (((double) (a / ((double) (V - b)))) - ((double) (c / ((double) (((double) (((double) (V * V)) + ((double) (d * V)))) + g))))));
}
↓
double code(double a, double V, double b, double c, double d, double g) {
	return ((double) (((double) (a / ((double) (V - b)))) - ((double) (c / ((double) (((double) (((double) (V * V)) + ((double) (d * V)))) + g))))));
}

Error

Bits error versus a

Bits error versus V

Bits error versus b

Bits error versus c

Bits error versus d

Bits error versus g

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 5.8

    \[\frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}\]

  2. Final simplification5.8

    \[\leadsto \frac{a}{V - b} - \frac{c}{\left(V \cdot V + d \cdot V\right) + g}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a V b c d g)
  :name "(- (/ a (- V b)) (/ c (+ (+ (* V V) (* d V)) g)))"
  :precision binary64
  (- (/ a (- V b)) (/ c (+ (+ (* V V) (* d V)) g))))