(define (f x) (* x 0.1))