integrate pi * (sqrt(3) * 2 * 3^(1/4) * sqrt(cot2x) * cot(2x)) from 0 to 3^(1/4)