What is the integral of int ( sin^3(x))dx?