cmacnrekursi fu'ivla

x1 is a recursive function with arguments x2