removed vars for defs and lazy vals, added calculation of first term in vandermonde expansion