Average Error: 0.1 → 0.1
Time: 16.0s
Precision: 64
\[0.0 \lt m \land 0.0 \lt v \land v \lt 0.25\]
\[\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot \left(1 - m\right)\]
↓
\[\left(\frac{m}{\frac{v}{1 - m}} - 1\right) \cdot \left(1 - m\right)\]
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot \left(1 - m\right)
↓
\left(\frac{m}{\frac{v}{1 - m}} - 1\right) \cdot \left(1 - m\right)
double f(double m, double v) {
        double r21247 = m;
        double r21248 = 1.0;
        double r21249 = r21248 - r21247;
        double r21250 = r21247 * r21249;
        double r21251 = v;
        double r21252 = r21250 / r21251;
        double r21253 = r21252 - r21248;
        double r21254 = r21253 * r21249;
        return r21254;
}
↓
double f(double m, double v) {
        double r21255 = m;
        double r21256 = v;
        double r21257 = 1.0;
        double r21258 = r21257 - r21255;
        double r21259 = r21256 / r21258;
        double r21260 = r21255 / r21259;
        double r21261 = r21260 - r21257;
        double r21262 = r21261 * r21258;
        return r21262;
}

Error

Bits error versus m

Bits error versus v

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot \left(1 - m\right)\]
  2. Using strategy rm

  3. Applied associate-/l*0.1

    \[\leadsto \left(\color{blue}{\frac{m}{\frac{v}{1 - m}}} - 1\right) \cdot \left(1 - m\right)\]

  4. Final simplification0.1

    \[\leadsto \left(\frac{m}{\frac{v}{1 - m}} - 1\right) \cdot \left(1 - m\right)\]

Reproduce

herbie shell --seed 2019209 
(FPCore (m v)
  :name "b parameter of renormalized beta distribution"
  :precision binary64
  :pre (and (< 0.0 m) (< 0.0 v) (< v 0.25))
  (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)))