The calculus problem solver (1984)