https://1library.org/document/q2mrpg6y-solving-analytic-differential-equations-polynomial-time-unbounded-domains.html