integral 0 to pi/4 sin(ln(tanx))dx