arctan(sqrt{23))