What is int sec^2(5x) dx ?