root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs# cat ../../Float.curry
------------------------------------------------------------------------------
--- A collection of operations on floating point numbers.
---
--- @category general
------------------------------------------------------------------------------

module Float(pi,(+.),(-.),(*.),(/.),(^.),i2f,truncate,round,recip,sqrt,log
             ,logBase, exp,sin,cos,tan,asin,acos,atan,sinh,cosh,tanh
            ,asinh,acosh,atanh) where

-- The operator declarations are similar to the standard arithmetic operators.

infixr 8 ^.
infixl 7 *., /.
infixl 6 +., -.


--- The number pi.
pi :: Float
pi = 3.141592653589793238

--- Addition on floats.
(+.)   :: Float -> Float -> Float
x +. y = (prim_Float_plus $# y) $# x

prim_Float_plus :: Float -> Float -> Float
prim_Float_plus external

--- Subtraction on floats.
(-.)   :: Float -> Float -> Float
x -. y = (prim_Float_minus $# y) $# x

prim_Float_minus :: Float -> Float -> Float
prim_Float_minus external

--- Multiplication on floats.
(*.)   :: Float -> Float -> Float
x *. y = (prim_Float_times $# y) $# x

prim_Float_times :: Float -> Float -> Float
prim_Float_times external

--- Division on floats.
(/.)   :: Float -> Float -> Float
x /. y = (prim_Float_div $# y) $# x

prim_Float_div :: Float -> Float -> Float
prim_Float_div external

--- The value of `a ^. b` is `a` raised to the power of `b`.
--- Executes in `O(log b)` steps.
---
--- @param a - The base.
--- @param b - The exponent.
--- @return `a` raised to the power of `b`.

(^.) :: Float -> Int -> Float
a ^. b | b < 0     = 1 /. a ^. (b * (-1))
       | otherwise = powaux 1.0 a b
  where
    powaux n x y = if y == 0 then n
                   else powaux (n *. if (y `mod` 2 == 1) then x else 1.0)
                               (x *. x)
                               (y `div` 2)

--- Conversion function from integers to floats.
i2f    :: Int -> Float
i2f x = prim_i2f $# x

prim_i2f :: Int -> Float
prim_i2f external

--- Conversion function from floats to integers.
--- The result is the closest integer between the argument and 0.
truncate :: Float -> Int
truncate x = prim_truncate $# x

prim_truncate :: Float -> Int
prim_truncate external

--- Conversion function from floats to integers.
--- The result is the nearest integer to the argument.
--- If the argument is equidistant between two integers,
--- it is rounded to the closest even integer value.

round :: Float -> Int
round x = prim_round $# x

prim_round :: Float -> Int
prim_round external

--- Reciprocal

recip :: Float -> Float
recip x = 1.0 /. x

--- Square root.

sqrt :: Float -> Float
sqrt x = prim_sqrt $# x

prim_sqrt :: Float -> Float
prim_sqrt external

--- Natural logarithm.

log :: Float -> Float
log x = prim_log $# x

prim_log :: Float -> Float
prim_log external

--- Logarithm to arbitrary Base.

logBase :: Float -> Float -> Float
logBase x y = log y /. log x

--- Natural exponent.
exp :: Float -> Float
exp x = prim_exp $# x

prim_exp :: Float -> Float
prim_exp external

--- Sine.
sin :: Float -> Float
sin x = prim_sin $# x

prim_sin :: Float -> Float
prim_sin external

--- Cosine.
cos :: Float -> Float
cos x = prim_cos $# x

prim_cos :: Float -> Float
prim_cos external

--- Tangent.
tan :: Float -> Float
tan x = prim_tan $# x

prim_tan :: Float -> Float
prim_tan external

--- Arc sine.
asin :: Float -> Float
asin x = prim_asin $# x

prim_asin :: Float -> Float
prim_asin external

-- Arc cosine.
acos :: Float -> Float
acos x = prim_acos $# x

prim_acos :: Float -> Float
prim_acos external

--- Arc tangent.
atan :: Float -> Float
atan x = prim_atan $# x

prim_atan :: Float -> Float
prim_atan external

--- Hyperbolic sine.
sinh :: Float -> Float
sinh x = prim_sinh $# x

prim_sinh :: Float -> Float
prim_sinh external

-- Hyperbolic cosine.
cosh :: Float -> Float
cosh x = prim_cosh $# x

prim_cosh :: Float -> Float
prim_cosh external

--- Hyperbolic tangent.
tanh :: Float -> Float
tanh x = prim_tanh $# x

prim_tanh :: Float -> Float
prim_tanh external

--- Hyperbolic Arc sine.
asinh :: Float -> Float
asinh x = prim_asinh $# x

prim_asinh :: Float -> Float
prim_asinh external

-- Hyperbolic Arc cosine.
acosh :: Float -> Float
acosh x = prim_acosh $# x

prim_acosh :: Float -> Float
prim_acosh external

--- Hyperbolic Arc tangent.
atanh :: Float -> Float
atanh x = prim_atanh $# x

prim_atanh :: Float -> Float
prim_atanh external
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs#
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs#
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs#
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs#
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs#
root@gitlab:/usr/lib/pakcs/lib/.curry/pakcs# cat Float.pl
%PAKCS2.0 swi7 VARIABLESHARING

:-noSingletonWarnings.
:-noRedefineWarnings.
:-noDiscontiguousWarnings.

:-importModule('Prelude').

:-curryModule('Float').

:-ensure_lib_loaded(prim_float).

%%%%%%%%%%%% function types %%%%%%%%%%%%%%%%%%%
:-multifile functiontype/6.
:-dynamic functiontype/6.
functiontype('Float.pi',pi,0,'Float.pi',nofix,'TCons'('Prelude.Float',[])).
functiontype('Float.+.',+.,2,'Float.+.',infixl(6),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.prim_Float_plus','Float.prim_Float_plus',2,'Float.prim_Float_plus',nofix,'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.-.',-.,2,'Float.-.',infixl(6),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.prim_Float_minus','Float.prim_Float_minus',2,'Float.prim_Float_minus',nofix,'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.*.',*.,2,'Float.*.',infixl(7),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.prim_Float_times','Float.prim_Float_times',2,'Float.prim_Float_times',nofix,'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float./.',/.,2,'Float./.',infixl(7),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.prim_Float_div','Float.prim_Float_div',2,'Float.prim_Float_div',nofix,'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.^.',^.,2,'Float.^.',infixr(8),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Int',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.\'5E..powaux.12','Float.^..powaux.12',4,'Float.\'5E..powaux.12',nofix,'FuncType'('TCons'('Prelude._Dict\'23Integral',[_2139752]),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'FuncType'(_2139752,'TCons'('Prelude.Float',[])))))).
functiontype('Float.i2f',i2f,1,'Float.i2f',nofix,'FuncType'('TCons'('Prelude.Int',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_i2f','Float.prim_i2f',1,'Float.prim_i2f',nofix,'FuncType'('TCons'('Prelude.Int',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.truncate',truncate,1,'Float.truncate',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Int',[]))).
functiontype('Float.prim_truncate','Float.prim_truncate',1,'Float.prim_truncate',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Int',[]))).
functiontype('Float.round',round,1,'Float.round',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Int',[]))).
functiontype('Float.prim_round','Float.prim_round',1,'Float.prim_round',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Int',[]))).
functiontype('Float.recip',recip,1,'Float.recip',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.sqrt',sqrt,1,'Float.sqrt',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_sqrt','Float.prim_sqrt',1,'Float.prim_sqrt',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.log',log,1,'Float.log',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_log','Float.prim_log',1,'Float.prim_log',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.logBase',logBase,2,'Float.logBase',nofix,'FuncType'('TCons'('Prelude.Float',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).
functiontype('Float.exp',exp,1,'Float.exp',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_exp','Float.prim_exp',1,'Float.prim_exp',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.sin',sin,1,'Float.sin',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_sin','Float.prim_sin',1,'Float.prim_sin',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.cos',cos,1,'Float.cos',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_cos','Float.prim_cos',1,'Float.prim_cos',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.tan',tan,1,'Float.tan',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_tan','Float.prim_tan',1,'Float.prim_tan',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.asin',asin,1,'Float.asin',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_asin','Float.prim_asin',1,'Float.prim_asin',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.acos',acos,1,'Float.acos',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_acos','Float.prim_acos',1,'Float.prim_acos',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.atan',atan,1,'Float.atan',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_atan','Float.prim_atan',1,'Float.prim_atan',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.sinh',sinh,1,'Float.sinh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_sinh','Float.prim_sinh',1,'Float.prim_sinh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.cosh',cosh,1,'Float.cosh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_cosh','Float.prim_cosh',1,'Float.prim_cosh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.tanh',tanh,1,'Float.tanh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_tanh','Float.prim_tanh',1,'Float.prim_tanh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.asinh',asinh,1,'Float.asinh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_asinh','Float.prim_asinh',1,'Float.prim_asinh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.acosh',acosh,1,'Float.acosh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_acosh','Float.prim_acosh',1,'Float.prim_acosh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.atanh',atanh,1,'Float.atanh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.prim_atanh','Float.prim_atanh',1,'Float.prim_atanh',nofix,'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[]))).
functiontype('Float.\'5E..powaux.12._\'23caseor0','Float.^..powaux.12._#caseor0',2,'Float.\'5E..powaux.12._\'23caseor0',nofix,'FuncType'('TCons'('Prelude.Bool',[]),'FuncType'('TCons'('Prelude.Float',[]),'TCons'('Prelude.Float',[])))).

%%%%%%%%%%%% constructor types %%%%%%%%%%%%%%%%%%%
:-multifile constructortype/7.
:-dynamic constructortype/7.

%%%%%%%%%%%% function definitions %%%%%%%%%%%%%%%%%%%
'Float.pi'(_2188416,_2188418,_2188420):-freeze(_2188418,'blocked_Float.pi'(_2188416,_2188418,_2188420)).
'blocked_Float.pi'(3.1415926535897927,_2188484,_2188484).

'Float.+.'(_2189094,_2189096,_2189098,_2189100,_2189102):-freeze(_2189100,'blocked_Float.+.'(_2189094,_2189096,_2189098,_2189100,_2189102)).
'blocked_Float.+.'(_2189180,_2189198,_2189518,_2189524,_2189530):-hnf('Prelude.$#'('Prelude.$#'(partcall(2,'Float.prim_Float_plus',[]),_2189198),_2189180),_2189518,_2189524,_2189530).

'Float.prim_Float_plus'(_2190976,_2190978,_2190980,_2190982,_2190984):-freeze(_2190982,'blocked_Float.prim_Float_plus'(_2190976,_2190978,_2190980,_2190982,_2190984)).
'blocked_Float.prim_Float_plus'(_2191054,_2191060,_2191066,_2191072,_2191078):-derefRoot(_2191054,_2191114),derefRoot(_2191060,_2191120),prim_Float_plus(_2191114,_2191120,_2191066),_2191072=_2191078.

'Float.-.'(_2193650,_2193652,_2193654,_2193656,_2193658):-freeze(_2193656,'blocked_Float.-.'(_2193650,_2193652,_2193654,_2193656,_2193658)).
'blocked_Float.-.'(_2193736,_2193754,_2194074,_2194080,_2194086):-hnf('Prelude.$#'('Prelude.$#'(partcall(2,'Float.prim_Float_minus',[]),_2193754),_2193736),_2194074,_2194080,_2194086).

'Float.prim_Float_minus'(_2195550,_2195552,_2195554,_2195556,_2195558):-freeze(_2195556,'blocked_Float.prim_Float_minus'(_2195550,_2195552,_2195554,_2195556,_2195558)).
'blocked_Float.prim_Float_minus'(_2195628,_2195634,_2195640,_2195646,_2195652):-derefRoot(_2195628,_2195688),derefRoot(_2195634,_2195694),prim_Float_minus(_2195688,_2195694,_2195640),_2195646=_2195652.

'Float.*.'(_2198224,_2198226,_2198228,_2198230,_2198232):-freeze(_2198230,'blocked_Float.*.'(_2198224,_2198226,_2198228,_2198230,_2198232)).
'blocked_Float.*.'(_2198310,_2198328,_2198648,_2198654,_2198660):-hnf('Prelude.$#'('Prelude.$#'(partcall(2,'Float.prim_Float_times',[]),_2198328),_2198310),_2198648,_2198654,_2198660).

'Float.prim_Float_times'(_2200124,_2200126,_2200128,_2200130,_2200132):-freeze(_2200130,'blocked_Float.prim_Float_times'(_2200124,_2200126,_2200128,_2200130,_2200132)).
'blocked_Float.prim_Float_times'(_2200202,_2200208,_2200214,_2200220,_2200226):-derefRoot(_2200202,_2200262),derefRoot(_2200208,_2200268),prim_Float_times(_2200262,_2200268,_2200214),_2200220=_2200226.

'Float./.'(_2202798,_2202800,_2202802,_2202804,_2202806):-freeze(_2202804,'blocked_Float./.'(_2202798,_2202800,_2202802,_2202804,_2202806)).
'blocked_Float./.'(_2202884,_2202902,_2203222,_2203228,_2203234):-hnf('Prelude.$#'('Prelude.$#'(partcall(2,'Float.prim_Float_div',[]),_2202902),_2202884),_2203222,_2203228,_2203234).

'Float.prim_Float_div'(_2204662,_2204664,_2204666,_2204668,_2204670):-freeze(_2204668,'blocked_Float.prim_Float_div'(_2204662,_2204664,_2204666,_2204668,_2204670)).
'blocked_Float.prim_Float_div'(_2204740,_2204746,_2204752,_2204758,_2204764):-derefRoot(_2204740,_2204800),derefRoot(_2204746,_2204806),prim_Float_div(_2204800,_2204806,_2204752),_2204758=_2204764.

'Float.^.'(_2207336,_2207338,_2207340,_2207342,_2207344):-freeze(_2207342,'blocked_Float.^.'(_2207336,_2207338,_2207340,_2207342,_2207344)).
'blocked_Float.^.'(_2207422,_2207440,_2211140,_2211146,_2211152):-makeShare(_2207440,_2209372),hnf('Prelude.apply'('Prelude.apply'('Prelude._impl\'23\'3C\'23Prelude.Ord\'23Prelude.Int',_2209372),0),_2211884,_2211146,_2211854),'blocked_Float.^._ComplexCase'(_2211884,_2207422,_2209372,_2211140,_2211854,_2211152).

'blocked_Float.^._ComplexCase'(_2212214,_2212216,_2212218,_2212220,_2212222,_2212224):-freeze(_2212222,freeze(_2212214,'blocked_blocked_Float.^._ComplexCase'(_2212214,_2212216,_2212218,_2212220,_2212222,_2212224))).
'blocked_blocked_Float.^._ComplexCase'('Prelude.True',_2207422,_2209372,_2212566,_2212572,_2212578):-hnf('Float./.'(1.0,'Float.^.'(_2207422,'Prelude._impl\'23\'2A\'23Prelude.Num\'23Prelude.Int'(_2209372,'Prelude._impl\'23negate\'23Prelude.Num\'23Prelude.Int'(1)))),_2212566,_2212572,_2212578).
'blocked_blocked_Float.^._ComplexCase'('Prelude.False',_2207422,_2209372,_2215520,_2215526,_2215532):-!,hnf('Prelude.otherwise',_2217412,_2215526,_2217382),'blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'(_2217412,_2207422,_2209372,_2215520,_2217382,_2215532).

'blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'(_2217952,_2217954,_2217956,_2217958,_2217960,_2217962):-freeze(_2217960,freeze(_2217952,'blocked_blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'(_2217952,_2217954,_2217956,_2217958,_2217960,_2217962))).
'blocked_blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'('Prelude.True',_2207422,_2209372,_2218304,_2218310,_2218316):-hnf('Float.\'5E..powaux.12'('Prelude._inst\'23Prelude.Integral\'23Prelude.Int',1.0,_2207422,_2209372),_2218304,_2218310,_2218316).
'blocked_blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'('Prelude.False',_2207422,_2209372,_2219996,_2220002,_2220008):-!,hnf('Prelude.failure'('Float.^.',['Prelude.False']),_2219996,_2220002,_2220008).
'blocked_blocked_blocked_Float.^._ComplexCase_Prelude.False_ComplexCase'('FAIL'(_2221338),_2207422,_2209372,'FAIL'(_2221338),_2221352,_2221352).
'blocked_blocked_Float.^._ComplexCase'('FAIL'(_2221414),_2207422,_2209372,'FAIL'(_2221414),_2221428,_2221428).

'Float.\'5E..powaux.12'(_2222276,_2222278,_2222280,_2222282,_2222284,_2222286,_2222288):-freeze(_2222286,'blocked_Float.\'5E..powaux.12'(_2222276,_2222278,_2222280,_2222282,_2222284,_2222286,_2222288)).
'blocked_Float.\'5E..powaux.12'(_2222382,_2222400,_2222418,_2222436,_2231828,_2231834,_2231840):-makeShare(_2222382,_2227276),makeShare(_2222436,_2227296),hnf('Prelude.apply'('Prelude.apply'('Prelude.=='('Prelude._super\'23Prelude.Ord\'23Prelude.Eq'('Prelude._super\'23Prelude.Real\'23Prelude.Ord'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2227276)))),_2227296),'Prelude.apply'('Prelude.fromInt'('Prelude._super\'23Prelude.Real\'23Prelude.Num'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2227276))),0)),_2233032,_2231834,_2232990),'blocked_Float.\'5E..powaux.12_ComplexCase'(_2233032,_2227276,_2222400,_2222418,_2227296,_2231828,_2232990,_2231840).

'blocked_Float.\'5E..powaux.12_ComplexCase'(_2233450,_2233452,_2233454,_2233456,_2233458,_2233460,_2233462,_2233464):-freeze(_2233462,freeze(_2233450,'blocked_blocked_Float.\'5E..powaux.12_ComplexCase'(_2233450,_2233452,_2233454,_2233456,_2233458,_2233460,_2233462,_2233464))).
'blocked_blocked_Float.\'5E..powaux.12_ComplexCase'('Prelude.True',_2227276,_2222400,_2222418,_2227296,_2233822,_2233828,_2233834):-hnf(_2222400,_2233822,_2233828,_2233834).
'blocked_blocked_Float.\'5E..powaux.12_ComplexCase'('Prelude.False',_2227276,_2222400,_2222418,_2227296,_2234752,_2234758,_2234764):-!,makeShare(_2227276,_2235156),makeShare(_2227296,_2235176),makeShare(_2222418,_2235196),hnf('Float.\'5E..powaux.12'(_2235156,'Float.*.'(_2222400,'Float.\'5E..powaux.12._\'23caseor0'('Prelude.apply'('Prelude.apply'('Prelude.=='('Prelude._super\'23Prelude.Ord\'23Prelude.Eq'('Prelude._super\'23Prelude.Real\'23Prelude.Ord'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2235156)))),'Prelude.apply'('Prelude.apply'('Prelude.mod'(_2235156),_2235176),'Prelude.apply'('Prelude.fromInt'('Prelude._super\'23Prelude.Real\'23Prelude.Num'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2235156))),2))),'Prelude.apply'('Prelude.fromInt'('Prelude._super\'23Prelude.Real\'23Prelude.Num'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2235156))),1)),_2235196)),'Float.*.'(_2235196,_2235196),'Prelude.apply'('Prelude.apply'('Prelude.div'(_2235156),_2235176),'Prelude.apply'('Prelude.fromInt'('Prelude._super\'23Prelude.Real\'23Prelude.Num'('Prelude._super\'23Prelude.Integral\'23Prelude.Real'(_2235156))),2))),_2234752,_2234758,_2234764).
'blocked_blocked_Float.\'5E..powaux.12_ComplexCase'('FAIL'(_2244478),_2227276,_2222400,_2222418,_2227296,'FAIL'(_2244478),_2244492,_2244492).

