log(2+sqrt 3)