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