(*.f64 (neg.f64 omegai) (pow.f64 tau m_double))
(*.f64 (neg.f64 ci) (pow.f64 delta l_int))
(*.f64 (neg.f64 ci) (pow.f64 delta l_double))
(+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal -1/2 binary64) betai)))))
(-.f64 (-.f64 (/.f64 Ai (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal -1/2 binary64) betai))) tau) #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) tau) #s(literal -1 binary64))
(*.f64 ni (exp.f64 (+.f64 (*.f64 ti (log.f64 tau)) (+.f64 (*.f64 di (log.f64 delta)) u))))
(*.f64 (*.f64 (pow.f64 tau ti) (pow.f64 delta di)) (*.f64 (exp.f64 u) ni))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5339967589802275/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)))) (-.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) #s(literal 4 binary64))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 16649999999999999835238456731613357637630524921883467498651648 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (/.f64 (+.f64 (-.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 2 binary64)) #s(literal 4 binary64)) (*.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 2 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 Tci_over_Tr theta)) (*.f64 theta (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) #s(literal 4 binary64)) (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) theta))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 4856672230564323/242833611528216133864932738352939863330300854881517440156476551217363035650651062272 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)))) (-.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) #s(literal 4 binary64))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 16649999999999999835238456731613357637630524921883467498651648 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (/.f64 (+.f64 (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 3 binary64))) (-.f64 (*.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 Tci_over_Tr theta)) (*.f64 theta (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) #s(literal 4 binary64)) (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr)) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) theta))))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal 0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 3 binary64)) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))))) (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)))) (-.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) #s(literal 4 binary64))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5000000000000000101094395635779734942880481616071788705688884281040020024990821546793489137664 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (/.f64 (+.f64 (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 3 binary64))) (-.f64 (*.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) Tci_over_Tr) theta)) theta))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5000000000000000101094395635779734942880481616071788705688884281040020024990821546793489137664 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (/.f64 (+.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) Tci_over_Tr) theta)) theta))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 3 binary64)) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))))) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) theta)))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 4 binary64))))) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) theta)))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 4 binary64))))) (*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) (*.f64 Tci_over_Tr Tci_over_Tr)) (*.f64 Tci_over_Tr theta)) (*.f64 n #s(literal -2 binary64)))) (/.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 4 binary64))))) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr))))) (+.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) #s(literal 1 binary64))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 4 binary64))))) (*.f64 (*.f64 (+.f64 (/.f64 (-.f64 (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -3 binary64)) #s(literal 3 binary64)) (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (/.f64 #s(literal 3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 4 binary64))))) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 Tci_over_Tr theta))) theta))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))) (/.f64 #s(literal 3 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 #s(literal -3 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64))))) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 Tci_over_Tr theta))) theta))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 11199999999999999508764561632951166857217065008206772961548947912331157324921793772337343352676777567740215872162728968179537739974577708681222341217155547136 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) (*.f64 Tci_over_Tr theta))) theta) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) Tci_over_Tr) Tci_over_Tr)) (*.f64 Tci_over_Tr theta)) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 11199999999999999508764561632951166857217065008206772961548947912331157324921793772337343352676777567740215872162728968179537739974577708681222341217155547136 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) theta) Tci_over_Tr) theta)) theta) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) Tci_over_Tr) Tci_over_Tr)) (*.f64 Tci_over_Tr theta)) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))))
(if.f64 (<=.f64 theta #s(literal -3100000000000000131470934807390178148562426442750024409370430654921397350484520334943579647750983521503543296 binary64)) (*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) (*.f64 Tci_over_Tr theta)) (*.f64 n #s(literal -2 binary64)))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) Tci_over_Tr) Tci_over_Tr)) (*.f64 Tci_over_Tr theta)) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64)))))
(*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta) (*.f64 Tci_over_Tr theta)) (*.f64 n #s(literal -2 binary64)))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))
(*.f64 (*.f64 theta (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) theta) (*.f64 Tci_over_Tr Tci_over_Tr)) (*.f64 Tci_over_Tr theta)) (*.f64 n #s(literal -2 binary64)))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -4 binary64)) #s(literal -3 binary64))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -39999999999999999728837946974465119058468337677762560 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 Tci_over_Tr theta) #s(literal -2 binary64))) n)) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1942668892225729/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.f64 (/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal 2 binary64))) (*.f64 Tci_over_Tr theta))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -39999999999999999728837946974465119058468337677762560 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 Tci_over_Tr theta) #s(literal -2 binary64))) n)) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 1942668892225729/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -546812681195753/1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.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 (*.f64 theta Tci_over_Tr) #s(literal 1942668892225729/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -546812681195753/1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.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 (*.f64 theta Tci_over_Tr) #s(literal 4856672230564323/242833611528216133864932738352939863330300854881517440156476551217363035650651062272 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 #s(literal -2 binary64) n)) (*.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 (*.f64 theta Tci_over_Tr) #s(literal -10000000000000000508222848402996879704791089448509839788449208028871961714412352270078388372553960191290960287445781834331294577148468377157632 binary64)) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 Tci_over_Tr (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 theta theta) Tci_over_Tr))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 99999999999999991202555500957231813912852864969525730182461368558677581576901282770959939099212034754106974340599870111173348163584 binary64)) (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64))))) (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (*.f64 #s(literal -2 binary64) n) (*.f64 Tci_over_Tr (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -3 binary64))) (*.f64 (*.f64 theta theta) Tci_over_Tr)))))))
(*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr theta)) (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)) #s(literal -2 binary64)))))
(*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr)) (/.f64 (*.f64 #s(literal -2 binary64) n) (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 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal 0 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (sinh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (neg.f64 n))) (*.f64 (*.f64 (*.f64 (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) (*.f64 n (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))))) Tci_over_Tr))
(*.f64 (*.f64 (*.f64 (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) (*.f64 n (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))))) Tci_over_Tr)
(*.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 tau (*.f64 Tci_over_Tr theta)))) Tci_over_Tr) #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 100000000000000001097906362944045541740492309677311846336810682903157585404911491537163328978494688899061249669721172515611590283743140088328307009198146046031271664502933027185697489699588559043338384466165001178426897626212945177628091195786707458122783970171784415105291802893207873272974885715430223118336 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n) (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr n)))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 2000000000000000086754593949238372146580586649903878623583547578672233625779362221882647511040 binary64)) (*.f64 (*.f64 Tci_over_Tr n) (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 100000000000000001097906362944045541740492309677311846336810682903157585404911491537163328978494688899061249669721172515611590283743140088328307009198146046031271664502933027185697489699588559043338384466165001178426897626212945177628091195786707458122783970171784415105291802893207873272974885715430223118336 binary64)) (*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) (*.f64 Tci_over_Tr n))))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 2000000000000000086754593949238372146580586649903878623583547578672233625779362221882647511040 binary64)) (*.f64 (*.f64 Tci_over_Tr n) (/.f64 theta (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 100000000000000001097906362944045541740492309677311846336810682903157585404911491537163328978494688899061249669721172515611590283743140088328307009198146046031271664502933027185697489699588559043338384466165001178426897626212945177628091195786707458122783970171784415105291802893207873272974885715430223118336 binary64)) (*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 theta (*.f64 (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) 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 500 binary64)) (*.f64 theta (*.f64 Tci_over_Tr (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 100000000000000001097906362944045541740492309677311846336810682903157585404911491537163328978494688899061249669721172515611590283743140088328307009198146046031271664502933027185697489699588559043338384466165001178426897626212945177628091195786707458122783970171784415105291802893207873272974885715430223118336 binary64)) (*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 theta (*.f64 (/.f64 n (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) 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 500 binary64)) (*.f64 theta (*.f64 Tci_over_Tr (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 100000000000000001097906362944045541740492309677311846336810682903157585404911491537163328978494688899061249669721172515611590283743140088328307009198146046031271664502933027185697489699588559043338384466165001178426897626212945177628091195786707458122783970171784415105291802893207873272974885715430223118336 binary64)) (*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 theta (*.f64 (/.f64 Tci_over_Tr (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))) n))))
(if.f64 (<=.f64 n #s(literal 4978089036328431/60708402882054033466233184588234965832575213720379360039119137804340758912662765568 binary64)) (*.f64 theta (*.f64 Tci_over_Tr (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))) (*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))))
(*.f64 Tci_over_Tr (/.f64 (*.f64 theta n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))
(*.f64 n (log.f64 (fabs.f64 (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))))
(if.f64 (<=.f64 delta #s(literal -2700000000000000000000 binary64)) (*.f64 (pow.f64 delta l_double) (*.f64 (neg.f64 ci) (/.f64 l_double delta))) (if.f64 (<=.f64 delta #s(literal 8999999999999999683776762878550804190624420403670417408 binary64)) (*.f64 (/.f64 l_double (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) (neg.f64 ci)) (*.f64 (pow.f64 delta l_double) (*.f64 (/.f64 (neg.f64 ci) delta) l_double))))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -100000000000000009190283508143378238084034459715684532224 binary64)) (*.f64 (/.f64 l_double (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) (neg.f64 ci)) (if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal 0 binary64)) (*.f64 (/.f64 (neg.f64 ci) (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) l_double) (*.f64 (pow.f64 delta l_double) (*.f64 (neg.f64 ci) (/.f64 l_double delta)))))
(/.f64 (*.f64 (*.f64 (pow.f64 delta l_double) l_double) ci) (neg.f64 delta))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -100000000000000009190283508143378238084034459715684532224 binary64)) (*.f64 (/.f64 l_double (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) (neg.f64 ci)) (*.f64 (/.f64 (neg.f64 ci) (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) l_double))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -7136238463529799/356811923176489970264571492362373784095686656 binary64)) (*.f64 (/.f64 l_double (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) (neg.f64 ci)) (*.f64 (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) (neg.f64 ci)) l_double))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -7136238463529799/356811923176489970264571492362373784095686656 binary64)) (*.f64 (neg.f64 ci) (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) l_double)) (*.f64 (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) (neg.f64 ci)) l_double))
(*.f64 (neg.f64 ci) (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) l_double))
(*.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)))
(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 200000000000000004618618260539574309785967644970339855086112915630968437935891537773152359373590152222156477087651714839319838022627174701375205943330738037142406286289327129751793333960704 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (/.f64 (-.f64 delta #s(literal 1 binary64)) betai)))
(*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (/.f64 (-.f64 delta #s(literal 1 binary64)) betai))
(*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (*.f64 (*.f64 (neg.f64 omegai) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64)))) (-.f64 m_double #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) tau))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -2000000000000000093203614349641395136810171619898753722841960916037365562646172599145535424428391424642067953191970979730634523332013796182721244194985286881174860254734632443798974411790110476652919471543120485568709918720 binary64)) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) omegai) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (-.f64 m_double #s(literal 1 binary64))) tau)) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 1487016908477783/74350845423889153139903124907495028006563010082969722952788592965797032858020218677258415724807817529489936189509648652522729262277245285389541529055119731289148542022372993697134320491714886843511959789117571860303387435343894004407854947017432904150602255272707195641188267440734208 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) (-.f64 #s(literal 2 binary64) m_double)) m_double)) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) omegai) (/.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (-.f64 m_double #s(literal 1 binary64))) tau))))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -inf.0 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (-.f64 m_double #s(literal 1 binary64))) (*.f64 (/.f64 omegai tau) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))))) (if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal 0 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (neg.f64 omegai) (*.f64 m_double (pow.f64 tau (+.f64 (-.f64 m_double #s(literal 2 binary64)) #s(literal -1 binary64))))) (-.f64 m_double #s(literal 2 binary64)))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) m_double) (-.f64 m_double #s(literal 1 binary64))) (*.f64 (/.f64 omegai tau) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64)))))))
(*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) (-.f64 #s(literal 2 binary64) m_double)) m_double))
(*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) (-.f64 m_double #s(literal 1 binary64))) (*.f64 omegai m_double)))
(*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double)) omegai))
(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 -1320736327839163/66036816391958155794042473114564575814855915754515190265995088628334237819590607434302156985957148486834299374157141084860293444937835692156317372307867447113548335499875635521091439709553305131628029113526398550518503536593945217354799612345879559561192322612217249792 binary64)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) l_double) delta) (*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))))) (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 578358058743443/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci)) l_double)) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci)) delta) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))))))
(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 -1320736327839163/66036816391958155794042473114564575814855915754515190265995088628334237819590607434302156985957148486834299374157141084860293444937835692156317372307867447113548335499875635521091439709553305131628029113526398550518503536593945217354799612345879559561192322612217249792 binary64)) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci)) delta) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (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 578358058743443/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776 binary64)) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci)) l_double)) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci)) delta) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))))))
(if.f64 (<=.f64 l_double #s(literal 4253529586511731/42535295865117307932921825928971026432 binary64)) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci)) delta) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 l_double (/.f64 (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) ci) (-.f64 l_double #s(literal 1 binary64))) (neg.f64 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))
(*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 l_double (*.f64 (*.f64 (neg.f64 ci) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (-.f64 l_double #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) delta))
(if.f64 (<=.f64 delta #s(literal -120000000000000000000 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) l_double) l_double) (-.f64 l_double #s(literal 1 binary64))) (*.f64 (/.f64 ci delta) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))))) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci)) l_double)))
(if.f64 (<=.f64 l_double #s(literal 4253529586511731/42535295865117307932921825928971026432 binary64)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 ci l_double) (pow.f64 delta (-.f64 l_double #s(literal 3 binary64)))) (-.f64 #s(literal 2 binary64) l_double))) (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) l_double) (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 3 binary64))) ci)) l_double)))
(*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 ci l_double) (pow.f64 delta (-.f64 l_double #s(literal 3 binary64)))) (-.f64 #s(literal 2 binary64) l_double)))
(*.f64 (-.f64 #s(literal 2 binary64) l_double) (*.f64 (*.f64 ci (-.f64 l_double #s(literal 1 binary64))) (*.f64 l_double (pow.f64 delta (-.f64 l_double #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 400000000000000009237236521079148619571935289940679710172225831261936875871783075546304718747180304444312954175303429678639676045254349402750411886661476074284812572578654259503586667921408 binary64)) (*.f64 (/.f64 (-.f64 (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai)) #s(literal 2 binary64)) (-.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))) (/.f64 (/.f64 (*.f64 (-.f64 (-.f64 (/.f64 #s(literal -1 binary64) betai) betai) (-.f64 betai #s(literal 3 binary64))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)) betai))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 400000000000000009237236521079148619571935289940679710172225831261936875871783075546304718747180304444312954175303429678639676045254349402750411886661476074284812572578654259503586667921408 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 (/.f64 #s(literal -1 binary64) betai) betai) (-.f64 betai #s(literal 3 binary64))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 (-.f64 #s(literal 1 binary64) delta) betai)) betai))
(/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.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 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 400000000000000009237236521079148619571935289940679710172225831261936875871783075546304718747180304444312954175303429678639676045254349402750411886661476074284812572578654259503586667921408 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 betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 400000000000000009237236521079148619571935289940679710172225831261936875871783075546304718747180304444312954175303429678639676045254349402750411886661476074284812572578654259503586667921408 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 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai))))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 400000000000000009237236521079148619571935289940679710172225831261936875871783075546304718747180304444312954175303429678639676045254349402750411886661476074284812572578654259503586667921408 binary64)) (*.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 delta #s(literal 1 binary64)) betai)) (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))))) (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai))))
(/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) (*.f64 betai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)))
(if.f64 (<=.f64 betai #s(literal -3499601159652819/69992023193056381579920071267763883691301421788582797965624659405118495974380029543152421664737722368 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))) Ai) (/.f64 (+.f64 (-.f64 #s(literal 3 binary64) (+.f64 betai betai)) (/.f64 #s(literal -1 binary64) betai)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai))) (*.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.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 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (/.f64 Ai (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)))
(*.f64 Ai (/.f64 (*.f64 (-.f64 #s(literal -1 binary64) (*.f64 (-.f64 (+.f64 betai betai) #s(literal 3 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 (*.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 (-.f64 #s(literal 1 binary64) delta) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 Ci Ci) #s(literal 4 binary64)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (*.f64 #s(literal 6 binary64) Ci))) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 #s(literal 1 binary64) delta)))))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) #s(literal 6 binary64)) Ci) (+.f64 Ci Ci)) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 #s(literal 1 binary64) delta))))) (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (+.f64 Ci Ci)) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64)))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 #s(literal 4 binary64) Ci))))))
(*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) #s(literal 4 binary64)) (*.f64 Ci Ci)) (-.f64 #s(literal 1 binary64) delta)) (*.f64 #s(literal 6 binary64) Ci)) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64)))))) (+.f64 Ci Ci)))
(*.f64 (+.f64 Ci Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 Ci Ci) #s(literal 4 binary64)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (*.f64 #s(literal 6 binary64) Ci))) (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) tau) Di) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 #s(literal 1 binary64) delta))))))
(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 1152921504606847/1152921504606846976 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.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 bi #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (+.f64 #s(literal -1 binary64) delta) (+.f64 #s(literal -1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 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))))))) #s(literal -8 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -12 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 1152921504606847/1152921504606846976 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.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 (-.f64 bi #s(literal 2 binary64)) bi) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (+.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64)))))) #s(literal -8 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -12 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 1152921504606847/1152921504606846976 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) (-.f64 bi #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 (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)) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -12 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 9999999999999999338604948347429745623719502164303315186116928223077006466996036476256924325958459471709145545996985214755393808134448127932794585054037286174943850004480 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64))) (*.f64 (-.f64 bi #s(literal 2 binary64)) #s(literal -8 binary64))))) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -12 binary64)))))
(if.f64 (<=.f64 bi #s(literal -7167183174968973/143343663499379469475676305956380433799785311823017570233599302461682679755530300504376159569382855409664 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (-.f64 bi #s(literal 1 binary64)) bi)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -8 binary64)) (*.f64 (-.f64 bi #s(literal 1 binary64)) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 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))) bi) #s(literal -12 binary64))))))
(if.f64 (<=.f64 bi #s(literal -7167183174968973/143343663499379469475676305956380433799785311823017570233599302461682679755530300504376159569382855409664 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (-.f64 bi #s(literal 1 binary64)) bi)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -8 binary64)) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) bi) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) #s(literal -12 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 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))))))
(*.f64 bi (+.f64 (*.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (-.f64 #s(literal 2 binary64) bi)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))))) (*.f64 (-.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) tau) #s(literal -12 binary64)) #s(literal 12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))))))
(*.f64 bi (+.f64 (*.f64 (*.f64 (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal -8 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) bi) (-.f64 #s(literal 2 binary64) bi)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal -12 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))))))
(-.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci))) (+.f64 Ci Ci))
(*.f64 (*.f64 (-.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) Ci) (-.f64 #s(literal 1 binary64) delta)) #s(literal 1/2 binary64)) #s(literal 4 binary64)) Ci)
(*.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (+.f64 (*.f64 (+.f64 ai ai) (*.f64 ai Bi)) (*.f64 (neg.f64 ai) Bi)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64)))))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (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)))))))
(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 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.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 Ai (*.f64 betai betai))) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (*.f64 Bi (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))))) #s(literal 2 binary64)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (/.f64 Ai betai) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (/.f64 Ai betai) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (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 bi #s(literal 1 binary64)))))) bi))
(if.f64 (<=.f64 (*.f64 bi (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) (-.f64 bi #s(literal 1 binary64))) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))))) (+.f64 (*.f64 (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 Bi (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) ai) ai) ai)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64)))))))) (*.f64 (*.f64 (-.f64 bi #s(literal 1 binary64)) (pow.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) (-.f64 bi #s(literal 2 binary64)))) (*.f64 (+.f64 (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Bi) ai) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))))) (+.f64 (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 (*.f64 (/.f64 Ai betai) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) Bi) ai) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64))))))))) #s(literal +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 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.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 Ai (*.f64 betai betai))) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))))) #s(literal 2 binary64)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (/.f64 Ai betai) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (/.f64 Ai betai) #s(literal 2 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 delta #s(literal 1 binary64))) (*.f64 (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 bi #s(literal 1 binary64)))))) bi))
(*.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 ai ai) ai) Bi) (*.f64 (neg.f64 ai) Bi)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 ai #s(literal 1 binary64)))))))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))))
(*.f64 bi (+.f64 (*.f64 (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 (/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (pow.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64))) (*.f64 (*.f64 (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)))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64)))))))
(*.f64 bi (+.f64 (*.f64 (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 (*.f64 (+.f64 ai ai) (*.f64 ai Bi)) (*.f64 (neg.f64 ai) Bi)) (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 (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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 Ai betai) #s(literal 2 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 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (-.f64 bi #s(literal 1 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 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 (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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.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 Ai (*.f64 betai betai))) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 Ai (/.f64 #s(literal 1 binary64) (/.f64 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))))))))) #s(literal 2 binary64)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))))) bi)
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.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 Ai (*.f64 betai betai))) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) 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 (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)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 Ai (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) betai))))) #s(literal 2 binary64)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))))) bi)
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (*.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 Ai (*.f64 betai betai))) (-.f64 #s(literal 1 binary64) delta)) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))))) #s(literal 2 binary64)) (*.f64 (-.f64 #s(literal 1 binary64) bi) (*.f64 (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64)) (*.f64 Ai (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) betai))))) #s(literal 2 binary64)) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))))) bi)
(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 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 (*.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 (*.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))) (*.f64 (/.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 (-.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 (pow.f64 (+.f64 betai betai) #s(literal -2 binary64)) (+.f64 betai betai)) #s(literal 1 binary64)))) (-.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)))
(if.f64 (<=.f64 betai #s(literal -600000000000000 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 #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 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)))) (/.f64 betai Ai)) (-.f64 (*.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))) (*.f64 (/.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))))) (if.f64 (<=.f64 betai #s(literal 8535058474086213/53344115463038834192638814325770062377158066578527265283170062494112297902541056572171457606972434325943439284747465923567110413232954920642906848418646640368761260636112116467704626287294512197831720129087092815853525984299811690329311019008 binary64)) (*.f64 #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))) betai) (*.f64 Ai 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))))) 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) #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 (+.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 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal 1 binary64))) #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 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) Bi)) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.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 delta #s(literal 1 binary64)))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai)))))
(*.f64 #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 (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 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal 1 binary64))) #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 Ai betai)) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) Bi)) (neg.f64 (*.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))) (*.f64 (/.f64 Ai (*.f64 betai betai)) Ai)))))
(*.f64 (-.f64 (*.f64 (*.f64 (/.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (-.f64 (*.f64 (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 (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 (/.f64 Ai (*.f64 betai betai)) Ai)))) #s(literal 2 binary64))
(if.f64 (<=.f64 ai #s(literal 53369014941225/702223880805592151456759840151962786569522257399338504974336254522393264865238137237142489540654437582500444843247630303354647534431314931612685275935445798350655833690880801860555545317367555154113605281582053784524026102900245630757473088050106395169337932361665227499793929447186391815763110662594625536 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 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 (/.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 (-.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)) 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 #s(literal 1 binary64) betai) #s(literal 1 binary64)))) betai))) (*.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 (*.f64 (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (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 (-.f64 betai #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (/.f64 Ai (*.f64 betai betai))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))) #s(literal 2 binary64)))
(*.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 (/.f64 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 #s(literal -2 binary64) ai) #s(literal 1 binary64)) (*.f64 ai Bi))) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) betai) (*.f64 (/.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))
(*.f64 (-.f64 (-.f64 (*.f64 (/.f64 Ai (*.f64 betai betai)) (*.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi))) (*.f64 (*.f64 (*.f64 (-.f64 betai #s(literal 1 binary64)) (/.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))
(*.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 (*.f64 (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (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 (-.f64 betai #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (/.f64 Ai (*.f64 betai betai))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))))) #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))))
(+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai)))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (-.f64 (*.f64 tau (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti)))))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau))) (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) tau)) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (-.f64 (*.f64 tau (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))))) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau))) (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) tau)) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)))
(if.f64 (<=.f64 tau #s(literal -2200000000000000182936918756213678919666711681585959276483045503922954737518875671122348148464894234376124908869745115373279306438637213032551287384663828446838784 binary64)) (-.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 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64))))) (if.f64 (<=.f64 tau #s(literal 5599361855444511/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 (*.f64 tau tau) d2u_dtau2) (*.f64 du_dtau tau))) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 #s(literal -2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (+.f64 (*.f64 (*.f64 tau tau) d2u_dtau2) (*.f64 du_dtau tau)))) (-.f64 (*.f64 tau (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau)))))))
(if.f64 (<=.f64 tau #s(literal -76000000000000007109476484477405824477407687062422817488648863059757370470875090644104138203332608 binary64)) (-.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 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64))))) (if.f64 (<=.f64 tau #s(literal 7951093834731205/559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778944 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 #s(literal -2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau))) (-.f64 (*.f64 tau (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))) (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau)) (*.f64 (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) #s(literal -2 binary64)) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau)))))))
(if.f64 (<=.f64 tau #s(literal -76000000000000007109476484477405824477407687062422817488648863059757370470875090644104138203332608 binary64)) (-.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 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64))))) (if.f64 (<=.f64 tau #s(literal 7559313193428757/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224 binary64)) (-.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 #s(literal -2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau))) (-.f64 (*.f64 tau (+.f64 (*.f64 (*.f64 d3u_dtau3 tau) tau) (-.f64 (*.f64 (+.f64 d2u_dtau2 d2u_dtau2) tau) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau)))))))
(if.f64 (<=.f64 tau #s(literal -76000000000000007109476484477405824477407687062422817488648863059757370470875090644104138203332608 binary64)) (-.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 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64))))) (if.f64 (<=.f64 tau #s(literal 7559313193428757/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224 binary64)) (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (*.f64 tau (*.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) (-.f64 (*.f64 tau (+.f64 (*.f64 (*.f64 d3u_dtau3 tau) tau) (-.f64 (*.f64 (+.f64 d2u_dtau2 d2u_dtau2) tau) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))))) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau 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 (-.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) ti) (*.f64 du_dtau tau)) #s(literal -2 binary64)))) tau) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 ti (*.f64 du_dtau tau))) (*.f64 (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64)) (+.f64 ti (*.f64 du_dtau 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 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64))))) tau) (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 1 binary64)))))
(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 delta (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) du_ddelta) (-.f64 (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta) (*.f64 (-.f64 #s(literal 1 binary64) di) du_ddelta)))) (*.f64 (-.f64 #s(literal 1 binary64) di) di)))
(-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 delta (-.f64 du_ddelta (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)))) di)
(-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 (*.f64 d2u_ddelta2 delta) delta)) di)