A theoretical and empirical analysis of approximation in symbolic problem solving by P.C. Groot