int log(2)/(2 π) + log(sin(t - sin(t)/4))/(2 π) from 0 to pi