fact: Definition eval_bisect_taylor_plain prec deg depth extend idx hyps prog consts := let bounds := compute_inputs prec hyps consts in A.lookup (eval_bisect_taylor_fun prec deg prog) bounds idx extend depth.
imports: Coq(Reals List ZArith Psatz) Flocq(Zaux) Stdlib Xreal Basic Sig Interval Eval Tree Prog Reify