mathlib3

feat(sanity_check): greatly improve performance

#1389

Merged