>>689
1/{cos(x)*sin(pi/6+x)}
= 2/{cos(x)*(√3sin(x) + cos(x))}
= 2/√3*{(sin(x)/cos(x) + (-sin(x)+√3cos(x))/(cos(x)+√3sin(x))}
となるので積分できる。