(*.f64 (neg.f64 omegai) (pow.f64 tau m_double))
(*.f64 (neg.f64 ci) (pow.f64 delta l_int))
(*.f64 (neg.f64 ci) (pow.f64 delta l_double))
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal -1/2 binary64) (-.f64 (+.f64 tau tau) #s(literal 2 binary64))) (-.f64 #s(literal 2 binary64) (+.f64 tau tau))) (-.f64 #s(literal 2 binary64) (+.f64 tau tau))) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 tau tau)) #s(literal 1 binary64)) (*.f64 (*.f64 (-.f64 #s(literal 2 binary64) (+.f64 tau tau)) #s(literal 2 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) tau) #s(literal -1 binary64))
(*.f64 ni (sqrt.f64 (exp.f64 (*.f64 (+.f64 (+.f64 u (*.f64 (log.f64 tau) ti)) (*.f64 (log.f64 delta) di)) #s(literal 2 binary64)))))
(*.f64 ni (exp.f64 (+.f64 (*.f64 ti (log.f64 tau)) (+.f64 (*.f64 di (log.f64 delta)) u))))
(*.f64 (pow.f64 delta di) (*.f64 (exp.f64 (+.f64 (*.f64 (log.f64 tau) ti) u)) ni))
(*.f64 (pow.f64 tau ti) (*.f64 (exp.f64 u) (*.f64 (pow.f64 delta di) ni)))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -200000000000000000053219729416734553074804802362401618196263954906979517832626176 binary64)) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -4208108721238699/21040543606193494028963959531520514662201359211292695437993123612274928617188323288454666145110353804907931875424712870852077729000735215452511259082607523399820894684513778392766655031537290869085173006943125504 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))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 6518515124270355/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064 binary64)) (/.f64 (*.f64 (-.f64 (-.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 -2 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta) theta) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta) theta))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 50000000000000002094076278210572897949571693332016914157171385590349824 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 3 binary64))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 2 binary64))))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n)))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -200000000000000000053219729416734553074804802362401618196263954906979517832626176 binary64)) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -8958978968711217/17917957937422433684459538244547554224973163977877196279199912807710334969441287563047019946172856926208 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))))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 5288447750321989/10576895500643977583230644928524336637254474927428499508554380724390492659780981533203027367035444557561459392400373732868096 binary64)) (/.f64 (*.f64 (-.f64 (-.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 -2 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)) theta) Tci_over_Tr) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) Tci_over_Tr) Tci_over_Tr))) (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal 2 binary64))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 50000000000000002094076278210572897949571693332016914157171385590349824 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64)) #s(literal 3 binary64))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal 2 binary64))))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n)))))))
(if.f64 (<=.f64 theta #s(literal -11499999999999999255641111295720679841723867746116543361158120938898718720 binary64)) (/.f64 (*.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 (/.f64 #s(literal 4 binary64) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)) theta) (*.f64 (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) Tci_over_Tr) theta)) theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (if.f64 (<=.f64 theta #s(literal -4208588308330709/300613450595050653169853516389035139504087366260264943450533244356122755214669880763353471793250393988087676928 binary64)) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)))) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)))))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n)))))) (if.f64 (<=.f64 theta #s(literal 6254681003410249/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)))))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -200000000000000000053219729416734553074804802362401618196263954906979517832626176 binary64)) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)))) (if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal 50000000000000002094076278210572897949571693332016914157171385590349824 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))))) (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)))))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n)))))
(if.f64 (<=.f64 Tci_over_Tr #s(literal 2000000000000000115533219796231793404874534254192128274196083726469424668033849229312 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 #s(literal -2 binary64) n))) (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) (-.f64 #s(literal 4 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 3 binary64)))))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n))))
(if.f64 (<=.f64 theta #s(literal -2600000000000000 binary64)) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta)))) (*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 (*.f64 (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) Tci_over_Tr)) (*.f64 #s(literal -2 binary64) Tci_over_Tr)) n))))
(*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 theta theta) theta)) (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr) theta))))
(*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.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))) Tci_over_Tr) (*.f64 (*.f64 #s(literal -2 binary64) n) Tci_over_Tr)) (*.f64 (*.f64 (*.f64 theta theta) theta) theta))))
(*.f64 Tci_over_Tr (*.f64 Tci_over_Tr (*.f64 (*.f64 Tci_over_Tr (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -2 binary64)) #s(literal 4 binary64))) (*.f64 (pow.f64 (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) #s(literal -4 binary64)) #s(literal -3 binary64)))) (*.f64 (*.f64 (*.f64 (*.f64 theta theta) theta) theta) (*.f64 Tci_over_Tr (*.f64 #s(literal -2 binary64) n))))))
(if.f64 (<=.f64 theta #s(literal -6499999999999999593644510990384774520498798802555127355660083857349028219105312768 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 theta (*.f64 (*.f64 (*.f64 (/.f64 Tci_over_Tr (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)))) theta) Tci_over_Tr))) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 Tci_over_Tr (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)))) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 #s(literal -2 binary64) n) theta)) (*.f64 Tci_over_Tr theta)))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) (/.f64 #s(literal 1 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 theta (*.f64 (*.f64 (*.f64 (/.f64 Tci_over_Tr (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)))) theta) Tci_over_Tr))))
(if.f64 (<=.f64 theta #s(literal -35999999999999998610423264637090361149717285516082919942194362388769718795211493015750939839642163874726521198362072860065792 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 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))) Tci_over_Tr) Tci_over_Tr) theta))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(if.f64 (<=.f64 theta #s(literal -939999999999999944406368451605841778484666437096505128957240726905023720503907662813111444870542632694111844571355899750252544 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.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))) Tci_over_Tr)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(if.f64 (<=.f64 theta #s(literal -939999999999999944406368451605841778484666437096505128957240726905023720503907662813111444870542632694111844571355899750252544 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 theta (*.f64 (*.f64 Tci_over_Tr theta) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) Tci_over_Tr)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(if.f64 (<=.f64 (*.f64 theta Tci_over_Tr) #s(literal -199999999999999993946624442502072331894900655091004725296483501900693696871108151068392676809412503736055024831947764816364271468736556969278770082094479755742047182133579963622363626612334257709776896 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) Tci_over_Tr) theta) (*.f64 Tci_over_Tr (*.f64 (*.f64 theta theta) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) Tci_over_Tr)))) (*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr))))))
(*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (/.f64 (*.f64 (*.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)))) (tanh.f64 (*.f64 (*.f64 tau theta) Tci_over_Tr)))))
(*.f64 (*.f64 (*.f64 (*.f64 #s(literal -2 binary64) n) theta) (*.f64 Tci_over_Tr theta)) (*.f64 Tci_over_Tr (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -3 binary64))) (*.f64 Tci_over_Tr theta))))
(if.f64 (<=.f64 (*.f64 (*.f64 (*.f64 (neg.f64 #s(literal 2 binary64)) n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (-.f64 (/.f64 #s(literal 1 binary64) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) (/.f64 #s(literal 1 binary64) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (*.f64 (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))))))) #s(literal +inf.0 binary64)) (*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 (*.f64 (*.f64 theta theta) (*.f64 (*.f64 Tci_over_Tr Tci_over_Tr) (*.f64 (*.f64 (/.f64 Tci_over_Tr (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)))) theta))) (*.f64 n #s(literal -2 binary64))))
(*.f64 (*.f64 (*.f64 n #s(literal -2 binary64)) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr)))) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))) #s(literal -2 binary64))) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))))
(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 (*.f64 Tci_over_Tr theta) n) (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) (*.f64 (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr)) (*.f64 (pow.f64 (/.f64 (/.f64 (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) theta) Tci_over_Tr) #s(literal -2 binary64)) (neg.f64 n)))
(*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (*.f64 (*.f64 Tci_over_Tr (/.f64 (neg.f64 theta) (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))) (neg.f64 n)))
(if.f64 (<=.f64 (/.f64 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal 0 binary64)) (*.f64 (*.f64 (pow.f64 (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 (neg.f64 Tci_over_Tr) theta) n)) (*.f64 (pow.f64 (/.f64 (/.f64 (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)) theta) Tci_over_Tr) #s(literal -2 binary64)) (neg.f64 n)))
(if.f64 (<=.f64 (/.f64 (*.f64 (neg.f64 n) (*.f64 (*.f64 theta Tci_over_Tr) (*.f64 theta Tci_over_Tr))) (*.f64 (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)) (sinh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau)))) #s(literal 0 binary64)) (*.f64 (*.f64 (pow.f64 (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau)) #s(literal -2 binary64)) (*.f64 Tci_over_Tr theta)) (*.f64 (*.f64 (neg.f64 Tci_over_Tr) theta) n)) (*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n)))
(*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) Tci_over_Tr) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (pow.f64 (*.f64 (/.f64 theta (sinh.f64 (*.f64 (*.f64 Tci_over_Tr theta) tau))) 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 5000000000000000014339392554976861624351030032307491891786714963455192826951136079841645978666612324808479156564299152005093968192740890223899883592402933027172967020052041660293849107704861024718326980908701245637596009600853559934996040535864898581843704726957456644770889728 binary64)) (*.f64 (/.f64 (*.f64 Tci_over_Tr theta) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta)))) n) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) n)))
(if.f64 (<=.f64 (/.f64 (*.f64 n (*.f64 theta Tci_over_Tr)) (tanh.f64 (*.f64 (*.f64 theta Tci_over_Tr) tau))) #s(literal 20000000000000000 binary64)) (*.f64 theta (/.f64 (*.f64 Tci_over_Tr n) (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))) (*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) n)))
(*.f64 Tci_over_Tr (*.f64 (/.f64 theta (tanh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta))) n))
(*.f64 Tci_over_Tr (*.f64 theta (/.f64 n (tanh.f64 (*.f64 tau (*.f64 Tci_over_Tr theta))))))
(*.f64 n (log.f64 (fabs.f64 (sinh.f64 (*.f64 (*.f64 tau Tci_over_Tr) theta)))))
(/.f64 (*.f64 (neg.f64 l_double) (*.f64 (pow.f64 delta l_double) ci)) 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 -99999999999999991433150857216 binary64)) (*.f64 (pow.f64 delta l_double) (*.f64 (neg.f64 ci) (/.f64 l_double 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 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)))))
(if.f64 (<=.f64 (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta)) #s(literal -5462437423415177/109248748468303532426524291739177087748419720352823839299932287987941986104404083859807145179079545499532163655162810211465442126301091677476673225561388319475223061782757614525859074636379160981159362824370366086868021215846014341794428966928384 binary64)) (/.f64 (*.f64 (neg.f64 ci) l_double) (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double))) (*.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 -99999999999999991433150857216 binary64)) (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) (*.f64 (neg.f64 ci) l_double)) (*.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 -9999999999999999583119736832 binary64)) (*.f64 ci (/.f64 (neg.f64 l_double) (pow.f64 delta (-.f64 #s(literal 1 binary64) l_double)))) (*.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 -99999999999999991433150857216 binary64)) (*.f64 (pow.f64 delta (+.f64 #s(literal -1 binary64) l_double)) (*.f64 (neg.f64 ci) l_double)) (*.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 -9999999999999999583119736832 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))
(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 9999999999999999860310597602564577717002641838126363875249660735883565852672743849064846414228960666786379280392654615393353172850252103336275952370615397010730691664689375178569039851073146339641623266071126720011020169553304018596457812688561947201171488461172921822139066929851282122002676667750021070848 binary64)) (*.f64 (/.f64 Ai betai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) betai) (-.f64 delta #s(literal 1 binary64))) Ai))
(*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) betai) (-.f64 delta #s(literal 1 binary64)))
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) betai) (-.f64 delta #s(literal 1 binary64))) Ai)
(if.f64 (<=.f64 tau #s(literal -7906338019816821/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232 binary64)) (/.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) m_double) (neg.f64 omegai)) (-.f64 m_double #s(literal 2 binary64)))) tau) (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 m_double (/.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 1 binary64))) (neg.f64 omegai)) (-.f64 m_double #s(literal 1 binary64))) tau))) (/.f64 #s(literal 1 binary64) tau)))
(if.f64 (<=.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 m_double (*.f64 (neg.f64 omegai) (pow.f64 tau m_double))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau))) (/.f64 #s(literal 1 binary64) tau)) #s(literal -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) m_double) tau) (*.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) omegai) (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 6805647338418769/340282366920938463463374607431768211456 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai)))) (*.f64 (/.f64 (-.f64 #s(literal 2 binary64) m_double) tau) (*.f64 (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) omegai) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64)))))))
(*.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 -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) 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 2379227053564453/4758454107128905800953799994079681792420032645310062268978469949811010102913293995344538606387700321887355916128617513761454672785743698264930657859527662802505506689431871596616596511469752757984765426503524599059416795862009216282102716609115705865638544337453260521036049116206989312 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai)))) (*.f64 (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) omegai)) tau) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))))))
(if.f64 (<=.f64 m_double #s(literal 20000000000000000941202689918109391783119202815733261528557419069796499062784 binary64)) (*.f64 (-.f64 m_double #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) (neg.f64 omegai)) (-.f64 m_double #s(literal 1 binary64))) (/.f64 m_double tau))) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) m_double)) omegai)))
(/.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))) m_double) (neg.f64 omegai)) (-.f64 m_double #s(literal 2 binary64)))) tau)
(if.f64 (<=.f64 m_double #s(literal 20000000000000000941202689918109391783119202815733261528557419069796499062784 binary64)) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (*.f64 (neg.f64 omegai) (*.f64 (/.f64 (-.f64 m_double #s(literal 2 binary64)) tau) (pow.f64 tau (-.f64 m_double #s(literal 2 binary64))))))) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) m_double)) omegai)))
(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 7914572847139345/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai)))) (*.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 #s(literal 2 binary64) m_double) (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 m_double (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai))))
(*.f64 (-.f64 #s(literal 2 binary64) m_double) (*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) m_double)) omegai))
(*.f64 (*.f64 (-.f64 m_double #s(literal 1 binary64)) m_double) (*.f64 (*.f64 (pow.f64 tau (-.f64 m_double #s(literal 3 binary64))) omegai) (-.f64 #s(literal 2 binary64) m_double)))
(if.f64 (<=.f64 l_double #s(literal 4835703278458517/4835703278458516698824704 binary64)) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) ci) (pow.f64 delta (-.f64 l_double #s(literal 1 binary64)))) (-.f64 #s(literal 2 binary64) l_double)) delta) delta) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (/.f64 (*.f64 (neg.f64 ci) (*.f64 l_double (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 2 binary64))))) delta)))
(*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) (*.f64 (*.f64 l_double (*.f64 (neg.f64 ci) (pow.f64 delta l_double))) (/.f64 #s(literal 1 binary64) delta))) (/.f64 #s(literal 1 binary64) delta))) (/.f64 #s(literal 1 binary64) delta))
(if.f64 (<=.f64 l_double #s(literal 4835703278458517/4835703278458516698824704 binary64)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (neg.f64 ci) l_double) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64)))) (-.f64 l_double #s(literal 2 binary64))) delta)) (*.f64 (-.f64 l_double #s(literal 1 binary64)) (/.f64 (*.f64 (neg.f64 ci) (*.f64 l_double (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 2 binary64))))) delta)))
(*.f64 (-.f64 l_double #s(literal 1 binary64)) (/.f64 (*.f64 (neg.f64 ci) (*.f64 l_double (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) (-.f64 l_double #s(literal 2 binary64))))) delta))
(if.f64 (<=.f64 (neg.f64 ci) #s(literal -101999999999999992997272587275127215055466818967137431182283912320906584920411593269016190182489510486217108775475636686471486347958562325763819796487087949985497948710246211541684654450429968439020611624101788301022234984945729599963136 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (+.f64 #s(literal -1 binary64) (-.f64 l_double #s(literal 2 binary64)))))) (neg.f64 ci)) (if.f64 (<=.f64 (neg.f64 ci) #s(literal 9999999999999999544446266951486038123467425400819078260993214423089680518452271383223760211130420606034208307593944715707740128306913340586165347614418822310868858990958736965765439335377993421392542578277827477504 binary64)) (/.f64 (*.f64 (*.f64 ci (-.f64 #s(literal 2 binary64) l_double)) (*.f64 (*.f64 (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))) l_double) (-.f64 l_double #s(literal 1 binary64)))) delta) (*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (+.f64 #s(literal -1 binary64) (-.f64 l_double #s(literal 2 binary64)))))) (neg.f64 ci))))
(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 -7983361238138879/79833612381388792466254908521473542642698050417418301660101889697488475674758562631398318619705428043573697873767699809758897519535743746429566871931393256812800226918043427060701508857774519487306134269781756959733232418204834815555554210737921766300284836275030241665694339809213760397115392 binary64)) (*.f64 (*.f64 (*.f64 ci (-.f64 #s(literal 2 binary64) l_double)) (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) 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 0 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (+.f64 #s(literal -1 binary64) (-.f64 l_double #s(literal 2 binary64)))))) (neg.f64 ci)) (*.f64 (*.f64 (*.f64 ci (-.f64 #s(literal 2 binary64) l_double)) (/.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) delta)) (pow.f64 delta (-.f64 l_double #s(literal 2 binary64))))))
(*.f64 (*.f64 (-.f64 l_double #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (+.f64 #s(literal -1 binary64) (-.f64 l_double #s(literal 2 binary64)))))) (neg.f64 ci))
(*.f64 (*.f64 (*.f64 (-.f64 l_double #s(literal 1 binary64)) l_double) (pow.f64 delta (+.f64 #s(literal -1 binary64) (-.f64 l_double #s(literal 2 binary64))))) (*.f64 ci (-.f64 #s(literal 2 binary64) l_double)))
(/.f64 (*.f64 (/.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)))) betai) Ai) (*.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))) (/.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 +inf.0 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)) (/.f64 Ai (*.f64 (-.f64 delta #s(literal 1 binary64)) betai))) betai)) (*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #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))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) Ai)))
(if.f64 (<=.f64 (/.f64 (*.f64 (*.f64 (/.f64 Ai betai) (+.f64 (-.f64 #s(literal 2 binary64) (/.f64 #s(literal 3 binary64) betai)) (/.f64 #s(literal 1 binary64) (*.f64 betai betai)))) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))) (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))))) #s(literal 9999999999999999594167244563503627314919960896484514396697390098067039229509544255160320 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) Ai) (*.f64 betai (-.f64 delta #s(literal 1 binary64))))) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #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 9999999999999999594167244563503627314919960896484514396697390098067039229509544255160320 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (/.f64 (*.f64 Ai (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (*.f64 betai (-.f64 delta #s(literal 1 binary64))))) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #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 9999999999999999594167244563503627314919960896484514396697390098067039229509544255160320 binary64)) (*.f64 (-.f64 #s(literal 2 binary64) (/.f64 (-.f64 (*.f64 #s(literal 3 binary64) betai) #s(literal 1 binary64)) (*.f64 betai betai))) (*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (*.f64 (-.f64 delta #s(literal 1 binary64)) betai)) Ai)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai))))
(*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #s(literal -1 binary64) betai)))
(*.f64 (/.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 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) Ai)
(*.f64 (-.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) (/.f64 #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))) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) betai) betai)) Ai))
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) betai) betai)) (-.f64 #s(literal -1 binary64) (*.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) betai))) Ai)
(if.f64 (<=.f64 Ai #s(literal 1668739871813211/66749594872528440074844428317798503581334516323645399060845050244444366430645017188217565216768 binary64)) (*.f64 (*.f64 Ai (-.f64 #s(literal -1 binary64) (*.f64 (-.f64 (+.f64 betai betai) #s(literal 3 binary64)) betai))) (/.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) betai) 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 #s(literal 1 binary64) delta) (*.f64 (*.f64 betai 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 #s(literal 1 binary64) delta) (*.f64 (*.f64 betai betai) betai))))
(if.f64 (<=.f64 Ci #s(literal -550000000000000035663906966377620973491994817542715183843069942719857018333732512427246351934102544794884071568382784858249797673357584449018926737254002642490579952795632110588464284211756314520073633109727085846331392 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 #s(literal -4 binary64) Ci)) (*.f64 #s(literal -6 binary64) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (+.f64 Ci Ci)) Ci)) (if.f64 (<=.f64 Ci #s(literal 235000000000000016779967139122779656938040690982177628960912671760520557128341228726989561826291689544987538142265344 binary64)) (*.f64 (*.f64 (+.f64 Ci Ci) (-.f64 #s(literal 1 binary64) delta)) (*.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 (-.f64 (*.f64 (*.f64 #s(literal -6 binary64) (-.f64 #s(literal 1 binary64) delta)) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (+.f64 Ci Ci))) (*.f64 (*.f64 #s(literal 4 binary64) Ci) (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 delta #s(literal 1 binary64))) (*.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))))))))))))
(if.f64 (<=.f64 delta #s(literal -18499999999999999748981804914054265738494994921837248308464122160816232252066541294822998405282111678316544 binary64)) (*.f64 (*.f64 (+.f64 Ci Ci) (-.f64 #s(literal 1 binary64) delta)) (*.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))))))) (if.f64 (<=.f64 delta #s(literal 500000000000000039145770202298121921152680149943058432 binary64)) (*.f64 (-.f64 (*.f64 (*.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 delta #s(literal 1 binary64))) (*.f64 #s(literal -4 binary64) Ci)) (*.f64 #s(literal -6 binary64) (-.f64 delta #s(literal 1 binary64)))) (*.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 (-.f64 tau #s(literal 1 binary64)) Di) (-.f64 #s(literal 1 binary64) tau)) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (-.f64 delta #s(literal 1 binary64))))) (+.f64 Ci Ci)) Ci)) (*.f64 (*.f64 (+.f64 Ci Ci) (-.f64 #s(literal 1 binary64) delta)) (*.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 (*.f64 (+.f64 Ci Ci) (-.f64 #s(literal 1 binary64) delta)) (*.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)))))))
(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 3602879701896397/9007199254740992 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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(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 (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 bi #s(literal 1 binary64)) bi))))) #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 7914572847139345/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(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 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64)))))) #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 7914572847139345/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(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))) (pow.f64 (+.f64 (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi)) (-.f64 bi #s(literal 3 binary64)))) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal -2 binary64))) #s(literal -8 binary64)) (*.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 7914572847139345/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (+.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 3 binary64))) (*.f64 (*.f64 (*.f64 (-.f64 bi #s(literal 2 binary64)) bi) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64)))) #s(literal -8 binary64)) (*.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 3999999999999999937380150107189689588934099100797348211678335149652521651556092894508263027727320723234284124035678708640337011408798567239784120093791810785742108496109506402819264925700926876009514256540501016576 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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64)))) (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64))))
(*.f64 bi (+.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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (*.f64 (*.f64 #s(literal -12 binary64) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (+.f64 (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 (+.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 (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))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) #s(literal -12 binary64))))
(-.f64 (*.f64 #s(literal 4 binary64) (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci) (*.f64 (-.f64 delta #s(literal 1 binary64)) Ci))) (+.f64 Ci Ci))
(*.f64 (*.f64 (-.f64 (*.f64 (-.f64 Ci (*.f64 delta Ci)) (-.f64 #s(literal 1 binary64) delta)) #s(literal 1/2 binary64)) #s(literal 4 binary64)) 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 (*.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 (neg.f64 ai) Bi) (*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64))) (*.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 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))))) (+.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai betai))) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 (neg.f64 ai) Bi) (*.f64 (*.f64 #s(literal -2 binary64) ai) (*.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 (*.f64 (neg.f64 ai) Bi) (*.f64 (*.f64 #s(literal -2 binary64) ai) (*.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 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 #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 (-.f64 #s(literal 1 binary64) delta) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64)))) (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)))))) 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 (*.f64 (neg.f64 ai) Bi) (*.f64 (*.f64 #s(literal -2 binary64) ai) (*.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 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 #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 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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (*.f64 (+.f64 (-.f64 (pow.f64 (*.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) #s(literal 2 binary64)) (*.f64 (*.f64 (-.f64 ai (*.f64 (+.f64 ai ai) ai)) Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))))) (*.f64 (*.f64 (*.f64 (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 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 (neg.f64 ai) Bi) (*.f64 (*.f64 #s(literal -2 binary64) ai) (*.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 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 #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 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 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (/.f64 Ai betai)) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(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))) #s(literal -2 binary64)))))
(*.f64 bi (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)))))) (*.f64 Bi (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) ai))) (-.f64 bi #s(literal 1 binary64))) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (+.f64 (-.f64 #s(literal 1 binary64) tau) (*.f64 Ai (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai))))) (*.f64 (/.f64 Ai betai) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) (pow.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (-.f64 delta #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) betai)) #s(literal 1 binary64)))))) (+.f64 (*.f64 (*.f64 (*.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 (neg.f64 ai) Bi) (*.f64 (*.f64 #s(literal -2 binary64) ai) (*.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 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (*.f64 (-.f64 bi #s(literal 1 binary64)) (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64))))))
(*.f64 (-.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 Ai betai) (*.f64 (/.f64 Ai betai) (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))))) (-.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 (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)) (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 Bi #s(literal 8343699359066055/4171849679533027504677776769862406473833407270227837441302815640277772901915313574263597826048 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 Bi) (*.f64 (*.f64 (+.f64 Bi Bi) ai) 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 (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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) bi)))) bi) (*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (/.f64 (*.f64 (*.f64 Ai (/.f64 Ai betai)) (*.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))) (-.f64 #s(literal 1 binary64) delta))) betai) (-.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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) bi)))) bi))
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.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 Bi) (*.f64 (*.f64 (+.f64 Bi Bi) ai) 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 (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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) bi)))) bi)
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) bi)))) bi)
(*.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 bi #s(literal 1 binary64))) (-.f64 (*.f64 (*.f64 (*.f64 (*.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 (pow.f64 (*.f64 (+.f64 (*.f64 (*.f64 (+.f64 Bi Bi) ai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))) (*.f64 (*.f64 (/.f64 (+.f64 Ai Ai) betai) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64)))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))))) (-.f64 #s(literal 1 binary64) delta)) #s(literal 2 binary64)) (*.f64 (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) ai) Bi) (pow.f64 (-.f64 (-.f64 tau #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai)) #s(literal 2 binary64))) (-.f64 bi #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) bi)))) bi)
(if.f64 (<=.f64 ai #s(literal -6124895493223875/18014398509481984 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 (+.f64 (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai))) betai) (*.f64 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) 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 #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))))))))
(if.f64 (<=.f64 ai #s(literal -6124895493223875/18014398509481984 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 (+.f64 (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai))) betai) (*.f64 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) 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 #s(literal 2 binary64) (+.f64 (*.f64 Ai (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) betai)) (+.f64 (*.f64 (/.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) betai) (/.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) betai)) (*.f64 (-.f64 (*.f64 (+.f64 ai ai) ai) ai) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) Bi))))))
(if.f64 (<=.f64 ai #s(literal -6124895493223875/18014398509481984 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 (+.f64 (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai))) betai) (*.f64 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) 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 #s(literal 2 binary64) (+.f64 (*.f64 Ai (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) betai)) (+.f64 (*.f64 (/.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) betai) (/.f64 (*.f64 (-.f64 delta #s(literal 1 binary64)) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) Ai)) betai)) (*.f64 (*.f64 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))))))))
(if.f64 (<=.f64 ai #s(literal -1800000000000000132619716698046464 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 (+.f64 (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai))) betai) (*.f64 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) 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 #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))))))))
(if.f64 (<=.f64 ai #s(literal -6124895493223875/18014398509481984 binary64)) (*.f64 #s(literal 2 binary64) (/.f64 (+.f64 (*.f64 (-.f64 (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai))) betai) (*.f64 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) 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 #s(literal 2 binary64) (+.f64 (*.f64 Ai (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) betai)) (-.f64 (*.f64 (/.f64 Ai betai) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) betai)) (*.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 (*.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 10000000000000000489767265751505205795722270035307438887450423745901682635933847561612315292472764637931130646815102767620534329186625852171022761984 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 (*.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 Ai betai) (*.f64 (/.f64 Ai betai) (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 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 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 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) (*.f64 (*.f64 (*.f64 (-.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)))
(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 1000000000000000052069140800249855752009185079750964144650090664977064943362508663270311404514719386165843308728919567930102413767433897865855658269158968045714503601765690788895124181432711335776992950015243623307738608946937362752018518070418086469181314516804918593340833792 binary64)) (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 Ai (/.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1/2 binary64) betai) #s(literal 1 binary64))) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) betai)) (-.f64 (*.f64 (/.f64 Ai betai) (/.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) Ai) betai)) (*.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 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 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) (*.f64 (*.f64 (*.f64 (-.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)))
(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 10000000000000000489767265751505205795722270035307438887450423745901682635933847561612315292472764637931130646815102767620534329186625852171022761984 binary64)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) 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 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai)))) betai) (*.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))) #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 (-.f64 (*.f64 #s(literal -2 binary64) ai) #s(literal -1 binary64)) (*.f64 (*.f64 ai Bi) (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64)))))) (*.f64 (*.f64 (*.f64 (-.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)))
(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 100000000000000000744898050207431989144199493858315387235964254131263985246781616026371987637390705840846560260278464628372543383280977318309056924111623883709653889736043921408 binary64)) (*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64)) 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 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64)))) (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (*.f64 Ai (/.f64 Ai betai)))) betai) (*.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))) #s(literal 2 binary64)) (*.f64 (-.f64 (*.f64 Ai (+.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (/.f64 (*.f64 (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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai (*.f64 betai betai))))) (*.f64 (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))) #s(literal 2 binary64)))
(*.f64 (-.f64 (*.f64 Ai (+.f64 (*.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (/.f64 #s(literal 1/2 binary64) betai)) Ai) (-.f64 tau #s(literal 1 binary64))) (/.f64 (*.f64 (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 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 (/.f64 #s(literal 1 binary64) betai) #s(literal 1 binary64))) (/.f64 Ai (*.f64 betai betai))))) (*.f64 (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))) #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 (*.f64 (pow.f64 (*.f64 (-.f64 #s(literal 1 binary64) delta) (-.f64 #s(literal 1 binary64) delta)) (-.f64 ai #s(literal 1 binary64))) (-.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 (/.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 (*.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 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))
(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 tau #s(literal -2535301200456459/20282409603651670423947251286016 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) 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 #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 5435806642141839/1393796574908163946345982392040522594123776 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 (*.f64 du_dtau tau) ti) (+.f64 d2u_dtau2 d2u_dtau2)) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2)) tau) (*.f64 (+.f64 ti (*.f64 du_dtau tau)) (+.f64 du_dtau du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti)))))))
(if.f64 (<=.f64 tau #s(literal -4599999999999999770096951917681887952009914474945880003083943784430240519915639368705127701481609232384 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) 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 #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 5435806642141839/1393796574908163946345982392040522594123776 binary64)) (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2) tau) tau) (*.f64 (-.f64 (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 (*.f64 du_dtau tau) ti)) (+.f64 (*.f64 du_dtau tau) ti)) (*.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) tau)) (-.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal 2 binary64)))) (*.f64 (*.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) #s(literal -2 binary64)) tau) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau))) (+.f64 (*.f64 tau (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 d2u_dtau2 d2u_dtau2)) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2)) tau) (*.f64 (+.f64 ti (*.f64 du_dtau tau)) (+.f64 du_dtau du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti)))))))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) 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 #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 tau (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_dtau tau) ti) (+.f64 d2u_dtau2 d2u_dtau2)) (+.f64 (+.f64 d2u_dtau2 (*.f64 d3u_dtau3 tau)) d2u_dtau2)) tau) (*.f64 (+.f64 du_dtau du_dtau) (+.f64 (*.f64 du_dtau tau) ti)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (-.f64 (*.f64 tau (+.f64 (+.f64 (*.f64 d2u_dtau2 tau) du_dtau) (*.f64 du_dtau (-.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 1 binary64))))) (*.f64 (-.f64 #s(literal 1 binary64) (+.f64 ti (*.f64 du_dtau tau))) ti)))))
(if.f64 (<=.f64 (+.f64 (*.f64 tau (+.f64 (*.f64 tau (+.f64 (*.f64 tau d3u_dtau3) (*.f64 #s(literal 2 binary64) d2u_dtau2))) (*.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 tau du_dtau) ti)) (+.f64 (*.f64 tau d2u_dtau2) du_dtau)))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))) #s(literal +inf.0 binary64)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) 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 #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 tau (*.f64 (+.f64 ti (*.f64 du_dtau tau)) #s(literal 2 binary64))) (+.f64 (*.f64 d2u_dtau2 tau) du_dtau)) (*.f64 (*.f64 tau tau) (+.f64 (+.f64 (*.f64 d3u_dtau3 tau) d2u_dtau2) d2u_dtau2))) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 2 binary64)) (+.f64 (*.f64 tau (+.f64 (*.f64 tau d2u_dtau2) du_dtau)) (*.f64 (-.f64 (+.f64 (*.f64 tau du_dtau) ti) #s(literal 1 binary64)) (+.f64 (*.f64 tau du_dtau) ti))))))
(-.f64 (*.f64 (-.f64 (*.f64 (+.f64 (+.f64 d2u_dtau2 d2u_dtau2) (*.f64 d3u_dtau3 tau)) 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 #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 (+.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 (neg.f64 delta) d2u_ddelta2) delta)) di) (*.f64 (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64)) (+.f64 (*.f64 (/.f64 delta (-.f64 (+.f64 (*.f64 du_ddelta delta) di) #s(literal 1 binary64))) (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta)) (+.f64 (*.f64 du_ddelta delta) di))))
(if.f64 (<=.f64 (+.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 (neg.f64 delta) d2u_ddelta2) delta)) di) (-.f64 (*.f64 delta (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) du_ddelta) (+.f64 (*.f64 d2u_ddelta2 delta) du_ddelta))) (*.f64 (-.f64 #s(literal 1 binary64) di) (+.f64 (*.f64 du_ddelta delta) di))))
(-.f64 (-.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 (*.f64 (neg.f64 delta) d2u_ddelta2) delta)) di)
(-.f64 (+.f64 (*.f64 (+.f64 (*.f64 du_ddelta delta) di) (+.f64 (*.f64 du_ddelta delta) di)) (*.f64 (*.f64 delta delta) d2u_ddelta2)) di)