fun f = x^2;
var a = int f 0 ~ 5;
var b = int f 0 ~ 1 + int f 1 ~ 2 + int f 2 ~ 3 + int f 3 ~ 4 + int f 4 ~ 5;
var c = a - b;