%% ?- answer(X0, X1).

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