解题：
sqr()为求平方根函数，应保证括号内数值为非负数

正确：使用绝对值函数abs()，修改为x/abs(sqr(x^2+m))

有穷性： 一个算法必须保证执行有限步之后结束；
确定性： 算法的每一步骤必须有确切的定义；
可行性： 算法原则上能够精确地运行，而且人们用笔和纸做有限次运算后即可完成。