Tangent envelope and derived function