(*.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 #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 betai 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) tau) #s(literal -1 binary64))
(*.f64 ni (exp.f64 (+.f64 (*.f64 ti (log.f64 tau)) (+.f64 (*.f64 di (log.f64 delta)) u))))
(*.f64 (pow.f64 tau ti) (*.f64 (exp.f64 u) (*.f64 (pow.f64 delta di) ni)))
(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 +inf.0 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 (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal 3 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) #s(literal -1 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta)) theta) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 2 binary64))) #s(literal 4 binary64)))))
(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 +inf.0 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 (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal 3 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) #s(literal -1 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))
(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 +inf.0 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 (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal 3 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) #s(literal -1 binary64))) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.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 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) 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 (*.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 +inf.0 binary64)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.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 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr theta) theta)) Tci_over_Tr)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.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 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) theta)))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.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 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr theta) theta)) Tci_over_Tr))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (-.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 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) (*.f64 (*.f64 theta theta) 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 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (neg.f64 theta) Tci_over_Tr)) (*.f64 (neg.f64 theta) Tci_over_Tr))) (*.f64 n #s(literal -2 binary64))) (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) Tci_over_Tr)) theta))) theta) (*.f64 n #s(literal -2 binary64))))
(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 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) Tci_over_Tr) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)))) (*.f64 Tci_over_Tr theta)) theta) (*.f64 n #s(literal -2 binary64))) (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) Tci_over_Tr)) theta))) theta) (*.f64 n #s(literal -2 binary64))))
(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 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta))) (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) Tci_over_Tr)) theta))) theta) (*.f64 n #s(literal -2 binary64))))
(if.f64 (<=.f64 theta #s(literal -2568425733177917/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112 binary64)) (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) Tci_over_Tr)) theta))) theta) (*.f64 n #s(literal -2 binary64))) (if.f64 (<=.f64 theta #s(literal 439347050248359/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta))) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 (*.f64 theta theta) (*.f64 Tci_over_Tr (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) Tci_over_Tr))))))
(*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) Tci_over_Tr)) theta))) theta) (*.f64 n #s(literal -2 binary64)))
(*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))))) (*.f64 n #s(literal -2 binary64)))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 binary64)) (*.f64 (*.f64 (neg.f64 n) (*.f64 theta (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))) (*.f64 Tci_over_Tr (/.f64 (neg.f64 Tci_over_Tr) (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))) (*.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) Tci_over_Tr) (*.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) Tci_over_Tr) (neg.f64 n))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 7540071506325551/1508014301265110212210531135789433919262563062937126445449153766240405586123431823342743394534566435927056356253600209291203385124994765794776479899441737755548338772926974008712671009764769795099197087276523896072521861519103442867235119310387667688286379400732806098106007386857498456032472308789536403591243235328 binary64)) (*.f64 (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) theta)) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n)) (*.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) Tci_over_Tr) (*.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) Tci_over_Tr) (neg.f64 n))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 binary64)) (*.f64 (pow.f64 (*.f64 theta (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) #s(literal 2 binary64)) (neg.f64 n)) (*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n)))
(*.f64 (pow.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) theta)) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 theta (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 theta (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)))) #s(literal 2 binary64)) (neg.f64 n))
(if.f64 (<=.f64 theta #s(literal 99999999999999991611392 binary64)) (*.f64 (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) n) (*.f64 theta (/.f64 (*.f64 Tci_over_Tr 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 499999999999999979708362228175181365745998044824225719834869504903351961475477212758016 binary64)) (*.f64 theta (/.f64 (*.f64 Tci_over_Tr 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 99999999999999993925355250553646218600402872201173249531907715713232045630132339028433092574405077484368561180561621725787171937426360305302357988408668827749873014416820110410677102531624409058437198025485515990766396825508218326595491122696079498053460349186625724064076043808459598620749043481381437440 binary64)) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)) (*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))))))
(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 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)) (*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 2000000000000000149301151299663391549265590600239231186326068800240230914271598472584298906614998656148958062640259884382935185669148681652671929027013180132301577277498237670836074039054445773889962481038969293132293445117978169216670778785792 binary64)) (*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))))
(*.f64 n (log.f64 (fabs.f64 (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))))
(/.f64 (*.f64 (*.f64 (pow.f64 delta l_double) l_double) ci) (neg.f64 delta))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -7695704335233297/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568 binary64)) (*.f64 (/.f64 l_double delta) (*.f64 (pow.f64 delta l_double) (neg.f64 ci))) (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 (pow.f64 delta l_double) (/.f64 (neg.f64 ci) delta)) l_double)))
(if.f64 (<=.f64 delta #s(literal -5099999999999999828520903201821992943616 binary64)) (*.f64 (*.f64 (pow.f64 delta l_double) (/.f64 (neg.f64 ci) delta)) l_double) (if.f64 (<=.f64 delta #s(literal 8166776806102523/680564733841876926926749214863536422912 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (neg.f64 ci)) (*.f64 (*.f64 (pow.f64 delta l_double) (/.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 -5016456510113119/2508228255056559327717299405517639477515382672702395372151508761915556027554073725754578846110147691358081325939263447624692646145908262187541873345685902047135936580242368983360130194608842238078734041088 binary64)) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) (*.f64 (neg.f64 ci) l_double)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) (neg.f64 ci)) l_double))
(if.f64 (<=.f64 delta #s(literal 4999999999999999965699095179735106473829597184 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))
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) betai))) (-.f64 #s(literal 1 binary64) delta))) (neg.f64 Ai)) betai)
(if.f64 (<=.f64 Ai #s(literal 1000000 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))))
(*.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))
(if.f64 (<=.f64 tau #s(literal -1012011266536553/50600563326827654588123836679729326762389162441035529589225339506857584891998836722990095925359281123796769466079202977847452184346448369216753349985184627480379356069141590341116726935523304085309941919618186267140501870856173174654525838912289889085202514128089692388083353653807625633046581877161501565826926935273373696 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 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (/.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) tau))) (-.f64 #s(literal 2 binary64) m_double)) tau))
(if.f64 (<=.f64 m_double #s(literal -7779547305438323/293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872 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 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (/.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) tau))) (-.f64 #s(literal 2 binary64) m_double)) tau))
(if.f64 (<=.f64 m_double #s(literal -20000000000000000738950913761164530819618359659685376903845557104301087318694439194433026219410816654893023507374465334628674006699146808342092384896548864 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))) (if.f64 (<=.f64 m_double #s(literal -50000000000000000000 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)) (/.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (/.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) tau))) (-.f64 #s(literal 2 binary64) m_double)) tau)))
(if.f64 (<=.f64 m_double #s(literal -20000000000000000738950913761164530819618359659685376903845557104301087318694439194433026219410816654893023507374465334628674006699146808342092384896548864 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))) (if.f64 (<=.f64 m_double #s(literal -50000000000000000000 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 m_double #s(literal 463034951812055/319334449525555169865019634085894170570792201669673206640407558789953902699034250525593274478821712174294791495070799239035590078142974985718267487725573027251200907672173708242806035431098077949224537079127027838932929672819339262222216842951687065201139345100120966662777359236855041588461568 binary64)) (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (-.f64 m_double #s(literal 1 binary64))) tau) (/.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) tau)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))))))
(if.f64 (<=.f64 m_double #s(literal -20000000000000000738950913761164530819618359659685376903845557104301087318694439194433026219410816654893023507374465334628674006699146808342092384896548864 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))) (if.f64 (<=.f64 m_double #s(literal -50000000000000000000 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 m_double #s(literal 6386688990511103/1277337798102220679460078536343576682283168806678692826561630235159815610796137002102373097915286848697179165980283196956142360312571899942873069950902292109004803630688694832971224141724392311796898148316508111355731718691277357048888867371806748260804557380400483866651109436947420166353846272 binary64)) (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (*.f64 (/.f64 omegai (*.f64 tau tau)) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) m_double) (-.f64 #s(literal 1 binary64) m_double)))) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))))))
(if.f64 (<=.f64 m_double #s(literal 6386688990511103/1277337798102220679460078536343576682283168806678692826561630235159815610796137002102373097915286848697179165980283196956142360312571899942873069950902292109004803630688694832971224141724392311796898148316508111355731718691277357048888867371806748260804557380400483866651109436947420166353846272 binary64)) (/.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))) (*.f64 tau tau)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double))))
(*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) m_double) (-.f64 #s(literal 2 binary64) m_double)))
(*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) (-.f64 m_double #s(literal 1 binary64))) (*.f64 omegai m_double)))
(*.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 l_double #s(literal 300000000000000021011142076145348243727225688543219680591625584640 binary64)) (*.f64 (/.f64 (*.f64 (/.f64 (-.f64 l_double #s(literal 2 binary64)) delta) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 delta l_double) ci) l_double))) (neg.f64 delta)) (/.f64 #s(literal 1 binary64) delta)) (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 1 binary64))) delta) delta) (neg.f64 ci)))
(if.f64 (<=.f64 l_double #s(literal 300000000000000021011142076145348243727225688543219680591625584640 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 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 1 binary64))) delta) delta) (neg.f64 ci)))
(if.f64 (<=.f64 delta #s(literal -5099999999999999828520903201821992943616 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (*.f64 (pow.f64 delta l_double) ci) l_double)) (/.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 delta delta) delta))) (if.f64 (<=.f64 delta #s(literal 20000000000000 binary64)) (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 1 binary64))) delta) delta) (neg.f64 ci)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 (neg.f64 ci) l_double) delta) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) (-.f64 l_double #s(literal 2 binary64))) delta))))
(if.f64 (<=.f64 l_double #s(literal 6000000000000000248432939182427692818100624028184179935367669204583630813967171088177433668396288574871737718478838813024662997120339390456701055401984 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) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) delta) (/.f64 ci delta)))
(if.f64 (<=.f64 delta #s(literal -4022052505934645/187072209578355573530071658587684226515959365500928 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (*.f64 (pow.f64 delta l_double) ci) l_double)) (/.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 delta delta) delta))) (if.f64 (<=.f64 delta #s(literal 7223697374562891/80263304161809898486953580976564463280492245526476651908848280381297792881730359224146523075524726123458602430056430323990164676669064390001339947061948865508349970567755807467524166227482951618519489314816 binary64)) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) delta) (/.f64 ci delta)) (if.f64 (<=.f64 delta #s(literal 2000000000000000065683124978409852157974025132719223391024626852517494013797575991088002631255454825367899009568644871157296981268422983680 binary64)) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) (-.f64 l_double #s(literal 1 binary64))) l_double)) (*.f64 delta delta)) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) delta) (/.f64 ci delta)))))
(if.f64 (<=.f64 delta #s(literal -5099999999999999828520903201821992943616 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (*.f64 (pow.f64 delta l_double) ci) l_double)) (/.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 delta delta) delta))) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) (-.f64 l_double #s(literal 1 binary64))) l_double)) (*.f64 delta delta)))
(/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) (-.f64 l_double #s(literal 1 binary64))) l_double)) (*.f64 delta delta))
(if.f64 (<=.f64 l_double #s(literal 10000000000000000171775323872177191180393104084305455107732328445200031262781885420082626742861173182722545959543542834786931126445173006249634549465088 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 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) (/.f64 ci (*.f64 delta delta))))
(if.f64 (<=.f64 l_double #s(literal 4742843975160471/474284397516047136454946754595585670566993857190463750305618264096412179005177856 binary64)) (*.f64 (*.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 #s(literal 2 binary64) l_double) (*.f64 delta delta))) (if.f64 (<=.f64 l_double #s(literal 100000000000000001555941612946684302426820139692106143336977058043083378116475570326498538991504744767620628086784 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (*.f64 ci (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 delta delta)) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) (/.f64 ci (*.f64 delta delta)))))
(if.f64 (<=.f64 l_double #s(literal 7167183174968973/143343663499379469475676305956380433799785311823017570233599302461682679755530300504376159569382855409664 binary64)) (*.f64 (*.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 #s(literal 2 binary64) l_double) (*.f64 delta delta))) (if.f64 (<=.f64 l_double #s(literal 10999999999999999970559876307552691828070167161461735571653328770519817269159562185734619136 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) l_double) (-.f64 l_double #s(literal 1 binary64))) (/.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) (*.f64 delta delta))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) (/.f64 ci (*.f64 delta delta)))))
(if.f64 (<=.f64 l_double #s(literal 200000000000000017642722810612845281403731968 binary64)) (*.f64 (*.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 #s(literal 2 binary64) l_double) (*.f64 delta delta))) (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) l_double)) (/.f64 ci (*.f64 delta delta))))
(*.f64 (*.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 #s(literal 2 binary64) l_double) (*.f64 delta delta)))
(if.f64 (<=.f64 betai #s(literal -1152921504606847/576460752303423488 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 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (-.f64 delta #s(literal 1 binary64))) (if.f64 (<=.f64 betai #s(literal -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 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))))) (/.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)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (-.f64 delta #s(literal 1 binary64))) betai) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64)))))
(if.f64 (<=.f64 betai #s(literal -1152921504606847/576460752303423488 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 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (-.f64 delta #s(literal 1 binary64))) (if.f64 (<=.f64 betai #s(literal -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 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))))) (/.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)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64)))))
(if.f64 (<=.f64 betai #s(literal -1152921504606847/576460752303423488 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 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (-.f64 delta #s(literal 1 binary64))) (if.f64 (<=.f64 betai #s(literal -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 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 200000000000000010732324408786944 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 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai) (*.f64 betai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)))) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) 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 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64)))))))))
(if.f64 (<=.f64 betai #s(literal -1152921504606847/576460752303423488 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 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (-.f64 delta #s(literal 1 binary64))) (if.f64 (<=.f64 betai #s(literal 2724439899746537/1472670216079209191611846812294369061779846741149537544383939224844146080198663889983147846225162535085015972903906454385940805786127700971461406151798572026902674582936498055383467782973408003026559655543480367258322130389749455925034296201550456726842167383528130955181647838728025835969211239052281644132073472 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))))) (/.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 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta))) (-.f64 delta #s(literal 1 binary64)))))
(if.f64 (<=.f64 betai #s(literal -1152921504606847/576460752303423488 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 betai #s(literal 2724439899746537/1472670216079209191611846812294369061779846741149537544383939224844146080198663889983147846225162535085015972903906454385940805786127700971461406151798572026902674582936498055383467782973408003026559655543480367258322130389749455925034296201550456726842167383528130955181647838728025835969211239052281644132073472 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 5316911983139663/5316911983139663491615228241121378304 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 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) 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)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai)))))
(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 100000000000000003012765990014054250289048653977469512883210797990327413337764623282111235626914576356824384301717278281796693413668637734468849950199557199862786645617442138002603970565622955602242159302695103782881413524028531199164294124641763973461442560 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 (*.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 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) 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 100000000000000003012765990014054250289048653977469512883210797990327413337764623282111235626914576356824384301717278281796693413668637734468849950199557199862786645617442138002603970565622955602242159302695103782881413524028531199164294124641763973461442560 binary64)) (/.f64 (*.f64 (-.f64 (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai)) #s(literal 2 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 (-.f64 #s(literal 1 binary64) delta) betai) (-.f64 #s(literal 1 binary64) delta)) (-.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)) (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) 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 100000000000000003012765990014054250289048653977469512883210797990327413337764623282111235626914576356824384301717278281796693413668637734468849950199557199862786645617442138002603970565622955602242159302695103782881413524028531199164294124641763973461442560 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 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)))) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai 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)) (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) 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 100000000000000003012765990014054250289048653977469512883210797990327413337764623282111235626914576356824384301717278281796693413668637734468849950199557199862786645617442138002603970565622955602242159302695103782881413524028531199164294124641763973461442560 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 (*.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 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) 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 100000000000000003012765990014054250289048653977469512883210797990327413337764623282111235626914576356824384301717278281796693413668637734468849950199557199862786645617442138002603970565622955602242159302695103782881413524028531199164294124641763973461442560 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 (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 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)))))
(if.f64 (<=.f64 Ai #s(literal 13599999999999999201523375919571473961503429627534520890151714901468575373411185257219074184387561930546994974619699759474483773422033890648378530580320910382809892831069202284544 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 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)))) (*.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (/.f64 Ai (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64)))))))
(if.f64 (<=.f64 Ai #s(literal 8034690221294951/200867255532373784442745261542645325315275374222849104412672 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 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (/.f64 Ai (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64)))))))
(*.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai))) (/.f64 Ai (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64))))))
(/.f64 (*.f64 (*.f64 (-.f64 (*.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) betai) #s(literal -1 binary64)) 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 (*.f64 betai betai) betai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) delta))))
(if.f64 (<=.f64 Ci #s(literal 900000000000000048781873223350883732408212496072647178873895833272013799030784 binary64)) (*.f64 (+.f64 Ci Ci) (*.f64 (-.f64 (*.f64 (*.f64 #s(literal -4 binary64) Ci) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta))) (*.f64 #s(literal 6 binary64) Ci)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (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 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) #s(literal 12 binary64)) (*.f64 (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)))) Ci)) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (*.f64 (*.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 Ci Ci)) Ci) (*.f64 #s(literal -4 binary64) Ci)))))
(if.f64 (<=.f64 (neg.f64 (*.f64 Di (*.f64 (-.f64 tau #s(literal 1 binary64)) (-.f64 tau #s(literal 1 binary64))))) #s(literal 399583814440447/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056 binary64)) (-.f64 (*.f64 (*.f64 (*.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))))) Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci)) #s(literal 12 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal -4 binary64) Ci)) (*.f64 (*.f64 (+.f64 Ci Ci) Ci) (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 Ci Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 (*.f64 (*.f64 #s(literal -4 binary64) Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 delta #s(literal 1 binary64)))) (*.f64 #s(literal 6 binary64) Ci))) (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)))))))
(*.f64 (+.f64 Ci Ci) (*.f64 (-.f64 (*.f64 (*.f64 #s(literal -4 binary64) Ci) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta))) (*.f64 #s(literal 6 binary64) Ci)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (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 Ci Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 #s(literal -4 binary64) Ci) Ci) (-.f64 #s(literal 1 binary64) delta))) (*.f64 #s(literal 6 binary64) Ci))) (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))))))
(*.f64 (+.f64 Ci Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 (*.f64 (*.f64 #s(literal -4 binary64) Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 delta #s(literal 1 binary64)))) (*.f64 #s(literal 6 binary64) Ci))) (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))))))
(+.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 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)))))))
(+.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 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 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 bi #s(literal 1 binary64))) #s(literal -12 binary64))) (*.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 -499999999999999991679590111595860857280186137508735268183503807230234208750506277265738938472969370875618694172181552533767253674082286866732755185163042816 binary64)) (*.f64 bi (+.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 #s(literal -8 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 3 binary64))) (-.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)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -3 binary64))) (*.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) tau) #s(literal -12 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 (-.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 -8 binary64)) (*.f64 (-.f64 bi #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (*.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 3 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 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 (-.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 (-.f64 bi #s(literal 1 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 2 binary64))))))
(if.f64 (<=.f64 bi #s(literal -4999999999999999817033982815443287105513571612636783896840181921713543250771443712 binary64)) (*.f64 bi (+.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 #s(literal -8 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 3 binary64))) (-.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)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -3 binary64))) (*.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) tau) #s(literal -12 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 (-.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 -8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) (-.f64 bi #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)))) (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 (-.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 (-.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 (-.f64 bi #s(literal 1 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 2 binary64))))))
(if.f64 (<=.f64 bi #s(literal -3999999999999999998933612016492614979422156076473746745143360752097478718089695046691679038258268633774677515296114840081570376376516120880532063439028224 binary64)) (*.f64 bi (+.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 #s(literal -8 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 3 binary64))) (-.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)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -3 binary64))) (*.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) tau) #s(literal -12 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 bi #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (*.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 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 3 binary64))) (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))) #s(literal -8 binary64)))))))
(if.f64 (<=.f64 bi #s(literal -3999999999999999998933612016492614979422156076473746745143360752097478718089695046691679038258268633774677515296114840081570376376516120880532063439028224 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 bi #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (*.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 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 3 binary64))) (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))) #s(literal -8 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 5902958103587057/590295810358705651712 binary64)) (*.f64 bi (+.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)) (*.f64 (-.f64 #s(literal 2 binary64) bi) (*.f64 (*.f64 #s(literal -8 binary64) (-.f64 #s(literal 1 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 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 3 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 #s(literal -12 binary64) (-.f64 bi #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 (-.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 (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)) (*.f64 (-.f64 #s(literal 2 binary64) bi) (*.f64 (*.f64 #s(literal -8 binary64) (-.f64 #s(literal 1 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 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 3 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 #s(literal -12 binary64) (-.f64 bi #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 bi (+.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)) (*.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 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 3 binary64))) (*.f64 #s(literal -8 binary64) (-.f64 #s(literal 2 binary64) bi))) (-.f64 #s(literal 1 binary64) bi))) (*.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 #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 (*.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 -12 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 -4 binary64) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) Ci) #s(literal 2 binary64)))
(if.f64 (<=.f64 delta #s(literal -2000000000000000156583080809192487684610720599772233728 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 Ai (/.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))) 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 (-.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)))) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 Ai (/.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))) betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 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 2 binary64)) (*.f64 Ai (/.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))) betai))))) #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 2 binary64)))))) 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 (-.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)))) (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 #s(literal 1 binary64) bi) (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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))))) (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 #s(literal 1 binary64) delta)))))) bi))
(if.f64 (<=.f64 (*.f64 bi (+.f64 (*.f64 (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 1 binary64))) (*.f64 #s(literal 2 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 Ai betai) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) (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 (*.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))) (*.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)))) (*.f64 (*.f64 Bi (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) ai) ai) ai)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64)))))))) (*.f64 (*.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 (+.f64 (*.f64 (*.f64 #s(literal 2 binary64) (+.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 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)))) (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Bi) ai) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))))) (+.f64 (*.f64 (*.f64 #s(literal 2 binary64) (+.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 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)))) (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Bi) ai) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))))))))) #s(literal 0 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 Ai (/.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))) 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 (-.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)))) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 Ai (/.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))) betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 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 2 binary64)) (*.f64 Ai (/.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))) betai))))) #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 2 binary64)))))) 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 (neg.f64 Ai) (/.f64 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 (*.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)) (-.f64 (*.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)))) (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 #s(literal 1 binary64) bi) (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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))))) (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 #s(literal 1 binary64) delta)))))) 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 Ai (/.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))) 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 (-.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)))) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 Ai (/.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))) betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 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 2 binary64)) (*.f64 Ai (/.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))) betai))))) #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 2 binary64)))))) 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 (-.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)))) (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 (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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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)) (-.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 (*.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 (neg.f64 Ai) (/.f64 Ai betai)))) betai) (-.f64 (*.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)))) (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 (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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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)) (-.f64 #s(literal 1 binary64) bi)))) bi)
(*.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 (-.f64 #s(literal 1 binary64) 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 Ai (*.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 tau #s(literal 1 binary64)))) (-.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 ai (*.f64 (+.f64 ai ai) ai)) Bi)) (pow.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 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)))) #s(literal 2 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 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 2 binary64)) (*.f64 Ai (/.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))) betai))))) #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 2 binary64)))))) 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 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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))) (*.f64 #s(literal -2 binary64) (*.f64 (-.f64 (-.f64 (pow.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 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi))) (*.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) (/.f64 (-.f64 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 tau #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 (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)))))) 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 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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))) (*.f64 #s(literal -2 binary64) (*.f64 (-.f64 (-.f64 (pow.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 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi))) (*.f64 (*.f64 (*.f64 (-.f64 betai #s(literal 1 binary64)) (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 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 tau #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 (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)))))) 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 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.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))) (*.f64 #s(literal -2 binary64) (*.f64 (+.f64 (pow.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 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 ai 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 (-.f64 #s(literal 1 binary64) 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 Ai (*.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 tau #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 (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)))))) 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 (-.f64 betai #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))) Ai)) (*.f64 betai betai)) (-.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 (-.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)))) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 Ai (/.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))) betai))) #s(literal 2 binary64))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 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 Ai 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))) #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 2 binary64)))))) bi)
(if.f64 (<=.f64 ai #s(literal -9499999999999999532290544989981550624560383633302246533385010946347953375309298260283593323288717076452586642019590786305715815883871909629118608354312192 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 #s(literal 1 binary64) (+.f64 ai ai)) (*.f64 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 (*.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 betai #s(literal 1 binary64))) betai) (*.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 Ai (/.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 (*.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)) (+.f64 (pow.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 #s(literal 1 binary64) delta)) (neg.f64 Ai)) (neg.f64 betai)) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (*.f64 Bi (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))))))
(if.f64 (<=.f64 ai #s(literal -9499999999999999532290544989981550624560383633302246533385010946347953375309298260283593323288717076452586642019590786305715815883871909629118608354312192 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 #s(literal 1 binary64) (+.f64 ai ai)) (*.f64 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 (*.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 betai #s(literal 1 binary64))) betai) (*.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 Ai (/.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 (*.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)) (+.f64 (pow.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 #s(literal 1 binary64) delta)) (/.f64 Ai betai)) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (*.f64 Bi (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))))))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 Ai (/.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 (*.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)) (+.f64 (pow.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 #s(literal 1 binary64) delta)) (/.f64 Ai betai)) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (*.f64 Bi (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))))))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (/.f64 (*.f64 (*.f64 (-.f64 betai #s(literal 1 binary64)) (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 betai betai)) (-.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 (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) delta)) (/.f64 Ai betai)) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (*.f64 Bi (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))))))
(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))))
(-.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (*.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) (-.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)) #s(literal 2 binary64)))) #s(literal -1 binary64))
(+.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 du_dtau #s(literal -1320000000000000061898199437290766336 binary64)) (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) (if.f64 (<=.f64 du_dtau #s(literal 21499999999999998477073485811725369344 binary64)) (+.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 du_dtau du_dtau) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (-.f64 (*.f64 tau (-.f64 (*.f64 d2u_dtau2 tau) (*.f64 (neg.f64 (-.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) #s(literal -1 binary64))) du_dtau))) (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 ti (*.f64 du_dtau tau))) ti)))) (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)))))
(if.f64 (<=.f64 du_dtau #s(literal -499999999999999963269890588240599461754401607599733943631323209890181152768 binary64)) (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) (if.f64 (<=.f64 du_dtau #s(literal 4000000000000000000000 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) tau) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti)) ti) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) du_dtau) (*.f64 d2u_dtau2 tau)) tau)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)))) (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)))))
(if.f64 (<=.f64 du_dtau #s(literal -499999999999999963269890588240599461754401607599733943631323209890181152768 binary64)) (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 tau (*.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) (if.f64 (<=.f64 du_dtau #s(literal 3100000000000000132452288371864293749013244121754061766656 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti))) tau) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti)) ti) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) du_dtau) (*.f64 d2u_dtau2 tau)) tau)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)))) (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 tau (*.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)))))
(if.f64 (<=.f64 tau #s(literal -60000000000000004577861904655132201976978982567936 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) (*.f64 (*.f64 #s(literal -2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) tau) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)))) (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 tau (*.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))))
(-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) (*.f64 (*.f64 #s(literal -2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) tau) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau))))
(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 (*.f64 d2u_ddelta2 delta)) du_ddelta) delta) (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di))) di) (*.f64 (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta (+.f64 (/.f64 (+.f64 du_ddelta (*.f64 d2u_ddelta2 delta)) (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64))) 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 (*.f64 d2u_ddelta2 delta)) du_ddelta) delta) (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di))) di) (-.f64 (*.f64 (-.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_ddelta delta) di)) di) du_ddelta)) delta) (*.f64 (-.f64 #s(literal 1 binary64) di) di)))
(-.f64 (+.f64 (*.f64 (-.f64 (+.f64 du_ddelta (*.f64 d2u_ddelta2 delta)) du_ddelta) delta) (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di))) 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)))