求定积分∫{0,-1}x^3dx