I think at least it whould be mentioned somewhere that (* (cos x) 2) shoud be 'simplified' to (* 2 (cos x)). Cause it takes a half of time to match all preasumptions about which one of equivalent formulas should be.
Rust: The error message for the test_large test case isn't helpful as it doesn't give any indication as to what's being tested or what failed to pass: "assertion failed: result == expected1 || result == expected2".
Could this message be made clearer/the test input be posted in the comments?
I think at least it whould be mentioned somewhere that
(* (cos x) 2)shoud be 'simplified' to(* 2 (cos x)). Cause it takes a half of time to match all preasumptions about which one of equivalent formulas should be.Rust: The error message for the
test_largetest case isn't helpful as it doesn't give any indication as to what's being tested or what failed to pass: "assertion failed: result == expected1 || result == expected2".Could this message be made clearer/the test input be posted in the comments?
rust translation, please review and approve.