用功能等价的条件表达式和if语句，输出结果为何不同？

题目：用二分法计算exp(x)+x=0 在[-1，0]上的根。
源文件：
#include<stdio.h>
#include<math.h>
double f( double x)
{
return exp(x)+x;
}
main()
{
double a=-1,b=0,x;
do
    {x=(a+b)/2;
/*     f(a)*f(x)>0 ? a=x : (b=x) ;
     printf("x=%lf\t",x);    */  
/* floating point error: Domain */
     if (f(a)*f(x)>0)
        a=x;
     else
        b=x;
       printf("x=%lf\t",x);   
    } while(fabs(f(x))>1e-7);
printf("the root is x=%lf\n",x);
getch();
}
若用if语句，程序正常，输出：
x=-0.500000      x=-0.750000      x=-0.625000      x=-0.562500      x=-0.593750
x=-0.578125      x=-0.570312      x=-0.566406      x=-0.568359      x=-0.567383
x=-0.566895      x=-0.567139      x=-0.567261      x=-0.567200      x=-0.567169
x=-0.567154      x=-0.567146      x=-0.567142      x=-0.567144      x=-0.567143
x=-0.567143      x=-0.567143      x=-0.567143      the root is x=-0.567143
但若用条件表达式（源文件中用注释括住），则计算到x=-0.578125时便提示“floating point error: Domain”，之后程序强制退出。
从功能上讲，源文件中的if语句和条件表达式等价，可是为何用条件表达式就会出错呢？（我用的是TC2.0）
希望能得到大家的帮助，谢谢！