integrate 6cos(x) from 0 to infinity