arcctg(x)