√(1-tan^2(t))の積分の解き方を教えてください。

これの0からπ/4の定積分は(√2-1)πになるらしいのですが、
公式：∫√(a^2-x^2)dx=1/2(x√(a^2-x^2)+a^2・arcsin(x/a))の公式で計算したところ違う結果になって困惑しています。