integral cos(a x) cos(b cos(x)) from 0 to pi/2