10 * cos(pi/4) + sqrt(8^2 - 10^2*sin(pi/4)^2)