Maple 自定义函数proc中内含有while循环，调用过程中出错“无法判断对错”
 

自己写了一个求反渐开线函数的过程，调用的时候出错，请大神帮忙看看怎么样改

ainv := proc (para)

local power;

description "fan jian kai xian han shu";

power := 3^(1/3)*inv_alpha_t_x^(1/3);

while 0.01 < abs(tan(power)-power-para) do

power := power-(tan(power)-power-para)/tan(power)^2

end do;

return power

end proc

------------------------------------------------------------------

调用：

x := ainv(para)

错误：

Error, (in ainv) cannot determine if this expression is true or false:
0.01 < tan(.3125305797*3^(1/3))-.3125305797*3^(1/3)+4.969473462