History math/auto-libm-test-in