2 * a^3 / (6 * sqrt(2)) - (a / 2)^3 / (6 * sqrt(2))