[cotseec]

предположу, что где-то тут, что-то не так...

Код:

if (y(x0))*(y(x))>0 then  (x1=x) and (y(x1)=y(x)) else
     (x0=x) and (y(x0)=y(x)) ;

предположу, что ТС вовсе не хочется узнать значение логического выражения

Код:

 (x1=x) and (y(x1)=y(x))

или

Код:

(x0=x) and (y(x0)=y(x))

а что на самом деле надо?