[MATH]f(x;y;z)←y^2+(x^2-y^2)^2+z^2-1[/MATH]

Если символьно выполнить это преобразование:
[MATH]f(x,0;x,1;x,2)—-1+(x,0,1)^2+(x,0-(x,0,1))^2*(x,0+(x,0,1))^2+(x,0,2)^2[/MATH]
то результат будет странным. Простой заменой в цикле тут не обойтись.