'Float.i2f'(_2245002,_2245004,_2245006,_2245008):-freeze(_2245006,'blocked_Float.i2f'(_2245002,_2245004,_2245006,_2245008)).
'blocked_Float.i2f'(_2245078,_2245252,_2245258,_2245264):-hnf('Prelude.$#'(partcall(1,'Float.prim_i2f',[]),_2245078),_2245252,_2245258,_2245264).

'Float.prim_i2f'(_2246204,_2246206,_2246208,_2246210):-freeze(_2246208,'blocked_Float.prim_i2f'(_2246204,_2246206,_2246208,_2246210)).
'blocked_Float.prim_i2f'(_2246272,_2246278,_2246284,_2246290):-derefRoot(_2246272,_2246318),prim_i2f(_2246318,_2246278),_2246284=_2246290.

'Float.truncate'(_2248022,_2248024,_2248026,_2248028):-freeze(_2248026,'blocked_Float.truncate'(_2248022,_2248024,_2248026,_2248028)).
'blocked_Float.truncate'(_2248098,_2248272,_2248278,_2248284):-hnf('Prelude.$#'(partcall(1,'Float.prim_truncate',[]),_2248098),_2248272,_2248278,_2248284).

'Float.prim_truncate'(_2249344,_2249346,_2249348,_2249350):-freeze(_2249348,'blocked_Float.prim_truncate'(_2249344,_2249346,_2249348,_2249350)).
'blocked_Float.prim_truncate'(_2249412,_2249418,_2249424,_2249430):-derefRoot(_2249412,_2249458),prim_truncate(_2249458,_2249418),_2249424=_2249430.

