(/.f64 (neg.f64 omegai) (pow.f64 tau (neg.f64 m_double)))
(*.f64 (neg.f64 omegai) (pow.f64 tau m_double))
(*.f64 (neg.f64 ci) (pow.f64 delta l_int))
(*.f64 (neg.f64 ci) (pow.f64 delta l_double))
(-.f64 (-.f64 (-.f64 (*.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/2 binary64)) #s(literal -1/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) 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 (*.f64 (pow.f64 delta di) ni) (exp.f64 u)))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 200000000000 binary64)) (*.f64 (/.f64 (*.f64 (*.f64 (neg.f64 Tci_over_Tr) theta) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 (neg.f64 Tci_over_Tr) theta) Tci_over_Tr) (*.f64 theta (*.f64 #s(literal -2 binary64) n))))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (-.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) (/.f64 (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1999999999999999961671192344874749181146240028060637586182329620308200224407357165952596537232442303925404120532352010881134064662416807896466747031552 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta)))))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 6304320991423117/315216049571155833698232320801148910440637914163723573343586347233965774171977684891314130039079325126453023922454528 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) theta) theta) Tci_over_Tr) (*.f64 Tci_over_Tr (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))))) (-.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) (/.f64 (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 200000000000 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 #s(literal -4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64)) #s(literal -3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1999999999999999961671192344874749181146240028060637586182329620308200224407357165952596537232442303925404120532352010881134064662416807896466747031552 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta))))))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5164499756173817/5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986752 binary64)) (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) Tci_over_Tr) Tci_over_Tr) theta) (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr)) (*.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -3 binary64)) #s(literal 3 binary64)) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)))) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) Tci_over_Tr) (*.f64 (*.f64 theta theta) Tci_over_Tr))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 200000000000 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 #s(literal -4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64)) #s(literal -3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1999999999999999961671192344874749181146240028060637586182329620308200224407357165952596537232442303925404120532352010881134064662416807896466747031552 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta))))))))))
(if.f64 (<=.f64 tau #s(literal 6925922319537253/8148143905337944345073782753637512644205873574663745002544561797417525199053346824733589504 binary64)) (*.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (-.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) (/.f64 (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 200000000000 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 #s(literal -4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64)) #s(literal -3 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1999999999999999961671192344874749181146240028060637586182329620308200224407357165952596537232442303925404120532352010881134064662416807896466747031552 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta)))))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1999999999999999961671192344874749181146240028060637586182329620308200224407357165952596537232442303925404120532352010881134064662416807896466747031552 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (-.f64 (-.f64 (*.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 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta))))))))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 13500000000000000275507010685175621526490118987092636456657125042259125821644957267949903389666459196246900088209596760608108317076954234449082739494748160 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta))))))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) Tci_over_Tr) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) Tci_over_Tr)))))))
(*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -1 binary64)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -4 binary64)) #s(literal -3 binary64))) theta)))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 0 binary64)) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.f64 theta theta) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64)))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 9999999999999999392535525055364621860040287220117324953190771571323204563013233902843309257440507748436856118056162172578717193742636030530235798840866882774987301441682011041067710253162440905843719802548551599076639682550821832659549112269607949805346034918662572406407604380845959862074904348138143744 binary64)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)))) theta))) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) 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)))) Tci_over_Tr) Tci_over_Tr) theta)))
(*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)))) theta))) (*.f64 Tci_over_Tr theta))
(*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)))) theta))) (*.f64 Tci_over_Tr theta))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 1649999999999999937410781846936756381327811054426825889452002997384062398153111337317969826883670988082503085588822682301035888058954044465743022064047611732557824 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 theta n) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)))) theta) (*.f64 Tci_over_Tr Tci_over_Tr)) theta))) (*.f64 n (*.f64 #s(literal -2 binary64) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (*.f64 theta theta) 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 #s(literal -2 binary64) (*.f64 (*.f64 theta n) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)))) theta) (*.f64 Tci_over_Tr Tci_over_Tr)) theta)))
(*.f64 #s(literal -2 binary64) (*.f64 (*.f64 theta n) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 (-.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)))))
(if.f64 (<=.f64 tau #s(literal 1298074214633707/1298074214633706907132624082305024 binary64)) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (neg.f64 n))) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) (neg.f64 n))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 3483030448795737/2808895523222368605827039360607851146278089029597354019897345018089573059460952548948569958162617750330001779372990521213418590137725259726450741103741783193402623334763523207442222181269470220616454421126328215138096104411600982523029892352200425580677351729446660909999175717788745567263052442650378502144 binary64)) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) (*.f64 (/.f64 (*.f64 Tci_over_Tr n) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta)) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (neg.f64 n))))
(if.f64 (<=.f64 (/.f64 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal -7067388259113537/7067388259113537318333190002971674063309935587502475832486424805170479104 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (neg.f64 n))) (*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n)))
(*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 (/.f64 Tci_over_Tr (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) theta) #s(literal 2 binary64)) (neg.f64 n))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 4722366482869645/1180591620717411303424 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n) (*.f64 (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) n) 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 6805647338418769/680564733841876926926749214863536422912 binary64)) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta) n) (*.f64 (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) n) 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 5092589940836215/254629497041810760783555711051172270131433549208242031329517556169297662470417088272924672 binary64)) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta) n) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal +inf.0 binary64)) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n)) (*.f64 (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) theta) n)))
(*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n))
(*.f64 n (log.f64 (fabs.f64 (sinh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))))
(*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) 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 -20000000000000001811939328 binary64)) (*.f64 (/.f64 (neg.f64 l_double) delta) (*.f64 (pow.f64 delta l_double) 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))) ci) (neg.f64 l_double)) (*.f64 (/.f64 (neg.f64 l_double) delta) (*.f64 (pow.f64 delta l_double) ci))))
(if.f64 (<=.f64 delta #s(literal 4951760157141521/2475880078570760549798248448 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))) ci) (neg.f64 l_double)))
(*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 1 binary64))) ci) (neg.f64 l_double))
(/.f64 (*.f64 Ai (*.f64 (-.f64 #s(literal 1 binary64) delta) (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))))) (neg.f64 betai))
(if.f64 (<=.f64 (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64))) #s(literal 999999999999999979617044168753715171107129451866841652067632118957448454785561110036171446110395985078602511391629572118883509758736380261518894779920079058604308854941977225917932503040 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))) betai) (-.f64 delta #s(literal 1 binary64))) 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 delta #s(literal 1 binary64))) betai) 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))) Ai) betai) (-.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))) betai) (-.f64 delta #s(literal 1 binary64))) Ai)
(*.f64 (-.f64 m_double #s(literal 1 binary64)) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) m_double) omegai)) tau))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -2379227053564453/1189613526782226450238449998519920448105008161327515567244617487452752525728323498836134651596925080471838979032154378440363668196435924566232664464881915700626376672357967899154149127867438189496191356625881149764854198965502304070525679152278926466409636084363315130259012279051747328 binary64)) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) omegai) (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (/.f64 (-.f64 m_double #s(literal 1 binary64)) tau))) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai)))))
(*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai))))
(*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) m_double) (*.f64 (*.f64 omegai (-.f64 m_double #s(literal 1 binary64))) (-.f64 #s(literal 2 binary64) m_double)))
(if.f64 (<=.f64 (*.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)) #s(literal -100000000000000001555941612946684302426820139692106143336977058043083378116475570326498538991504744767620628086784 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 1 binary64))) (/.f64 l_double delta)) (neg.f64 ci))) (*.f64 l_double (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) ci) (-.f64 #s(literal 1 binary64) l_double)) (-.f64 l_double #s(literal 2 binary64))) delta)))
(if.f64 (<=.f64 (*.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)) #s(literal -100000000000000001555941612946684302426820139692106143336977058043083378116475570326498538991504744767620628086784 binary64)) (*.f64 ci (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (-.f64 l_double #s(literal 2 binary64))) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (/.f64 l_double delta))) (*.f64 l_double (/.f64 (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) ci) (-.f64 #s(literal 1 binary64) l_double)) (-.f64 l_double #s(literal 2 binary64))) delta)))
(*.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 (*.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)) #s(literal -50000000000000000777970806473342151213410069846053071668488529021541689058237785163249269495752372383810314043392 binary64)) (*.f64 ci (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (-.f64 l_double #s(literal 2 binary64))) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (/.f64 l_double delta))) (if.f64 (<=.f64 (*.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)) #s(literal 0 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci) l_double))) (*.f64 ci (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (-.f64 l_double #s(literal 2 binary64))) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (/.f64 l_double delta)))))
(if.f64 (<=.f64 (*.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)) #s(literal -100000000000000001555941612946684302426820139692106143336977058043083378116475570326498538991504744767620628086784 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) l_double) (-.f64 #s(literal 1 binary64) l_double)) ci)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci) l_double))))
(if.f64 (<=.f64 delta #s(literal 8160249282398747/302231454903657293676544 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) l_double) (-.f64 #s(literal 1 binary64) l_double)) ci)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) l_double)) (*.f64 ci l_double))))
(*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) l_double) (-.f64 #s(literal 1 binary64) l_double)) ci))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal +inf.0 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))) (/.f64 Ai betai)) (-.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) betai)) (*.f64 betai betai)) #s(literal -2 binary64))) (-.f64 delta #s(literal 1 binary64))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 betai #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) betai) 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))) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) 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 +inf.0 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 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai) (*.f64 betai (-.f64 delta #s(literal 1 binary64))))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 betai #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) betai) 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))) Ai)) (*.f64 (-.f64 delta #s(literal 1 binary64)) 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 2000000000000000089771425356151833571098624 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 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai) (*.f64 betai (-.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) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)) (-.f64 (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) betai) #s(literal -3 binary64))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 99999999999999997961704416875371517110712945186684165206763211895744845478556111003617144611039598507860251139162957211888350975873638026151889477992007905860430885494197722591793250304 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (*.f64 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)))) (*.f64 betai (-.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) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)) (-.f64 (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) betai) #s(literal -3 binary64))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 2000000000000000089771425356151833571098624 binary64)) (*.f64 (*.f64 (-.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) betai)) (*.f64 betai betai)) #s(literal -2 binary64)) 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))) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai))) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)) (-.f64 (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) betai) #s(literal -3 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))) (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) (-.f64 betai #s(literal 3 binary64)))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)) 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))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai)) (-.f64 (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) betai) #s(literal -3 binary64)))
(*.f64 (-.f64 (-.f64 betai #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) betai) 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 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) 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 (*.f64 (-.f64 #s(literal 3 binary64) (+.f64 betai betai)) betai) #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) betai)))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Ci) (exp.f64 (+.f64 (neg.f64 (*.f64 Ci (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (neg.f64 (*.f64 Di (*.f64 (-.f64 tau #s(literal 1 binary64)) (-.f64 tau #s(literal 1 binary64)))))))) (+.f64 (*.f64 (*.f64 (neg.f64 #s(literal 4 binary64)) (*.f64 Ci Ci)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (*.f64 #s(literal 6 binary64) Ci) (-.f64 delta #s(literal 1 binary64))))) #s(literal +inf.0 binary64)) (*.f64 (+.f64 Ci Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 Ci (-.f64 #s(literal 6 binary64) (*.f64 #s(literal -4 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.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 delta #s(literal 1 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 12 binary64) Ci) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) Ci)) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 Ci (*.f64 (*.f64 #s(literal -8 binary64) Ci) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64)))))))) Ci)))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Ci) (exp.f64 (+.f64 (neg.f64 (*.f64 Ci (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (neg.f64 (*.f64 Di (*.f64 (-.f64 tau #s(literal 1 binary64)) (-.f64 tau #s(literal 1 binary64)))))))) (+.f64 (*.f64 (*.f64 (neg.f64 #s(literal 4 binary64)) (*.f64 Ci Ci)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) (*.f64 (*.f64 #s(literal 6 binary64) Ci) (-.f64 delta #s(literal 1 binary64))))) #s(literal +inf.0 binary64)) (*.f64 (+.f64 Ci Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 Ci (-.f64 #s(literal 6 binary64) (*.f64 #s(literal -4 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.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 delta #s(literal 1 binary64)) (*.f64 Ci (-.f64 (*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))) Ci) #s(literal 12 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 #s(literal -8 binary64) Ci)) (*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))) Ci) (-.f64 delta #s(literal 1 binary64))))))))
(*.f64 (+.f64 Ci Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 #s(literal 4 binary64) (-.f64 delta #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) #s(literal -6 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))))
(if.f64 (<=.f64 delta #s(literal -1749999999999999939044020227075832637597109038396786713070482256551057727918077646793997337755648 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 Ci (-.f64 #s(literal 12 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 #s(literal 8 binary64) (-.f64 delta #s(literal 1 binary64)))))) Ci) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 #s(literal 6 binary64) (*.f64 #s(literal -4 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64)))))) (*.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)))
(if.f64 (<=.f64 delta #s(literal -1749999999999999939044020227075832637597109038396786713070482256551057727918077646793997337755648 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 Ci (-.f64 #s(literal 12 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 #s(literal 8 binary64) (-.f64 delta #s(literal 1 binary64)))))) Ci) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 Ci (-.f64 #s(literal 12 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 #s(literal 8 binary64) (-.f64 delta #s(literal 1 binary64))))))) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))) Ci)))
(*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 Ci (-.f64 #s(literal 12 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 #s(literal 8 binary64) (-.f64 delta #s(literal 1 binary64))))))) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 tau #s(literal 1 binary64))))) Ci))
(+.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 2 binary64)) (*.f64 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 bi #s(literal 1 binary64))))))))))
(+.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) #s(literal 12 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 2 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)))) bi)) (*.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 2 binary64)) (*.f64 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 bi #s(literal 1 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 4676805239458889/46768052394588893382517914646921056628989841375232 binary64)) (*.f64 bi (+.f64 (*.f64 (-.f64 #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))) (-.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 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 2 binary64))) (-.f64 (*.f64 (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)) #s(literal -12 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 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 bi #s(literal 1 binary64)) bi) #s(literal -12 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) (*.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)) (*.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 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)))))))
(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 4676805239458889/46768052394588893382517914646921056628989841375232 binary64)) (*.f64 bi (+.f64 (*.f64 (-.f64 #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))) (-.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 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 2 binary64))) (-.f64 (*.f64 (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)) #s(literal -12 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 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 bi #s(literal 1 binary64)) bi) #s(literal -12 binary64))) (*.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 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 (-.f64 bi #s(literal 2 binary64)) bi) (-.f64 bi #s(literal 1 binary64))) #s(literal -8 binary64))) (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))))
(if.f64 (<=.f64 (+.f64 (*.f64 (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 4835703278458517/9671406556917033397649408 binary64)) (*.f64 bi (+.f64 (*.f64 (-.f64 #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))) (-.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 (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 2 binary64))) (-.f64 (*.f64 (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)) #s(literal -12 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 bi #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) #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))) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)))) (*.f64 (*.f64 #s(literal -12 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 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 bi #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) #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))) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)))) (*.f64 (*.f64 #s(literal -12 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 2 binary64)))))))
(*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) (-.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 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 (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 (*.f64 (-.f64 #s(literal 2 binary64) bi) #s(literal -8 binary64)) (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))) (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)))))) bi)
(-.f64 (*.f64 (*.f64 (*.f64 #s(literal -4 binary64) (-.f64 delta #s(literal 1 binary64))) Ci) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci)) (+.f64 Ci Ci))
(*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1/2 binary64) Ci) (*.f64 (*.f64 delta Ci) (-.f64 delta #s(literal 2 binary64)))) #s(literal -4 binary64)) Ci)
(*.f64 (*.f64 (-.f64 #s(literal -1/2 binary64) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 delta #s(literal 1 binary64)))) #s(literal 4 binary64)) Ci)
(if.f64 (<=.f64 betai #s(literal 5740878879676573/19136262932255243894327540630475154705164967900866663911068029494595001430924024396931296128159696131577158553613765316960850876967683885097823130383956161858642094270647956721192399556036699204091904 binary64)) (*.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.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 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai)))))) (*.f64 (*.f64 (-.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 (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 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai)))))))))) (*.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 (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) ai) ai) Bi)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal -2 binary64)))) (*.f64 (/.f64 Ai (*.f64 betai 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 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai))) Ai)) (*.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) betai) (*.f64 betai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai)) #s(literal 1 binary64)))) Ai))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai 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 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai)) #s(literal 1 binary64))) (/.f64 Ai betai)))))) (*.f64 (*.f64 (-.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai))) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai 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 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai)) #s(literal 1 binary64))) (/.f64 Ai betai)))))))))))
(*.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (+.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 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai)))))) (*.f64 (*.f64 (-.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 (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 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai))))))))))
(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 +inf.0 binary64)) (*.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 (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 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #s(literal 2 binary64)))))) (*.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 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 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (*.f64 (/.f64 Ai (*.f64 betai betai)) Ai)))) (*.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 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai)))))) (*.f64 (*.f64 (-.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 (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 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) 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) (-.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 Ai betai)))))))))))
(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 +inf.0 binary64)) (*.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 (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 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #s(literal 2 binary64)))))) (*.f64 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 1 binary64))) (*.f64 #s(literal 2 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 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai (*.f64 betai betai))) Ai) (*.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 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 #s(literal 1 binary64) betai) (*.f64 betai 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)))) Ai))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) (*.f64 (*.f64 (-.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 (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 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))))))))
(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 +inf.0 binary64)) (*.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 (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 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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)) 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 1 binary64))) (*.f64 (-.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 binary64) betai) 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 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))))) (*.f64 betai betai))) (*.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))))) #s(literal 2 binary64))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) (*.f64 (*.f64 (-.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 (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 #s(literal 1 binary64) delta) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))))))))
(*.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 (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 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #s(literal 2 binary64))))))
(*.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 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 (*.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 (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 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 delta #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (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 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))) #s(literal 2 binary64))))))
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #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 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 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai (*.f64 betai betai))) Ai) (*.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 Ai betai) (*.f64 (/.f64 (-.f64 betai #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 (*.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))) bi)
(if.f64 (<=.f64 betai #s(literal 152270531428125/304541062856249971261043199621099634714882089299843985214622076787904646586450815702050470808812820600790778632231520880733099058287596688955562103009770419360352428123639782183462176734064176511024987296225574339802674935168589842054573862983405175400866837597008673346307143437247315968 binary64)) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.f64 (*.f64 (/.f64 Ai betai) (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (-.f64 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)))) betai)) (*.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))))) #s(literal -2 binary64)))) bi) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #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 1 binary64))) (-.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) Bi)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal -2 binary64)))) (*.f64 (/.f64 Ai (*.f64 betai betai)) Ai))) (*.f64 (*.f64 (*.f64 (-.f64 betai #s(literal 1 binary64)) (/.f64 Ai (*.f64 betai 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)))))) #s(literal -2 binary64))) bi))
(if.f64 (<=.f64 betai #s(literal 152270531428125/304541062856249971261043199621099634714882089299843985214622076787904646586450815702050470808812820600790778632231520880733099058287596688955562103009770419360352428123639782183462176734064176511024987296225574339802674935168589842054573862983405175400866837597008673346307143437247315968 binary64)) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.f64 (*.f64 (/.f64 Ai betai) (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (-.f64 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)))) betai)) (*.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))))) #s(literal -2 binary64)))) bi) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 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 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai (*.f64 betai betai))) (*.f64 (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) betai) (*.f64 betai 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 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 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))))) #s(literal -2 binary64)))) bi))
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) Bi)) (/.f64 (-.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 (-.f64 #s(literal 1 binary64) betai) betai))) (*.f64 Ai (/.f64 Ai betai))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 Ai (/.f64 (-.f64 #s(literal 1 binary64) betai) 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)))))) betai)) #s(literal -2 binary64)))) bi)
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.f64 (*.f64 (/.f64 Ai betai) (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (-.f64 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)))) betai)) (*.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))))) #s(literal -2 binary64)))) bi)
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (-.f64 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 Ai (*.f64 betai betai))) (*.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))))) #s(literal -2 binary64)))) bi)
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.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 binary64) betai) 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 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))))) (*.f64 betai betai))) (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) Bi))) #s(literal -2 binary64)))) bi)
(*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (-.f64 (*.f64 (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 Ai betai)))))) #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 bi #s(literal 1 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 1 binary64))) (*.f64 (-.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 binary64) betai) 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 #s(literal 1 binary64) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))))) (*.f64 betai betai))) (*.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))))) #s(literal -2 binary64)))) bi)
(if.f64 (<=.f64 delta #s(literal -55999999999999997892420092695893463408161276571546296441055566235008363803682609299145815409792069030353298992450611548041572538613693000303788442414777513346114127509980537477159016464384 binary64)) (*.f64 (+.f64 (/.f64 (*.f64 (+.f64 (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 (+.f64 (*.f64 #s(literal 2 binary64) (+.f64 betai betai)) (*.f64 (+.f64 betai betai) #s(literal -1 binary64))) (*.f64 (+.f64 betai betai) (+.f64 betai 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 (+.f64 (*.f64 #s(literal 2 binary64) (+.f64 betai betai)) (*.f64 (+.f64 betai betai) #s(literal -1 binary64))) (*.f64 (+.f64 betai betai) (+.f64 betai betai))) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)))) betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 2 binary64)) #s(literal -1 binary64))) Ai)) Ai) (*.f64 betai betai)) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.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 (*.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) betai)) Ai) (+.f64 (*.f64 (/.f64 (*.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))) Ai)) betai) (/.f64 (*.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))) Ai)) betai)) (*.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))))))
(if.f64 (<=.f64 (*.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))))))) #s(literal +inf.0 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 (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 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 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) (/.f64 #s(literal 1 binary64) betai)) Ai) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 binary64)))
(if.f64 (<=.f64 (*.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))))))) #s(literal +inf.0 binary64)) (*.f64 (-.f64 (*.f64 (/.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 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))) (-.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)))))) (*.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))))) #s(literal 2 binary64)) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) (/.f64 #s(literal 1 binary64) betai)) Ai) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 binary64)))
(if.f64 (<=.f64 (*.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))))))) #s(literal 4999999999999999605484165416073513287770213846876111186433258848359206308319668001390237070852677072055182040559071162005202392857270657642140628876378645811821251708536483929887060237325184580570276667596004815337391042777347986076698776288257638400 binary64)) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) (/.f64 Ai betai)) (*.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))))) #s(literal 2 binary64)) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) (/.f64 #s(literal 1 binary64) betai)) Ai) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) Ai) betai) (*.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))))) #s(literal 2 binary64))
(if.f64 (<=.f64 (*.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))))))) #s(literal +inf.0 binary64)) (*.f64 (-.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) 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 #s(literal 1 binary64) (*.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)))))) betai) (/.f64 Ai betai)) (*.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))))) #s(literal 2 binary64)) (*.f64 (+.f64 (*.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) (*.f64 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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai betai)) Ai) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 binary64)))
(*.f64 (+.f64 (*.f64 (/.f64 (+.f64 (*.f64 (+.f64 #s(literal 1 binary64) (*.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))) (-.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 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai betai)) Ai) (*.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 (+.f64 ai ai) ai) ai)) Bi)) #s(literal 2 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))))
(if.f64 (<=.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) #s(literal +inf.0 binary64)) (+.f64 (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))) (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))
(+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai)))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau) (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)))) (*.f64 tau (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)))) (+.f64 (*.f64 tau (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 d2u_dtau2 d2u_dtau2)) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2)) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 du_dtau du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (-.f64 (*.f64 tau (+.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) du_dtau))) (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 ti (*.f64 du_dtau tau))) ti)))))
(if.f64 (<=.f64 d2u_dtau2 #s(literal 10500000000000000253047962495346739794345140077321181298483080936191838854069999609150686891344024174477778328897076532602529843394049449915576439799808 binary64)) (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (+.f64 tau tau)) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (*.f64 (-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 (*.f64 du_dtau tau) ti)) ti) (*.f64 tau (-.f64 du_dtau (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))) (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau))) (+.f64 (*.f64 tau (+.f64 (*.f64 (+.f64 du_dtau du_dtau) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 tau (+.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) (*.f64 (+.f64 ti (*.f64 du_dtau tau)) (+.f64 d2u_dtau2 d2u_dtau2)))))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal 5733746539975179/286687326998758938951352611912760867599570623646035140467198604923365359511060601008752319138765710819328 binary64)) (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (+.f64 tau tau)) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))))) (*.f64 tau (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)))) (+.f64 (-.f64 (*.f64 (*.f64 (+.f64 tau tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)) (+.f64 ti (*.f64 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 tau tau) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2))))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal 5733746539975179/286687326998758938951352611912760867599570623646035140467198604923365359511060601008752319138765710819328 binary64)) (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (+.f64 tau tau)) (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))))) (*.f64 tau (-.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)))) (+.f64 (+.f64 (*.f64 (*.f64 tau tau) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2)) (*.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 (+.f64 tau tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)) (+.f64 ti (*.f64 du_dtau tau)))))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (+.f64 tau tau)) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (*.f64 (-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 (*.f64 du_dtau tau) ti)) ti) (*.f64 tau (-.f64 du_dtau (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)))) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))) (*.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2) tau) tau)))
(-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (+.f64 (*.f64 #s(literal -2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti))))) tau) (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti))))
(if.f64 (<=.f64 (+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di))) #s(literal +inf.0 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) du_ddelta))) di) (-.f64 (+.f64 (*.f64 di di) (*.f64 delta (+.f64 (*.f64 di du_ddelta) (+.f64 (*.f64 di du_ddelta) (*.f64 (+.f64 (*.f64 du_ddelta du_ddelta) d2u_ddelta2) delta))))) di))
(if.f64 (<=.f64 (+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di))) #s(literal +inf.0 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) du_ddelta))) di) (-.f64 (+.f64 (*.f64 di (+.f64 di (*.f64 #s(literal 2 binary64) (*.f64 du_ddelta delta)))) (*.f64 (*.f64 (+.f64 (*.f64 du_ddelta du_ddelta) d2u_ddelta2) delta) delta)) di))
(if.f64 (<=.f64 (+.f64 (*.f64 delta (+.f64 (*.f64 delta d2u_ddelta2) du_ddelta)) (*.f64 (-.f64 (+.f64 (*.f64 delta du_ddelta) di) #s(literal 1 binary64)) (+.f64 (*.f64 delta du_ddelta) di))) #s(literal +inf.0 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 (*.f64 d2u_ddelta2 delta) delta)) di) (-.f64 (+.f64 (*.f64 di (+.f64 di (*.f64 #s(literal 2 binary64) (*.f64 du_ddelta delta)))) (*.f64 (*.f64 (+.f64 (*.f64 du_ddelta du_ddelta) d2u_ddelta2) delta) delta)) di))
(-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 (*.f64 d2u_ddelta2 delta) delta)) di)