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