integral cosx/(1+sin^2x) dx from 0 to pi/2