1/Sqrt[4 - Sqrt[15]] == (Sqrt[6] + Sqrt[10])/2