(defunc integral (f a b dx) ( cond ( (> a b ) 0 )
						( t   (   + (funcall f (+ a (/ dx 2))) (integral f (+a (/ dx 2)) b dx)  )))
(integral (lambda (x) (x) ) 1 5 0.25)