arctan(sqrt(2))