Average Error: 1.1 → 1.1
Time: 9.5s
Precision: binary64
\[{\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}\]
↓
\[{\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}\]
{\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}
↓
{\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}
double code(double c1, double c2, double y, double m1, double c3, double m2) {
	return ((double) pow(((double) (((double) (c1 + ((double) (c2 * ((double) pow(y, m1)))))) / ((double) (1.0 + ((double) (c3 * ((double) pow(y, m1)))))))), m2));
}
↓
double code(double c1, double c2, double y, double m1, double c3, double m2) {
	return ((double) pow(((double) (((double) (c1 + ((double) (c2 * ((double) pow(y, m1)))))) / ((double) (1.0 + ((double) (c3 * ((double) pow(y, m1)))))))), m2));
}

Error

Bits error versus c1

Bits error versus c2

Bits error versus y

Bits error versus m1

Bits error versus c3

Bits error versus m2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 1.1

    \[{\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}\]

  2. Final simplification1.1

    \[\leadsto {\left(\frac{c1 + c2 \cdot {y}^{m1}}{1 + c3 \cdot {y}^{m1}}\right)}^{m2}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (c1 c2 y m1 c3 m2)
  :name "(pow (/ (+ c1 (* c2 (pow y m1))) (+ 1 (* c3 (pow y m1)))) m2)"
  :precision binary64
  (pow (/ (+ c1 (* c2 (pow y m1))) (+ 1.0 (* c3 (pow y m1)))) m2))