Is SEC the derivative of tan?