%% goal: answer(X0, X1)

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