Average Error: 37.4 → 37.4
Time: 2.0s
Precision: binary64
\[\sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}\]
↓
\[\sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}\]
\sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}
↓
\sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}
double code(double tp, double fp, double fn, double tn) {
	return ((double) sqrt(((double) (((double) (((double) (((double) (tp + fp)) * ((double) (tp + fn)))) * ((double) (tn + fp)))) * ((double) (tn + fn))))));
}
↓
double code(double tp, double fp, double fn, double tn) {
	return ((double) sqrt(((double) (((double) (((double) (((double) (tp + fp)) * ((double) (tp + fn)))) * ((double) (tn + fp)))) * ((double) (tn + fn))))));
}

Error

Bits error versus tp

Bits error versus fp

Bits error versus fn

Bits error versus tn

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 37.4

    \[\sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}\]

  2. Final simplification37.4

    \[\leadsto \sqrt{\left(\left(\left(tp + fp\right) \cdot \left(tp + fn\right)\right) \cdot \left(tn + fp\right)\right) \cdot \left(tn + fn\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (tp fp fn tn)
  :name "(sqrt (* (* (* (+ tp fp) (+ tp fn)) (+ tn fp)) (+ tn fn)))"
  :precision binary64
  (sqrt (* (* (* (+ tp fp) (+ tp fn)) (+ tn fp)) (+ tn fn))))