Exception for Harley's example

• could not determine a ground truth for program body

  1. c_p = 6.67810251362299e-101
  2. c_n = 4.3257265186515954e-238
  3. t = -2.3323497117317315e+256
  4. s = -1.3537835572354477e+237

\[0.0 \lt c_p \land 0.0 \lt c_n\]

Math

\[\frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{-t}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}\]

C

double code(double c_p, double c_n, double t, double s) {
	return ((pow((1.0 / (1.0 + exp(-s))), c_p) * pow((1.0 - (1.0 / (1.0 + exp(-s)))), c_n)) / (pow((1.0 / (1.0 + exp(-t))), c_p) * pow((1.0 - (1.0 / (1.0 + exp(-t)))), c_n)));
}