let fpi = Lambda(3.1415) and fpoly1 = Sum(Lambda(1.), Power(y, 7)) and fcossin = Comp((Cos(y)), (Sin(y))) and fexpln = Comp((Exp(y)), (Ln(y))) and finv = Inv(y) and fsqsq = Power(y, 4) and fh = Unknown("h")