int(coth(x)*sin^2(x/2)/x) from 0 to 1000