(define x (var "x")) (define tree (+ (+ x (* (* (f 1.0) (f 1.0)) x)) (* (f 2.0) (f 1.0))) )