'Float.round'(_2251054,_2251056,_2251058,_2251060):-freeze(_2251058,'blocked_Float.round'(_2251054,_2251056,_2251058,_2251060)).
'blocked_Float.round'(_2251130,_2251304,_2251310,_2251316):-hnf('Prelude.$#'(partcall(1,'Float.prim_round',[]),_2251130),_2251304,_2251310,_2251316).

'Float.prim_round'(_2252304,_2252306,_2252308,_2252310):-freeze(_2252308,'blocked_Float.prim_round'(_2252304,_2252306,_2252308,_2252310)).
'blocked_Float.prim_round'(_2252372,_2252378,_2252384,_2252390):-derefRoot(_2252372,_2252418),prim_round(_2252418,_2252378),_2252384=_2252390.

'Float.recip'(_2254014,_2254016,_2254018,_2254020):-freeze(_2254018,'blocked_Float.recip'(_2254014,_2254016,_2254018,_2254020)).
'blocked_Float.recip'(_2254090,_2254250,_2254256,_2254262):-hnf('Float./.'(1.0,_2254090),_2254250,_2254256,_2254262).

'Float.sqrt'(_2255272,_2255274,_2255276,_2255278):-freeze(_2255276,'blocked_Float.sqrt'(_2255272,_2255274,_2255276,_2255278)).
'blocked_Float.sqrt'(_2255348,_2255522,_2255528,_2255534):-hnf('Prelude.$#'(partcall(1,'Float.prim_sqrt',[]),_2255348),_2255522,_2255528,_2255534).

