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