Initial commit.

1 files changed, 22 insertions, 0 deletions

diff --git a/ic-reals-6.3/math-lib/acosh_R.c b/ic-reals-6.3/math-lib/acosh_R.c
new file mode 100644
index 0000000..467539b
--- /dev/null
+++ b/ic-reals-6.3/math-lib/acosh_R.c
@@ -0,0 +1,22 @@
+/*
+ * Copyright (C) 2000, Imperial College
+ *
+ * This file is part of the Imperial College Exact Real Arithmetic Library.
+ * See the copyright notice included in the distribution for conditions
+ * of use.
+ */
+
+#include <stdio.h>
+#include "real.h"
+
+Real
+acosh_R(Real x)
+{
+	Real r;
+
+	r = tensor_Int(x, x, 1, 0, 0, 0, 0, 0, -1, 1);
+	r = sqrt_R(r);
+	r = add_R_R(x, r);
+	r = log_R(r);
+	return r;
+}