'Float.prim_sqrt'(_2256498,_2256500,_2256502,_2256504):-freeze(_2256502,'blocked_Float.prim_sqrt'(_2256498,_2256500,_2256502,_2256504)).
'blocked_Float.prim_sqrt'(_2256566,_2256572,_2256578,_2256584):-derefRoot(_2256566,_2256612),prim_sqrt(_2256612,_2256572),_2256578=_2256584.

'Float.log'(_2258136,_2258138,_2258140,_2258142):-freeze(_2258140,'blocked_Float.log'(_2258136,_2258138,_2258140,_2258142)).
'blocked_Float.log'(_2258212,_2258386,_2258392,_2258398):-hnf('Prelude.$#'(partcall(1,'Float.prim_log',[]),_2258212),_2258386,_2258392,_2258398).

'Float.prim_log'(_2259338,_2259340,_2259342,_2259344):-freeze(_2259342,'blocked_Float.prim_log'(_2259338,_2259340,_2259342,_2259344)).
'blocked_Float.prim_log'(_2259406,_2259412,_2259418,_2259424):-derefRoot(_2259406,_2259452),prim_log(_2259452,_2259412),_2259418=_2259424.

'Float.logBase'(_2261120,_2261122,_2261124,_2261126,_2261128):-freeze(_2261126,'blocked_Float.logBase'(_2261120,_2261122,_2261124,_2261126,_2261128)).
'blocked_Float.logBase'(_2261206,_2261224,_2261544,_2261550,_2261556):-hnf('Float./.'('Float.log'(_2261224),'Float.log'(_2261206)),_2261544,_2261550,_2261556).

