1/2 tan^(-1)(2 tan(x)+2) from 0 to pi