sqrt 2sqrt(2−sqrt(3))(sqrt3+1)