fixed posynomial division
swapping out lambdas