Derivative of Tabun