(*.f64 (neg.f64 omegai) (pow.f64 tau m_double))
(*.f64 (neg.f64 ci) (pow.f64 delta l_int))
(*.f64 (neg.f64 ci) (pow.f64 delta l_double))
(-.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -1 binary64))
(*.f64 ni (exp.f64 (+.f64 (*.f64 ti (log.f64 tau)) (+.f64 (*.f64 di (log.f64 delta)) u))))
(*.f64 (*.f64 (pow.f64 tau ti) (pow.f64 delta di)) (*.f64 (exp.f64 u) ni))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -199999999999999998950733150383609864631589220901364351243883389463816617076615690273685504 binary64)) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 999999999999999943801810948794571024057224129020550531544123892056457216 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (*.f64 (-.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64))) (neg.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr)))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -199999999999999998950733150383609864631589220901364351243883389463816617076615690273685504 binary64)) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 999999999999999943801810948794571024057224129020550531544123892056457216 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (/.f64 (-.f64 (-.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 #s(literal -3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64)))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr)))))
(if.f64 (<=.f64 theta #s(literal -260000000000000020513188459996727728768652363725828428374756504216108542989413508850141367056770818519709247790337505961854840160987669352435454620004697414893177929728 binary64)) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta)) (neg.f64 theta)) (neg.f64 theta))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))))
(if.f64 (<=.f64 theta #s(literal -5700000000000000377194016617306041856559022382731734326800976495476021183138072000815673557433339343979642233106599379974866493626475793445348821652795812606610751094784 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) theta)) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta)) theta) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal 9999999999999999813486777206230041577815560719820581330098483720446847883279500839884297726782854580737362697004022581572770293687044935910015528960168049498887207223940204684198896264456339658487887951484580004902758521100414464490983962613190835886243290260424727924570510530141380583845003264 binary64)) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal 9999999999999999813486777206230041577815560719820581330098483720446847883279500839884297726782854580737362697004022581572770293687044935910015528960168049498887207223940204684198896264456339658487887951484580004902758521100414464490983962613190835886243290260424727924570510530141380583845003264 binary64)) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr))))
(*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) Tci_over_Tr)))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160 binary64)) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta))))) (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 theta theta) Tci_over_Tr) Tci_over_Tr) Tci_over_Tr) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))))))
(*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) (*.f64 (*.f64 theta theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta)))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -inf.0 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 Tci_over_Tr n) theta)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) theta) theta) Tci_over_Tr) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -200000000000000007721798857483902880558804102982700877908847659137154782032985485340394783509086340687111501805726310060782654579073417017646333594747261264801453572096 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 39999999999999998332478947328 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr n) theta) #s(literal -2 binary64)) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) Tci_over_Tr)) theta) theta) Tci_over_Tr) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 50000000000000003960719125422883827062840959584985546704194967116721787948758551386272267278602882264876081416647209031203419106557526049419390978660438178426771560410745940876447333535260291112887354734608898565252528592034690824272687386622186778733613155375371021108230826846322688 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 Tci_over_Tr n) theta)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) theta) theta) Tci_over_Tr)))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -inf.0 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 Tci_over_Tr n) theta)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) theta) theta) Tci_over_Tr) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5000000000000 binary64)) (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))) (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr)) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 50000000000000003960719125422883827062840959584985546704194967116721787948758551386272267278602882264876081416647209031203419106557526049419390978660438178426771560410745940876447333535260291112887354734608898565252528592034690824272687386622186778733613155375371021108230826846322688 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 Tci_over_Tr n) theta)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) theta) theta) Tci_over_Tr))))
(if.f64 (<=.f64 theta #s(literal -4000000000000000199446615887635572068041073941753848606299571722447953596397223261537836061425664 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (if.f64 (<=.f64 theta #s(literal -5288447750321989/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384 binary64)) (*.f64 (*.f64 (/.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (if.f64 (<=.f64 theta #s(literal 6404793347492095/69617318994479297159441705409245167921344429126717528237597542082203295398081625160307507496908132931192662194421301381083506846944815643283884602656894137393981852330936660004926669193216 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr n) theta) #s(literal -2 binary64)) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) Tci_over_Tr)) theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) (/.f64 #s(literal 1 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)))
(*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))))
(if.f64 (<=.f64 (/.f64 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal 0 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (neg.f64 n))) (*.f64 (*.f64 (neg.f64 n) (*.f64 (pow.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) #s(literal 2 binary64)) Tci_over_Tr)) Tci_over_Tr))
(if.f64 (<=.f64 (/.f64 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal 0 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (/.f64 (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (neg.f64 n)) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 (neg.f64 n) (*.f64 (pow.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) #s(literal 2 binary64)) Tci_over_Tr)) Tci_over_Tr))
(*.f64 (*.f64 (neg.f64 n) (*.f64 (pow.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) #s(literal 2 binary64)) Tci_over_Tr)) Tci_over_Tr)
(*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta) #s(literal 2 binary64)) (neg.f64 n))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 1999999999999999890644667736494890251419293140042495849331683229696 binary64)) (*.f64 (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 Tci_over_Tr theta)) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal +inf.0 binary64)) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) theta) n)))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 99999999999999993925355250553646218600402872201173249531907715713232045630132339028433092574405077484368561180561621725787171937426360305302357988408668827749873014416820110410677102531624409058437198025485515990766396825508218326595491122696079498053460349186625724064076043808459598620749043481381437440 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n) (*.f64 (/.f64 n (/.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) Tci_over_Tr)) theta))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 7737125245533627/38685626227668133590597632 binary64)) (*.f64 theta (*.f64 Tci_over_Tr (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal +inf.0 binary64)) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) theta) n)))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 200000000000000006143206538222029942943017285694500146407438187265690204581468812263234483036535401541143539854450612009776968604404517417962414250691177772827634939317694669619957581553998706750650274373100111337594105730256992969646305601401666144828209421002735616 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n) (*.f64 Tci_over_Tr (*.f64 (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) theta)))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 7737125245533627/38685626227668133590597632 binary64)) (*.f64 theta (*.f64 Tci_over_Tr (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)))
(*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n))
(*.f64 Tci_over_Tr (*.f64 (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) theta))
(*.f64 n (log.f64 (fabs.f64 (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))))
(/.f64 (*.f64 (neg.f64 l_double) (*.f64 (pow.f64 delta l_double) ci)) delta)
(if.f64 (<=.f64 delta #s(literal -164999999999999990088603704975509451249150407477010779866365775715099928952832 binary64)) (*.f64 (*.f64 (/.f64 l_double delta) ci) (neg.f64 (pow.f64 delta l_double))) (if.f64 (<=.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (neg.f64 ci)) (*.f64 (pow.f64 delta l_double) (*.f64 (/.f64 (neg.f64 ci) delta) l_double))))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -2000000000000 binary64)) (*.f64 (*.f64 (/.f64 l_double delta) ci) (neg.f64 (pow.f64 delta l_double))) (if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal 0 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) (neg.f64 ci)) l_double) (*.f64 (*.f64 (/.f64 l_double delta) ci) (neg.f64 (pow.f64 delta l_double)))))
(if.f64 (<=.f64 delta #s(literal 99999999999999997748809823456034029568 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (neg.f64 ci)) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) (*.f64 (neg.f64 ci) l_double)))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -2000000000000 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (neg.f64 ci)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) (neg.f64 ci)) l_double))
(*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (neg.f64 ci))
(if.f64 (<=.f64 (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64))) #s(literal 40000000000000003307486514284232094705745107860608941345306137235330685577245426917490926656488695586868770570093062753395720267337599090797902308720426200916315558719258624 binary64)) (*.f64 (/.f64 Ai betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64)))) (/.f64 (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 delta betai) betai) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) betai) betai))
(if.f64 (<=.f64 (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64))) #s(literal 7729075046034517/3864537523017258344695351890931987344298927329706434998657235251451519142289560424536193766581922577962463616031502177177365078661042987655742908673467080748696980814823424 binary64)) (*.f64 (/.f64 Ai betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) betai) (-.f64 delta #s(literal 1 binary64))))
(*.f64 (/.f64 Ai betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))))
(if.f64 (<=.f64 Ai #s(literal 119999999999999999635447006472721788268781279119589754301054976 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (/.f64 (-.f64 delta #s(literal 1 binary64)) betai)))
(*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (/.f64 (-.f64 delta #s(literal 1 binary64)) betai))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -4851619038439715/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904 binary64)) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (/.f64 (-.f64 m_double #s(literal 2 binary64)) tau)) (neg.f64 tau)) (neg.f64 tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 0 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 #s(literal 1 binary64) (/.f64 (neg.f64 tau) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) (-.f64 m_double #s(literal 1 binary64))))))) (/.f64 #s(literal 1 binary64) tau)) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (/.f64 (-.f64 m_double #s(literal 2 binary64)) tau)) (neg.f64 tau)) (neg.f64 tau))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -4851619038439715/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904 binary64)) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (/.f64 (-.f64 m_double #s(literal 2 binary64)) tau)) (neg.f64 tau)) (neg.f64 tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 0 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (neg.f64 omegai)) (-.f64 m_double #s(literal 1 binary64))) tau))) (/.f64 #s(literal 1 binary64) tau)) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (/.f64 (-.f64 m_double #s(literal 2 binary64)) tau)) (neg.f64 tau)) (neg.f64 tau))))
(if.f64 (<=.f64 tau #s(literal -202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 #s(literal 1 binary64) (/.f64 (neg.f64 tau) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) (-.f64 m_double #s(literal 1 binary64))))))) (/.f64 #s(literal 1 binary64) tau)))
(if.f64 (<=.f64 m_double #s(literal -100000000000000004764729344 binary64)) (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau m_double) omegai) m_double)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 tau tau)) (/.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (neg.f64 omegai)) (-.f64 m_double #s(literal 1 binary64))) tau))) (/.f64 #s(literal 1 binary64) tau)))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -200000000000000017642722810612845281403731968 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 5415370496329717/1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (neg.f64 omegai)) (-.f64 m_double #s(literal 1 binary64))) tau))) (/.f64 #s(literal 1 binary64) tau)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -4999999999999999535784828060900606040346407484460394732313723434808961149812000726600937640905690125124846939902906176613453545840352790929618349426820302567123856137171065939247711125504 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 5415370496329717/1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 binary64)) (/.f64 (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double)) tau) (-.f64 m_double #s(literal 1 binary64))) tau) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -200000000000000017642722810612845281403731968 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 200000000000000000 binary64)) (*.f64 m_double (*.f64 (-.f64 #s(literal 2 binary64) m_double) (/.f64 (*.f64 (/.f64 omegai tau) (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (-.f64 m_double #s(literal 1 binary64)))) tau))) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -4999999999999999535784828060900606040346407484460394732313723434808961149812000726600937640905690125124846939902906176613453545840352790929618349426820302567123856137171065939247711125504 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 5415370496329717/1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288 binary64)) (/.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double))) (*.f64 tau tau)) (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) m_double) m_double) (*.f64 (pow.f64 tau m_double) omegai)) (-.f64 m_double #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) tau))))
(/.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double))) (*.f64 tau tau))
(/.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 m_double (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) omegai))) (*.f64 tau tau))
(if.f64 (<=.f64 m_double #s(literal 6032057205060441/6032057205060440848842124543157735677050252251748505781796615064961622344493727293370973578138265743708225425014400837164813540499979063179105919597766951022193355091707896034850684039059079180396788349106095584290087446076413771468940477241550670753145517602931224392424029547429993824129889235158145614364972941312 binary64)) (*.f64 (/.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 tau tau)) (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double))) (if.f64 (<=.f64 m_double #s(literal 19999999999999999781741223642818392253569612520802717890360030929450604798220516297708225612915260122593317856641907797168065523046908674225209344 binary64)) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) omegai)) (*.f64 tau tau)) (*.f64 m_double (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (/.f64 omegai (*.f64 tau tau)) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) (-.f64 m_double #s(literal 1 binary64)))))))
(if.f64 (<=.f64 tau #s(literal 2981548200787093/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624 binary64)) (*.f64 m_double (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (/.f64 omegai (*.f64 tau tau)) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) (-.f64 m_double #s(literal 1 binary64))))) (*.f64 (/.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 tau tau)) (*.f64 (-.f64 #s(literal 1 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -999999999999999956819772641641815758405104477258378281795396215622882607621111488153942930947432322044748890112 binary64)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 tau tau)) (*.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) omegai) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))))) (*.f64 m_double (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (/.f64 omegai (*.f64 tau tau)) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) (-.f64 m_double #s(literal 1 binary64))))))
(*.f64 m_double (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (/.f64 omegai (*.f64 tau tau)) (pow.f64 tau (-.f64 m_double #s(literal 1 binary64)))) (-.f64 m_double #s(literal 1 binary64)))))
(*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta))) (/.f64 #s(literal 1 binary64) delta))) (/.f64 #s(literal 1 binary64) delta))
(if.f64 (<=.f64 delta #s(literal -164999999999999990088603704975509451249150407477010779866365775715099928952832 binary64)) (*.f64 (/.f64 (-.f64 l_double #s(literal 2 binary64)) delta) (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta l_double) ci) l_double) (/.f64 (-.f64 #s(literal 1 binary64) l_double) delta)) delta)) (/.f64 (*.f64 (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double)) delta) (-.f64 #s(literal 2 binary64) l_double)) delta))
(/.f64 (*.f64 (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double)) delta) (-.f64 #s(literal 2 binary64) l_double)) delta)
(if.f64 (<=.f64 delta #s(literal -392806872947537/13093562431584567480052758787310396608866568184172259157933165472384535185618698219533080369303616628603546736510240284036869026183541572213314110357504 binary64)) (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 l_double (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) ci) (-.f64 #s(literal 2 binary64) l_double))) (*.f64 delta delta)) (if.f64 (<=.f64 delta #s(literal 6483618076376551/4052261297735344686047273304385899561535592023674254785152009111026028136145418111718463914987406049109568248643848426935932764722081811824108276205189417663145685354884286644224 binary64)) (/.f64 (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (*.f64 ci (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))))) delta) (-.f64 #s(literal 2 binary64) l_double)) delta) (if.f64 (<=.f64 delta #s(literal 99999999999999997748809823456034029568 binary64)) (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 l_double (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) ci) (-.f64 #s(literal 2 binary64) l_double))) (*.f64 delta delta)) (/.f64 (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (*.f64 ci (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))))) delta) (-.f64 #s(literal 2 binary64) l_double)) delta))))
(/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double) (-.f64 #s(literal 2 binary64) l_double))) (*.f64 delta delta))
(/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 l_double (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) ci) (-.f64 #s(literal 2 binary64) l_double))) (*.f64 delta delta))
(if.f64 (<=.f64 l_double #s(literal 20000000000000000979534531503010411591444540070614877774900847491803365271867695123224630584945529275862261293630205535241068658373251704342045523968 binary64)) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (*.f64 ci (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))))) (*.f64 delta delta)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double))))
(if.f64 (<=.f64 l_double #s(literal 20000000000000000979534531503010411591444540070614877774900847491803365271867695123224630584945529275862261293630205535241068658373251704342045523968 binary64)) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) ci)) (*.f64 delta delta)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double))))
(*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) l_double)))
(if.f64 (<=.f64 l_double #s(literal 178405961588245/356811923176489970264571492362373784095686656 binary64)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))))) (*.f64 (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double)))
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double))
(*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))))) ci)
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 (/.f64 (/.f64 Ai betai) (-.f64 delta #s(literal 1 binary64))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai))) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))) (/.f64 (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (/.f64 (/.f64 (*.f64 Ai (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)))) betai) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (/.f64 (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (/.f64 (/.f64 (*.f64 Ai (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)))) betai) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (/.f64 (*.f64 (/.f64 Ai betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))))) betai) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 betai #s(literal -49999999999999995716575428608 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta))))) (if.f64 (<=.f64 betai #s(literal -2477863654118243/1339385758982834151185531311325002263201756014631917009304687985462938813906170153116497973519619822659493341146941433531483931607115392554498072196837321850491820971853028873177634325632796392734744272769130809372947742658424845944895692993259632864321399559710817770957553728956578048354650708508672 binary64)) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) betai) (*.f64 betai (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))))) (if.f64 (<=.f64 betai #s(literal 499999999999999972661166934123722562854823285010623962332920807424 binary64)) (*.f64 (/.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 delta #s(literal 1 binary64)))) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 betai (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 delta #s(literal 1 binary64)))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 betai #s(literal -2772669694120815/5545339388241629719156828368286167406872874150751633150340959161229242615611251246079948812208279156194782421922807143657948315648 binary64)) (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai)) #s(literal 2 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))) (if.f64 (<=.f64 betai #s(literal -2477863654118243/1339385758982834151185531311325002263201756014631917009304687985462938813906170153116497973519619822659493341146941433531483931607115392554498072196837321850491820971853028873177634325632796392734744272769130809372947742658424845944895692993259632864321399559710817770957553728956578048354650708508672 binary64)) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))) (if.f64 (<=.f64 betai #s(literal 499999999999999972661166934123722562854823285010623962332920807424 binary64)) (*.f64 (/.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 delta #s(literal 1 binary64)))) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 betai (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))))))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta)))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 9999999999999999338604948347429745623719502164303315186116928223077006466996036476256924325958459471709145545996985214755393808134448127932794585054037286174943850004480 binary64)) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta)))) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 9999999999999999338604948347429745623719502164303315186116928223077006466996036476256924325958459471709145545996985214755393808134448127932794585054037286174943850004480 binary64)) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) betai)) betai)) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 betai (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))))) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 9999999999999999338604948347429745623719502164303315186116928223077006466996036476256924325958459471709145545996985214755393808134448127932794585054037286174943850004480 binary64)) (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai)) #s(literal 2 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 9999999999999999338604948347429745623719502164303315186116928223077006466996036476256924325958459471709145545996985214755393808134448127932794585054037286174943850004480 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta))))) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 40000000000000003641439962014737400418418159807019462286181829499363611581405336608616720390166448762257408 binary64)) (*.f64 Ai (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (*.f64 (-.f64 (*.f64 delta betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))))) (*.f64 Ai (/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 Ai (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (*.f64 (-.f64 (*.f64 delta betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))))) (/.f64 (*.f64 (+.f64 (*.f64 Ai (-.f64 (+.f64 betai betai) #s(literal 3 binary64))) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 Ai (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))))) (/.f64 (*.f64 (+.f64 (*.f64 Ai (-.f64 (+.f64 betai betai) #s(literal 3 binary64))) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 betai betai))) Ai) (/.f64 (*.f64 (+.f64 (*.f64 Ai (-.f64 (+.f64 betai betai) #s(literal 3 binary64))) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 500000000000000004246810716844851488074434962299380307947499551351398452953088 binary64)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 betai betai))) Ai) (/.f64 (*.f64 (+.f64 (*.f64 Ai (-.f64 (+.f64 betai betai) #s(literal 3 binary64))) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) betai)))
(*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 betai betai))) Ai)
(/.f64 (*.f64 (+.f64 (*.f64 (*.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) Ai) betai) Ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (*.f64 betai (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 betai betai))))
(if.f64 (<=.f64 (neg.f64 (*.f64 Di (*.f64 (-.f64 tau #s(literal 1 binary64)) (-.f64 tau #s(literal 1 binary64))))) #s(literal 1000000000000000 binary64)) (*.f64 Ci (-.f64 (*.f64 (*.f64 #s(literal -8 binary64) (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci)) (*.f64 Ci (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta))))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 #s(literal 12 binary64) Ci)) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64)))))))) (*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) (*.f64 Ci (+.f64 (*.f64 (*.f64 #s(literal -8 binary64) (-.f64 delta #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) #s(literal -12 binary64)))))
(*.f64 (-.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) #s(literal -4 binary64)) (*.f64 Ci Ci))) (*.f64 #s(literal 6 binary64) Ci)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))) (+.f64 Ci Ci))))
(*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) (*.f64 Ci (+.f64 (*.f64 (*.f64 #s(literal -8 binary64) (-.f64 delta #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) #s(literal -12 binary64))))
(+.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) #s(literal -12 binary64)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) bi)) (*.f64 #s(literal -8 binary64) (*.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (-.f64 bi #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64))) (-.f64 bi #s(literal 2 binary64))) bi)))))))
(if.f64 (<=.f64 bi #s(literal -4600000000000000259272652606512016799213132235005633869259928535246893330689236690036551753838824648947751718403393963071093676518791710391413096650375168 binary64)) (*.f64 bi (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64))) (-.f64 #s(literal 2 binary64) bi)) (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 bi (-.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 2 binary64)))) (*.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (*.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal -8 binary64) (*.f64 (-.f64 #s(literal 2 binary64) bi) (-.f64 #s(literal 1 binary64) bi))) (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64)))))))))
(if.f64 (<=.f64 (+.f64 (*.f64 (neg.f64 #s(literal 12 binary64)) (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (*.f64 bi (*.f64 (-.f64 bi #s(literal 1 binary64)) (pow.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) (-.f64 bi #s(literal 2 binary64))))))) (*.f64 (neg.f64 #s(literal 8 binary64)) (*.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))))) (*.f64 bi (*.f64 (-.f64 bi #s(literal 1 binary64)) (*.f64 (-.f64 bi #s(literal 2 binary64)) (pow.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) (-.f64 bi #s(literal 3 binary64))))))))) #s(literal 5599361855444511/279968092772225526319680285071055534765205687154331191862498637620473983897520118172609686658950889472 binary64)) (*.f64 bi (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64))) (-.f64 #s(literal 2 binary64) bi)) (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) #s(literal -12 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (-.f64 bi #s(literal 2 binary64))) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64)))) (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal -8 binary64))))))
(*.f64 bi (+.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64))) (-.f64 #s(literal 2 binary64) bi)) (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))))))
(*.f64 bi (+.f64 (*.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (-.f64 #s(literal 2 binary64) bi)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))))))
(-.f64 (*.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci)) #s(literal 4 binary64)) (+.f64 Ci Ci))
(*.f64 Ci (-.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci))) #s(literal 2 binary64)))
(*.f64 Ci (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.f64 #s(literal 4 binary64) Ci)) #s(literal 2 binary64)))
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (-.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) Bi)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (+.f64 Bi Bi) ai)) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (+.f64 Bi Bi) ai)) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 delta #s(literal 1 binary64))) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) bi)))) bi)
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (-.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) Bi)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) bi) (pow.f64 (*.f64 (+.f64 (*.f64 (+.f64 Bi Bi) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) ai)) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64))))) bi)
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) Bi))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) betai)))))))
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) betai)))))))
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (*.f64 (/.f64 Ai betai) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))))
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (*.f64 Ai (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) betai)))))
(exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) #s(literal +inf.0 binary64)) (-.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) #s(literal 1 binary64)) (*.f64 (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (-.f64 #s(literal 2 binary64) (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai))))) (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) #s(literal +inf.0 binary64)) (-.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) #s(literal 1 binary64)) (*.f64 (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (-.f64 #s(literal 2 binary64) (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai))))) (/.f64 (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))))
(-.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) #s(literal 1 binary64)) (*.f64 (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) (-.f64 #s(literal 2 binary64) (-.f64 tau (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)))))
(+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai)))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 tau (-.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) du_dtau))) ti))) (+.f64 (*.f64 tau (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 d2u_dtau2 d2u_dtau2)) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2)) tau) (*.f64 (+.f64 ti (*.f64 du_dtau tau)) (+.f64 du_dtau du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))))
(+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 tau (-.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) du_dtau))) ti)))
(+.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) tau) (*.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -3 binary64)) #s(literal -2 binary64)) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) tau) (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)))))
(if.f64 (<=.f64 (+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di))) #s(literal +inf.0 binary64)) (-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 du_ddelta (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)))) di) (*.f64 (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64)) (+.f64 (*.f64 (/.f64 delta (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64))) (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)) (+.f64 (*.f64 du_ddelta delta) di))))
(if.f64 (<=.f64 d2u_ddelta2 #s(literal -1736881338559743/28948022309329048855892746252171976963317496166410141009864396001978282409984 binary64)) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) delta) (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64))) (+.f64 (*.f64 du_ddelta delta) di)) (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64))) (-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 du_ddelta (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)))) di))
(if.f64 (<=.f64 (+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di))) #s(literal +inf.0 binary64)) (-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 du_ddelta (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)))) di) (-.f64 (*.f64 (-.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) (*.f64 du_ddelta (-.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_ddelta delta) di)) di))) delta) (*.f64 (-.f64 #s(literal 1 binary64) di) di)))
(-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 du_ddelta (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)))) di)
(+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di)))