Testable implications of general equilibrium theory : a differentiable approach