integral of sin^3(2x)/(log(csc(x))) dx from 0 to pi/2