How do you integrate 9sin(lnx)dx