differentialize
not defined yet