{"(* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) (- (- 1 (* (pow (tanh (* (* z2 z0) z1)) -2) 4)) (* (pow (tanh (* (* z2 z0) z1)) -4) -3)))":3,"(* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) z2)":5,"(* (* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2))":5,"(* (* (* (* z0 z0) z0) z0) -17/4)":11,"(* (* (* (* z0 z0) z0) z0) z1)":15,"(* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0)":4,"(* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z2)":5,"(* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1))":8,"(* (* (* (* z0 z1) z0) z1) z2)":11,"(* (* (* (- 1 z0) 4) z1) z2)":6,"(* (* (* (exp z0) z1) 1000000000000000000) z2)":10,"(* (* (* (pow z0 -2/3) z1) 4543/125000000) z2)":8,"(* (* (* -85/56 (* z0 z1)) z0) z1)":4,"(* (* (* -85/56 (* z0 z1)) z0) z2)":4,"(* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2))":5,"(* (* (* z0 z0) z0) z1)":21,"(* (* (* z0 z1) -2) z2)":6,"(* (* (* z0 z1) 360603235428487/1000000000000000) z0)":5,"(* (* (* z0 z1) 360603235428487/1000000000000000) z2)":5,"(* (* (* z0 z1) 4543/125000000) z2)":7,"(* (* (* z0 z1) z0) z1)":46,"(* (* (* z0 z1) z0) z2)":51,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":4,"(* (* (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":13,"(* (* (+ z0 z0) z1) z2)":20,"(* (* (- (* z0 z1) 1) z0) z1)":4,"(* (* (- (* z0 z1) 1) z0) z2)":4,"(* (* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2)) (* 1000000000 z2))":4,"(* (* (- 1 z0) (- 1 z0)) z1)":9,"(* (* (- 1 z0) z1) z2)":9,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1))) z2)":42,"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- z2 1) (- z2 1)) (- z0 1)))":7,"(* (* (- z0 (* (+ z0 z0) z0)) z1) z2)":7,"(* (* (- z0 1) (- z0 1)) z1)":12,"(* (* (- z0 1) -14/5) (- z0 1))":20,"(* (* (- z0 1) -14/5) z1)":20,"(* (* (- z0 1) z0) z1)":10,"(* (* (- z0 1) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1)))":18,"(* (* (- z0 1) z1) z2)":29,"(* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))":23,"(* (* (- z0 62849/500000) -17943/1000) z1)":23,"(* (* (- z0 z1) z2) 500000000000000/9424777960769379)":6,"(* (* (- z0) (pow z1 (- z2 1))) z2)":4,"(* (* (- z0) z1) (/ (pow z2 z0) z2))":5,"(* (* (/ 352473/1000 (- -660989/100000 (* (* z0 z0) 442087/5000))) z0) z0)":3,"(* (* (/ z0 (* z1 3)) z0) z0)":19,"(* (* (/ z0 (* z1 3)) z0) z2)":19,"(* (* (/ z0 (* z1 z1)) z0) (pow (* (- z2 1) (- z2 1)) (- (/ 1 z1) 1)))":7,"(* (* (/ z0 (* z1 z1)) z0) z2)":8,"(* (* (/ z0 z1) (- (/ 1 z1) 1)) z2)":5,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1))":9,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2) (- (* (- (+ z1 z1) 3) z1) -1))":6,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) (/ z2 z1))":12,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z2)":12,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* (* z1 (* (- z0 1) z1)) z1)))":6,"(* (* (pow (* z0 z1) 5) z2) 1/5)":4,"(* (* (pow z0 (- z1 2)) z1) z2)":4,"(* (* (pow z0 -2/3) (sqrt (fabs z1))) z2)":7,"(* (* (pow z0 -2/3) 8157/200000000) z1)":4,"(* (* (pow z0 -2/3) z1) 4543/125000000)":8,"(* (* (pow z0 -2/3) z1) z2)":13,"(* (* (pow z0 2/3) (sqrt (* 1000/630259 z1))) z2)":6,"(* (* (pow z0 2/3) (sqrt (* z1 100/61689))) (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z0)) (pow z0 3/5)) (- (* -21391/1250 (pow z0 2/5)) (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z0 34/5)) (* 145009/5000000 (pow z0 33/10)))))":4,"(* (* (pow z0 2/3) (sqrt (* z1 100/61689))) z2)":5,"(* (* (pow z0 2/3) (sqrt (* z1 1000/630259))) z2)":5,"(* (* (pow z0 2/3) 1/1000000) (sqrt (* 50/28101 z1)))":5,"(* (* (pow z0 2/3) 1/1000000) z1)":5,"(* (* (pow z0 35969/50000) 196) (exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000)))":4,"(* (* (pow z0 35969/50000) 196) z1)":6,"(* (* (sqrt z0) 8157/200000000) z1)":10,"(* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))":4,"(* (* -11101/6250000000000000 (pow z0 25)) z1)":4,"(* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0))":7,"(* (* -1349503397427/10000000000 (- 1 z0)) z1)":7,"(* (* -141707/20000 (- 1 z0)) z1)":8,"(* (* -1678109403/625000000 (- 1 z0)) (- 1 z0))":7,"(* (* -1678109403/625000000 (- 1 z0)) z1)":7,"(* (* -2 z0) (* z1 z2))":6,"(* (* -360603235428487/1000000000000000 z0) z1)":12,"(* (* -47463/2500 z0) 100/61689)":5,"(* (* -47463/2500 z0) z1)":5,"(* (* -85/56 (* z0 z1)) z0)":4,"(* (* -85/56 (* z0 z1)) z2)":4,"(* (* -85/56 z0) z1)":4,"(* (* -91223/5000 z0) 1000/630259)":5,"(* (* -91223/5000 z0) z1)":5,"(* (* 1/5 z0) z1)":6,"(* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5))":8,"(* (* 11101/6250000000000000 (pow z0 25)) z1)":10,"(* (* 2916688747387/781250000000000 z0) z1)":5,"(* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":7,"(* (* 4423/20000 (sqrt z0)) z1)":7,"(* (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 -2/3))":4,"(* (* 4543/125000000 (sqrt (* z0 z1))) z2)":4,"(* (* 6673/250000000000 (sqrt (* z0 1000))) (/ (sqrt z1) z2))":4,"(* (* 6673/250000000000 (sqrt (* z0 1000))) (sqrt z1))":4,"(* (* 6673/250000000000 (sqrt (* z0 1000))) z1)":4,"(* (* 8157/200000000 (sqrt (* z0 z1))) z2)":34,"(* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5))":6,"(* (* 86433/500000000000000 (pow z0 22)) z1)":7,"(* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":11,"(* (* 889/4000 (sqrt z0)) z1)":11,"(* (* 9424777960769379/500000000000000 z0) z1)":6,"(* (* z0 (* (- z1 1) z0)) z0)":6,"(* (* z0 (* (- z1 1) z0)) z2)":6,"(* (* z0 (- (* (+ z1 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":16,"(* (* z0 (- (* (+ z1 z1) z1) z1)) z2)":19,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4)":8,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 6/5)":5,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) z1)":13,"(* (* z0 (- (* -69837/250 z0) -282329/1000)) z0)":4,"(* (* z0 (- (* -69837/250 z0) -282329/1000)) z1)":4,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (/ (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1)))))":6,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)))":6,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) z2)":6,"(* (* z0 (- z0 1)) z1)":8,"(* (* z0 (- z1)) (/ (pow z2 z0) z2))":8,"(* (* z0 (- z1)) (pow z2 z0))":13,"(* (* z0 (- z1)) z2)":14,"(* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1)))":5,"(* (* z0 (/ z0 (* z1 z1))) z2)":5,"(* (* z0 1000) z1)":58,"(* (* z0 602214129000000000000000) z1)":4,"(* (* z0 8157/200000000) (/ (pow z1 -2/3) z2))":4,"(* (* z0 8157/200000000) z1)":7,"(* (* z0 z0) (- (* z0 365179/5000) 191039/1000))":5,"(* (* z0 z0) 442087/5000)":11,"(* (* z0 z0) z1)":96,"(* (* z0 z1) 360603235428487/1000000000000000)":7,"(* (* z0 z1) 4543/125000000)":7,"(* (* z0 z1) z0)":62,"(* (* z0 z1) z1)":6,"(* (* z0 z1) z2)":377,"(* (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) (* (* (pow z2 2/3) (sqrt (* z0 100/61689))) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10))))))) 1/1000000)":4,"(* (+ (- (* -1455192887/2000000000000000 z0) -186297053/1000000000000) (- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0)))) z1)":6,"(* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5))":5,"(* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) z2)":5,"(* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10))":4,"(* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) z2)":4,"(* (- (* (+ z0 z0) z0) z0) z1)":7,"(* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0)":6,"(* (- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)) z1)":14,"(* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10))":4,"(* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) z2)":4,"(* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0)))":6,"(* (- (* 24/25 z0) z1) z2)":6,"(* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10))":8,"(* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) z1)":8,"(* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5))":6,"(* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) z1)":6,"(* (- (* 371791/100000000000 z0) 150087/10000000000) z0)":11,"(* (- (* 371791/100000000000 z0) 150087/10000000000) z1)":11,"(* (- (* 45680940361/2000 (/ z0 (* z1 z1))) -735/2) z2)":4,"(* (- (* z0 z0) (* -81/625 (* z1 z1))) z2)":6,"(* (- (* z0 z1) 1) z2)":5,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2))":5,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* z2 z2))":7,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) z2)":18,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1)))":6,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) z1)":6,"(* (- (- 5213335363/100000000000000000 (* (cbrt z0) 4492659933/100000000000000000)) (* (pow z0 2/3) -5924416513/1000000000000000000)) z1)":4,"(* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)":46,"(* (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (* (- z2) (/ z0 (+ (* (* (/ z0 (* z2 3)) z0) z0) z2)))))) (/ 1000000000/1570796327 z0))":12,"(* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z0) 1)))":10,"(* (- (/ 1 z0) 1) z1)":18,"(* (- (/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000))) (- -443/20000000 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1))) z2)":4,"(* (- (/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))) (- (/ -1286827737597/1000000000000000 z1) (/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))) z2)":5,"(* (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) (* 177148/5 (exp (* z1 (- (* -564493/100000 z1) -144847/1000000)))))":4,"(* (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1)":4,"(* (- (exp (- (pow (* 2/5 z0) 10))) 1) (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5))))":5,"(* (- (exp (- (pow (* 2/5 z0) 10))) 1) z1)":5,"(* (- -1 z0) 905364607/12500000000000)":6,"(* (- 1 (* 3/2 (* (* (* z0 z1) z0) z1))) z2)":4,"(* (- 1 (exp (* (/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1)) (- z1)))) z2)":6,"(* (- 1 (exp (* z0 -1253/500))) -16731/100)":5,"(* (- 1 (exp (* z0 -1253/500))) z1)":5,"(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z2 z1) (tanh (* (* z0 z1) z2))))":8,"(* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1)":10,"(* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z2)":10,"(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) z1)":4,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10))":4,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) z1)":4,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))":5,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) z1)":5,"(* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1)))":21,"(* (- z0 (* (+ z0 z0) z0)) z1)":57,"(* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2)))":16,"(* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0)))":5,"(* (- z0 1) -14/5)":20,"(* (- z0 2) (* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0))))":5,"(* (- z0 2) (/ (* (- z0 1) (* (* (- z0) z1) (/ (pow z2 z0) z2))) (* z2 z2)))":8,"(* (- z0 62849/500000) -17943/1000)":23,"(* (- z0 62849/500000) z1)":23,"(* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))":15,"(* (- z0) (pow z1 (- z2 1)))":4,"(* (/ (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":4,"(* (/ (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))":5,"(* (/ (+ z0 z0) z1) z2)":9,"(* (/ (- 1 z0) z0) z1)":4,"(* (/ (pow z0 -2/3) z1) z2)":17,"(* (/ 2000000000000000/3141592653589793 z0) z1)":4,"(* (/ 500000000000000/9424777960769379 (* z0 z1)) z2)":7,"(* (/ 8157/200000000 z0) z1)":5,"(* (/ z0 (* (- z1 z0) z1)) z2)":8,"(* (/ z0 (* z1 3)) z0)":19,"(* (/ z0 (* z1 3)) z2)":19,"(* (/ z0 (* z1 z1)) z0)":10,"(* (/ z0 (* z1 z1)) z2)":11,"(* (/ z0 (* z1 z2)) z0)":11,"(* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0)))":4,"(* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) z1)":6,"(* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))":10,"(* (/ z0 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- z2 1)))":8,"(* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)))":7,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))":10,"(* (/ z0 z1) z2)":53,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10)":8,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) z1)":8,"(* (atan (* z0 z1)) z2)":6,"(* (atan z0) z1)":4,"(* (cbrt z0) -55320963042089/25000000000000)":5,"(* (cbrt z0) z1)":11,"(* (exp (* (- z0 2) -100)) z1)":4,"(* (exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))) z2)":4,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) z1)":6,"(* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3))))":8,"(* (log (/ z0 z1)) z2)":10,"(* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) z2)":4,"(* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ z1 (* z1 z1)))) z2)":4,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- z0 1))":6,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":20,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) z2)":5,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":59,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50)":8,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) z1)":8,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":24,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) (* z2 z2))":19,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) z2)":23,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))":19,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- z0 1))":6,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1))":10,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2)":47,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))":11,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) z2)":14,"(* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2)":224,"(* (pow (* (- z0 1) (- z0 1)) z1) z2)":76,"(* (pow (* 1000/630259 z0) -4/5) 265651/100000000)":5,"(* (pow (* 1000/630259 z0) -4/5) z1)":5,"(* (pow (* z0 z1) 5) z2)":13,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000)":7,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) z2)":7,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) z2)":4,"(* (pow z0 (- z1 1)) (* (- z2) z1))":5,"(* (pow z0 (- z1 1)) z2)":5,"(* (pow z0 (- z1 2)) z2)":13,"(* (pow z0 (- z1 3)) (* (- z2) z1))":5,"(* (pow z0 (- z1 3)) z2)":14,"(* (pow z0 -2/3) (* (sqrt (* z1 z2)) 4543/125000000))":10,"(* (pow z0 -2/3) (sqrt (fabs z1)))":7,"(* (pow z0 -2/3) 8157/200000000)":5,"(* (pow z0 -2/3) z1)":70,"(* (pow z0 11) z1)":5,"(* (pow z0 15) z1)":7,"(* (pow z0 2/3) (sqrt (* 1000/630259 z1)))":8,"(* (pow z0 2/3) (sqrt (* z1 100/61689)))":5,"(* (pow z0 2/3) (sqrt (* z1 1000/630259)))":5,"(* (pow z0 2/3) 1/1000000)":6,"(* (pow z0 2/3) 411354199/12500000000000)":7,"(* (pow z0 2/3) z1)":52,"(* (pow z0 33/10) 119381/50000)":4,"(* (pow z0 33/10) z1)":4,"(* (pow z0 35969/50000) 196)":8,"(* (pow z0 35969/50000) z1)":10,"(* (pow z0 4681/10000) z1)":4,"(* (pow z0 5) z1)":7,"(* (sqrt (* (* z0 1000) z1)) (/ 6673/250000000000000000000000000000 z2))":5,"(* (sqrt (* (* z0 1000) z1)) 6673/250000000000000000000000000000)":5,"(* (sqrt (* (* z0 1000) z1)) z2)":8,"(* (sqrt (* 100/54013 z0)) z1)":4,"(* (sqrt (* 1000/630259 z0)) z1)":5,"(* (sqrt (* z0 1000)) z1)":7,"(* (sqrt (* z0 z1)) 4543/125000000)":11,"(* (sqrt (* z0 z1)) z2)":26,"(* (sqrt (fabs z0)) z1)":5,"(* (sqrt (sqrt 1000/630259)) z0)":6,"(* (sqrt z0) 8157/200000000)":10,"(* (sqrt z0) z0)":14,"(* (sqrt z0) z1)":62,"(* -1/3 (* (* (* z0 z1) z0) z1))":9,"(* -1/3 z0)":15,"(* -119381/50000 (pow z0 33/10))":11,"(* -119381/50000 z0)":11,"(* -122919/1000 (* (sqrt z0) z0))":6,"(* -122919/1000 z0)":6,"(* -1244951/62500 z0)":4,"(* -1349503397427/10000000000 (- 1 z0))":7,"(* -1349503397427/10000000000 z0)":7,"(* -135904211/1000000 z0)":4,"(* -15337/1000 (* (sqrt z0) z0))":7,"(* -15337/1000 z0)":7,"(* -15821/514075 z0)":4,"(* -1585571631/10000000 (* z0 z0))":10,"(* -1585571631/10000000 z0)":10,"(* -159587/10000 (pow z0 2/5))":16,"(* -159587/10000 z0)":16,"(* -1678109403/625000000 (- 1 z0))":7,"(* -1678109403/625000000 z0)":7,"(* -17/4 (* (* (* z0 z0) z0) z0))":6,"(* -1727293/500000000 z0)":4,"(* -1933/2500 (/ z0 z1))":20,"(* -21391/1250 (pow z0 2/5))":10,"(* -2202959/118350000 z0)":4,"(* -23229/20000 (pow (/ z0 z1) -7437/50000))":20,"(* -23229/20000 z0)":20,"(* -243787/100000 (/ z0 z1))":20,"(* -243787/100000 z0)":20,"(* -251909/54013000 z0)":22,"(* -28361/1000 z0)":7,"(* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3))":8,"(* -3/10 z0)":8,"(* -352473/1000 z0)":12,"(* -360603235428487/1000000000000000 z0)":15,"(* -4033572907/5000000000000000 (pow z0 2/3))":12,"(* -4033572907/5000000000000000 z0)":12,"(* -41249/10000 z0)":4,"(* -4492659933/100000000000000000 (cbrt z0))":8,"(* -4492659933/100000000000000000 z0)":8,"(* -45097/2000 z0)":12,"(* -47463/2500 z0)":11,"(* -5000000000 (/ (exp (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4)) z1))":5,"(* -52487/100000 z0)":20,"(* -54312/5 z0)":66,"(* -564493/100000 z0)":46,"(* -5924416513/1000000000000000000 (pow z0 2/3))":8,"(* -5924416513/1000000000000000000 z0)":8,"(* -69837/250 z0)":13,"(* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))))":4,"(* -7/2 (/ (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1))":4,"(* -7016851/250000000 z0)":4,"(* -74162421/10000000000 z0)":10,"(* -81/625 (* z0 z0))":6,"(* -81/625 z0)":6,"(* -85/56 (* z0 z1))":4,"(* -85/56 z0)":9,"(* -91223/3151295 z0)":6,"(* -91223/5000 (* 1000/630259 z0))":4,"(* -91223/5000 z0)":16,"(* -92639/125 z0)":5,"(* 1/3 (* (* (* z0 z1) z0) z1))":9,"(* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))":7,"(* 1/3 z0)":14,"(* 1/5 z0)":13,"(* 10/7 z0)":12,"(* 100/54013 z0)":12,"(* 1000/630259 z0)":74,"(* 11113/5620200 z0)":16,"(* 12451/1000 z0)":16,"(* 12957/25000 z0)":5,"(* 1427549651/10000000000000 (cbrt z0))":11,"(* 1427549651/10000000000000 z0)":11,"(* 145009/5000000 (pow z0 33/10))":10,"(* 145009/5000000 z0)":10,"(* 1591641/2500000 z0)":6,"(* 165903/160000000 z0)":6,"(* 1725674783/101564000000 z0)":20,"(* 1725813/125000000000000000000000000000 z0)":6,"(* 177148/5 z0)":5,"(* 18347/125 (* (* (* z0 z0) z0) z0))":7,"(* 18347/125 z0)":7,"(* 18371/200 z0)":6,"(* 191039/1000 z0)":4,"(* 199789/20000 z0)":18,"(* 2 (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)))":7,"(* 2/5 z0)":14,"(* 20969/12500 z0)":10,"(* 2191/5000000 z0)":7,"(* 2366/5 z0)":66,"(* 237799/1250000000 z0)":4,"(* 24/25 z0)":24,"(* 243371/50000000 z0)":4,"(* 26093/2000 (* z0 z0))":5,"(* 265651/100000000 (pow (* z0 1000/630259) -4/5))":8,"(* 265651/100000000 z0)":11,"(* 267184324754639/50000000000000 (sqrt z0))":4,"(* 2916688747387/781250000000000 z0)":10,"(* 2991126123/50000000 z0)":10,"(* 3/5 z0)":12,"(* 3006667839/500000000000000 (cbrt z0))":9,"(* 3006667839/500000000000000 z0)":9,"(* 320971/1000000 (pow (* z0 100/61689) -3/10))":6,"(* 320971/1000000 z0)":7,"(* 32311286061523161/250000000000000000000000000000000 z0)":15,"(* 371791/100000000000 z0)":22,"(* 4/2367 z0)":4,"(* 411354199/12500000000000 (pow z0 2/3))":4,"(* 411354199/12500000000000 z0)":4,"(* 4423/20000 (sqrt z0))":8,"(* 4423/20000 z0)":8,"(* 4543/125000000 (sqrt (* z0 z1)))":12,"(* 4543/125000000 z0)":12,"(* 46133662500891/125000000000 (pow z0 1/6))":4,"(* 46133662500891/125000000000 z0)":4,"(* 4712388981/250000000 z0)":6,"(* 50/25391 z0)":34,"(* 50/28101 z0)":14,"(* 578377/1000000 z0)":4,"(* 6673/250000000000 (sqrt (* z0 1000)))":5,"(* 6673/250000000000 z0)":6,"(* 757467/100000 (* (* (* z0 z0) z0) z0))":5,"(* 757467/100000 z0)":5,"(* 80738543/1000000000 z0)":15,"(* 8157/200000000 (sqrt (* z0 z1)))":34,"(* 8157/200000000 z0)":37,"(* 85/56 (* (* z0 z1) z0))":5,"(* 85/56 z0)":5,"(* 86433/500000000000000 z0)":7,"(* 889/4000 (sqrt z0))":14,"(* 933/50 (* z0 z0))":20,"(* 9424777960769379/500000000000000 z0)":6,"(* z0 (* (* (* z1 z1) z1) z1))":18,"(* z0 (* (* (* z1 z2) z1) z2))":32,"(* z0 (* (* (- 1 z1) (- 1 z1)) (* (- 1 z1) (- 1 z1))))":3,"(* z0 (* (* (- 1 z1) (- 1 z1)) (- z1 1)))":12,"(* z0 (* (* z1 z1) z1))":9,"(* z0 (* (* z1 z1) z2))":6,"(* z0 (* (* z1 z2) z1))":6,"(* z0 (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))":10,"(* z0 (* (- 1 z1) (- 1 z1)))":4,"(* z0 (* (- z1 (* (+ z1 z1) z1)) z2))":11,"(* z0 (* (- z1 1) (- z1 1)))":14,"(* z0 (* (- z1 1) z2))":7,"(* z0 (* (- z1) z2))":8,"(* z0 (* (fabs z1) 1000))":11,"(* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- z1 1)))":6,"(* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- z2 1)) (- z1 1)))":3,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1)))":7,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- z1 1)))":5,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (/ (- (- (+ z2 z2) 3) (/ -1 z2)) (* (* (- z1 1) z2) z2))))":6,"(* z0 (* (pow z1 -2/3) z2))":8,"(* z0 (* (sqrt (* z1 z2)) 4543/125000000))":10,"(* z0 (* (sqrt z1) z1))":13,"(* z0 (* (sqrt z1) z2))":5,"(* z0 (* -12 (- z1 1)))":5,"(* z0 (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5))))":5,"(* z0 (* 1/5 z1))":5,"(* z0 (* 1000/630259 z1))":4,"(* z0 (* 1000000000 z1))":10,"(* z0 (* 177148/5 (exp (* z1 (- (* -564493/100000 z1) -144847/1000000)))))":4,"(* z0 (* 32311286061523161/250000000000000000000000000000000 z1))":7,"(* z0 (* 500000000000000/9424777960769379 z1))":7,"(* z0 (* z1 (- z2)))":4,"(* z0 (* z1 (/ z1 (* z2 z2))))":4,"(* z0 (* z1 8157/200000000))":13,"(* z0 (* z1 z1))":94,"(* z0 (* z1 z2))":65,"(* z0 (+ (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1)) (- (* (* -1349503397427/10000000000 (- 1 z2)) (- 1 z2)) (* (* z1 z1) z1))))":7,"(* z0 (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10)))))":5,"(* z0 (+ (- (* (- (* (* -91223/5000 z1) 1000/630259) (* -104497/10000 z2)) (pow z2 7/10)) (- (* -159587/10000 (pow z2 2/5)) (* (* 11101/6250000000000000 (pow z2 25)) (pow (* z1 1000/630259) -22/5)))) (- (* (- (* 265651/100000000 (pow (* z1 1000/630259) -4/5)) 205581/100000000) (pow z2 103/10)) (* -119381/50000 (pow z2 33/10)))))":4,"(* z0 (- (* (* (* (* z1 z2) 360603235428487/1000000000000000) z1) z1) (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2))))":8,"(* z0 (- (* (* (* (- 1 z1) 4) z2) (- 1 z1)) 6))":4,"(* z0 (- (* (* z1 z1) (- (* (* z1 z2) 360603235428487/1000000000000000) (/ -1 (- z2 121550806591497/1000000000000000)))) (/ (pow z1 806282737481277/100000000000000) (- 121550806591497/1000000000000000 z2))))":4,"(* z0 (- (* (+ z1 z1) z1) z1))":38,"(* z0 (- (* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0) (- (- -186297053/1000000000000 (* z2 -1455192887/2000000000000000)) (- (* (pow z2 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z2))))))":6,"(* z0 (- (* (- (+ z1 z1) 3) z1) -1))":6,"(* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0))))":5,"(* z0 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1))))":5,"(* z0 (- (* -52487/100000 (exp (* -1933/2500 (/ z1 z2)))) (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000)))))":7,"(* z0 (- (* -564493/100000 z0) -144847/1000000))":21,"(* z0 (- (* -564493/100000 z1) -144847/1000000))":21,"(* z0 (- (* -69837/250 z0) -282329/1000))":4,"(* z0 (- (* -69837/250 z1) -282329/1000))":4,"(* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2))))":4,"(* z0 (- (* z1 365179/5000) 191039/1000))":5,"(* z0 (- (* z1 z2) 1))":6,"(* z0 (- (- (- (/ 3995125013/10000000000000000 z1) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z1))) (* -4033572907/5000000000000000 (pow z1 2/3))))":8,"(* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))":17,"(* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0)))":6,"(* z0 (- (/ -430313/5000 (- z1 (- (* 11113/5620200 z2) -34359/12500))) (* 199789/20000 z1)))":6,"(* z0 (- (/ 1 (- z1 z2)) (/ 1 z1)))":4,"(* z0 (- (/ 1 z1) 1))":24,"(* z0 (- (exp (* (* (- z1 1) -14/5) (- z1 1))) (* 80738543/1000000000 (exp (* (* (- z1 62849/500000) -17943/1000) (- z1 62849/500000))))))":4,"(* z0 (- 134133/1000 (* -352473/1000 z1)))":4,"(* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1))))":13,"(* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1))))":9,"(* z0 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2))))":9,"(* z0 (- z1 (* 24/25 z2)))":6,"(* z0 (- z1 62849/500000))":23,"(* z0 (/ (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (* z2 (- z1 1))))":4,"(* z0 (/ (pow z1 -2/3) z2))":38,"(* z0 (/ 1000000000/1570796327 z1))":12,"(* z0 (/ 8157/200000000 z1))":4,"(* z0 (/ z0 (* z1 z1)))":9,"(* z0 (/ z1 (* z2 z2)))":11,"(* z0 (/ z1 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2)))":15,"(* z0 (/ z1 (- z2 121550806591497/1000000000000000)))":5,"(* z0 (/ z1 z2))":111,"(* z0 (atan (* z1 z2)))":5,"(* z0 (atan z1))":19,"(* z0 (cbrt z1))":38,"(* z0 (exp (* (- z1 2) -100)))":4,"(* z0 (exp (- (/ (- (* 12451/1000 z1) 29567/100) (* z1 z1)) 41249/10000)))":6,"(* z0 (exp (- 14933/10000 (/ (- (* 2366/5 z1) 57033) (* z1 z1)))))":27,"(* z0 (pow (* (* (- z1 1) (- z1 1)) (* (- z1 1) (- z1 1))) (- (/ 1/2 z2) 1)))":6,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":13,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1)))":7,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":62,"(* z0 (pow (* (- 1 z1) (- 1 z1)) z2))":36,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 z2) 1)))":9,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)))":49,"(* z0 (pow (* (- z1 1) (- z1 1)) (- z2 1)))":57,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1/2 z2)))":28,"(* z0 (pow (* (- z1 1) (- z1 1)) 5/3))":8,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":4,"(* z0 (pow (* 1000/630259 z1) -22/5))":6,"(* z0 (pow (* z1 100/61689) -16/5))":6,"(* z0 (pow (* z1 100/61689) -3/10))":6,"(* z0 (pow (* z1 1000/630259) -22/5))":8,"(* z0 (pow (* z1 1000/630259) -4/5))":8,"(* z0 (pow (* z1 z2) 5))":4,"(* z0 (pow (+ (pow (* (pow (- (- 1 z1) (* (acosh (- (* (pow (* (- 1 z2) (- 1 z2)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- z1 1) (- z1 1)) 5/3)) (/ (- z2 1) z2)) 2) 39751/100000)) -79857/100000))":6,"(* z0 (pow (/ z1 z2) -7437/50000))":20,"(* z0 (pow z1 (- z2 1)))":4,"(* z0 (pow z1 (- z2 2)))":4,"(* z0 (pow z1 -2/3))":17,"(* z0 (pow z1 -4))":5,"(* z0 (pow z1 1/6))":4,"(* z0 (pow z1 103/10))":15,"(* z0 (pow z1 11))":9,"(* z0 (pow z1 2/3))":49,"(* z0 (pow z1 2/5))":26,"(* z0 (pow z1 22))":8,"(* z0 (pow z1 25))":15,"(* z0 (pow z1 3/5))":9,"(* z0 (pow z1 33/10))":22,"(* z0 (pow z1 34/5))":9,"(* z0 (pow z1 4681/10000))":5,"(* z0 (pow z1 5))":7,"(* z0 (pow z1 7/10))":15,"(* z0 (pow z1 7034007057/10000000000))":4,"(* z0 (sqrt (* (* z1 1000) z2)))":15,"(* z0 (sqrt (* 100/61689 z1)))":4,"(* z0 (sqrt (* 1000/630259 z1)))":10,"(* z0 (sqrt (* 50/25391 z1)))":6,"(* z0 (sqrt (* 50/28101 z1)))":5,"(* z0 (sqrt (* z1 (* (fabs z2) 1000))))":5,"(* z0 (sqrt (* z1 100/61689)))":5,"(* z0 (sqrt (* z1 1000)))":6,"(* z0 (sqrt (* z1 1000/630259)))":8,"(* z0 (sqrt (* z1 z2)))":88,"(* z0 (sqrt (/ 77021/125 z1)))":7,"(* z0 (sqrt (fabs z1)))":16,"(* z0 (sqrt (sqrt 1000/630259)))":6,"(* z0 (sqrt 1000/630259))":6,"(* z0 (sqrt z1))":61,"(* z0 -1253/500)":14,"(* z0 -14/5)":20,"(* z0 -17943/1000)":23,"(* z0 -52147/20000)":7,"(* z0 -917/200000)":5,"(* z0 1/10)":27,"(* z0 1/1000)":4,"(* z0 1/1000000)":39,"(* z0 1/10000000)":5,"(* z0 1/1000000000000000000)":4,"(* z0 1/3)":5,"(* z0 1/5)":5,"(* z0 1/50)":8,"(* z0 1000/630259)":46,"(* z0 1000000000/1570796327)":10,"(* z0 108089/50000)":20,"(* z0 1141831681/10000000000)":7,"(* z0 119381/50000)":4,"(* z0 18371/200)":5,"(* z0 2307/100000000)":7,"(* z0 243371/50000000)":5,"(* z0 25/9)":6,"(* z0 265651/100000000)":5,"(* z0 32311286061523161/250000000000000000000000000000000)":6,"(* z0 360603235428487/1000000000000000)":10,"(* z0 365179/5000)":10,"(* z0 373223/10000)":14,"(* z0 411354199/12500000000000)":7,"(* z0 4543/125000000)":26,"(* z0 50/28101)":4,"(* z0 55301/200000000)":8,"(* z0 6/5)":5,"(* z0 602214129000000000000000)":5,"(* z0 80738543/1000000000)":6,"(* z0 8157/200000000)":65,"(* z0 9/10)":8,"(* z0 905364607/12500000000000)":6,"(+ (* (* (/ z0 (* z1 3)) z0) z0) z2)":19,"(+ (* (* (pow z0 2/3) (sqrt (* z1 100/61689))) (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z0)) (pow z0 3/5)) (- (* -21391/1250 (pow z0 2/5)) (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z0 34/5)) (* 145009/5000000 (pow z0 33/10))))) z2)":4,"(+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1)))":7,"(+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0)))":7,"(+ (* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5)) z2)":8,"(+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1))":7,"(+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) (* (* (pow z2 2/3) (sqrt (* z0 100/61689))) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10)))))))":4,"(+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1)":7,"(+ (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)) z2)":6,"(+ (* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1)":11,"(+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2)":19,"(+ (* (atan z0) (- z1 1)) z0)":4,"(+ (* -251909/54013000 z0) z1)":22,"(+ (* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)) z2)":4,"(+ (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)) z2)":7,"(+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (* 145009/5000000 (pow z1 33/10))))":5,"(+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) z2)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5)))":5,"(+ (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5)))) (- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (* -119381/50000 (pow z1 33/10))))":4,"(+ (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5)))":4,"(+ (- z0 (* (pow z1 2/3) 411354199/12500000000000)) (* 1427549651/10000000000000 (cbrt z1)))":6,"(+ (- z0 (- -186297053/1000000000000 (* z1 -1455192887/2000000000000000))) (- (* (pow z1 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z1))))":6,"(+ (- z0 (/ -1286827737597/1000000000000000 z1)) (/ (* (- -1 z2) 905364607/12500000000000) (- (* z2 (- 661346441/100000000 (- z2 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))":6,"(+ (- z0 1) (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1)))))":12,"(+ (- z0 z1) (* (- 1 z2) (atan z1)))":4,"(+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2)))":9,"(+ (/ 1 (* z0 z1)) z2)":10,"(+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000))":7,"(+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) z2)":7,"(+ (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000) z2)":8,"(+ (pow z0 806282737481277/100000000000000) (* z0 z0))":9,"(+ (pow z0 806282737481277/100000000000000) z1)":9,"(- (* (* (* (* z0 z0) z0) z0) -17/4) (* 933/50 (* z1 z1)))":11,"(- (* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0) (/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 z1)))":4,"(- (* (* (- (* z0 z1) 1) z0) z1) (- -1 (* (* (* -85/56 (* z2 z0)) z2) z0)))":4,"(- (* (* (- (* z0 z1) 1) z0) z1) z2)":4,"(- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1))":5,"(- (* (* -47463/2500 z0) 100/61689) z1)":5,"(- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1))":4,"(- (* (* -91223/5000 z0) 1000/630259) z1)":4,"(- (* (+ (* z0 z1) z2) -2) (- (+ (* z0 z1) z2) 2))":5,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (* -21391/1250 (pow z1 2/5)))":5,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5))))":5,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) z2))":5,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) z2)":5,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5)))":4,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5))))":4,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2))":4,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) z2)":4,"(- (* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0) (- (- -186297053/1000000000000 (* z2 -1455192887/2000000000000000)) (- (* (pow z2 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z2)))))":6,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5)))":4,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2))":4,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) z2)":4,"(- (* (- (* 265651/100000000 (pow (* 1000/630259 z0) -4/5)) 205581/100000000) (pow z1 103/10)) z2)":3,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (* -119381/50000 (pow z1 33/10)))":7,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (- (* -119381/50000 (pow z1 33/10)) z2))":7,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) z2)":7,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (* 145009/5000000 (pow z1 33/10)))":6,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (- (* 145009/5000000 (pow z1 33/10)) z2))":6,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) z2)":6,"(- (* (- (* 371791/100000000000 z0) 150087/10000000000) z0) z1)":4,"(- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (* (sqrt z0) z0)))":5,"(- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) z2)":5,"(- (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2)":4,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0)))":5,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) z1)":5,"(- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000)":6,"(- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) z2)":10,"(- (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10)) z2)":3,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":20,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (+ (* -23229/20000 (pow (/ z0 z1) -7437/50000)) z2))":15,"(- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0))":6,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)":8,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) z1)":8,"(- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11)))":7,"(- (* (pow z0 15) 2307/100000000) (+ (* 2191/5000000 (pow z0 11)) z1))":6,"(- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))":6,"(- (* (pow z0 2/3) 411354199/12500000000000) z1)":6,"(- (* (pow z0 33/10) 119381/50000) z1)":4,"(- (* -1/3 (* (* (* z0 z1) z0) z1)) (* (/ z2 (* z0 z1)) z2))":9,"(- (* -1/3 (* (* (* z0 z1) z0) z1)) z2)":9,"(- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))":7,"(- (* -17/4 (* (* (* z0 z0) z0) z0)) (* 933/50 (* z1 z1)))":6,"(- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1))":8,"(- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) z1)":8,"(- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000))":7,"(- (* -4492659933/100000000000000000 (cbrt z0)) z1)":8,"(- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))":5,"(- (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))))":5,"(- (* -54312/5 z0) -1664060)":33,"(- (* -54312/5 z0) z1)":33,"(- (* -564493/100000 z0) -144847/1000000)":23,"(- (* -564493/100000 z0) z1)":23,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)":7,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) z1)":8,"(- (* -69837/250 z0) -282329/1000)":6,"(- (* -69837/250 z0) z1)":6,"(- (* -74162421/10000000000 z0) -22856419/1000000000)":5,"(- (* -74162421/10000000000 z0) z1)":5,"(- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1))":4,"(- (* -91223/5000 (* 1000/630259 z0)) z1)":4,"(- (* 11113/5620200 z0) -34359/12500)":8,"(- (* 11113/5620200 z0) z1)":8,"(- (* 12451/1000 z0) 29567/100)":8,"(- (* 12451/1000 z0) z1)":8,"(- (* 1725674783/101564000000 z0) -1060751253/100000000)":10,"(- (* 1725674783/101564000000 z0) z1)":10,"(- (* 24/25 z0) z1)":12,"(- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000)":8,"(- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) z1)":8,"(- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000)":6,"(- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) z1)":6,"(- (* 371791/100000000000 z0) 150087/10000000000)":11,"(- (* 371791/100000000000 z0) z1)":11,"(- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0)))":4,"(- (* 411354199/12500000000000 (pow z0 2/3)) z1)":4,"(- (* 50/25391 z0) -117359329/250000000)":7,"(- (* 50/25391 z0) z1)":7,"(- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000)))":5,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (* (pow z0 5) -52147/20000))":5,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) (- (* z0 373223/10000) -1)))":5,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) z1))":5,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) z1)":5,"(- (* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2)))) -1)":4,"(- (* z0 (- (* z1 z0) 1)) (* 85/56 (* (* z2 z1) z2)))":4,"(- (* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))) (* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0))))":4,"(- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))":9,"(- (* z0 365179/5000) 191039/1000)":5,"(- (* z0 365179/5000) z1)":5,"(- (* z0 373223/10000) -1)":5,"(- (* z0 373223/10000) z1)":5,"(- (* z0 z0) (* -81/625 (* z1 z1)))":6,"(- (+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1))) z2)":7,"(- (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))) z1)":5,"(- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))))":15,"(- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0)))":6,"(- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))":5,"(- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) z1)":5,"(- (- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (* -4033572907/5000000000000000 (pow z0 2/3)))":8,"(- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))":8,"(- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (+ (* 3006667839/500000000000000 (cbrt z0)) z1))":8,"(- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))":6,"(- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":8,"(- (/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))))) (/ (* -5000000000 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 4))) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1)))":4,"(- (/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))))) z2)":4,"(- (/ (+ (* (atan z0) (- z1 1)) z0) z1) z2)":4,"(- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000)":32,"(- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) z1)":32,"(- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000)":8,"(- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) z1)":8,"(- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4)))":4,"(- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (* (- z2) (/ z0 (+ (* (* (/ z0 (* z2 3)) z0) z0) z2))))))":12,"(- (/ (- z0 (* (- 1 z1) (atan z0))) z1) z2)":12,"(- (/ -1286827737597/1000000000000000 z0) (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z0)))) (- (* 1725674783/101564000000 z0) -1060751253/100000000))))":6,"(- (/ -1286827737597/1000000000000000 z0) z1)":7,"(- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))":6,"(- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3))":4,"(- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000)":9,"(- (/ 3995125013/10000000000000000 z0) z1)":9,"(- (/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))) (- (/ -1286827737597/1000000000000000 z1) (/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000)))))":5,"(- (cbrt z0))":5,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) 80738543/1000000000))":6,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))":12,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) z1)":18,"(- (exp (* (- z0 2) -100)) -1)":16,"(- (exp (* (- z0 2) -100)) z1)":16,"(- (exp (- (pow (* 2/5 z0) 10))) 1)":5,"(- (exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60))) z1)":8,"(- (pow (* 2/5 z0) 10))":7,"(- (pow z0 806282737481277/100000000000000) z1)":5,"(- -1 (* (* (* -85/56 (* z0 z1)) z0) z1))":4,"(- 1 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":5,"(- 1 (exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))":15,"(- 1 (exp (* z0 -1253/500)))":5,"(- 1 (pow (tanh (* (* z0 z1) z2)) -2))":8,"(- 134133/1000 (* -352473/1000 z0))":6,"(- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))":33,"(- 158519/25000 (+ (* -251909/54013000 z0) z1))":10,"(- 2 (/ (- (* 3 z0) 1) (* z0 z0)))":11,"(- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))":4,"(- 2463198817/50000000 (* 2991126123/50000000 z0))":5,"(- z0 (* (* (* -85/56 (* z1 z2)) z1) z2))":4,"(- z0 (* (* -11101/6250000000000000 (pow z1 25)) (pow (* 1000/630259 z2) -22/5)))":4,"(- z0 (* (- (* -4492659933/100000000000000000 (cbrt z1)) (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000)) z2))":7,"(- z0 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1))":7,"(- z0 (* (- (exp (- (pow (* 2/5 z1) 10))) 1) (* -92639/125 (exp (* (* z2 (- (* -564493/100000 z2) -144847/1000000)) 6/5)))))":5,"(- z0 (* (- 1 z1) (atan z0)))":19,"(- z0 (* (- 2463198817/50000000 (* 2991126123/50000000 z1)) (pow z1 -4)))":4,"(- z0 (* (/ z1 (- (* (* z1 z1) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z1))))":4,"(- z0 (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":8,"(- z0 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000))":4,"(- z0 (* -119381/50000 (pow z1 33/10)))":11,"(- z0 (* -122919/1000 (* (sqrt z1) z1)))":6,"(- z0 (* -15337/1000 (* (sqrt z1) z1)))":6,"(- z0 (* -159587/10000 (pow z1 2/5)))":16,"(- z0 (* -21391/1250 (pow z1 2/5)))":8,"(- z0 (* -23229/20000 (pow (/ z1 z2) -7437/50000)))":20,"(- z0 (* -352473/1000 z1))":6,"(- z0 (* -4033572907/5000000000000000 (pow z1 2/3)))":11,"(- z0 (* -81/625 (* z1 z1)))":6,"(- z0 (* 1427549651/10000000000000 (cbrt z1)))":10,"(- z0 (* 145009/5000000 (pow z1 33/10)))":7,"(- z0 (* 24/25 z1))":12,"(- z0 (* 2991126123/50000000 z1))":5,"(- z0 (* 3006667839/500000000000000 (cbrt z1)))":9,"(- z0 (* 85/56 (* (* z1 z2) z1)))":5,"(- z0 (+ (* -251909/54013000 z1) z2))":10,"(- z0 (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000))))":5,"(- z0 (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000))":7,"(- z0 (- (* 11113/5620200 z1) -34359/12500))":16,"(- z0 (- (* 1725674783/101564000000 z1) -1060751253/100000000))":10,"(- z0 (- (* 50/25391 z1) -117359329/250000000))":7,"(- z0 (- (* z1 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1)))) (+ (* (pow z1 5) -52147/20000) (- (* z1 373223/10000) -1))))":5,"(- z0 (- (- (* 757467/100000 (* (* (* z1 z1) z1) z1)) (* (* z1 z1) (- (* z1 365179/5000) 191039/1000))) (* 60457/125 z1)))":5,"(- z0 (- -1 (* (* (* -85/56 (* z1 z2)) z1) z2)))":4,"(- z0 (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000))))":6,"(- z0 (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2)))":6,"(- z0 (/ (- (* 2366/5 z1) 57033) (* z1 z1)))":33,"(- z0 (/ (- (* 3 z1) 1) (* z1 z1)))":11,"(- z0 (/ -3995125013/10000000000000000 z1))":4,"(- z0 (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1)))))":15,"(/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000)))":6,"(/ (* (- -1 z0) 905364607/12500000000000) z1)":6,"(/ (* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2))) (* z2 z2))":8,"(/ (* -1 (* z0 z0)) (- (* (- (* 24/25 z1) z2) (- z2 (* 24/25 z1))) (* z0 z0)))":6,"(/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1))))))":4,"(/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2))":9,"(/ (* 1/3 (* (* (* z0 z1) z0) z1)) z2)":9,"(/ (* z0 (pow z1 -2/3)) z2)":4,"(/ (* z0 (pow z1 2/3)) (sqrt 54013/100))":4,"(/ (* z0 8157/200000000) z1)":5,"(/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))":9,"(/ (* z0 z0) z1)":18,"(/ (* z0 z1) (sinh (* (* z2 z0) z1)))":4,"(/ (* z0 z1) (tanh (* (* z2 z1) z0)))":8,"(/ (+ (* (atan z0) (- z1 1)) z0) z1)":4,"(/ (+ (* (atan z0) (- z1 1)) z0) z2)":4,"(/ (+ (* z0 z1) z2) (* z0 z0))":21,"(/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 z1))":6,"(/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) z1)":6,"(/ (- (* -54312/5 z0) -1664060) (* z0 z0))":33,"(/ (- (* -54312/5 z0) -1664060) z1)":33,"(/ (- (* 12451/1000 z0) 29567/100) (* z0 z0))":8,"(/ (- (* 12451/1000 z0) 29567/100) z1)":8,"(/ (- (* 2366/5 z0) 57033) (* z0 z0))":33,"(/ (- (* 2366/5 z0) 57033) z1)":33,"(/ (- (* 3 z0) 1) (* z0 z0))":11,"(/ (- (* 3 z0) 1) z1)":11,"(/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0)":5,"(/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z1)":5,"(/ (- z0 (* (- 1 z1) (atan z0))) z1)":12,"(/ (- z0 (* (- 1 z1) (atan z0))) z2)":15,"(/ (pow z0 -2/3) z1)":108,"(/ (pow z0 2/3) (sqrt 54013/100))":4,"(/ (pow z0 2/3) z1)":4,"(/ (sqrt (* (* z0 1000) z1)) z2)":5,"(/ (sqrt (* z0 z1)) z2)":7,"(/ (sqrt z0) z1)":13,"(/ -1 (+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2))))":6,"(/ -1 (- (* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0))) (* z2 z2)))":6,"(/ -1 (- (exp (* (- z0 2) -100)) -1))":6,"(/ -1286827737597/1000000000000000 z0)":20,"(/ -2620316969/100000000 z0)":10,"(/ -3995125013/10000000000000000 z0)":8,"(/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500)))":8,"(/ -430313/5000 z0)":8,"(/ 1 (* (* z0 z0) z0))":4,"(/ 1 (* z0 z0))":22,"(/ 1 (* z0 z1))":13,"(/ 1 (tanh (* (* z0 z1) z2)))":4,"(/ 1/1000000000 z0)":4,"(/ 1000000000/1570796327 z0)":24,"(/ 29567/100 z0)":4,"(/ 3468241/5000000 z0)":8,"(/ 3886409/50000000000 (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) (- (* 9519/540130 z0) -973449/100000)))":4,"(/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000)))":6,"(/ 3886409/50000000000 z0)":11,"(/ 3995125013/10000000000000000 z0)":18,"(/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000)))":7,"(/ 4862030501/500000000000000 z0)":10,"(/ 500000000000000/9424777960769379 (* z0 z1))":4,"(/ 8157/200000000 z0)":9,"(/ z0 (* (* (* (- z1 1) z2) z2) z2))":4,"(/ z0 (* (* (* (exp z1) z2) 1000000000000000000) z2))":14,"(/ z0 (* (* (exp z1) z2) z2))":7,"(/ z0 (* (* 9424777960769379/500000000000000 z1) z2))":4,"(/ z0 (* (* z1 (* (- z2 1) z1)) z1))":6,"(/ z0 (* (* z1 z2) z1))":7,"(/ z0 (* (- z1 z0) z1))":4,"(/ z0 (* (- z1 z2) z1))":4,"(/ z0 (* -3 z1))":6,"(/ z0 (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1))))":6,"(/ z0 (* z1 (- z2 1)))":6,"(/ z0 (* z1 3))":38,"(/ z0 (* z1 z1))":210,"(/ z0 (* z1 z2))":113,"(/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1))":18,"(/ z0 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2))":19,"(/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000))":8,"(/ z0 (- (* (* z1 z1) 442087/5000) -660989/100000))":8,"(/ z0 (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) (- (* 9519/540130 z1) -973449/100000)))":4,"(/ z0 (- (* -1585571631/10000000 (* z1 z1)) (- (* 50/25391 z2) -117359329/250000000)))":7,"(/ z0 (- (* 9519/540130 z1) (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) 973449/100000)))":6,"(/ z0 (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000)))":9,"(/ z0 (- (exp (* (- z1 2) -100)) -1))":16,"(/ z0 (- (fabs (- 11/10 z0)) -11/10))":16,"(/ z0 (- (fabs (- 11/10 z1)) -11/10))":16,"(/ z0 (- z1 (- (* 11113/5620200 z2) -34359/12500)))":8,"(/ z0 (sqrt 54013/100))":4,"(acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))":8,"(acosh z0)":8,"(cbrt z0)":108,"(cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":5,"(exp (* (* (- z0 1) -14/5) (- z0 1)))":19,"(exp (* (- z0 2) -100))":22,"(exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":15,"(exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0)))))":7,"(exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000))":8,"(exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":33,"(exp (- 15 (* -100 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1))))":8,"(exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60)))":8,"(exp (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":4,"(log (/ z0 z1))":13,"(pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1))":10,"(pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) z1)":10,"(pow (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1)) 2)":9,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))":28,"(pow (* (- 1 z0) (- 1 z0)) (- z1 1))":12,"(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1))":64,"(pow (* (- 1 z0) (- 1 z0)) 1/5)":8,"(pow (* (- 1 z0) (- 1 z0)) z1)":174,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1))":32,"(pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1))":93,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":70,"(pow (* (- z0 1) (- z0 1)) (/ 1/2 z1))":126,"(pow (* (- z0 1) (- z0 1)) 5/3)":8,"(pow (* (- z0 1) (- z0 1)) z1)":411,"(pow (* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- z2 1))) 2)":3,"(pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000)":7,"(pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) z2)":7,"(pow (* 100/61689 z0) -16/5)":4,"(pow (* 100/61689 z0) -3/10)":4,"(pow (* 1000/630259 z0) -22/5)":8,"(pow (* 1000/630259 z0) -4/5)":8,"(pow (* 2/5 z0) 10)":7,"(pow (* z0 100/61689) -16/5)":6,"(pow (* z0 100/61689) -3/10)":6,"(pow (* z0 1000/630259) -22/5)":8,"(pow (* z0 1000/630259) -4/5)":8,"(pow (* z0 z1) 5)":12,"(pow (* z0 z1) z2)":12,"(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 (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) -79857/100000)":7,"(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 (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) z2)":7,"(pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2)":8,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)":8,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) z2)":8,"(pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) 2)":4,"(pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1)":4,"(pow (- z0 1) z1)":4,"(pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2)":4,"(pow (/ (- z0 z1) z0) z2)":8,"(pow (/ z0 z1) -7437/50000)":20,"(pow (/ z0 z1) z2)":28,"(pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)":8,"(pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) z2)":8,"(pow (tanh (* (* z0 z1) z2)) -2)":20,"(pow (tanh (* (* z0 z1) z2)) -3)":4,"(pow (tanh (* (* z0 z1) z2)) -4)":3,"(pow z0 (- (/ 1 z1) 1))":32,"(pow z0 (- (/ 1/2 z1) 1))":131,"(pow z0 (- 1 z1))":6,"(pow z0 (- z1 1))":117,"(pow z0 (- z1 3))":40,"(pow z0 -16/5)":10,"(pow z0 -2/3)":236,"(pow z0 -22/5)":16,"(pow z0 -3/10)":10,"(pow z0 -4/5)":16,"(pow z0 -7437/50000)":20,"(pow z0 -79857/100000)":8,"(pow z0 1/5)":8,"(pow z0 1/6)":10,"(pow z0 103/10)":32,"(pow z0 2/3)":206,"(pow z0 2/5)":52,"(pow z0 3/5)":20,"(pow z0 33/10)":52,"(pow z0 34/5)":20,"(pow z0 35969/50000)":20,"(pow z0 39751/100000)":8,"(pow z0 4681/10000)":18,"(pow z0 5/3)":16,"(pow z0 7/10)":32,"(pow z0 7034007057/10000000000)":10,"(pow z0 77963/100000)":8,"(pow z0 806282737481277/100000000000000)":34,"(sinh (* (* z0 z1) z2))":12,"(sqrt (* (* z0 1000) z1))":31,"(sqrt (* 100/54013 z0))":6,"(sqrt (* 100/61689 z0))":7,"(sqrt (* 1000/630259 z0))":15,"(sqrt (* 50/25391 z0))":7,"(sqrt (* 50/28101 z0))":7,"(sqrt (* z0 (* (fabs z1) 1000)))":6,"(sqrt (* z0 100/61689))":5,"(sqrt (* z0 1000))":13,"(sqrt (* z0 1000/630259))":11,"(sqrt (* z0 z1))":115,"(sqrt (/ 77021/125 z0))":7,"(tanh (* (* z0 z1) z2))":60}