I think it is probably easier to just use it for specific instructions and then spot check the results. It isn't something like a compiler plugin that automati

I think it is probably easier to just use it for specific instructions and then spot check the results. It isn't something like a compiler plugin that automatically rewrites your code, it just spits out alternative formulations when you give it a math expression... It also can show you a graph of the error as a function of input value, which is pretty helpful.