int from 0 to 1 of (sqrt(3) * (x - 1/2 * x^2))^2 dx