From 1ba45c8177e4a6ef66f7fac3a3870f477a3d03eb Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sun, 22 Dec 2013 22:39:37 -0800
Subject: [PATCH] Use the formulas from the CLHS in the docstrings.

---
 src/code/irrat-dd.lisp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/code/irrat-dd.lisp b/src/code/irrat-dd.lisp
index 2eabb5867..024ec9300 100644
--- a/src/code/irrat-dd.lisp
+++ b/src/code/irrat-dd.lisp
@@ -1854,7 +1854,7 @@ Z may be any number, but the result is always a complex."
 
 
 (defun dd-complex-asin (z)
-  _N"Compute asin z = asinh(i*z)/i
+  _N"Compute asin z = -i*log(i*z + sqrt(1-z^2))
 
 Z may be any number, but the result is always a complex."
   (declare (number z))
@@ -1894,7 +1894,7 @@ Z may be any number, but the result is always a complex."
 	     (- (realpart result)))))
 	 
 (defun dd-complex-atan (z)
-  _N"Compute atan z = atanh (i*z) / i
+  _N"Compute atan z = (log(1+i*z) - log(1-i*z))/(2*i)
 
 Z may be any number, but the result is always a complex."
   (declare (number z))
-- 
GitLab