pi - 3*(pi/2 - arctan(x))