sec^4x