Add docstring for sympify(, evaluate=False)
sympify(evaluate=False) denests Add and Mul