数学表达式自动等价变换 支持表达式代码自动生成、浮点误差自动化测试 支持区间划分和表达式重写等多项精度优化技术
浮点表达式误差检测及优化
基于llvm教程My First Language Frontend with LLVM Tutorial（https://llvm.org/docs/tutorial/index.html）实现。 在其基础上，扩展实现表达式等价变换、mpfr代码生成