re-implementation of MCTS-GEB https://arxiv.org/abs/2303.04651 To run test: RUST_BACKTRACE=1 cargo test math -- --nocapture