4*integrate(integrate(y^2, y, 0, x), x, 0, 1/sqrt(2))