1load_package sum; 2 3 4 5on rounded; 6 7 8 9sum(x**0.5,x,1,2); 10 11 122.41421356237 13 14 15operator f; 16 17 18 19symbolic; 20 21 22nil 23 24 25% The following forms shpuld both evaluate to nil 26 27freeof!-df(aeval '(df (f u v) u v),'v); 28 29 30nil 31 32freeof!-df(reval '(df (f u v) u v),'v); 33 34 35nil 36 37 38end; 39 40nil 41Tested on x86_64-pc-windows CSL 42Time (counter 1): 0 ms 43 44End of Lisp run after 0.00+0.06 seconds 45real 0.21 46user 0.01 47sys 0.06 48