(((9^2-x^2)(x^2-1))^1/2 + ((7^2-x^2)(x^2-1))^1/2 + ((8^2-x^2)(x^2-2^2))^1/2)/4 = (3^1/2)*(x^2)/2