sqrt(7-4sqrt(3))