use lambdify to fix ungainly expressions