fun f = 1/x;
integrate f between (2 ~ 7) err -2;