on master help sign in
sinh, cosh, tanh

Inverses are left out because acosh and atanh aren't always real.

commite27f212836fdeb00564bf6021d8c05e2cd8e9765 authorAndy Morris <andy@adradh.org.uk> dateTue 16 Apr 2013, 02:07 (14 years ago) parent437526a
1 file changed+9
lib/Prelude.idr+9
lib/Prelude.idr+9
@@ -178,6 +178,15 @@ atan x = prim__floatATan x
178178atan2 : Float -> Float -> Float
179179atan2 y x = atan (y/x)
180180
181+sinh : Float -> Float
182+sinh x = (exp x - exp (-x)) / 2
183+
184+cosh : Float -> Float
185+cosh x = (exp x + exp (-x)) / 2
186+
187+tanh : Float -> Float
188+tanh x = sinh x / cosh x
189+
181190sqrt : Float -> Float
182191sqrt x = prim__floatSqrt x
183192