An implementation of an algorithm for univariate minimization and an application to nested optimization