Timeout after 2.5min

Use the --timeout flag to change the timeout.

?

\[0 < c_p \land 0 < c_n\]
\[\mathsf{/.f64}\left(\mathsf{*.f64}\left(\mathsf{pow.f64}\left(\mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(s\right)\right)\right)\right), c_p\right), \mathsf{pow.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(s\right)\right)\right)\right)\right), c_n\right)\right), \mathsf{*.f64}\left(\mathsf{pow.f64}\left(\mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(t\right)\right)\right)\right), c_p\right), \mathsf{pow.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(t\right)\right)\right)\right)\right), c_n\right)\right)\right) \]
(FPCore (c_p c_n t s)
 :precision binary64
 (/.f64
  (*.f64
   (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
   (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n))
  (*.f64
   (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
   (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n))))
\mathsf{/.f64}\left(\mathsf{*.f64}\left(\mathsf{pow.f64}\left(\mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(s\right)\right)\right)\right), c_p\right), \mathsf{pow.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(s\right)\right)\right)\right)\right), c_n\right)\right), \mathsf{*.f64}\left(\mathsf{pow.f64}\left(\mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(t\right)\right)\right)\right), c_p\right), \mathsf{pow.f64}\left(\mathsf{\_.f64}\left(1, \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(1, \mathsf{exp.f64}\left(\mathsf{neg.f64}\left(t\right)\right)\right)\right)\right), c_n\right)\right)\right)