brun -c "(= (f 1) (+ (f (r 1)) (f (r (r 1)))))" "(7 3 4)"
cost = 1194
1
