arctan(2tan(x))/2