Wie könnte ich mir die unterschiedlichen Ergebnisse
der Aufrufe von bar-to-foo und bar-to-foo-1 erklären?

Es läuft Qi II 1.02 mit CLisp 2.45 als backend unter NT 6.
Hier die Ausgaben:

(60-) (bar-to-foo-1 91.4)
33.0

(61-) (bar-to-foo 91.4)
33.000004


Die Funktionen:

(define foo-to-bar
X -> (+ 32 (* 9/5 X)))

(define bar-to-foo ; "normale" inverse
X -> (/ (- X 32) 9/5))

(define bar-to-foo-1 ; "halbmechanische" inverse
X -> ((inverse *) ((inverse +) X 32) 9/5))

(define inverse
/ -> *
* -> /
- -> +
+ -> -)