'Float.exp'(_2262936,_2262938,_2262940,_2262942):-freeze(_2262940,'blocked_Float.exp'(_2262936,_2262938,_2262940,_2262942)).
'blocked_Float.exp'(_2263012,_2263186,_2263192,_2263198):-hnf('Prelude.$#'(partcall(1,'Float.prim_exp',[]),_2263012),_2263186,_2263192,_2263198).

'Float.prim_exp'(_2264138,_2264140,_2264142,_2264144):-freeze(_2264142,'blocked_Float.prim_exp'(_2264138,_2264140,_2264142,_2264144)).
'blocked_Float.prim_exp'(_2264206,_2264212,_2264218,_2264224):-derefRoot(_2264206,_2264252),prim_exp(_2264252,_2264212),_2264218=_2264224.

'Float.sin'(_2265776,_2265778,_2265780,_2265782):-freeze(_2265780,'blocked_Float.sin'(_2265776,_2265778,_2265780,_2265782)).
'blocked_Float.sin'(_2265852,_2266026,_2266032,_2266038):-hnf('Prelude.$#'(partcall(1,'Float.prim_sin',[]),_2265852),_2266026,_2266032,_2266038).

'Float.prim_sin'(_2266978,_2266980,_2266982,_2266984):-freeze(_2266982,'blocked_Float.prim_sin'(_2266978,_2266980,_2266982,_2266984)).
'blocked_Float.prim_sin'(_2267046,_2267052,_2267058,_2267064):-derefRoot(_2267046,_2267092),prim_sin(_2267092,_2267052),_2267058=_2267064.

