(6*2 \sqrt(2^2-3)-6arcosh(2/sqrt(3)))/(4)=1/2 (2 sqrt(2^2-3)-3 log(sqrt(2^2-3)+2))