Average Error: 21.5 → 21.5
Time: 921.0ms
Precision: binary64
\[\frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}\]
↓
\[\frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}\]
\frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}
↓
\frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}
double code(double xi1) {
	return ((double) (((double) (xi1 * ((double) (((double) (xi1 * ((double) (((double) (xi1 * 0.27385)) - 0.73369)))) + 0.46341)))) / ((double) (((double) (xi1 * ((double) (((double) (xi1 * ((double) (((double) (xi1 * 0.093073)) + 0.30942)))) - 1.0)))) + 0.597999))));
}
↓
double code(double xi1) {
	return ((double) (((double) (xi1 * ((double) (((double) (xi1 * ((double) (((double) (xi1 * 0.27385)) - 0.73369)))) + 0.46341)))) / ((double) (((double) (xi1 * ((double) (((double) (xi1 * ((double) (((double) (xi1 * 0.093073)) + 0.30942)))) - 1.0)))) + 0.597999))));
}

Error

Bits error versus xi1

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 21.5

    \[\frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}\]

  2. Final simplification21.5

    \[\leadsto \frac{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.273849999999999982 - 0.73368999999999995\right) + 0.46340999999999999\right)}{xi1 \cdot \left(xi1 \cdot \left(xi1 \cdot 0.093073000000000003 + 0.309419999999999973\right) - 1\right) + 0.59799899999999995}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (xi1)
  :name "(/ (* xi1 (+ (* xi1 (- (* xi1 0.27385) 0.73369)) 0.46341)) (+ (* xi1 (- (* xi1 (+ (* xi1 0.093073) 0.30942)) 1)) 0.597999))"
  :precision binary64
  (/ (* xi1 (+ (* xi1 (- (* xi1 0.27385) 0.73369)) 0.46341)) (+ (* xi1 (- (* xi1 (+ (* xi1 0.093073) 0.30942)) 1.0)) 0.597999)))