;; e^t), and |log(1 - e^t)| < 1 < |t|, we have
;;
;; |t - log(e^t/(1 - e^t))|/|log(e^t/(1 - e^t))|
- ;; = |log(1 - e^t)|/|t - log(1 - e^t)|.
+ ;; = |log(1 - e^t)|/|t - log(1 - e^t)|
;; <= |log(1 - e^t)|
;; <= 1/(1 - e^t)
;; <= 2|e^t|
;; = (1 - 2 e^t) (1 - 2 d0 e^t/(1 - 2 e^t)) (1 + d1)
;; / [(1 + d0) e^t]
;; = [(1 - 2 e^t)/e^t]
- ;; * (1 - 2 d0 e^t/(1 - 2 e^t)) (1 + d1)/(1 + d0).
+ ;; * (1 - 2 d0 e^t/(1 - 2 e^t)) (1 + d1)/(1 + d0)
;; = [(1 - 2 e^t)/e^t]
;; * (1 + d1 - (1 + d1) 2 d0 e^t/(1 - 2 e^t))
;; / (1 + d0).