Average Error: 0.3 → 0.3
Time: 2.5s
Precision: binary64
\[\frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)\]
↓
\[\frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)\]
\frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)
↓
\frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)
double code(double a, double b, double e, double m, double dcf) {
	return ((double) (((double) (((double) (((double) (a - ((double) (((double) (4.0 * b)) - ((double) (e * a)))))) / ((double) (m / ((double) (((double) (e * a)) - a)))))) / 2.0)) + ((double) (b * ((double) (b * dcf))))));
}
↓
double code(double a, double b, double e, double m, double dcf) {
	return ((double) (((double) (((double) (((double) (a - ((double) (((double) (4.0 * b)) - ((double) (e * a)))))) / ((double) (m / ((double) (((double) (e * a)) - a)))))) / 2.0)) + ((double) (b * ((double) (b * dcf))))));
}

Error

Bits error versus a

Bits error versus b

Bits error versus e

Bits error versus m

Bits error versus dcf

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.3

    \[\frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)\]

  2. Final simplification0.3

    \[\leadsto \frac{\frac{a - \left(4 \cdot b - e \cdot a\right)}{\frac{m}{e \cdot a - a}}}{2} + b \cdot \left(b \cdot dcf\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a b e m dcf)
  :name "(+ (/ (/ (- a (- (* 4 b) (* e a))) (/ m (- (* e a) a))) 2) (* b (* b dcf)))"
  :precision binary64
  (+ (/ (/ (- a (- (* 4.0 b) (* e a))) (/ m (- (* e a) a))) 2.0) (* b (* b dcf))))