(-2arctan(1-√(2tan(x)))+2arctan(1+√(2tan(x)))+log(1-√(2tan(x))+tan(x))-log(1+√(2tan(x))+tan(x)))/(2√2)