Add an evalf exercise
Start the simplification exercises