%% ?- answer(X0, X1).

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