符号式优化 C 代码

通过限制斐波那契函数的尾递归来符号式优化 C 代码.