%% ?- answer(X0, X1).

answer(acos_one, X) :- X is acos(1).