run "(+ (+ 5 x0) x1)" "(9 1000)"
1014
