%% goal: answer(X0, X1)

answer(atan2_axis, X) :- atan2(0, 1, X).