int y^2 dydx y from x to ((1-x^2/3)^1/2) x from 0 to root(3)/2