Taylor-based reachability analysis