(1 (meter)())
(1 ()(second))
(1 (meter)(second))
(999 ()())
(1 (mile)(hour))
(1 (kg meter)(second second))
(1 (pound)(acre))
(1 (yard)(foot))
(/ (1 (yard)())(1 (foot)()))
(* (1 (foot pound)()) (5 (meter)(second)))
(/ (1 (foot pound)()) (5 (meter)(second)))

(define a (1 (mile)(hour)))
a
(define b (0.447031923888 (meter) (second)))
b
(/ a b)
(define c (1 (speed_of_light) ()))
(define m (1 (gram)()))
(* m c c)
(/ (* m c c) (1 (joule)()))
(define d (1 (pound)(inch inch)))
d
(/ d (703.0949832833096 (kg) (meter meter)))
(1 (volt)())
(* (8 (mile)(unicycle)) (1 (unicycle)()))

(1 (weber second)(volt))
(/ (1 (joule second)(kg meter)) (1 (meter)(second)))
(/ (1 (coulomb)(second)) (1 (ampere)()))
(/ (1 (kg meter meter)(ampere second second second)) (1 (joule)(coulomb)))
(/ (1 (gallon)()) (8 (pint)()))
(/ (* (10 (cm)())(10 (cm)())(10 (cm)())) (1 (liter)()))
(define h (10 (cm)()))
h
(* h h)
(* h h h)
(define L (1 (liter)()))
(/ (* h h h) L)
(/ L (* h h h))
(/ (1 (foot cm)()) (1 (cm foot)()))
(1 (millenium)(second))
(1 (light_year) (mile))
(+ (1 (foo)()) (2 (foo)()) (3 (foo)()))
(- (3 (foo)()) (2 (foo)()))
(+ (50000 (foo)(bar)) (100000 (foo)(bar)) (150000 (foo)(bar)))
(- (3000000 (foo)(bar)) (2000000 (foo)(bar)))
(/ (1 (bar)(second second meter)) (1 (kg)()))
(/ (+ (1 (nautical_mile)())(1 (mile)())) (1 (mile)()))
(/ (1 (mile)(hour)) (1 (knot)()))

(* (/ (2 () ()) (- (4 () ()) (2 () ()))))
10000
(* 1e10 (/ (1 (angstrom)()) (1 (meter)())))
(+ 2 3)
(+ 2 3 4 5)
(/ 27 3)
(* (+ 3 4) (/ 6 3) (- 10 5))
(* (+ 3 4 7) (/ 6 3) (- 10 5) (+ 5 (- 8 (/ 42 7))))

(define square (lambda (x) (* x x)))
square
(square (1 (mile)()))

(define two (2 () ()))
(define double (lambda (x) (* two x)))
(double (5 (meter)()))

(square (double (5 (meter)())))
(double (square (5 (meter)())))

(square (+ (3 (meter)()) (5 (meter)())))

(/ (64 (acre)()) (square (+ (3 (meter)()) (5 (meter)()))))

(define compose (lambda (f g) (lambda (x) (f (g x)))))

((compose square double) (5 (meter)()))