atan is:exact

atan :: Floating a => a -> a
base Prelude Numeric GHC.Float, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Prelude.Compat, protolude Protolude Protolude.Base, relude Relude.Numeric, rio RIO.Prelude, base-prelude BasePrelude, classy-prelude ClassyPrelude, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Base, clash-prelude Clash.HaskellPrelude, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, ghc-internal GHC.Internal.Float GHC.Internal.Numeric, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, funcmp FMP.Types, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
atan :: C a => a -> a
numeric-prelude Algebra.Transcendental NumericPrelude NumericPrelude NumericPrelude NumericPrelude.Numeric NumericPrelude.Numeric NumericPrelude.Numeric
atan :: C a => (a -> a) -> [a] -> [a]
numeric-prelude MathObj.PowerSeries.Core
equalTrunc 500 PSE.atan (PS.atan (\0 -> 0) [0,1])

equalTrunc 50 (0:1:repeat 0) (PS.atan (\0 -> 0) PSE.tan)

checkHoles 20 (PS.atan (\0 -> 0)) 0
atan :: C a => [a]
numeric-prelude MathObj.PowerSeries.Example
atan :: TrigField a => a -> a
numhask NumHask NumHask.Algebra.Field
atan :: Trigonometry a => a -> a
foundation Foundation.Math.Trigonometry
tangent-1
atan :: Floating a => Dimensionless a -> Dimensionless a
dimensional Numeric.Units.Dimensional Numeric.Units.Dimensional.Prelude
atan :: Rational -> Rational -> Rational
numbers Data.Number.FixedFunctions
atan :: MMPFR s -> MMPFR s -> RoundMode -> ST s Int
hmpfr Data.Number.MPFR.Mutable.Special
atan :: RoundMode -> Precision -> MPFR -> MPFR
hmpfr Data.Number.MPFR.Special
atan :: TrigField x => BackpropFunc x x
inf-backprop InfBackprop Prelude.InfBackprop
Arctangent differentiable function.