recursion body(input),  compareX1