From dc2aa86d88cd967db97453096f4434b987d5267b Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Thu, 25 Oct 2018 04:57:30 +0000 Subject: [PATCH] Fix stray line, clarify, and simplify. --- src/runtime/arith.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm index 665dd5e48..ba1753a11 100644 --- a/src/runtime/arith.scm +++ b/src/runtime/arith.scm @@ -2063,13 +2063,13 @@ USA. ;; raise inexact and underflow here.) 0.) ((<= x -37) - ;; e^x < eps/2, so + ;; e^x < eps, so ;; ;; |e^x - e^x/(1 + e^x)|/|e^x/(1 + e^x)| ;; <= |1 - 1/(1 + e^x)|*|1 + e^x| + ;; = |(1 + e^x - 1)/(1 + e^x)|*|1 + e^x| ;; = |e^x/(1 + e^x)|*|1 + e^x| - ;; = |e^x/(1 + e^x) + e^x| - ;; <= |e^x + e^x| + ;; = |e^x| ;; < eps. ;; (exp x)) -- 2.25.1