integrate arctan sqrt(1+csc x) - sqrt(1+csc x) from 0 to pi/2