-- f1.adb function f1(x : Long_float) return Long_Float is begin return 1.0/((x-0.3)*(x-0.3)+0.01) + 1.0/((x-0.9)*(x-0.9)+0.04) -6.0; end f1;