Average Error: 0.2 → 0.2
Time: 33.4s
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 m\]
↓
\[m \cdot \left(\left(1 - m\right) \cdot \frac{m}{v} - 1\right)\]
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot m
↓
m \cdot \left(\left(1 - m\right) \cdot \frac{m}{v} - 1\right)
double f(double m, double v) {
        double r1146992 = m;
        double r1146993 = 1.0;
        double r1146994 = r1146993 - r1146992;
        double r1146995 = r1146992 * r1146994;
        double r1146996 = v;
        double r1146997 = r1146995 / r1146996;
        double r1146998 = r1146997 - r1146993;
        double r1146999 = r1146998 * r1146992;
        return r1146999;
}
↓
double f(double m, double v) {
        double r1147000 = m;
        double r1147001 = 1.0;
        double r1147002 = r1147001 - r1147000;
        double r1147003 = v;
        double r1147004 = r1147000 / r1147003;
        double r1147005 = r1147002 * r1147004;
        double r1147006 = r1147005 - r1147001;
        double r1147007 = r1147000 * r1147006;
        return r1147007;
}

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.2

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

  3. Applied *-un-lft-identity0.2

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

  4. Applied associate-*r*0.2

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

  5. Simplified0.2

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

  6. Final simplification0.2

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

Reproduce

herbie shell --seed 2019169 
(FPCore (m v)
  :name "a parameter of renormalized beta distribution"
  :pre (and (< 0.0 m) (< 0.0 v) (< v 0.25))
  (* (- (/ (* m (- 1.0 m)) v) 1.0) m))