derivative of tgx