atan(1/x_):=acot(x);
atan(-x_):= -atan(x);

atan(1):= pi/4;