cos package:numeric-prelude

cos :: C a => a -> a
numeric-prelude Algebra.Transcendental NumericPrelude NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric NumericPrelude.Numeric
cos :: C a => (a -> (a, a)) -> [a] -> [a]
numeric-prelude MathObj.PowerSeries.Core
equalTrunc 500 PSE.cosExpl (PS.cos (\0 -> (0,1)) [0,1])

checkHoles 20 (PS.cos (\0 -> (0,1))) 0
cos :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
cos :: Integer -> Integer -> Integer
numeric-prelude Number.FixedPoint
cosh :: C a => a -> a
numeric-prelude Algebra.Transcendental NumericPrelude NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric NumericPrelude.Numeric
cosExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.cosExpl PSE.cosODE
cosODE :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
cosh :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
coshExpl :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
equalTrunc 500 PSE.coshExpl PSE.coshODE
coshODE :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
costs :: Valuable a -> T
numeric-prelude Number.Peano
cosSin :: Basis -> T -> (T, T)
numeric-prelude Number.Positional
cosSinFourth :: Basis -> T -> (T, T)
numeric-prelude Number.Positional
Like cosSinSmall but converges faster. It calls cosSinSmall with reduced arguments using the trigonometric identities cos (4*x) = 8 * cos x ^ 2 * (cos x ^ 2 - 1) + 1 sin (4*x) = 4 * sin x * cos x * (1 - 2 * sin x ^ 2) Note that the faster convergence is hidden by the overhead. The same could be achieved with a fourth power of a complex number.
cosSinSmall :: Basis -> T -> (T, T)
numeric-prelude Number.Positional
Absolute value of argument should be below 1.
cosSinhSmall :: Basis -> T -> (T, T)
numeric-prelude Number.Positional
Absolute value of argument should be below 1.
acos :: C a => a -> a
numeric-prelude Algebra.Transcendental
acosh :: C a => a -> a
numeric-prelude Algebra.Transcendental
propCosAngleSum :: (Eq a, C a) => a -> a -> Bool
numeric-prelude Algebra.Transcendental
propCosDoubleAngle :: (Eq a, C a) => a -> Bool
numeric-prelude Algebra.Transcendental
propCosPeriod :: (Eq a, C a) => a -> Bool
numeric-prelude Algebra.Transcendental
propCosSquare :: (Eq a, C a) => a -> Bool
numeric-prelude Algebra.Transcendental
acos :: C a => (a -> a) -> (a -> a) -> [a] -> [a]
numeric-prelude MathObj.PowerSeries.Core
Would be a nice test, but we cannot compute exactly with pi: 
equalTrunc 50 PSE.acos (PS.acos (\1 -> 1) (\0 -> pi/2) [0,1])
sinCos :: C a => (a -> (a, a)) -> [a] -> ([a], [a])
numeric-prelude MathObj.PowerSeries.Core
sinCosScalar :: C a => a -> (a, a)
numeric-prelude MathObj.PowerSeries.Core
acos :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example