'Float.cos'(_2268616,_2268618,_2268620,_2268622):-freeze(_2268620,'blocked_Float.cos'(_2268616,_2268618,_2268620,_2268622)).
'blocked_Float.cos'(_2268692,_2268866,_2268872,_2268878):-hnf('Prelude.$#'(partcall(1,'Float.prim_cos',[]),_2268692),_2268866,_2268872,_2268878).

'Float.prim_cos'(_2269818,_2269820,_2269822,_2269824):-freeze(_2269822,'blocked_Float.prim_cos'(_2269818,_2269820,_2269822,_2269824)).
'blocked_Float.prim_cos'(_2269886,_2269892,_2269898,_2269904):-derefRoot(_2269886,_2269932),prim_cos(_2269932,_2269892),_2269898=_2269904.

'Float.tan'(_2271456,_2271458,_2271460,_2271462):-freeze(_2271460,'blocked_Float.tan'(_2271456,_2271458,_2271460,_2271462)).
'blocked_Float.tan'(_2271532,_2271706,_2271712,_2271718):-hnf('Prelude.$#'(partcall(1,'Float.prim_tan',[]),_2271532),_2271706,_2271712,_2271718).

'Float.prim_tan'(_2272658,_2272660,_2272662,_2272664):-freeze(_2272662,'blocked_Float.prim_tan'(_2272658,_2272660,_2272662,_2272664)).
'blocked_Float.prim_tan'(_2272726,_2272732,_2272738,_2272744):-derefRoot(_2272726,_2272772),prim_tan(_2272772,_2272732),_2272738=_2272744.

