atan(-sqrt(3),1)