{"(* (* (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2))":10494,"(* (* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1))) (- 1 z0)) (- 1 z0))":7470,"(* (* (* (+ (* -2 z0) 1) z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1)))":3858,"(* (* (* (+ z0 z0) z1) (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":840,"(* (* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2))) z1)":1074,"(* (* (* (- z0 1) z0) z1) (pow z2 (- z0 1)))":1410,"(* (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))) (- 1 z2))":11034,"(* (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1)) (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1)))":19860,"(* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1))) (- 1 z0)) (- 1 z0))":14628,"(* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1))) (- 1 z0))":7470,"(* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2)))":1638,"(* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2))":1638,"(* (* (* 2 z0) z1) (* (pow (* (- z2 1) (- z2 1)) (- z1 1)) (- z2 1)))":30360,"(* (* (* z0 1725813/125000000000000000000000000000) (pow z1 2)) (pow z2 2))":1164,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":53394,"(* (* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* (* z2 z2) 1000000000)) 1000000000)":828,"(* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) (* z1 z1)) (log (/ z1 z2)))":1080,"(* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2)))":1116,"(* (* (- (/ 1 z0) 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":12756,"(* (* (- 1 (+ z0 z0)) (- (* z0 z1))) (pow (* (- z2 1) (- z2 1)) (- z0 1)))":4170,"(* (* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) (/ z2 z0))":1464,"(* (* (- 1 z0) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":978,"(* (* (- 1 z0) z0) (* (pow z1 z0) z2))":822,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2)":3288,"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1)))":29550,"(* (* (- z0 1) (/ z1 (* z0 z0))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":2058,"(* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":2142,"(* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1))":1302,"(* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1))))":1122,"(* (* (- z0 1) z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":1356,"(* (* (- z0 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":4482,"(* (* (- z0) z1) (pow z2 (- z1 2)))":1926,"(* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1)))":11742,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1))":66546,"(* (* (exp (* z0 z1)) (sqrt z2)) 552651/10000000000)":5358,"(* (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000) (sqrt z0))":1369,"(* (* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0)) z0)":966,"(* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1))) (- 1 z0))":14634,"(* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1)))":7470,"(* (* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0))) (/ (* z2 z2) (* z1 z1)))":4236,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1))) z2)":1050,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) (/ z2 z1))":12450,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)) (- z0 1))":906,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (+ z2 z2) z1)) (- z0 1))":924,"(* (* (pow (* 100/61689 z0) -16/5) -86433/500000000000000) (pow z1 22))":2690,"(* (* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000) (pow z1 25))":2156,"(* (* (pow (* z0 z1) 5) z2) (* z1 1/5))":2484,"(* (* (pow (* z0 z1) 7) -85/56) (* z1 (* z2 1/5)))":894,"(* (* (pow (exp z0) z1) (sqrt z2)) 552651/10000000000)":1494,"(* (* (pow z0 (- z1 1)) z1) (- z2))":894,"(* (* (pow z0 (- z1 1)) z2) (* (- z1 1) z1))":834,"(* (* (pow z0 (- z1 2)) z1) (- z2))":1710,"(* (* (pow z0 (- z1 2)) z1) z2)":1080,"(* (* (pow z0 (- z1 2)) z2) (- 1 z1))":1146,"(* (* (pow z0 -2/3) z1) 4543/125000000)":5728,"(* (* (pow z0 2/3) (* (sqrt (sqrt (* 100/61689 z1))) (sqrt (sqrt (* 100/61689 z1))))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z1 61689/100) -3/10))) (pow z0 34/5)) (+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))))))":986,"(* (* (pow z0 2/3) (sqrt (/ z1 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z1 61689/100) -3/10))) (pow z0 34/5)) (+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))))))":2890,"(* (* (pow z0 2/3) (sqrt (/ z1 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z1 630259/1000) -4/5))) (pow z0 103/10)) (+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))))))":3126,"(* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367))":2220,"(* (* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1)))) (sqrt (sqrt (* 1000/630259 z1))))":918,"(* (* (pow z0 2/3) (sqrt 50/28101)) (sqrt (fabs z1)))":886,"(* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1)))":1456,"(* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1)":1154,"(* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))))":1579,"(* (* (sqrt z0) 552651/10000000000) (exp (* z1 z2)))":1290,"(* (* (sqrt z0) z1) (* z2 z1))":930,"(* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))":4248,"(* (* -17/56 (* z0 z1)) (pow (* z2 z0) 7))":1914,"(* (* -2/5 z0) (exp (/ -367/2 z1)))":1214,"(* (* -4401/20000 (sqrt z0)) (exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000))))":811,"(* (* -4401/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":1788,"(* (* -552651/10000000000 (sqrt z0)) (exp (* z1 z2)))":1746,"(* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))":6340,"(* (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))":9238,"(* (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15))))))))":1586,"(* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- 1 z0) (- 1 z0)) -14/5)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":936,"(* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":2458,"(* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":958,"(* (* 177148/5 (/ (- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":900,"(* (* 177148/5 (/ (- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":928,"(* (* 2 (/ z0 z1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":5442,"(* (* 2/5 z0) (exp (/ -367/2 z1)))":1954,"(* (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))":2454,"(* (* z0 (- (* (* 2 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":27462,"(* (* z0 (- (/ 1 z1) 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":9822,"(* (* z0 z0) (- (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z1))))":1208,"(* (* z0 z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1 z2)))":942,"(* (* z0 z1) (/ (* (sin z2) (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1)))) (* z0 z1)))":5280,"(* (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))) 7/2)":1458,"(* (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) (* (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))) 177148/5))":1352,"(* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10))":1564,"(* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10))":840,"(* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10))":5770,"(* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5))":5042,"(* (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) (pow z0 2/3))":1982,"(* (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) 46383/62500000)":1247,"(* (+ (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))) (/ 3995125013/10000000000000000 z0)) (* (pow z1 2) (log (/ z1 z2))))":2022,"(* (+ (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))) (/ 3995125013/10000000000000000 z0)) (+ (* (* z1 z1) (log (fabs z1))) (* (* z1 z1) (- (log (fabs z2))))))":954,"(* (+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3))) (pow z1 3))":2550,"(* (+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))) z1)":3290,"(* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3)))":1790,"(* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3)))":1986,"(* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2))":3346,"(* (+ -205581/100000000 (* 265651/100000000 (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) -4/5))) (pow z1 103/10))":818,"(* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z1 103/10))":1780,"(* (+ -205581/100000000 (* 265651/100000000 (pow (* z0 1000/630259) -4/5))) (pow z1 103/10))":966,"(* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z1 103/10))":6520,"(* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z1 34/5))":5794,"(* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1)":9308,"(* (- (* (* (* (* z0 z1) z0) z1) 5/4) 1) (sin z2))":1668,"(* (- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1) (* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))":1262,"(* (- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1) (- (* (exp (+ (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))) -3575667853841/1250000000) (* -177148/5 (exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))))))":1350,"(* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (* (* z1 z1) (log (/ z1 z2))))":888,"(* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (/ (* (log (/ z1 z2)) (* z1 z1)) z0))":918,"(* (- (* (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1))) (/ 1 (* (* (* z0 z1) z0) z1)))) (sin z2))":1488,"(* (- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000) (pow z1 34/5))":824,"(* (- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000) (pow z1 103/10))":962,"(* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1))":1402,"(* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))":1452,"(* (- (* -108089/50000 (exp (* -243787/100000 (/ z0 z1)))) (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))) (* (* 1000000000000000000 z2) z2))":1032,"(* (- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000)) (/ 2367/4 z1))":826,"(* (- (* -15821/514075 z0) (* -9233/625 z1)) (pow z1 3/5))":2914,"(* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4))":2535,"(* (- (* -91223/3151295 z0) (* -104497/10000 z1)) (pow z1 7/10))":3934,"(* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))":4082,"(* (- (* 5/4 (* (* (* z0 z1) z0) z1)) 1) (sin z2))":2022,"(* (- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0)) (/ 2367/4 z1))":1226,"(* (- (* 5924416513/1000000000000000000 (pow z0 2/3)) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))) z1)":1354,"(* (- (* z0 z1) 1) (* (* (pow (* z2 z0) 5) z1) (* z0 1/5)))":1242,"(* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3))":3468,"(* (- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1))))) z2)":1254,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* (* z2 z2) 1000000000))":828,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2))":1308,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1)))":14720,"(* (- (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))) (/ -3995125013/10000000000000000 z0)) (log (/ z1 z2)))":1908,"(* (- (- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000) (* -5924416513/1000000000000000000 (pow z0 2/3))) z1)":1470,"(* (- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0))) z1)":2534,"(* (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3)))":920,"(* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3)))":898,"(* (- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))) z1)":1834,"(* (- (- z0)) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":1128,"(* (- (/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000)) (* (* -360603235428487/1000000000000000 (* (* z0 z1) z0)) z0)) z2)":1206,"(* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z0)) 1)))":5672,"(* (- (/ 3995125013/10000000000000000 z0) (- (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)) (* (cbrt z0) -3006667839/500000000000000))) (log (/ z1 z2)))":1116,"(* (- (log (fabs z0)) (log (fabs z1))) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)))":2178,"(* (- 1 (* (* (* (* z0 z1) z0) z1) 5/4)) (sin z2))":2736,"(* (- 1 (* 3/2 (pow (* z0 z1) 2))) z2)":2898,"(* (- 1 (* 5/4 (* (* (* z0 z1) z0) z1))) (sin z2))":2226,"(* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2))":4620,"(* (- 1 (/ 1 z0)) (atan z1))":1908,"(* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)))":1378,"(* (- 1 (exp (* z0 -1253/500))) -16731/100)":6987,"(* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)))":4320,"(* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2))":1224,"(* (- 2 z0) (* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1)))))":798,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10))":3156,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))":3172,"(* (- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000)) (pow z1 34/5))":4892,"(* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1)))":1122,"(* (- z0 1) (/ (atan z1) z0))":1554,"(* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":6210,"(* (- z0) (pow (* (- 1 z1) (- 1 z1)) z2))":1764,"(* (- z0) (pow z1 (- z2 2)))":954,"(* (/ (* (- (/ 1 z0) 1) z1) z0) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":6348,"(* (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (* (* (* z1 z2) z1) z2) (* z1 z2)))":1098,"(* (/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1) (- (- 79962719/10000000 (* z0 z0)) (* z1 -2202959/118350000)))":986,"(* (/ (sqrt z0) z1) 32311286061523161/250000000000000000000000000000000)":1182,"(* (/ -1 (* 4 (* z0 z1))) (sin (* 2 z2)))":15120,"(* (/ 1 (/ z0 (* z1 (/ (- z0 1) z0)))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":1464,"(* (/ 1 (pow (* z0 -2) -1)) (* (* z1 z2) (* (* z1 z2) (* z1 z2))))":2130,"(* (/ 1 (pow (* z0 z1) 2)) (* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2)))":4110,"(* (/ 1 (sqrt (/ z0 77021/125))) (+ (* 15337/1000 (pow z1 3/2)) (+ (* -2191/5000000 (pow z1 11)) (* 2307/100000000 (pow z1 15)))))":1032,"(* (/ 1 z0) (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)) (- (/ 1 z0) 1)))":920,"(* (/ 1/4 (* z0 z1)) (sin (+ z2 z2)))":10908,"(* (/ z0 7/10) (pow z1 z2))":5592,"(* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))))":16362,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1)))":66546,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10)":5691,"(* (cbrt z0) -3006667839/500000000000000)":1128,"(* (cbrt z0) -55320963042089/25000000000000)":5280,"(* (cbrt z0) 36572510765913/500000000)":3575,"(* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2))))))":1054,"(* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))":3108,"(* (exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3))) z0)":944,"(* (exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)) 1000000)":818,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0))":1095,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000)":1401,"(* (exp (- z0)) (sqrt (* z1 (* 1000 z2))))":822,"(* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0))":966,"(* (log (/ z0 z1)) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)))":1620,"(* (log z0) z1)":2974,"(* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1)))":14742,"(* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2)":8670,"(* (pow (* (+ (- z0) 1) (+ (- z0) 1)) (/ 1/2 z1)) z2)":780,"(* (pow (* (+ 1 (- z0)) (+ 1 (- z0))) (/ 1/2 z1)) z2)":780,"(* (pow (* (- (- z0 1)) (- (- z0 1))) (/ 1/2 z1)) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ 1 z1))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0)))":2048,"(* (pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1)) (* (/ z2 (* z1 z1)) z2))":6654,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ -1/2 z1))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* (/ z2 (* z1 z1)) z2))":1860,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* z2 z2))":2016,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1)))":1068,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1)))":3798,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))":9966,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ (* z2 (- (* 1 z1) 1)) (* z1 z1)))":2106,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))":66630,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":6348,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (+ z2 z2) z1))":12174,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- (* (+ z1 z1) z1) z1) z2))":6258,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))":27240,"(* (pow (* (- 1 z0) (- 1 z0)) (/ -1/2 (- z1))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ (- z1) -1/2))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ z1 1/2))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (pow (/ 1/2 z1) -1))) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 z1)) (* z2 z2))":1350,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":425142,"(* (pow (* (- 1 z0) (- 1 z0)) (pow (/ 1/2 z1) 1)) z2)":780,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50)":6312,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":155976,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (- z0 1))":10380,"(* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2)":42708,"(* (pow (* (- z0 1) (- z0 1)) z1) z2)":17928,"(* (pow (* (/ 1 (pow (- 1 z0) -1)) (/ 1 (pow (- 1 z0) -1))) (/ 1/2 z1)) z2)":780,"(* (pow (* (pow (- 1 z0) 1) (pow (- 1 z0) 1)) (/ 1/2 z1)) z2)":780,"(* (pow (* 100/61689 z0) -16/5) -86433/500000000000000)":1347,"(* (pow (* 100/61689 z0) -3/10) 320971/1000000)":5067,"(* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000)":1080,"(* (pow (* 1000/630259 z0) -4/5) 265651/100000000)":3736,"(* (pow (* z0 z1) 5) (* z2 1/5))":2202,"(* (pow (* z0 z1) 5) z1)":828,"(* (pow (* z0 z1) 5) z2)":5712,"(* (pow (+ (* (- 1 z0) 1) (* (- 1 z0) (- z0))) (/ 1/2 z1)) z2)":780,"(* (pow (+ (* 1 (- 1 z0)) (* (- z0) (- 1 z0))) (/ 1/2 z1)) z2)":780,"(* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))))":2272,"(* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))))":1716,"(* (pow (- (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2)":852,"(* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000)":3878,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000)":2406,"(* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10)))))":7638,"(* (pow (exp z0) z1) (sqrt z2))":1530,"(* (pow (fabs (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2)":852,"(* (pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2) z2)":2850,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* (* (* z0 z1) z0) z1)))":3474,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* z0 z1)))":1350,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) z2)":11214,"(* (pow (pow (- 1 z0) 2) (/ 1/2 z1)) z2)":852,"(* (pow (pow (- z0 1) 2) (/ 1/2 z1)) z2)":852,"(* (pow (tanh (* (* z0 z1) z2)) -2) -3)":798,"(* (pow (tanh (* (* z0 z1) z2)) -2) 3)":1650,"(* (pow (tanh (* (* z0 z1) z2)) -2) 4)":1326,"(* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)))":912,"(* (pow (tanh (* z0 (* z1 z2))) -2) 3)":9324,"(* (pow (tanh (* z0 (* z1 z2))) -2) 4)":10428,"(* (pow (tanh (* z0 (* z1 z2))) -4) -3)":2046,"(* (pow z0 (- z1 1)) (* (- z2) z1))":1794,"(* (pow z0 (- z1 1)) z2)":2340,"(* (pow z0 (- z1 2)) (- z2))":1188,"(* (pow z0 (- z1 2)) z1)":1674,"(* (pow z0 (- z1 2)) z2)":2238,"(* (pow z0 (- z1 3)) z2)":1356,"(* (pow z0 -2/3) z1)":12956,"(* (pow z0 1/6) -46133662500891/125000000000)":2670,"(* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000))":3000,"(* (pow z0 2) (log (/ z0 z1)))":1142,"(* (pow z0 2/3) (* (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000))) (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000)))))":1034,"(* (pow z0 2/3) (* (sqrt (sqrt (* 100/61689 z1))) (sqrt (sqrt (* 100/61689 z1)))))":1842,"(* (pow z0 2/3) (* (sqrt (sqrt (* 1000/630259 z1))) (sqrt (sqrt (* 1000/630259 z1)))))":1160,"(* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1)))))":1244,"(* (pow z0 2/3) (- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0)))":1068,"(* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50)))":1182,"(* (pow z0 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1)))":1146,"(* (pow z0 2/3) (sqrt (* (* (sqrt (fabs z1)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z1)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))))))":814,"(* (pow z0 2/3) (sqrt (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1)))))":978,"(* (pow z0 2/3) (sqrt (* 50/28101 z1)))":932,"(* (pow z0 2/3) (sqrt (* z1 1000/630259)))":978,"(* (pow z0 2/3) (sqrt (/ z1 2367/4)))":1632,"(* (pow z0 2/3) (sqrt (/ z1 25391/50)))":4072,"(* (pow z0 2/3) (sqrt (/ z1 28101/50)))":2812,"(* (pow z0 2/3) (sqrt (/ z1 54013/100)))":1576,"(* (pow z0 2/3) (sqrt (/ z1 61689/100)))":4230,"(* (pow z0 2/3) (sqrt (/ z1 630259/1000)))":4466,"(* (pow z0 2/3) (sqrt (fabs z1)))":5016,"(* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1))))":964,"(* (pow z0 2/3) 1/1000000)":2124,"(* (pow z0 2/3) 4033572907/5000000000000000)":1656,"(* (pow z0 2/3) 411354199/12500000000000)":3669,"(* (pow z0 3/2) 122919/1000)":2887,"(* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0)))":2918,"(* (pow z0 33/10) -145009/5000000)":3042,"(* (pow z0 33/10) 119381/50000)":2153,"(* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000))":3980,"(* (pow z0 35969/50000) 196)":798,"(* (pow z0 4) -5311581/2000000)":4402,"(* (pow z0 4681/10000) z1)":3486,"(* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0)))":2628,"(* (sin (* z0 3)) 1/12)":3363,"(* (sin (+ z0 z0)) (/ 1/4 (* z1 z2)))":1158,"(* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2))))":17250,"(* (sin z0) (- 1 (* z1 (* (* (* z2 z1) z2) 5/4))))":1248,"(* (sinh (* (* z0 z1) z2)) 2)":1662,"(* (sqrt (* (* z0 z0) (* z0 z0))) z1)":1316,"(* (sqrt (* 100/61689 z0)) (pow z1 2/3))":7538,"(* (sqrt (* 1000/630259 z0)) (pow z1 2/3))":4288,"(* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0)))":3033,"(* (sqrt (* 4/2367 z0)) (pow z1 2/3))":1516,"(* (sqrt (* 50/25391 z0)) (pow z1 2/3))":842,"(* (sqrt (* 50/28101 z0)) (pow z1 2/3))":804,"(* (sqrt (* z0 z1)) 4543/125000000)":6652,"(* (sqrt (* z0 z1)) z2)":1080,"(* (sqrt (fabs z0)) (* (* (pow z1 -2/3) z2) 4543/125000000))":2562,"(* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))":3163,"(* (sqrt (fabs z0)) (pow z1 2/3))":2620,"(* (sqrt (sqrt (* 100/61689 z0))) (sqrt (sqrt (* 100/61689 z0))))":935,"(* (sqrt (sqrt z0)) (sqrt (sqrt z0)))":1854,"(* (sqrt z0) 100)":933,"(* (sqrt z0) 237799/500000000)":1759,"(* (sqrt z0) 2449/12500)":863,"(* (sqrt z0) 4401/20000)":1759,"(* (sqrt z0) 4423/20000)":1592,"(* (sqrt z0) 889/4000)":1807,"(* (sqrt z0) z1)":1654,"(* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":2532,"(* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))":5868,"(* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))":11310,"(* -119381/50000 (pow z0 33/10))":1857,"(* -122919/1000 (pow z0 3/2))":5332,"(* -135904211/1000000 (pow z0 3))":831,"(* -14/5 (pow (- z0 1) 2))":9892,"(* -1427549651/10000000000000 (pow z0 1/3))":1714,"(* -145009/5000000 (pow z0 33/10))":2984,"(* -15337/1000 (pow z0 3/2))":8132,"(* -159587/10000 (pow z0 2/5))":4101,"(* -16731/100 (- 1 (exp (* -1253/500 z0))))":4307,"(* -17943/1000 (pow (- z0 62849/500000) 2))":4533,"(* -18347/125 (pow z0 4))":1936,"(* -191039/1000 (pow z0 2))":4162,"(* -199789/20000 (pow z0 2))":1626,"(* -2 (sinh (* (* z0 z1) z2)))":2598,"(* -21391/1250 (pow z0 2/5))":5243,"(* -23229/20000 (pow (/ z0 z1) -7437/50000))":8608,"(* -267184324754639/50000000000000 (sqrt z0))":1286,"(* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2))":1386,"(* -3 (pow (tanh (* z0 (* z1 z2))) -4))":5640,"(* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))":5795,"(* -3006667839/500000000000000 (cbrt z0))":1146,"(* -3006667839/500000000000000 (pow z0 1/3))":807,"(* -32311286061523161/250000000000000000000000000000000 (* (* (sqrt z0) z1) (* z2 z1)))":792,"(* -4401/20000 (sqrt z0))":4696,"(* -4423/20000 (sqrt z0))":930,"(* -4492659933/100000000000000000 (cbrt z0))":4217,"(* -5311581/2000000 (pow z0 4))":1255,"(* -564493/100000 (pow z0 2))":10156,"(* -5924416513/1000000000000000000 (pow z0 2/3))":4402,"(* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))":4533,"(* -889/4000 (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0)))":973,"(* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))":794,"(* -92639/125 (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10))))))":7638,"(* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10)))))":4982,"(* 1/1000000 (* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367)))":2220,"(* 1/1000000 (* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1))))))":1244,"(* 1/1000000 (* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50))))":1182,"(* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 2367/4))))":1632,"(* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 28101/50))))":2812,"(* 1/12 (sin (* 3 z0)))":3021,"(* 1/5 (pow (* z0 z1) 5))":808,"(* 1/50 (pow (pow (- 1 z0) 2) 1/5))":811,"(* 100 (sqrt z0))":2026,"(* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2))":3072,"(* 119381/50000 (pow z0 33/10))":5416,"(* 13935017/5000000000 (pow z0 7034007057/10000000000))":1710,"(* 1427549651/10000000000000 (cbrt z0))":3903,"(* 145009/5000000 (pow z0 33/10))":2347,"(* 15337/1000 (pow z0 3/2))":828,"(* 159587/10000 (pow z0 2/5))":5171,"(* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2)))))))":1054,"(* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))))":3108,"(* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))))":1337,"(* 18347/125 (pow z0 4))":6786,"(* 196 (pow z0 35969/50000))":2114,"(* 2 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":1632,"(* 2 (sinh (* (* z0 z1) z2)))":5340,"(* 2 (sinh (* z0 (* z1 z2))))":5358,"(* 2 (sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":1356,"(* 2011/2000000 (sqrt z0))":1164,"(* 21391/1250 (pow z0 2/5))":2823,"(* 23229/20000 (pow (/ z0 z1) -7437/50000))":1526,"(* 26093/2000 (pow z0 3))":2896,"(* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))":892,"(* 265651/100000000 (pow (/ z0 630259/1000) -4/5))":3266,"(* 267184324754639/50000000000000 (sqrt z0))":3349,"(* 2916688747387/781250000000000 (* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))))":1186,"(* 3 (pow (tanh (* z0 (* z1 z2))) -2))":1716,"(* 3/10 (pow (pow (- z0 1) 2) 5/3))":839,"(* 3/2 (pow (* z0 z1) 2))":972,"(* 3006667839/500000000000000 (cbrt z0))":3056,"(* 320971/1000000 (pow (/ z0 61689/100) -3/10))":2903,"(* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5))))))))":1622,"(* 365179/5000 (pow z0 3))":4107,"(* 36572510765913/500000000 (cbrt z0))":1426,"(* 4033572907/5000000000000000 (pow z0 2/3))":3806,"(* 411354199/12500000000000 (pow z0 2/3))":1738,"(* 4401/20000 (sqrt z0))":2336,"(* 4423/20000 (sqrt z0))":2813,"(* 4492659933/100000000000000000 (pow z0 1/3))":1320,"(* 45097/2000 (pow z0 2))":2932,"(* 4543/125000000 (sqrt (* z0 z1)))":1104,"(* 46133662500891/125000000000 (pow z0 1/6))":2645,"(* 5/4 (pow (* z0 z1) 2))":1548,"(* 5311581/2000000 (pow z0 4))":1046,"(* 5924416513/1000000000000000000 (pow z0 2/3))":1127,"(* 6673/250000000000 (sqrt (* (* z0 1000) z1)))":2338,"(* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))))":2736,"(* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))))":1759,"(* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))))":1473,"(* 889/4000 (sqrt z0))":5201,"(* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))":811,"(* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10)))))":1452,"(* z0 (* (/ 1 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))))":2760,"(* z0 (/ (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1)) z2))":5700,"(* z0 (/ (- z0) (sinh (* (* z1 z2) z0))))":1062,"(* z0 (/ (pow z1 2) (+ (pow z1 2) (pow (- (* 3/5 z2) (* 24/25 z2)) 2))))":1494,"(* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))))":1186,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":1764,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":1122,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2))))":196614,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":82674,"(* z0 (pow (fabs (* (- (* z1 z2) 1) (- (* z1 z2) -1))) 3/2))":1188,"(* z0 (pow (fabs (- (* (* (* z1 z1) z2) z2) 1)) 3/2))":1176,"(* z0 (pow (fabs (- (* (* (* z1 z2) z1) z2) 1)) 3/2))":11718,"(* z0 (pow (fabs (- (* (* z1 z2) (* z1 z2)) 1)) 3/2))":1122,"(* z0 (pow z1 (- z2 1)))":2340,"(* z0 (pow z1 (- z2 3)))":918,"(* z0 (pow z1 2))":2172,"(* z0 (pow z1 4681/10000))":2468,"(* z0 (sqrt z1))":3946,"(+ (* (* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (pow z0 2/3)) (sqrt (* 100/61689 z1))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":822,"(+ (* (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))))))) (* -92639/125 (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10)))))))":1236,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":1540,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":828,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":5704,"(+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))":4976,"(+ (* (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) (pow z0 2/3)) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":3612,"(+ (* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* (+ (* 66407/5000 z1) (- -54312/5 (/ -1664060 z1))) (/ z2 z1)))":2214,"(+ (* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":1488,"(+ (* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* (* 100/61689 z1) -47463/2500) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":834,"(+ (* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":3282,"(+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z1 103/10)) (+ (* 119381/50000 (pow z1 33/10)) (+ (/ (* 11101/6250000000000000 (pow z1 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z1) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z1 7/10)) (* 159587/10000 (pow z1 2/5))))))":1308,"(+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z1 103/10)) (+ (* 119381/50000 (pow z1 33/10)) (+ (/ (* 11101/6250000000000000 (pow z1 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z1) (* -91223/5000 (/ z0 630259/1000))) (pow z1 7/10)) (* 159587/10000 (pow z1 2/5))))))":5070,"(+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z1 34/5)) (+ (* -145009/5000000 (pow z1 33/10)) (+ (/ (* 86433/500000000000000 (pow z1 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z1) (* -47463/2500 (/ z0 61689/100))) (pow z1 3/5)) (* 21391/1250 (pow z1 2/5))))))":4344,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (* (pow z2 2/3) (sqrt (sqrt (* 1000/630259 z0)))) (sqrt (sqrt (* 1000/630259 z0)))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":948,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (* (sqrt (sqrt (* 100/61689 z0))) (sqrt (sqrt (* 100/61689 z0))))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5))))))))":948,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":954,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1008,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* z0 1000/630259))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* z0 1000/630259) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* z0 1000/630259) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* z0 1000/630259))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1008,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5))))))))":1344,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1152,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (pow z2 2/3) (- (- (+ (- (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* -122919/1000 (pow z2 3/2))) (* (pow z2 11) -917/200000)) (- (* -28361/1000 (pow z2 5)) (* -18347/125 (pow z2 4)))) (* (* z2 (+ 282329/1000 (* -69837/250 z2))) z2))))":960,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (pow z2 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* (pow z2 3/2) 122919/1000)) (- (- (- (- (* (pow z2 11) -917/200000) (* -28361/1000 (pow z2 5))) (* 18347/125 (pow z2 4))) (* -69837/250 (* (* z2 z2) z2))) (* 282329/1000 (* z2 z2)))) -1))))":1014,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (* (/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000))) (/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1014,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (* (sqrt (sqrt (* 1000/630259 z0))) (sqrt (sqrt (* 1000/630259 z0))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1152,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5))))))))":3624,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":2838,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (pow z2 2/3) (+ (+ (* 122919/1000 (pow z2 3/2)) (+ (* -282329/1000 (pow z2 2)) (+ (* 69837/250 (pow z2 3)) (+ (* -18347/125 (pow z2 4)) (+ (* 28361/1000 (pow z2 5)) (* -917/200000 (pow z2 11))))))) (* (/ 1 (sqrt (/ z0 77021/125))) (+ (* 15337/1000 (pow z2 3/2)) (+ (* -2191/5000000 (pow z2 11)) (* 2307/100000000 (pow z2 15))))))))":1296,"(+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (pow z2 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* (pow z2 3/2) 122919/1000)) (- (- (- (- (* (pow z2 11) -917/200000) (* -28361/1000 (pow z2 5))) (* 18347/125 (pow z2 4))) (* -69837/250 (* (* z2 z2) z2))) (* 282329/1000 (* z2 z2)))) -1))))":936,"(+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000))":4522,"(+ (* (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000) z2))":1830,"(+ (* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000) z2))":1500,"(+ (* (- (log (fabs z0)) (log (fabs z1))) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2))) (* (- (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z2))) z0))":1092,"(+ (* (- 1 (/ 1 z0)) (atan z1)) (/ z1 z0))":1422,"(+ (* (/ (+ (* 66407/5000 (* z0 z0)) (- (* -54312/5 z0) -1664060)) (* z0 z0)) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5))))))))":1200,"(+ (* (/ 1 (/ 1 (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))))) (pow z0 2/3)) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))":1008,"(+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1))))":2678,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- 1 z0) (- 1 z0)) -14/5)))":1470,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))":7935,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5))":1505,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))))":1077,"(+ (* (exp (+ (* (* -14/5 (- z0 1)) (- z0 1)) (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))) 177148/5) (* (* (* (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))) (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000)))) -80738543/1000000000) 177148/5))":1352,"(+ (* (log z0) z1) z2)":3462,"(+ (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1)":978,"(+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))":1691,"(+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))))":4578,"(+ (* -16731/100 (- 1 (exp (* -1253/500 z0)))) (+ (* 60457/125 z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4))))))":3837,"(+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4))))":3992,"(+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1)))))":1568,"(+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))))":1392,"(+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))))":5306,"(+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4)))":1223,"(+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))":10079,"(+ (* 23229/20000 (pow (/ z0 z1) -7437/50000)) (+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1))))))":834,"(+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))":2876,"(+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))":4077,"(+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))))":2807,"(+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))":2819,"(+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1)))))":876,"(+ (* 60457/125 z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))))":3974,"(+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0))))":3250,"(+ (+ (* z0 373223/10000) (- 1 (- (* -45097/2000 (* z0 z0)) (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0)))))) (* (- 1 (exp (* z1 -1253/500))) -16731/100))":1174,"(+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0))))":4903,"(+ (+ (+ (* z0 373223/10000) 1) (- (- (* (/ 1 (pow (pow z0 5) -1)) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) (* (- 1 (exp (* z1 -1253/500))) -16731/100))":1174,"(+ (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) (* (- 1 (exp (* z1 -1253/500))) -16731/100))":7000,"(+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))":1152,"(+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3)))":1303,"(+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3))))":1645,"(+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3)))":790,"(+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000))":2218,"(+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))))":5096,"(+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))))":2004,"(+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))))":2184,"(+ (- (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))) (* -60457/125 z0)) (* (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))))":8092,"(+ (- (pow (* 670697/100000 (- z0 1)) 2)) (- (pow (* 23651/25000 (- z1 1)) 2)))":1322,"(+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2)))":1152,"(+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3)))":1476,"(+ (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))) (/ 3 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))))":1650,"(+ (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))) (/ 3 (pow (pow (tanh (* z2 (* z1 z0))) 2) 2)))":1128,"(+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4))":1614,"(+ (/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))) (* -10113817/1000000 z0))":1018,"(+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))":1416,"(+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))":5372,"(+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))))":2360,"(+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))))":1796,"(+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1)))":3522,"(+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5))))":4644,"(+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))":1186,"(+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))":4654,"(+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))":1170,"(+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))":3661,"(+ (/ z0 z1) (/ z2 (pow z1 2)))":2082,"(+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))":4280,"(+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))":4856,"(+ (pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)) (/ (- z0 1) z0)) 2) 39751/100000))":2144,"(+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (/ (- z1 1) z1) (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))) 2) 39751/100000))":1560,"(+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000))":2090,"(+ (pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000) (pow (pow (* 33791/100000 (- z1 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))))) 2) 77963/100000))":990,"(+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))":3661,"(+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5)))":892,"(+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5)))":3266,"(+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3)))":1320,"(+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10)))":2903,"(+ 1 (* (/ z0 7/10) (pow z1 z2)))":5592,"(+ 1 (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))))":2272,"(+ 1 (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))))":1716,"(+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))":811,"(+ 1 (+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))))":2807,"(+ 1 (exp (* -100 (- z0 2))))":909,"(+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2))))":4654,"(+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3)))":804,"(+ z0 (* (atan z0) (- z1 1)))":2074,"(+ z0 (* (log z1) z2))":1620,"(- (* (* (- (- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (pow z0 2/3)) (sqrt (* 1000/630259 z1))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2))":918,"(- (* (* 10113817/1000000 z0) z1) (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) 2367/4))":858,"(- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5)":1052,"(- (* (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))) (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0))))":1948,"(- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1)":3336,"(- (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1)) (* 10113817/1000000 z0))":962,"(- (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)) (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0))":1291,"(- (* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3)) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2))":5196,"(- (* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3)) (* (/ (/ (- (* -66407/5000 (* z1 z1)) (- (* -54312/5 z1) -1664060)) z1) z1) z2))":798,"(- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2)))":9194,"(- (* (- (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))) (/ -3995125013/10000000000000000 z0)) (log (/ z1 z2))) (* (- (* 5924416513/1000000000000000000 (pow z0 2/3)) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))) z1))":1104,"(- (* (- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (* (* (sqrt (* (sqrt (* 1000/630259 z1)) (sqrt (fabs z1)))) (/ 1 (sqrt (sqrt 630259/1000)))) (pow z0 2/3))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2))":918,"(- (* (- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2))":1194,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0)))":1184,"(- (* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))":1476,"(- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1))":4608,"(- (* (cbrt z0) 36572510765913/500000000) 269503247933569/1000000000)":780,"(- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":4666,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":2304,"(- (* (exp (+ (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))) -3575667853841/1250000000) (* -177148/5 (exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1))))))":4584,"(- (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1)":5754,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)":6212,"(- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000)":2499,"(- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000)":2034,"(- (* (pow z0 1/6) -46133662500891/125000000000) -34987097863767/20000000000)":2011,"(- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10)))":2684,"(- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5)))":6404,"(- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11)))":8093,"(- (* (pow z0 2/3) (- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2))":798,"(- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))":2475,"(- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5)))":2780,"(- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22)))":2294,"(- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))":2774,"(- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25)))":2060,"(- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))":1436,"(- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10)))":3718,"(- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1)))":4222,"(- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0))":3053,"(- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0)))":5659,"(- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0)))":6084,"(- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5)))":2502,"(- (* (sin (* z0 3)) 1/12) (* (/ 1/4 (* z1 z2)) (sin (+ z0 z0))))":10194,"(- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000))":1001,"(- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))":2728,"(- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))":1722,"(- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))":1239,"(- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1))":7016,"(- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)))":925,"(- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000)":843,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)":2124,"(- (* -933/50 (* z0 z0)) (* 17/4 (pow z1 4)))":2268,"(- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6)))":1182,"(- (* 2 (sinh (* z0 (* z1 z2)))))":840,"(- (* 267184324754639/50000000000000 (sqrt z0)) (* 46133662500891/125000000000 (pow z0 1/6)))":907,"(- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000)":2807,"(- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))":1501,"(- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0))":884,"(- (* 72715319/200000000 (pow z0 6)) (* -158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)))":920,"(- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000))":1384,"(- (* 933/50 (* z0 z0)) (* (pow z1 4) -17/4))":786,"(- (* z0 z1) (* (- (sqrt (* (* z1 z1) (* z1 z1)))) z2))":1380,"(- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4))))":2072,"(- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0))))":4432,"(- (+ z0 (exp z1)) (exp z2))":1086,"(- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1)))))":3254,"(- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))))":1188,"(- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))":6135,"(- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2)))":7807,"(- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))":2432,"(- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5))))":1348,"(- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5)))":2594,"(- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10))))":1822,"(- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5)))":1262,"(- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0)))":5386,"(- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))":5230,"(- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))":2196,"(- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0)))":2044,"(- (- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6))) (/ -385804266743/50000000000 z1))":878,"(- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))":2684,"(- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000))":1242,"(- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000)))":1412,"(- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0))":1578,"(- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0)))":2247,"(- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5)))":1164,"(- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5)))":2406,"(- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10)))":1638,"(- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10)))":1156,"(- (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))) (* -60457/125 z0))":5007,"(- (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (/ -3995125013/10000000000000000 z0))":1219,"(- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0))":1232,"(- (- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))) (* -45097/2000 (* z0 z0)))":1311,"(- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))":2123,"(- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5)))":1586,"(- (- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10)))":806,"(- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1))":1495,"(- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1))":1579,"(- (- (exp (* (* z0 (* z1 z2)) 2)) 1))":840,"(- (- (exp (* (- z0 2) -100)) -1) 1)":976,"(- (- (tanh (* z0 (* z1 z2)))))":2628,"(- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))":1654,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* (pow (tanh (* z0 (* z1 z2))) -4) -3))":1410,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2)))":996,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (tanh (* z0 (* z1 z2))) -4)))":3984,"(- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":5918,"(- (/ (+ z0 (* (atan z0) (- z1 1))) z1) (- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z2 3) z2))) (/ 1 z0))))))":870,"(- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)))":1137,"(- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4)))":1767,"(- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (- (/ (* z2 z0) (+ (* (* (/ z0 (* z2 3)) z0) z0) z2))))))":1410,"(- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)))":3192,"(- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)":1586,"(- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)":1579,"(- (/ 1 (tanh (* (* z0 z1) z2))) (/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))":2052,"(- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3))":1668,"(- (/ 1 (tanh (* z0 (* z1 z2)))) (pow (tanh (* z0 (* z1 z2))) -3))":3408,"(- (cbrt z0))":4867,"(- (exp (* (* (* z0 z1) z2) 2)) 1)":1260,"(- (exp (* (* z0 (* z1 z2)) 2)) 1)":5130,"(- (exp (* (* z0 z1) (+ z2 z2))) 1)":1230,"(- (exp (* (- z0 2) -100)) -1)":6587,"(- (exp (* 2 (* (* z0 z1) z2))) 1)":1476,"(- (exp z0) (exp z1))":880,"(- (log (fabs z0)) (log (fabs z1)))":1418,"(- (pow (* 2/5 z0) 10))":7185,"(- (pow (* 23651/25000 (- z0 1)) 2))":1148,"(- (pow (* z0 z1) 2) 1)":966,"(- (pow (/ z0 5/2) 10))":4195,"(- (pow (tanh (* (* z0 z1) z2)) -2) 1)":882,"(- (pow (tanh (* (* z0 z1) z2)) -2))":1692,"(- (pow (tanh (* (* z0 z1) z2)) 2))":1704,"(- (pow (tanh (* z0 (* z1 z2))) 2))":4254,"(- (pow (tanh (* z0 (* z1 z2))) 4))":2682,"(- (sqrt (sqrt z0)))":968,"(- (tanh (* (* z0 z1) z2)))":3408,"(- (tanh (* z0 (* z1 z2))))":10200,"(- -1 (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2))":1008,"(- -1 (exp (* (- z0 2) -100)))":1392,"(- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))":810,"(- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))":1287,"(- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3))))":912,"(- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4))":9732,"(- 1 (* 3/2 (pow (* z0 z1) 2)))":972,"(- 1 (* 5/4 (pow (* z0 z1) 2)))":1548,"(- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))))":811,"(- 1 (/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2)))":3642,"(- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":5424,"(- 1 (cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0)))":1068,"(- 1 (cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2))))))":2682,"(- 1 (exp (* (* (* z0 z1) z2) -2)))":2544,"(- 1 (exp (* (* z0 (* z1 z2)) -2)))":2262,"(- 1 (exp (* -1253/500 z0)))":4317,"(- 1 (exp (* -2 (* (* z0 z1) z2))))":1386,"(- 1 (exp (* -2 (* z0 (* z1 z2)))))":3018,"(- 1 (exp (* z0 -1253/500)))":7044,"(- 1 (exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))":1120,"(- 1 (exp (- (pow (* 2/5 z0) 10))))":6931,"(- 1 (exp (- (pow (/ z0 5/2) 10))))":4195,"(- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0)))))":1476,"(- 1 (exp (/ -1 (+ (/ 1 z0) (/ (* z0 (/ z0 (* z1 3))) z1)))))":1014,"(- 1 (exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))))":1170,"(- 1 (pow (tanh (* (* z0 z1) z2)) -2))":3648,"(- 1 (pow (tanh (* z0 (* z1 z2))) -2))":4866,"(- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))":1615,"(- 269503247933569/1000000000 (* (cbrt z0) 36572510765913/500000000))":2667,"(- 269503247933569/1000000000 (* 36572510765913/500000000 (cbrt z0)))":790,"(- 34987097863767/20000000000 (* 46133662500891/125000000000 (pow z0 1/6)))":842,"(- 4 (* (pow (tanh (* (* z0 z1) z2)) -2) 3))":852,"(- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3))":8172,"(- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000))":2486,"(- z0 (* (- 1 z1) (atan z0)))":2388,"(- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))":1622,"(/ (* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1))) (sqrt 28101/50))":784,"(/ (* (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))) 7/2) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1))":1020,"(/ (* (+ (* z0 z0) (pow z0 806282737481277/100000000000000)) z1) (- z2 121550806591497/1000000000000000))":924,"(/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1)":1200,"(/ (* (log (/ z0 z1)) (* z0 z0)) z2)":1152,"(/ (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z1)":2052,"(/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2))":8460,"(/ (* (sqrt (fabs z0)) 6673/250000000000) (* 1000000000 z1))":1066,"(/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4))))":1052,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5))":1618,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) 22/5))":878,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5))":5982,"(/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":804,"(/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":949,"(/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":809,"(/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":854,"(/ (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 2/3))":3246,"(/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1))":4672,"(/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1))":860,"(/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))":3062,"(/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))":2504,"(/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5))":5238,"(/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":2039,"(/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":1786,"(/ (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))) (* z2 (- z1 1)))":936,"(/ (* z0 z1) (sinh (* z2 (* z0 z1))))":1068,"(/ (+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4))) (/ z1 2367/4))":1498,"(/ (+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2))) (pow (tanh (* z0 (* z1 z2))) 2))":1152,"(/ (+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4)) (* z1 z2))":1614,"(/ (+ z0 (* (atan z0) (- z1 1))) z1)":2074,"(/ (- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5) z2)":1182,"(/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1)":1576,"(/ (- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))":1456,"(/ (- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))":1483,"(/ (- 1 (pow (tanh (* z0 (* z1 z2))) -2)) (tanh (* z0 (* z1 z2))))":2484,"(/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2))":3642,"(/ (- z0 (* (- 1 z1) (atan z0))) z1)":2156,"(/ (- z0) (sinh (* (* z1 z0) z2)))":918,"(/ (- z0) (sinh (* (* z1 z2) z0)))":1242,"(/ (atan z0) z1)":3148,"(/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000))":1609,"(/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000)":1579,"(/ (pow z0 -2/3) z1)":1288,"(/ (pow z0 2) (* (* 3 z1) z1))":1342,"(/ (pow z0 2) (+ (pow z0 2) (pow (- z1 (* 24/25 z2)) 2)))":8724,"(/ (pow z0 2) (pow (* 3/5 z1) 2))":942,"(/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000))":996,"(/ (sqrt (* (* 1000 z0) z1)) z2)":1038,"(/ (sqrt (* (fabs z0) 1000)) (- (- (* (exp (* -1933/2500 (/ z1 z2))) 52487/100000) (* -23229/20000 (pow (/ z1 z2) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z1 z2))))))":1980,"(/ (sqrt (* z0 z1)) z2)":1188,"(/ (sqrt (fabs z0)) z1)":888,"(/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000)))":1037,"(/ (sqrt z0) (exp (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":872,"(/ (sqrt z0) z1)":2968,"(/ -1 (* (- z0 1) (/ (atan z1) z0)))":1226,"(/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))":1170,"(/ -1 (- (exp (* (- z0 2) -100)) -1))":1088,"(/ -1 (pow (* z0 z1) 3))":886,"(/ -1 (tanh (* (* z0 z1) z2)))":942,"(/ -2 (tanh (* (* z0 z1) z2)))":1140,"(/ -57033 (pow z0 2))":3781,"(/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":3336,"(/ 1 (+ 1 (exp (* -100 (- z0 2)))))":909,"(/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))":5186,"(/ 1 (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1))":1122,"(/ 1 (pow (* z0 z1) -1))":1128,"(/ 1 (pow (* z0 z1) 2))":1508,"(/ 1 (pow (+ (* z0 z1) z2) -1))":1098,"(/ 1 (pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1))":1176,"(/ 1 (sinh (* (* z0 z1) z2)))":1164,"(/ 1 (sqrt z0))":1761,"(/ 1 (tanh (* (* z0 z1) z2)))":10620,"(/ 1 (tanh (* z0 (* z1 z2))))":7998,"(/ 1/2 (sinh (* (* z0 z1) z2)))":1686,"(/ 1664060 (pow z0 2))":4794,"(/ 3 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))":2532,"(/ 3 (pow (pow (tanh (* z0 (* z1 z2))) 2) 2))":2046,"(/ 3 (tanh (* z0 (* z1 z2))))":1320,"(/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))":5424,"(/ 4 (tanh (* z0 (* z1 z2))))":894,"(/ z0 (* (* (exp z1) 1000000000000000000) (* z2 z2)))":918,"(/ z0 (* (* 1000000000000000000 (exp z1)) z2))":1362,"(/ z0 (* (- 1 z1) (atan z0)))":812,"(/ z0 (+ (fabs (- z0 11/10)) 11/10))":6927,"(/ z0 (- (exp (* (- z1 2) -100)) -1))":924,"(/ z0 (- (fabs (- 11/10 z0)) -11/10))":17111,"(/ z0 (pow z1 2))":820,"(/ z0 (sinh (* (* z1 z0) z2)))":930,"(acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))":811,"(acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))":6072,"(cbrt z0)":31710,"(cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0))":1068,"(cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":2964,"(cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2)))))":2760,"(exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))":1250,"(exp (* (* (- 1 z0) (- 1 z0)) -14/5))":1585,"(exp (* (* (- z0 1) -14/5) (- z0 1)))":5226,"(exp (* (* -14/5 (- z0 1)) (- z0 1)))":8424,"(exp (* (- z0 2) -100))":10543,"(exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":1226,"(exp (* -100 (- z0 2)))":938,"(exp (* -14/5 (pow (- z0 1) 2)))":9892,"(exp (* -17943/1000 (pow (- z0 62849/500000) 2)))":4533,"(exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1))))":5650,"(exp (+ (* (* -14/5 (- z0 1)) (- z0 1)) (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":1494,"(exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15))":3456,"(exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20))":3471,"(exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))":1186,"(exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0)))))":3726,"(exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))":3661,"(exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))":2272,"(exp (- (- (* (* (* z0 z0) z0) -1/3) (* 559369801/625000000 (* (- 1 z0) (- 1 z0)))) (* 449834465809/10000000000 (* (- 1 z1) (- 1 z1)))))":1210,"(exp (- (- (* (* -1/3 (* z0 z0)) z0) (* (* -559369801/625000000 (- z0 1)) (- 1 z0))) (* (* -449834465809/10000000000 (- z1 1)) (- 1 z1))))":1110,"(exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3)))":2078,"(exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)))":3051,"(exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":1318,"(exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000))":4060,"(exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":6823,"(exp (- 15 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 100)))":939,"(exp (- 15 (* -100 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1))))":7020,"(exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60)))":6928,"(exp (- 20 (* -60 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1))))":904,"(exp (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":846,"(exp (/ (- (* 2366/5 z0) 57033) (* z0 z0)))":1380,"(exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0))))":1594,"(exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))))":1170,"(fabs (- (* (* (* z0 z1) z0) z1) 1))":3966,"(fabs (- (pow (* z0 z1) 2) 1))":966,"(fabs (- 1 (* (* (* z0 z1) z0) z1)))":6096,"(fabs (sinh (* (* z0 z1) z2)))":960,"(fabs (sinh (* z0 (* z1 z2))))":1374,"(fabs (tanh (* z0 (* z1 z2))))":5634,"(log (/ z0 z1))":8698,"(pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1))":13274,"(pow (* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))) 2)":1074,"(pow (* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1)) 2)":954,"(pow (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))) 2)":3366,"(pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1)))":2124,"(pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1))":3474,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1))":2130,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))":70112,"(pow (* (- 1 z0) (- 1 z0)) (- z1 1))":49022,"(pow (* (- 1 z0) (- 1 z0)) (/ 1 z1))":892,"(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1))":148716,"(pow (* (- 1 z0) (- 1 z0)) 1/5)":6381,"(pow (* (- 1 z0) (- 1 z0)) 5/3)":6239,"(pow (* (- 1 z0) (- 1 z0)) z1)":53560,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1))":29062,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":21684,"(pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1)))":67202,"(pow (* (- z0 1) (- z0 1)) (/ 1/2 z1))":14774,"(pow (* (- z0 1) (- z0 1)) z1)":33614,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1))) 2)":3258,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1)":1122,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1)":1122,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 2)":4512,"(pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000)":3852,"(pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000)":2386,"(pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5)":898,"(pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)":821,"(pow (* 100/61689 z0) -16/5)":5263,"(pow (* 100/61689 z0) -3/10)":5168,"(pow (* 1000/630259 z0) -22/5)":4000,"(pow (* 1000/630259 z0) -4/5)":3825,"(pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000)":3052,"(pow (* 2/5 z0) 10)":7441,"(pow (* 23651/25000 (- z0 1)) 2)":1148,"(pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2)":1622,"(pow (* z0 z1) -1)":1132,"(pow (* z0 z1) 2)":5936,"(pow (* z0 z1) 3)":920,"(pow (* z0 z1) 5)":8416,"(pow (* z0 z1) 7)":1242,"(pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)":3053,"(pow (+ (* z0 z1) z2) -1)":1098,"(pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1)":1176,"(pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2)":1476,"(pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2)":1956,"(pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2)":1677,"(pow (+ (pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)) (/ (- z0 1) z0)) 2) 39751/100000)) -79857/100000)":1698,"(pow (+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (/ (- z1 1) z1) (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))) 2) 39751/100000)) -79857/100000)":1032,"(pow (+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) -79857/100000)":914,"(pow (+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) 79857/100000)":1156,"(pow (+ (pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000) (pow (pow (* 33791/100000 (- z1 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))))) 2) 77963/100000)) 79857/100000)":990,"(pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2)":3918,"(pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2)":6518,"(pow (- (- (tanh (* z0 (* z1 z2))))) 3)":864,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)":5514,"(pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2)":3004,"(pow (- (tanh (* z0 (* z1 z2)))) 3)":1956,"(pow (- z0 (* 24/25 z1)) 2)":3104,"(pow (- z0 62849/500000) 2)":4533,"(pow (/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1) 2)":1200,"(pow (/ (- z0 z1) z0) z2)":39150,"(pow (/ z0 5/2) 10)":4195,"(pow (/ z0 61689/100) -3/10)":2913,"(pow (/ z0 61689/100) 16/5)":2652,"(pow (/ z0 630259/1000) -4/5)":3269,"(pow (/ z0 630259/1000) 22/5)":3024,"(pow (/ z0 z1) -7437/50000)":10592,"(pow (/ z0 z1) z2)":65838,"(pow (exp (* (- 1 z0) (- 1 z0))) -14/5)":1620,"(pow (exp z0) z1)":2088,"(pow (fabs (- (* (* (* z0 z1) z0) z1) 1)) 3/2)":3946,"(pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2)":966,"(pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2)":5926,"(pow (pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2) 77963/100000)":1622,"(pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000)":1476,"(pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)":6492,"(pow (pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2) 39751/100000)":2964,"(pow (pow (- 1 z0) 2) 1/5)":825,"(pow (pow (- z0 1) 2) 5/3)":853,"(pow (pow (tanh (* z0 (* z1 z2))) 2) -2)":1386,"(pow (pow (tanh (* z0 (* z1 z2))) 2) 2)":2046,"(pow (sinh (* (* z0 z1) z2)) -2)":1890,"(pow (sinh (* (* z0 z1) z2)) 2)":1440,"(pow (tanh (* (* z0 z1) z2)) -2)":11418,"(pow (tanh (* (* z0 z1) z2)) -3)":3078,"(pow (tanh (* (* z0 z1) z2)) -4)":1146,"(pow (tanh (* (* z0 z1) z2)) 2)":5418,"(pow (tanh (* z0 (* z1 z2))) -2)":30654,"(pow (tanh (* z0 (* z1 z2))) -3)":5358,"(pow (tanh (* z0 (* z1 z2))) -4)":8610,"(pow (tanh (* z0 (* z1 z2))) 2)":27366,"(pow (tanh (* z0 (* z1 z2))) 3)":4620,"(pow (tanh (* z0 (* z1 z2))) 4)":5544,"(pow z0 (- z1 1))":3926,"(pow z0 (- z1 3))":1500,"(pow z0 -2/3)":10070,"(pow z0 1/3)":6068,"(pow z0 1/6)":6043,"(pow z0 103/10)":9543,"(pow z0 2/3)":73696,"(pow z0 2/5)":17915,"(pow z0 3/5)":8488,"(pow z0 33/10)":17915,"(pow z0 34/5)":8484,"(pow z0 35969/50000)":3872,"(pow z0 4681/10000)":3815,"(pow z0 7/10)":9547,"(pow z0 7034007057/10000000000)":3933,"(pow z0 806282737481277/100000000000000)":3918,"(sin (* 3 z0))":3031,"(sin (* z0 3))":3476,"(sinh (* (* (- z0) z1) z2))":1596,"(sinh (* (* z0 z1) z2))":35658,"(sinh (* (- z0) (* z1 z2)))":1908,"(sinh (* z0 (* z1 z2)))":14094,"(sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":2082,"(sinh (/ (* z0 z0) (/ (- (* (* -1/3 (* (* (* z1 z2) z1) z2)) z1) (/ (* z0 z0) z2)) z1)))":858,"(sinh (/ (- z0) (- (/ z0 (* z1 z2)) (/ (* -1/3 (* (* (* z1 z2) z1) z2)) z0))))":1476,"(sqrt (* (* 1000 z0) z1))":4622,"(sqrt (* (* z0 1000) z1))":3612,"(sqrt (* (* z0 z0) (* z0 z0)))":1578,"(sqrt (* (* z0 z1) 1000))":850,"(sqrt (* (fabs z0) 1000))":3172,"(sqrt (* 100/54013 z0))":1079,"(sqrt (* 100/61689 z0))":8056,"(sqrt (* 1000/630259 z0))":13335,"(sqrt (* 4/2367 z0))":5307,"(sqrt (* 50/25391 z0))":4542,"(sqrt (* 50/28101 z0))":3778,"(sqrt (* z0 (* 1000 z1)))":2108,"(sqrt (* z0 z1))":17776,"(sqrt (/ 77021/125 z0))":8065,"(sqrt (/ z0 2367/4))":825,"(sqrt (/ z0 25391/50))":2058,"(sqrt (/ z0 28101/50))":1415,"(sqrt (/ z0 54013/100))":795,"(sqrt (/ z0 61689/100))":2133,"(sqrt (/ z0 630259/1000))":2250,"(sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2)))":1159,"(sqrt (sqrt (* 100/61689 z0)))":2755,"(sqrt (sqrt (* 1000/630259 z0)))":2960,"(sqrt (sqrt (* 4/2367 z0)))":2538,"(sqrt (sqrt (* 50/28101 z0)))":1914,"(sqrt (sqrt (fabs z0)))":1940,"(sqrt (sqrt (sqrt z0)))":1215,"(sqrt (sqrt z0))":6825,"(tanh (* (* z0 z1) z2))":83556,"(tanh (* z0 (* z1 z2)))":126198}