sqrt(7-2*sqrt(10))