History math/auto-libm-test-out-ctan