5*sqrt(2) + 1/(2*sqrt(2)) - 1 = 3 + sqrt(2)