% Using approximate variants give a better solution,

% max_vars(8).
% max_body(8).
% max_rules(4).

head_pred(f,3).



body_pred(plus,3).
body_pred(approx_plus,3).
body_pred(minus,3).
body_pred(approx_minus,3).
body_pred(mult,3).
body_pred(approx_mult,3).
body_pred(div,3).
body_pred(approx_div,3).

% direction(f,(in,in,out)).
% direction(plus,(in,in,out)).
% direction(approx_plus,(in,in,out)).
% direction(minus,(in,in,out)).
% direction(approx_minus,(in,in,out)).
% direction(mult,(in,in,out)).
% direction(approx_mult,(in,in,out)).
% direction(div,(in,in,out)).
% direction(approx_div,(in,in,out)).