Simplify (sec(x)^2)^2