4 + sqrt(7) - sqrt(2/(4 + sqrt(7)))