(tan^(-1)(1/(sqrt(2) (1 - 1/sqrt(2)))))/sqrt(2) - log(1/2 + (1 - 1/sqrt(2))^2)/(2 sqrt(2))