'Float.asin'(_2274332,_2274334,_2274336,_2274338):-freeze(_2274336,'blocked_Float.asin'(_2274332,_2274334,_2274336,_2274338)).
'blocked_Float.asin'(_2274408,_2274582,_2274588,_2274594):-hnf('Prelude.$#'(partcall(1,'Float.prim_asin',[]),_2274408),_2274582,_2274588,_2274594).

'Float.prim_asin'(_2275558,_2275560,_2275562,_2275564):-freeze(_2275562,'blocked_Float.prim_asin'(_2275558,_2275560,_2275562,_2275564)).
'blocked_Float.prim_asin'(_2275626,_2275632,_2275638,_2275644):-derefRoot(_2275626,_2275672),prim_asin(_2275672,_2275632),_2275638=_2275644.

'Float.acos'(_2277232,_2277234,_2277236,_2277238):-freeze(_2277236,'blocked_Float.acos'(_2277232,_2277234,_2277236,_2277238)).
'blocked_Float.acos'(_2277308,_2277482,_2277488,_2277494):-hnf('Prelude.$#'(partcall(1,'Float.prim_acos',[]),_2277308),_2277482,_2277488,_2277494).

'Float.prim_acos'(_2278458,_2278460,_2278462,_2278464):-freeze(_2278462,'blocked_Float.prim_acos'(_2278458,_2278460,_2278462,_2278464)).
'blocked_Float.prim_acos'(_2278526,_2278532,_2278538,_2278544):-derefRoot(_2278526,_2278572),prim_acos(_2278572,_2278532),_2278538=_2278544.

'Float.atan'(_2280132,_2280134,_2280136,_2280138):-freeze(_2280136,'blocked_Float.atan'(_2280132,_2280134,_2280136,_2280138)).
'blocked_Float.atan'(_2280208,_2280382,_2280388,_2280394):-hnf('Prelude.$#'(partcall(1,'Float.prim_atan',[]),_2280208),_2280382,_2280388,_2280394).

'Float.prim_atan'(_2281358,_2281360,_2281362,_2281364):-freeze(_2281362,'blocked_Float.prim_atan'(_2281358,_2281360,_2281362,_2281364)).
'blocked_Float.prim_atan'(_2281426,_2281432,_2281438,_2281444):-derefRoot(_2281426,_2281472),prim_atan(_2281472,_2281432),_2281438=_2281444.

'Float.sinh'(_2283032,_2283034,_2283036,_2283038):-freeze(_2283036,'blocked_Float.sinh'(_2283032,_2283034,_2283036,_2283038)).
'blocked_Float.sinh'(_2283108,_2283282,_2283288,_2283294):-hnf('Prelude.$#'(partcall(1,'Float.prim_sinh',[]),_2283108),_2283282,_2283288,_2283294).

'Float.prim_sinh'(_2284258,_2284260,_2284262,_2284264):-freeze(_2284262,'blocked_Float.prim_sinh'(_2284258,_2284260,_2284262,_2284264)).
'blocked_Float.prim_sinh'(_2284326,_2284332,_2284338,_2284344):-derefRoot(_2284326,_2284372),prim_sinh(_2284372,_2284332),_2284338=_2284344.

'Float.cosh'(_2285932,_2285934,_2285936,_2285938):-freeze(_2285936,'blocked_Float.cosh'(_2285932,_2285934,_2285936,_2285938)).
'blocked_Float.cosh'(_2286008,_2286182,_2286188,_2286194):-hnf('Prelude.$#'(partcall(1,'Float.prim_cosh',[]),_2286008),_2286182,_2286188,_2286194).

'Float.prim_cosh'(_2287158,_2287160,_2287162,_2287164):-freeze(_2287162,'blocked_Float.prim_cosh'(_2287158,_2287160,_2287162,_2287164)).
'blocked_Float.prim_cosh'(_2287226,_2287232,_2287238,_2287244):-derefRoot(_2287226,_2287272),prim_cosh(_2287272,_2287232),_2287238=_2287244.

'Float.tanh'(_2288832,_2288834,_2288836,_2288838):-freeze(_2288836,'blocked_Float.tanh'(_2288832,_2288834,_2288836,_2288838)).
'blocked_Float.tanh'(_2288908,_2289082,_2289088,_2289094):-hnf('Prelude.$#'(partcall(1,'Float.prim_tanh',[]),_2288908),_2289082,_2289088,_2289094).

