%% goal: answer(X0, X1)

answer(asin_zero, X) :- asin(0, X).