∫[0,π/4](x/(cosx)^2)dx = π/4-log√2

はどうやったら計算できるのでしょうか？