int(0..1) (2x^3 - 2x) dx