Double derivative (eg, "der(der(x)) = a") is not allowed.