{"(* (* (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2))":11840,"(* (* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1))) (- 1 z0)) (- 1 z0))":11840,"(* (* (* (+ (* -2 z0) 1) z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1)))":8896,"(* (* (* (+ z0 z0) z1) (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":8768,"(* (* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2))) z1)":22912,"(* (* (* (- z0 1) z0) z1) (pow z2 (- z0 1)))":7872,"(* (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))) (- 1 z2))":11328,"(* (* (* (/ 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)))":20224,"(* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1))) (- 1 z0)) (- 1 z0))":11840,"(* (* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1))) (- 1 z0))":11328,"(* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2)))":5504,"(* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2))":2944,"(* (* (* 2 z0) z1) (* (pow (* (- z2 1) (- z2 1)) (- z1 1)) (- z2 1)))":8896,"(* (* (* z0 1725813/125000000000000000000000000000) (pow z1 2)) (pow z2 2))":13952,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":8256,"(* (* (- (- (* (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)":24704,"(* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) (* z1 z1)) (log (/ z1 z2)))":22912,"(* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2)))":22592,"(* (* (- (/ 1 z0) 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":9664,"(* (* (- 1 (+ z0 z0)) (- (* z0 z1))) (pow (* (- z2 1) (- z2 1)) (- z0 1)))":8896,"(* (* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) (/ z2 z0))":10368,"(* (* (- 1 z0) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":9664,"(* (* (- 1 z0) z0) (* (pow z1 z0) z2))":7680,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2)":8768,"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1)))":8768,"(* (* (- z0 1) (/ z1 (* z0 z0))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":9984,"(* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":9664,"(* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1))":9664,"(* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1))))":7872,"(* (* (- z0 1) z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1)))":8960,"(* (* (- z0 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":8960,"(* (* (- z0) z1) (pow z2 (- z1 2)))":7488,"(* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1)))":10816,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1))":9984,"(* (* (exp (* z0 z1)) (sqrt z2)) 552651/10000000000)":8064,"(* (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000) (sqrt z0))":9472,"(* (* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0)) z0)":22912,"(* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1))) (- 1 z0))":11328,"(* (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1)))":10816,"(* (* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0))) (/ (* z2 z2) (* z1 z1)))":11136,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1))) z2)":9792,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) (/ z2 z1))":10368,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)) (- z0 1))":9664,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (+ z2 z2) z1)) (- z0 1))":8768,"(* (* (pow (* 100/61689 z0) -16/5) -86433/500000000000000) (pow z1 22))":13952,"(* (* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000) (pow z1 25))":13952,"(* (* (pow (* z0 z1) 5) z2) (* z1 1/5))":7808,"(* (* (pow (* z0 z1) 7) -85/56) (* z1 (* z2 1/5)))":8128,"(* (* (pow (exp z0) z1) (sqrt z2)) 552651/10000000000)":14208,"(* (* (pow z0 (- z1 1)) z1) (- z2))":7488,"(* (* (pow z0 (- z1 1)) z2) (* (- z1 1) z1))":7872,"(* (* (pow z0 (- z1 2)) z1) (- z2))":7488,"(* (* (pow z0 (- z1 2)) z1) z2)":7360,"(* (* (pow z0 (- z1 2)) z2) (- 1 z1))":7552,"(* (* (pow z0 -2/3) z1) 4543/125000000)":7168,"(* (* (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)))))))":62464,"(* (* (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)))))))":60288,"(* (* (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)))))))":60288,"(* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367))":8576,"(* (* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1)))) (sqrt (sqrt (* 1000/630259 z1))))":10368,"(* (* (pow z0 2/3) (sqrt 50/28101)) (sqrt (fabs z1)))":8576,"(* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1)))":7936,"(* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1)":2304,"(* (* (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))))))":11136,"(* (* (sqrt z0) 552651/10000000000) (exp (* z1 z2)))":8064,"(* (* (sqrt z0) z1) (* z2 z1))":1664,"(* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))":13952,"(* (* -17/56 (* z0 z1)) (pow (* z2 z0) 7))":7808,"(* (* -2/5 z0) (exp (/ -367/2 z1)))":7808,"(* (* -4401/20000 (sqrt z0)) (exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000))))":9600,"(* (* -4401/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":9472,"(* (* -552651/10000000000 (sqrt z0)) (exp (* z1 z2)))":8064,"(* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))":13952,"(* (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))":22080,"(* (* 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))))))))":146560,"(* (* 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))))":23616,"(* (* 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))))":23616,"(* (* 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))))":29760,"(* (* 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))))":33600,"(* (* 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))))":27072,"(* (* 2 (/ z0 z1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":9472,"(* (* 2/5 z0) (exp (/ -367/2 z1)))":7808,"(* (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))":22080,"(* (* z0 (- (* (* 2 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":8896,"(* (* z0 (- (/ 1 z1) 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":9664,"(* (* z0 z0) (- (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z1))))":14592,"(* (* z0 z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1 z2)))":8576,"(* (* z0 z1) (/ (* (sin z2) (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1)))) (* z0 z1)))":9920,"(* (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))) 7/2)":15744,"(* (+ (* (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))":23616,"(* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10))":9920,"(* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10))":8000,"(* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10))":8384,"(* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5))":8384,"(* (+ (+ (* (- (- (* (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))":59136,"(* (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) 46383/62500000)":9856,"(* (+ (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))) (/ 3995125013/10000000000000000 z0)) (* (pow z1 2) (log (/ z1 z2))))":29120,"(* (+ (+ (+ 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))))))":29888,"(* (+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3))) (pow z1 3))":20800,"(* (+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))) z1)":14848,"(* (+ (- (* (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)))":58048,"(* (+ (- (* (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)))":58048,"(* (+ (/ (* 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))":64704,"(* (+ -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))":24896,"(* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z1 103/10))":16064,"(* (+ -205581/100000000 (* 265651/100000000 (pow (* z0 1000/630259) -4/5))) (pow z1 103/10))":14144,"(* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z1 103/10))":14528,"(* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z1 34/5))":14528,"(* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1)":8640,"(* (- (* (* (* (* z0 z1) z0) z1) 5/4) 1) (sin z2))":8256,"(* (- (* (+ (/ (* 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)))))":88768,"(* (- (* (+ (/ (* 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)))))))":83584,"(* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (* (* z1 z1) (log (/ z1 z2))))":22528,"(* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (/ (* (log (/ z1 z2)) (* z1 z1)) z0))":23232,"(* (- (* (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1))) (/ 1 (* (* (* z0 z1) z0) z1)))) (sin z2))":10368,"(* (- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000) (pow z1 34/5))":14144,"(* (- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000) (pow z1 103/10))":14144,"(* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1))":8384,"(* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))":7680,"(* (- (* -108089/50000 (exp (* -243787/100000 (/ z0 z1)))) (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))) (* (* 1000000000000000000 z2) z2))":24384,"(* (- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000)) (/ 2367/4 z1))":8384,"(* (- (* -15821/514075 z0) (* -9233/625 z1)) (pow z1 3/5))":7680,"(* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4))":7360,"(* (- (* -91223/3151295 z0) (* -104497/10000 z1)) (pow z1 7/10))":7680,"(* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))":7680,"(* (- (* 5/4 (* (* (* z0 z1) z0) z1)) 1) (sin z2))":8256,"(* (- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0)) (/ 2367/4 z1))":8384,"(* (- (* 5924416513/1000000000000000000 (pow z0 2/3)) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))) z1)":14272,"(* (- (* z0 z1) 1) (* (* (pow (* z2 z0) 5) z1) (* z0 1/5)))":8640,"(* (- (+ (- (* (- (- (* (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))":58816,"(* (- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1))))) z2)":23744,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* (* z2 z2) 1000000000))":24384,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2))":24064,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1)))":22464,"(* (- (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))) (/ -3995125013/10000000000000000 z0)) (log (/ z1 z2)))":22272,"(* (- (- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000) (* -5924416513/1000000000000000000 (pow z0 2/3))) z1)":14272,"(* (- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0))) z1)":14272,"(* (- (- (- (* (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)))":58048,"(* (- (- (- (- (* (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)))":58048,"(* (- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))) z1)":14784,"(* (- (- z0)) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":8512,"(* (- (/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000)) (* (* -360603235428487/1000000000000000 (* (* z0 z1) z0)) z0)) z2)":9216,"(* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z0)) 1)))":9664,"(* (- (/ 3995125013/10000000000000000 z0) (- (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)) (* (cbrt z0) -3006667839/500000000000000))) (log (/ z1 z2)))":22272,"(* (- (log (fabs z0)) (log (fabs z1))) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)))":28416,"(* (- 1 (* (* (* (* z0 z1) z0) z1) 5/4)) (sin z2))":8256,"(* (- 1 (* 3/2 (pow (* z0 z1) 2))) z2)":7680,"(* (- 1 (* 5/4 (* (* (* z0 z1) z0) z1))) (sin z2))":8256,"(* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2))":14080,"(* (- 1 (/ 1 z0)) (atan z1))":7680,"(* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)))":9344,"(* (- 1 (exp (* z0 -1253/500))) -16731/100)":7296,"(* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)))":9664,"(* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2))":8960,"(* (- 2 z0) (* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1)))))":8384,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10))":14144,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))":7360,"(* (- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000)) (pow z1 34/5))":14144,"(* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1)))":8448,"(* (- z0 1) (/ (atan z1) z0))":7680,"(* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":8384,"(* (- z0) (pow (* (- 1 z1) (- 1 z1)) z2))":7680,"(* (- z0) (pow z1 (- z2 2)))":7168,"(* (/ (* (- (/ 1 z0) 1) z1) z0) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":10368,"(* (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (* (* (* z1 z2) z1) z2) (* z1 z2)))":11200,"(* (/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1) (- (- 79962719/10000000 (* z0 z0)) (* z1 -2202959/118350000)))":9408,"(* (/ (sqrt z0) z1) 32311286061523161/250000000000000000000000000000000)":1728,"(* (/ -1 (* 4 (* z0 z1))) (sin (* 2 z2)))":8448,"(* (/ 1 (/ z0 (* z1 (/ (- z0 1) z0)))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1)))":11072,"(* (/ 1 (pow (* z0 -2) -1)) (* (* z1 z2) (* (* z1 z2) (* z1 z2))))":9472,"(* (/ 1 (pow (* z0 z1) 2)) (* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2)))":21888,"(* (/ 1 (sqrt (/ z0 77021/125))) (+ (* 15337/1000 (pow z1 3/2)) (+ (* -2191/5000000 (pow z1 11)) (* 2307/100000000 (pow z1 15)))))":23168,"(* (/ 1 z0) (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)) (- (/ 1 z0) 1)))":10368,"(* (/ 1/4 (* z0 z1)) (sin (+ z2 z2)))":8000,"(* (/ z0 7/10) (pow z1 z2))":7552,"(* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))))":10688,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1)))":9472,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10)":14464,"(* (cbrt z0) -3006667839/500000000000000)":6784,"(* (cbrt z0) -55320963042089/25000000000000)":6784,"(* (cbrt z0) 36572510765913/500000000)":6784,"(* (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))))))":41344,"(* (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))))":42560,"(* (exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3))) z0)":10176,"(* (exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)) 1000000)":8512,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0))":9152,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000)":8512,"(* (exp (- z0)) (sqrt (* z1 (* 1000 z2))))":8192,"(* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0))":22592,"(* (log (/ z0 z1)) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)))":22272,"(* (log z0) z1)":6784,"(* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) (* z1 z1)))":10816,"(* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2)":9472,"(* (pow (* (+ (- z0) 1) (+ (- z0) 1)) (/ 1/2 z1)) z2)":8512,"(* (pow (* (+ 1 (- z0)) (+ 1 (- z0))) (/ 1/2 z1)) z2)":8512,"(* (pow (* (- (- z0 1)) (- (- z0 1))) (/ 1/2 z1)) z2)":8512,"(* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ 1 z1))) z2)":8576,"(* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0)))":9472,"(* (pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1)) (* (/ z2 (* z1 z1)) z2))":9984,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ -1/2 z1))) z2)":8384,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* (/ z2 (* z1 z1)) z2))":9792,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* z2 z2))":8768,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1)))":9472,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1)))":9664,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))":9344,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ (* z2 (- (* 1 z1) 1)) (* z1 z1)))":10304,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))":9152,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":8448,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (+ z2 z2) z1))":8256,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- (* (+ z1 z1) z1) z1) z2))":8768,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))":8768,"(* (pow (* (- 1 z0) (- 1 z0)) (/ -1/2 (- z1))) z2)":8384,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ (- z1) -1/2))) z2)":9088,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ z1 1/2))) z2)":8960,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (pow (/ 1/2 z1) -1))) z2)":15424,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1 z1)) (* z2 z2))":8576,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":8256,"(* (pow (* (- 1 z0) (- 1 z0)) (pow (/ 1/2 z1) 1)) z2)":14720,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50)":7552,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":7552,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (- z0 1))":7936,"(* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2)":8256,"(* (pow (* (- z0 1) (- z0 1)) z1) z2)":7552,"(* (pow (* (/ 1 (pow (- 1 z0) -1)) (/ 1 (pow (- 1 z0) -1))) (/ 1/2 z1)) z2)":22592,"(* (pow (* (pow (- 1 z0) 1) (pow (- 1 z0) 1)) (/ 1/2 z1)) z2)":21184,"(* (pow (* 100/61689 z0) -16/5) -86433/500000000000000)":7168,"(* (pow (* 100/61689 z0) -3/10) 320971/1000000)":7168,"(* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000)":7168,"(* (pow (* 1000/630259 z0) -4/5) 265651/100000000)":7168,"(* (pow (* z0 z1) 5) (* z2 1/5))":7488,"(* (pow (* z0 z1) 5) z1)":7168,"(* (pow (* z0 z1) 5) z2)":7168,"(* (pow (+ (* (- 1 z0) 1) (* (- 1 z0) (- z0))) (/ 1/2 z1)) z2)":8896,"(* (pow (+ (* 1 (- 1 z0)) (* (- z0) (- 1 z0))) (/ 1/2 z1)) z2)":8896,"(* (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))))))":100800,"(* (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))))))":103232,"(* (pow (- (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2)":8384,"(* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000)":21632,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000)":21632,"(* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10)))))":34432,"(* (pow (exp z0) z1) (sqrt z2))":13888,"(* (pow (fabs (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2)":8384,"(* (pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2) z2)":13952,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* (* (* z0 z1) z0) z1)))":9792,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* z0 z1)))":9152,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) z2)":8128,"(* (pow (pow (- 1 z0) 2) (/ 1/2 z1)) z2)":14208,"(* (pow (pow (- z0 1) 2) (/ 1/2 z1)) z2)":14208,"(* (pow (tanh (* (* z0 z1) z2)) -2) -3)":13888,"(* (pow (tanh (* (* z0 z1) z2)) -2) 3)":13888,"(* (pow (tanh (* (* z0 z1) z2)) -2) 4)":13888,"(* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)))":27904,"(* (pow (tanh (* z0 (* z1 z2))) -2) 3)":13888,"(* (pow (tanh (* z0 (* z1 z2))) -2) 4)":13888,"(* (pow (tanh (* z0 (* z1 z2))) -4) -3)":13888,"(* (pow z0 (- z1 1)) (* (- z2) z1))":7488,"(* (pow z0 (- z1 1)) z2)":7040,"(* (pow z0 (- z1 2)) (- z2))":7168,"(* (pow z0 (- z1 2)) z1)":7040,"(* (pow z0 (- z1 2)) z2)":7040,"(* (pow z0 (- z1 3)) z2)":7040,"(* (pow z0 -2/3) z1)":6848,"(* (pow z0 1/6) -46133662500891/125000000000)":6848,"(* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000))":14144,"(* (pow z0 2) (log (/ z0 z1)))":13952,"(* (pow z0 2/3) (* (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000))) (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000)))))":13952,"(* (pow z0 2/3) (* (sqrt (sqrt (* 100/61689 z1))) (sqrt (sqrt (* 100/61689 z1)))))":10368,"(* (pow z0 2/3) (* (sqrt (sqrt (* 1000/630259 z1))) (sqrt (sqrt (* 1000/630259 z1)))))":10368,"(* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1)))))":10368,"(* (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)))":58496,"(* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50)))":8960,"(* (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)))":66304,"(* (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))))))))":18560,"(* (pow z0 2/3) (sqrt (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1)))))":9728,"(* (pow z0 2/3) (sqrt (* 50/28101 z1)))":7808,"(* (pow z0 2/3) (sqrt (* z1 1000/630259)))":7808,"(* (pow z0 2/3) (sqrt (/ z1 2367/4)))":8192,"(* (pow z0 2/3) (sqrt (/ z1 25391/50)))":8192,"(* (pow z0 2/3) (sqrt (/ z1 28101/50)))":8192,"(* (pow z0 2/3) (sqrt (/ z1 54013/100)))":8192,"(* (pow z0 2/3) (sqrt (/ z1 61689/100)))":8192,"(* (pow z0 2/3) (sqrt (/ z1 630259/1000)))":8192,"(* (pow z0 2/3) (sqrt (fabs z1)))":7616,"(* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1))))":8448,"(* (pow z0 2/3) 1/1000000)":6848,"(* (pow z0 2/3) 4033572907/5000000000000000)":6848,"(* (pow z0 2/3) 411354199/12500000000000)":6848,"(* (pow z0 3/2) 122919/1000)":6848,"(* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0)))":7680,"(* (pow z0 33/10) -145009/5000000)":6848,"(* (pow z0 33/10) 119381/50000)":6848,"(* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000))":14144,"(* (pow z0 35969/50000) 196)":6848,"(* (pow z0 4) -5311581/2000000)":6848,"(* (pow z0 4681/10000) z1)":6848,"(* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0)))":7680,"(* (sin (* z0 3)) 1/12)":7104,"(* (sin (+ z0 z0)) (/ 1/4 (* z1 z2)))":8000,"(* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2))))":8256,"(* (sin z0) (- 1 (* z1 (* (* (* z2 z1) z2) 5/4))))":8256,"(* (sinh (* (* z0 z1) z2)) 2)":7424,"(* (sqrt (* (* z0 z0) (* z0 z0))) z1)":1984,"(* (sqrt (* 100/61689 z0)) (pow z1 2/3))":7808,"(* (sqrt (* 1000/630259 z0)) (pow z1 2/3))":7808,"(* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0)))":2304,"(* (sqrt (* 4/2367 z0)) (pow z1 2/3))":7808,"(* (sqrt (* 50/25391 z0)) (pow z1 2/3))":7808,"(* (sqrt (* 50/28101 z0)) (pow z1 2/3))":7808,"(* (sqrt (* z0 z1)) 4543/125000000)":1344,"(* (sqrt (* z0 z1)) z2)":1344,"(* (sqrt (fabs z0)) (* (* (pow z1 -2/3) z2) 4543/125000000))":8256,"(* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))":5440,"(* (sqrt (fabs z0)) (pow z1 2/3))":7616,"(* (sqrt (sqrt (* 100/61689 z0))) (sqrt (sqrt (* 100/61689 z0))))":3584,"(* (sqrt (sqrt z0)) (sqrt (sqrt z0)))":2944,"(* (sqrt z0) 100)":1024,"(* (sqrt z0) 237799/500000000)":1024,"(* (sqrt z0) 2449/12500)":1024,"(* (sqrt z0) 4401/20000)":1024,"(* (sqrt z0) 4423/20000)":1024,"(* (sqrt z0) 889/4000)":1024,"(* (sqrt z0) z1)":1024,"(* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":29184,"(* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))":21824,"(* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))":14464,"(* -119381/50000 (pow z0 33/10))":6848,"(* -122919/1000 (pow z0 3/2))":6848,"(* -135904211/1000000 (pow z0 3))":6848,"(* -14/5 (pow (- z0 1) 2))":7040,"(* -1427549651/10000000000000 (pow z0 1/3))":6848,"(* -145009/5000000 (pow z0 33/10))":6848,"(* -15337/1000 (pow z0 3/2))":6848,"(* -159587/10000 (pow z0 2/5))":6848,"(* -16731/100 (- 1 (exp (* -1253/500 z0))))":7296,"(* -17943/1000 (pow (- z0 62849/500000) 2))":7040,"(* -18347/125 (pow z0 4))":6848,"(* -191039/1000 (pow z0 2))":6848,"(* -199789/20000 (pow z0 2))":6848,"(* -2 (sinh (* (* z0 z1) z2)))":7424,"(* -21391/1250 (pow z0 2/5))":6848,"(* -23229/20000 (pow (/ z0 z1) -7437/50000))":7552,"(* -267184324754639/50000000000000 (sqrt z0))":1024,"(* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2))":20352,"(* -3 (pow (tanh (* z0 (* z1 z2))) -4))":13888,"(* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))":7552,"(* -3006667839/500000000000000 (cbrt z0))":6784,"(* -3006667839/500000000000000 (pow z0 1/3))":6848,"(* -32311286061523161/250000000000000000000000000000000 (* (* (sqrt z0) z1) (* z2 z1)))":1984,"(* -4401/20000 (sqrt z0))":1024,"(* -4423/20000 (sqrt z0))":1024,"(* -4492659933/100000000000000000 (cbrt z0))":6784,"(* -5311581/2000000 (pow z0 4))":6848,"(* -564493/100000 (pow z0 2))":6848,"(* -5924416513/1000000000000000000 (pow z0 2/3))":6848,"(* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))":13760,"(* -889/4000 (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0)))":9472,"(* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))":2624,"(* -92639/125 (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10))))))":34752,"(* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10)))))":13888,"(* 1/1000000 (* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367)))":8896,"(* 1/1000000 (* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1))))))":10688,"(* 1/1000000 (* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50))))":9280,"(* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 2367/4))))":8512,"(* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 28101/50))))":8512,"(* 1/12 (sin (* 3 z0)))":7104,"(* 1/5 (pow (* z0 z1) 5))":7168,"(* 1/50 (pow (pow (- 1 z0) 2) 1/5))":13504,"(* 100 (sqrt z0))":1024,"(* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2))":21632,"(* 119381/50000 (pow z0 33/10))":6848,"(* 13935017/5000000000 (pow z0 7034007057/10000000000))":6848,"(* 1427549651/10000000000000 (cbrt z0))":6784,"(* 145009/5000000 (pow z0 33/10))":6848,"(* 15337/1000 (pow z0 3/2))":6848,"(* 159587/10000 (pow z0 2/5))":6848,"(* 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)))))))":41664,"(* 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)))))":42880,"(* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))))":15744,"(* 18347/125 (pow z0 4))":6848,"(* 196 (pow z0 35969/50000))":6848,"(* 2 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":10624,"(* 2 (sinh (* (* z0 z1) z2)))":7424,"(* 2 (sinh (* z0 (* z1 z2))))":7424,"(* 2 (sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":10624,"(* 2011/2000000 (sqrt z0))":1024,"(* 21391/1250 (pow z0 2/5))":6848,"(* 23229/20000 (pow (/ z0 z1) -7437/50000))":7552,"(* 26093/2000 (pow z0 3))":6848,"(* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))":9088,"(* 265651/100000000 (pow (/ z0 630259/1000) -4/5))":7552,"(* 267184324754639/50000000000000 (sqrt z0))":1024,"(* 2916688747387/781250000000000 (* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))))":28992,"(* 3 (pow (tanh (* z0 (* z1 z2))) -2))":13888,"(* 3/10 (pow (pow (- z0 1) 2) 5/3))":13504,"(* 3/2 (pow (* z0 z1) 2))":7168,"(* 3006667839/500000000000000 (cbrt z0))":6784,"(* 320971/1000000 (pow (/ z0 61689/100) -3/10))":7552,"(* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5))))))))":21120,"(* 365179/5000 (pow z0 3))":6848,"(* 36572510765913/500000000 (cbrt z0))":6784,"(* 4033572907/5000000000000000 (pow z0 2/3))":6848,"(* 411354199/12500000000000 (pow z0 2/3))":6848,"(* 4401/20000 (sqrt z0))":1024,"(* 4423/20000 (sqrt z0))":1024,"(* 4492659933/100000000000000000 (pow z0 1/3))":6848,"(* 45097/2000 (pow z0 2))":6848,"(* 4543/125000000 (sqrt (* z0 z1)))":1344,"(* 46133662500891/125000000000 (pow z0 1/6))":6848,"(* 5/4 (pow (* z0 z1) 2))":7168,"(* 5311581/2000000 (pow z0 4))":6848,"(* 5924416513/1000000000000000000 (pow z0 2/3))":6848,"(* 6673/250000000000 (sqrt (* (* z0 1000) z1)))":1664,"(* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))))":15744,"(* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))))":27648,"(* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))))":28864,"(* 889/4000 (sqrt z0))":1024,"(* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))":20416,"(* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10)))))":13888,"(* z0 (* (/ 1 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))))":10688,"(* z0 (/ (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1)) z2))":10368,"(* z0 (/ (- z0) (sinh (* (* z1 z2) z0))))":8256,"(* z0 (/ (pow z1 2) (+ (pow z1 2) (pow (- (* 3/5 z2) (* 24/25 z2)) 2))))":21504,"(* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))))":28672,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":8448,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":8256,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2))))":8576,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":7552,"(* z0 (pow (fabs (* (- (* z1 z2) 1) (- (* z1 z2) -1))) 3/2))":8320,"(* z0 (pow (fabs (- (* (* (* z1 z1) z2) z2) 1)) 3/2))":8128,"(* z0 (pow (fabs (- (* (* (* z1 z2) z1) z2) 1)) 3/2))":8128,"(* z0 (pow (fabs (- (* (* z1 z2) (* z1 z2)) 1)) 3/2))":8128,"(* z0 (pow z1 (- z2 1)))":7040,"(* z0 (pow z1 (- z2 3)))":7040,"(* z0 (pow z1 2))":6848,"(* z0 (pow z1 4681/10000))":6848,"(* z0 (sqrt z1))":1024,"(+ (* (* (- (- (- (- (* (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)))":60288,"(+ (* (* 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)))))))":181440,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":16896,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":14976,"(+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))":15360,"(+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))":15360,"(+ (* (+ (+ (* (- (- (* (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)))":61376,"(+ (* (+ (- (* (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)))":60672,"(+ (* (+ (- (* (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)))":60288,"(+ (* (+ (- (* (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)))":60608,"(+ (* (+ (- (* (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)))":60288,"(+ (* (+ -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))))))":56448,"(+ (* (+ -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))))))":51840,"(+ (* (+ -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))))))":51840,"(+ (* (+ 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))))))))":69696,"(+ (* (+ 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))))))))":65088,"(+ (* (+ 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))))))))":104384,"(+ (* (+ 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))))))))":69056,"(+ (* (+ 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))))))))":61376,"(+ (* (+ 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))))))))":62912,"(+ (* (+ 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))))))))":62912,"(+ (* (+ 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))))":61120,"(+ (* (+ 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))))":68928,"(+ (* (+ 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))))))))":74816,"(+ (* (+ 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))))))))":71232,"(+ (* (+ 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))))))))":69056,"(+ (* (+ 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))))))))":69056,"(+ (* (+ 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))))))))":80576,"(+ (* (+ 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))))":75072,"(+ (* (- (- (* (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))":29440,"(+ (* (- (- (- (* (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))":60288,"(+ (* (- (- (- (- (* (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))":60288,"(+ (* (- (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))":42816,"(+ (* (- 1 (/ 1 z0)) (atan z1)) (/ z1 z0))":8576,"(+ (* (/ (+ (* 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))))))))":63168,"(+ (* (/ 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)))":62464,"(+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1))))":15424,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- 1 z0) (- 1 z0)) -14/5)))":15424,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))":15424,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5))":21568,"(+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))))":16384,"(+ (* (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))":25280,"(+ (* (log z0) z1) z2)":6976,"(+ (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1)":8448,"(+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))":13824,"(+ (* -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)))))":37184,"(+ (* -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))))))":28736,"(+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4))))":20800,"(+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1)))))":3136,"(+ (* 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)))))":40256,"(+ (* 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)))))":37184,"(+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4)))":7360,"(+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))":7360,"(+ (* 23229/20000 (pow (/ z0 z1) -7437/50000)) (+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1))))))":23424,"(+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))":13824,"(+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))":13824,"(+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))))":21312,"(+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))":20800,"(+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1)))))":15744,"(+ (* 60457/125 z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))))":21312,"(+ (+ (* (- (- (* (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))))":52352,"(+ (+ (* 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))":16960,"(+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0))))":9536,"(+ (+ (+ (* 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))":24128,"(+ (+ (+ (* 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))":16960,"(+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))":7936,"(+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3)))":14016,"(+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3))))":14528,"(+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3)))":14016,"(+ (- (* (- (- (* (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))":36416,"(+ (- (* (- (- (* (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))))":50368,"(+ (- (* (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))))":49984,"(+ (- (* (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))))":49984,"(+ (- (- (- (* (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))))))":31552,"(+ (- (pow (* 670697/100000 (- z0 1)) 2)) (- (pow (* 23651/25000 (- z1 1)) 2)))":14464,"(+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2)))":27776,"(+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3)))":14592,"(+ (- 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)))))))":45376,"(+ (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))) (/ 3 (pow (pow (tanh (* z2 (* z1 z0))) 2) 2)))":36224,"(+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4))":16384,"(+ (/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))) (* -10113817/1000000 z0))":15936,"(+ (/ (* 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))))":33280,"(+ (/ (* 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))))":30208,"(+ (/ (* 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)))))":66752,"(+ (/ (* 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)))))":67968,"(+ (/ (* 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)))":42560,"(+ (/ (* 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))))":30208,"(+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))":21952,"(+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))":8128,"(+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))":8768,"(+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))":8128,"(+ (/ z0 z1) (/ z2 (pow z1 2)))":8128,"(+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))":27328,"(+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))":28544,"(+ (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))":49792,"(+ (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))":49792,"(+ (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))":49792,"(+ (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))":61696,"(+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))":8320,"(+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5)))":9280,"(+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5)))":7744,"(+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3)))":7040,"(+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10)))":7744,"(+ 1 (* (/ z0 7/10) (pow z1 z2)))":7744,"(+ 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)))))))":100992,"(+ 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)))))))":103424,"(+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))":13696,"(+ 1 (+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))))":21504,"(+ 1 (exp (* -100 (- z0 2))))":7168,"(+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2))))":8320,"(+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3)))":7040,"(+ z0 (* (atan z0) (- z1 1)))":7168,"(+ z0 (* (log z1) z2))":6976,"(- (* (* (- (- (- (- (* (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))":60288,"(- (* (* 10113817/1000000 z0) z1) (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) 2367/4))":8512,"(- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5)":8000,"(- (* (* 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))))":38976,"(- (* (+ (/ (* 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)":64896,"(- (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1)) (* 10113817/1000000 z0))":8896,"(- (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)) (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0))":9152,"(- (* (- (+ (- (* (- (- (* (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))":61056,"(- (* (- (+ (- (* (- (- (* (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))":62080,"(- (* (- (- (* (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)))":29440,"(- (* (- (- (* -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))":36672,"(- (* (- (- (- (* (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))":64320,"(- (* (- (- (- (* (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))":60288,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0)))":16768,"(- (* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))":8512,"(- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1))":14848,"(- (* (cbrt z0) 36572510765913/500000000) 269503247933569/1000000000)":6976,"(- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":15488,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":15488,"(- (* (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))))))":18432,"(- (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1)":8448,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)":7744,"(- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000)":7360,"(- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000)":7360,"(- (* (pow z0 1/6) -46133662500891/125000000000) -34987097863767/20000000000)":7040,"(- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10)))":21120,"(- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5)))":13824,"(- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11)))":13824,"(- (* (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))":60736,"(- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))":13760,"(- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5)))":14656,"(- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22)))":20928,"(- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))":20928,"(- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25)))":20928,"(- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))":20928,"(- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10)))":21120,"(- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1)))":7680,"(- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0))":7360,"(- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0)))":8000,"(- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0)))":8000,"(- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5)))":14656,"(- (* (sin (* z0 3)) 1/12) (* (/ 1/4 (* z1 z2)) (sin (+ z0 z0))))":15232,"(- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000))":7360,"(- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))":14656,"(- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))":14656,"(- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))":13824,"(- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1))":8640,"(- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)))":13952,"(- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000)":6976,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)":7040,"(- (* -933/50 (* z0 z0)) (* 17/4 (pow z1 4)))":7680,"(- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6)))":8576,"(- (* 2 (sinh (* z0 (* z1 z2)))))":7552,"(- (* 267184324754639/50000000000000 (sqrt z0)) (* 46133662500891/125000000000 (pow z0 1/6)))":8000,"(- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000)":7040,"(- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))":8000,"(- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0))":7360,"(- (* 72715319/200000000 (pow z0 6)) (* -158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)))":8576,"(- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000))":8000,"(- (* 933/50 (* z0 z0)) (* (pow z1 4) -17/4))":7680,"(- (* z0 z1) (* (- (sqrt (* (* z1 z1) (* z1 z1)))) z2))":2624,"(- (+ (- (* (- (- (* (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))))":50368,"(- (+ (- (* (- (- (* (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))))":52032,"(- (+ z0 (exp z1)) (exp z2))":13248,"(- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1)))))":23424,"(- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))))":23424,"(- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))":20800,"(- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2)))":20800,"(- (- (* (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)))":28736,"(- (- (* (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))))":35712,"(- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5)))":27904,"(- (- (* (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))))":35712,"(- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5)))":27904,"(- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0)))":8832,"(- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))":8832,"(- (- (* (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)))":28736,"(- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0)))":13952,"(- (- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6))) (/ -385804266743/50000000000 z1))":9472,"(- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))":13952,"(- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000))":8832,"(- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000)))":8704,"(- (- (+ (- (* (- (- (* (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))":51712,"(- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0)))":21952,"(- (- (- (* (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)))":49984,"(- (- (- (* (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)))":35712,"(- (- (- (* (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)))":49984,"(- (- (- (* (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)))":35712,"(- (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))) (* -60457/125 z0))":9344,"(- (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (/ -3995125013/10000000000000000 z0))":14848,"(- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0))":9344,"(- (- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))) (* -45097/2000 (* z0 z0)))":9536,"(- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))":22784,"(- (- (- (- (* (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)))":49984,"(- (- (- (- (* (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)))":49984,"(- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1))":16256,"(- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1))":9728,"(- (- (exp (* (* z0 (* z1 z2)) 2)) 1))":7744,"(- (- (exp (* (- z0 2) -100)) -1) 1)":7360,"(- (- (tanh (* z0 (* z1 z2)))))":7360,"(- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))":14464,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* (pow (tanh (* z0 (* z1 z2))) -4) -3))":28096,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2)))":34560,"(- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (tanh (* z0 (* z1 z2))) -4)))":28096,"(- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":14848,"(- (/ (+ z0 (* (atan z0) (- z1 1))) z1) (- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z2 3) z2))) (/ 1 z0))))))":17920,"(- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)))":9152,"(- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4)))":9152,"(- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (- (/ (* z2 z0) (+ (* (* (/ z0 (* z2 3)) z0) z0) z2))))))":17664,"(- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)))":8640,"(- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)":16128,"(- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)":9600,"(- (/ 1 (tanh (* (* z0 z1) z2))) (/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))":30464,"(- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3))":21504,"(- (/ 1 (tanh (* z0 (* z1 z2)))) (pow (tanh (* z0 (* z1 z2))) -3))":21504,"(- (cbrt z0))":6592,"(- (exp (* (* (* z0 z1) z2) 2)) 1)":7616,"(- (exp (* (* z0 (* z1 z2)) 2)) 1)":7616,"(- (exp (* (* z0 z1) (+ z2 z2))) 1)":7488,"(- (exp (* (- z0 2) -100)) -1)":7168,"(- (exp (* 2 (* (* z0 z1) z2))) 1)":7616,"(- (exp z0) (exp z1))":13056,"(- (log (fabs z0)) (log (fabs z1)))":13312,"(- (pow (* 2/5 z0) 10))":6976,"(- (pow (* 23651/25000 (- z0 1)) 2))":7168,"(- (pow (* z0 z1) 2) 1)":7040,"(- (pow (/ z0 5/2) 10))":7360,"(- (pow (tanh (* (* z0 z1) z2)) -2) 1)":13760,"(- (pow (tanh (* (* z0 z1) z2)) -2))":13696,"(- (pow (tanh (* (* z0 z1) z2)) 2))":13696,"(- (pow (tanh (* z0 (* z1 z2))) 2))":13696,"(- (pow (tanh (* z0 (* z1 z2))) 4))":13696,"(- (sqrt (sqrt z0)))":1472,"(- (tanh (* (* z0 z1) z2)))":7232,"(- (tanh (* z0 (* z1 z2))))":7232,"(- -1 (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2))":8448,"(- -1 (exp (* (- z0 2) -100)))":7168,"(- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))":6976,"(- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))":7040,"(- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3))))":28096,"(- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4))":14080,"(- 1 (* 3/2 (pow (* z0 z1) 2)))":7360,"(- 1 (* 5/4 (pow (* z0 z1) 2)))":7360,"(- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))))":20608,"(- 1 (/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2)))":28480,"(- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":15360,"(- 1 (cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0)))":10496,"(- 1 (cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2))))))":10496,"(- 1 (exp (* (* (* z0 z1) z2) -2)))":7616,"(- 1 (exp (* (* z0 (* z1 z2)) -2)))":7616,"(- 1 (exp (* -1253/500 z0)))":6976,"(- 1 (exp (* -2 (* (* z0 z1) z2))))":7616,"(- 1 (exp (* -2 (* z0 (* z1 z2)))))":7616,"(- 1 (exp (* z0 -1253/500)))":6976,"(- 1 (exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))":9664,"(- 1 (exp (- (pow (* 2/5 z0) 10))))":13568,"(- 1 (exp (- (pow (/ z0 5/2) 10))))":13952,"(- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0)))))":9920,"(- 1 (exp (/ -1 (+ (/ 1 z0) (/ (* z0 (/ z0 (* z1 3))) z1)))))":10304,"(- 1 (exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))))":16064,"(- 1 (pow (tanh (* (* z0 z1) z2)) -2))":13760,"(- 1 (pow (tanh (* z0 (* z1 z2))) -2))":13760,"(- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))":7360,"(- 269503247933569/1000000000 (* (cbrt z0) 36572510765913/500000000))":6976,"(- 269503247933569/1000000000 (* 36572510765913/500000000 (cbrt z0)))":6976,"(- 34987097863767/20000000000 (* 46133662500891/125000000000 (pow z0 1/6)))":7040,"(- 4 (* (pow (tanh (* (* z0 z1) z2)) -2) 3))":14080,"(- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3))":14080,"(- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000))":7360,"(- z0 (* (- 1 z1) (atan z0)))":7168,"(- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))":20800,"(/ (* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1))) (sqrt 28101/50))":9280,"(/ (* (+ (* (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))":24960,"(/ (* (+ (* z0 z0) (pow z0 806282737481277/100000000000000)) z1) (- z2 121550806591497/1000000000000000))":8256,"(/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1)":9664,"(/ (* (log (/ z0 z1)) (* z0 z0)) z2)":8512,"(/ (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z1)":10048,"(/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2))":9280,"(/ (* (sqrt (fabs z0)) 6673/250000000000) (* 1000000000 z1))":2176,"(/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4))))":15424,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5))":16256,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) 22/5))":14336,"(/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5))":14720,"(/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":10240,"(/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":16384,"(/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":10240,"(/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":16384,"(/ (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 2/3))":8512,"(/ (* 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))":24960,"(/ (* 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))":25920,"(/ (* 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))))":36864,"(/ (* 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))))":38080,"(/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5))":14720,"(/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))":10240,"(/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))":16384,"(/ (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))) (* z2 (- z1 1)))":9664,"(/ (* z0 z1) (sinh (* z2 (* z0 z1))))":8128,"(/ (+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4))) (/ z1 2367/4))":8768,"(/ (+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2))) (pow (tanh (* z0 (* z1 z2))) 2))":41984,"(/ (+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4)) (* z1 z2))":17408,"(/ (+ z0 (* (atan z0) (- z1 1))) z1)":7872,"(/ (- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5) z2)":8704,"(/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1)":8064,"(/ (- (- (/ (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)))":25408,"(/ (- (- (/ (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)))":18880,"(/ (- 1 (pow (tanh (* z0 (* z1 z2))) -2)) (tanh (* z0 (* z1 z2))))":21504,"(/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2))":28288,"(/ (- z0 (* (- 1 z1) (atan z0))) z1)":7872,"(/ (- z0) (sinh (* (* z1 z0) z2)))":7936,"(/ (- z0) (sinh (* (* z1 z2) z0)))":7936,"(/ (atan z0) z1)":7168,"(/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000))":15936,"(/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000)":9408,"(/ (pow z0 -2/3) z1)":7232,"(/ (pow z0 2) (* (* 3 z1) z1))":7872,"(/ (pow z0 2) (+ (pow z0 2) (pow (- z1 (* 24/25 z2)) 2)))":20864,"(/ (pow z0 2) (pow (* 3/5 z1) 2))":14016,"(/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000))":7424,"(/ (sqrt (* (* 1000 z0) z1)) z2)":2048,"(/ (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))))))":25216,"(/ (sqrt (* z0 z1)) z2)":1728,"(/ (sqrt (fabs z0)) z1)":1536,"(/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000)))":3456,"(/ (sqrt z0) (exp (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":9344,"(/ (sqrt z0) z1)":1408,"(/ -1 (* (- z0 1) (/ (atan z1) z0)))":8384,"(/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))":9472,"(/ -1 (- (exp (* (- z0 2) -100)) -1))":7872,"(/ -1 (pow (* z0 z1) 3))":7552,"(/ -1 (tanh (* (* z0 z1) z2)))":7808,"(/ -2 (tanh (* (* z0 z1) z2)))":7808,"(/ -57033 (pow z0 2))":7232,"(/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))":22528,"(/ 1 (+ 1 (exp (* -100 (- z0 2)))))":7872,"(/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))":14976,"(/ 1 (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1))":15424,"(/ 1 (pow (* z0 z1) -1))":7552,"(/ 1 (pow (* z0 z1) 2))":7552,"(/ 1 (pow (+ (* z0 z1) z2) -1))":7744,"(/ 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))":59520,"(/ 1 (sinh (* (* z0 z1) z2)))":7808,"(/ 1 (sqrt z0))":1408,"(/ 1 (tanh (* (* z0 z1) z2)))":7808,"(/ 1 (tanh (* z0 (* z1 z2))))":7808,"(/ 1/2 (sinh (* (* z0 z1) z2)))":7808,"(/ 1664060 (pow z0 2))":7232,"(/ 3 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))":29888,"(/ 3 (pow (pow (tanh (* z0 (* z1 z2))) 2) 2))":20736,"(/ 3 (tanh (* z0 (* z1 z2))))":7808,"(/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))":15168,"(/ 4 (tanh (* z0 (* z1 z2))))":7808,"(/ z0 (* (* (exp z1) 1000000000000000000) (* z2 z2)))":8128,"(/ z0 (* (* 1000000000000000000 (exp z1)) z2))":7808,"(/ z0 (* (- 1 z1) (atan z0)))":7680,"(/ z0 (+ (fabs (- z0 11/10)) 11/10))":1280,"(/ z0 (- (exp (* (- z1 2) -100)) -1))":7872,"(/ z0 (- (fabs (- 11/10 z0)) -11/10))":1280,"(/ z0 (pow z1 2))":7232,"(/ z0 (sinh (* (* z1 z0) z2)))":7808,"(acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))":20096,"(acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))":14144,"(cbrt z0)":6464,"(cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0))":10304,"(cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":10304,"(cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2)))))":10304,"(exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))":7808,"(exp (* (* (- 1 z0) (- 1 z0)) -14/5))":7488,"(exp (* (* (- z0 1) -14/5) (- z0 1)))":7488,"(exp (* (* -14/5 (- z0 1)) (- z0 1)))":7488,"(exp (* (- z0 2) -100))":6976,"(exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":9472,"(exp (* -100 (- z0 2)))":6976,"(exp (* -14/5 (pow (- z0 1) 2)))":13440,"(exp (* -17943/1000 (pow (- z0 62849/500000) 2)))":13440,"(exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1))))":8832,"(exp (+ (* (* -14/5 (- z0 1)) (- z0 1)) (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))":8832,"(exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15))":8384,"(exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20))":8384,"(exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))":28352,"(exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0)))))":8576,"(exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))":14720,"(exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))":8704,"(exp (- (- (* (* (* z0 z0) z0) -1/3) (* 559369801/625000000 (* (- 1 z0) (- 1 z0)))) (* 449834465809/10000000000 (* (- 1 z1) (- 1 z1)))))":9856,"(exp (- (- (* (* -1/3 (* z0 z0)) z0) (* (* -559369801/625000000 (- z0 1)) (- 1 z0))) (* (* -449834465809/10000000000 (- z1 1)) (- 1 z1))))":9856,"(exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3)))":9856,"(exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)))":8320,"(exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":9472,"(exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000))":8192,"(exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":8192,"(exp (- 15 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 100)))":8384,"(exp (- 15 (* -100 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1))))":8384,"(exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60)))":8384,"(exp (- 20 (* -60 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1))))":8384,"(exp (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":10304,"(exp (/ (- (* 2366/5 z0) 57033) (* z0 z0)))":8000,"(exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0))))":9728,"(exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))))":15872,"(fabs (- (* (* (* z0 z1) z0) z1) 1))":1344,"(fabs (- (pow (* z0 z1) 2) 1))":7168,"(fabs (- 1 (* (* (* z0 z1) z0) z1)))":1344,"(fabs (sinh (* (* z0 z1) z2)))":7232,"(fabs (sinh (* z0 (* z1 z2))))":7232,"(fabs (tanh (* z0 (* z1 z2))))":7232,"(log (/ z0 z1))":7168,"(pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1))":9152,"(pow (* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))) 2)":16128,"(pow (* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1)) 2)":16128,"(pow (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))) 2)":16128,"(pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1)))":8448,"(pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1))":8320,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1))":8128,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))":8128,"(pow (* (- 1 z0) (- 1 z0)) (- z1 1))":7424,"(pow (* (- 1 z0) (- 1 z0)) (/ 1 z1))":7936,"(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1))":7936,"(pow (* (- 1 z0) (- 1 z0)) 1/5)":7232,"(pow (* (- 1 z0) (- 1 z0)) 5/3)":7232,"(pow (* (- 1 z0) (- 1 z0)) z1)":7232,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1))":8448,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":7424,"(pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1)))":8256,"(pow (* (- z0 1) (- z0 1)) (/ 1/2 z1))":7936,"(pow (* (- z0 1) (- z0 1)) z1)":7232,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1))) 2)":16128,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1)":14720,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1)":14720,"(pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 2)":14720,"(pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000)":28096,"(pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000)":28096,"(pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5)":8768,"(pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)":8768,"(pow (* 100/61689 z0) -16/5)":6848,"(pow (* 100/61689 z0) -3/10)":6848,"(pow (* 1000/630259 z0) -22/5)":6848,"(pow (* 1000/630259 z0) -4/5)":6848,"(pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000)":28096,"(pow (* 2/5 z0) 10)":6848,"(pow (* 23651/25000 (- z0 1)) 2)":7040,"(pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2)":27584,"(pow (* z0 z1) -1)":6848,"(pow (* z0 z1) 2)":6848,"(pow (* z0 z1) 3)":6848,"(pow (* z0 z1) 5)":6848,"(pow (* z0 z1) 7)":6848,"(pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)":21888,"(pow (+ (* z0 z1) z2) -1)":7040,"(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)":58816,"(pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2)":21056,"(pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2)":33792,"(pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2)":35008,"(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)":56256,"(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)":56256,"(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)":56256,"(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)":56256,"(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)":68160,"(pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2)":21312,"(pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2)":15104,"(pow (- (- (tanh (* z0 (* z1 z2))))) 3)":13824,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)":21312,"(pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2)":15104,"(pow (- (tanh (* z0 (* z1 z2)))) 3)":13696,"(pow (- z0 (* 24/25 z1)) 2)":7040,"(pow (- z0 62849/500000) 2)":6720,"(pow (/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1) 2)":16128,"(pow (/ (- z0 z1) z0) z2)":7424,"(pow (/ z0 5/2) 10)":7232,"(pow (/ z0 61689/100) -3/10)":7232,"(pow (/ z0 61689/100) 16/5)":7232,"(pow (/ z0 630259/1000) -4/5)":7232,"(pow (/ z0 630259/1000) 22/5)":7232,"(pow (/ z0 z1) -7437/50000)":7232,"(pow (/ z0 z1) z2)":7232,"(pow (exp (* (- 1 z0) (- 1 z0))) -14/5)":13632,"(pow (exp z0) z1)":12928,"(pow (fabs (- (* (* (* z0 z1) z0) z1) 1)) 3/2)":7808,"(pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2)":13632,"(pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2)":7808,"(pow (pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2) 77963/100000)":34048,"(pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000)":27520,"(pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)":21568,"(pow (pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2) 39751/100000)":21568,"(pow (pow (- 1 z0) 2) 1/5)":13184,"(pow (pow (- z0 1) 2) 5/3)":13184,"(pow (pow (tanh (* z0 (* z1 z2))) 2) -2)":20032,"(pow (pow (tanh (* z0 (* z1 z2))) 2) 2)":20032,"(pow (sinh (* (* z0 z1) z2)) -2)":13568,"(pow (sinh (* (* z0 z1) z2)) 2)":13568,"(pow (tanh (* (* z0 z1) z2)) -2)":13568,"(pow (tanh (* (* z0 z1) z2)) -3)":13568,"(pow (tanh (* (* z0 z1) z2)) -4)":13568,"(pow (tanh (* (* z0 z1) z2)) 2)":13568,"(pow (tanh (* z0 (* z1 z2))) -2)":13568,"(pow (tanh (* z0 (* z1 z2))) -3)":13568,"(pow (tanh (* z0 (* z1 z2))) -4)":13568,"(pow (tanh (* z0 (* z1 z2))) 2)":13568,"(pow (tanh (* z0 (* z1 z2))) 3)":13568,"(pow (tanh (* z0 (* z1 z2))) 4)":13568,"(pow z0 (- z1 1))":6720,"(pow z0 (- z1 3))":6720,"(pow z0 -2/3)":6528,"(pow z0 1/3)":6528,"(pow z0 1/6)":6528,"(pow z0 103/10)":6528,"(pow z0 2/3)":6528,"(pow z0 2/5)":6528,"(pow z0 3/5)":6528,"(pow z0 33/10)":6528,"(pow z0 34/5)":6528,"(pow z0 35969/50000)":6528,"(pow z0 4681/10000)":6528,"(pow z0 7/10)":6528,"(pow z0 7034007057/10000000000)":6528,"(pow z0 806282737481277/100000000000000)":6528,"(sin (* 3 z0))":6784,"(sin (* z0 3))":6784,"(sinh (* (* (- z0) z1) z2))":7232,"(sinh (* (* z0 z1) z2))":7104,"(sinh (* (- z0) (* z1 z2)))":7232,"(sinh (* z0 (* z1 z2)))":7104,"(sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":10304,"(sinh (/ (* z0 z0) (/ (- (* (* -1/3 (* (* (* z1 z2) z1) z2)) z1) (/ (* z0 z0) z2)) z1)))":11008,"(sinh (/ (- z0) (- (/ z0 (* z1 z2)) (/ (* -1/3 (* (* (* z1 z2) z1) z2)) z0))))":10496,"(sqrt (* (* 1000 z0) z1))":1344,"(sqrt (* (* z0 1000) z1))":1344,"(sqrt (* (* z0 z0) (* z0 z0)))":1664,"(sqrt (* (* z0 z1) 1000))":1344,"(sqrt (* (fabs z0) 1000))":1152,"(sqrt (* 100/54013 z0))":1024,"(sqrt (* 100/61689 z0))":1024,"(sqrt (* 1000/630259 z0))":1024,"(sqrt (* 4/2367 z0))":1024,"(sqrt (* 50/25391 z0))":1024,"(sqrt (* 50/28101 z0))":1024,"(sqrt (* z0 (* 1000 z1)))":1344,"(sqrt (* z0 z1))":1024,"(sqrt (/ 77021/125 z0))":1408,"(sqrt (/ z0 2367/4))":1408,"(sqrt (/ z0 25391/50))":1408,"(sqrt (/ z0 28101/50))":1408,"(sqrt (/ z0 54013/100))":1408,"(sqrt (/ z0 61689/100))":1408,"(sqrt (/ z0 630259/1000))":1408,"(sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2)))":8448,"(sqrt (sqrt (* 100/61689 z0)))":1664,"(sqrt (sqrt (* 1000/630259 z0)))":1664,"(sqrt (sqrt (* 4/2367 z0)))":1664,"(sqrt (sqrt (* 50/28101 z0)))":1664,"(sqrt (sqrt (fabs z0)))":1472,"(sqrt (sqrt (sqrt z0)))":1984,"(sqrt (sqrt z0))":1344,"(tanh (* (* z0 z1) z2))":7104,"(tanh (* z0 (* z1 z2)))":7104}