brun --backend=python -c -v '(+ (q . 10) (f 1))' '(51)'
cost = 851
61

(+ (q . 10) (f 1)) [(51)] => 61

(f 1) [(51)] => 51

1 [(51)] => (51)

(q . 10) [(51)] => 10