'Float.prim_tanh'(_2290058,_2290060,_2290062,_2290064):-freeze(_2290062,'blocked_Float.prim_tanh'(_2290058,_2290060,_2290062,_2290064)).
'blocked_Float.prim_tanh'(_2290126,_2290132,_2290138,_2290144):-derefRoot(_2290126,_2290172),prim_tanh(_2290172,_2290132),_2290138=_2290144.

'Float.asinh'(_2291768,_2291770,_2291772,_2291774):-freeze(_2291772,'blocked_Float.asinh'(_2291768,_2291770,_2291772,_2291774)).
'blocked_Float.asinh'(_2291844,_2292018,_2292024,_2292030):-hnf('Prelude.$#'(partcall(1,'Float.prim_asinh',[]),_2291844),_2292018,_2292024,_2292030).

'Float.prim_asinh'(_2293018,_2293020,_2293022,_2293024):-freeze(_2293022,'blocked_Float.prim_asinh'(_2293018,_2293020,_2293022,_2293024)).
'blocked_Float.prim_asinh'(_2293086,_2293092,_2293098,_2293104):-derefRoot(_2293086,_2293132),prim_asinh(_2293132,_2293092),_2293098=_2293104.

'Float.acosh'(_2294728,_2294730,_2294732,_2294734):-freeze(_2294732,'blocked_Float.acosh'(_2294728,_2294730,_2294732,_2294734)).
'blocked_Float.acosh'(_2294804,_2294978,_2294984,_2294990):-hnf('Prelude.$#'(partcall(1,'Float.prim_acosh',[]),_2294804),_2294978,_2294984,_2294990).

'Float.prim_acosh'(_2295978,_2295980,_2295982,_2295984):-freeze(_2295982,'blocked_Float.prim_acosh'(_2295978,_2295980,_2295982,_2295984)).
'blocked_Float.prim_acosh'(_2296046,_2296052,_2296058,_2296064):-derefRoot(_2296046,_2296092),prim_acosh(_2296092,_2296052),_2296058=_2296064.

'Float.atanh'(_2297688,_2297690,_2297692,_2297694):-freeze(_2297692,'blocked_Float.atanh'(_2297688,_2297690,_2297692,_2297694)).
'blocked_Float.atanh'(_2297764,_2297938,_2297944,_2297950):-hnf('Prelude.$#'(partcall(1,'Float.prim_atanh',[]),_2297764),_2297938,_2297944,_2297950).

'Float.prim_atanh'(_2298938,_2298940,_2298942,_2298944):-freeze(_2298942,'blocked_Float.prim_atanh'(_2298938,_2298940,_2298942,_2298944)).
'blocked_Float.prim_atanh'(_2299006,_2299012,_2299018,_2299024):-derefRoot(_2299006,_2299052),prim_atanh(_2299052,_2299012),_2299018=_2299024.

'Float.\'5E..powaux.12._\'23caseor0'(_2301314,_2301316,_2301318,_2301320,_2301322):-freeze(_2301320,'blocked_Float.\'5E..powaux.12._\'23caseor0'(_2301314,_2301316,_2301318,_2301320,_2301322)).
'blocked_Float.\'5E..powaux.12._\'23caseor0'(_2301400,_2301418,_2301862,_2301868,_2301874):-hnf(_2301400,_2303410,_2301868,_2303386),'blocked_Float.\'5E..powaux.12._\'23caseor0_1'(_2303410,_2301418,_2301862,_2303386,_2301874).

'blocked_Float.\'5E..powaux.12._\'23caseor0_1'(_2303810,_2303812,_2303814,_2303816,_2303818):-freeze(_2303816,freeze(_2303810,'blocked_blocked_Float.\'5E..powaux.12._\'23caseor0_1'(_2303810,_2303812,_2303814,_2303816,_2303818))).
'blocked_blocked_Float.\'5E..powaux.12._\'23caseor0_1'('Prelude.True',_2301418,_2304152,_2304158,_2304164):-hnf(_2301418,_2304152,_2304158,_2304164).
'blocked_blocked_Float.\'5E..powaux.12._\'23caseor0_1'('Prelude.False',_2301418,1.0,_2304890,_2304890):-!.
'blocked_blocked_Float.\'5E..powaux.12._\'23caseor0_1'('FAIL'(_2305336),_2301418,'FAIL'(_2305336),_2305350,_2305350).

:-costCenters(['']).



% See https://github.com/TeamSPoon/pakcs_lib/blob/master/src/lib_src/prim_float.pl