1 - 1/2 Sqrt[-(1/2) + 1/Sqrt[2]] ArcCos[1-Sqrt[2]] + 1/2 Sqrt[1/2 + 1/Sqrt[2]] ArcCosh[1+Sqrt[2]]