I think Herbie only works on a closed-form expression. Besides from that though, if you are indeed summing numbers there should be some library to do that accur

I think Herbie only works on a closed-form expression. Besides from that though, if you are indeed summing numbers there should be some library to do that accurately, for example C++ Summation Toolkit [1] or the `accurate` crate in Rust [2]. [1] https://www.partow.net/programming/sumtk/index.html https://www.partow.net/programming/sumtk/index.html [2] https://docs.rs/accurate/latest/accurate/ https://docs.rs/accurate/latest/accurate/