{"(* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) (- (- 1 (* (pow (tanh (* (* z2 z0) z1)) -2) 4)) (* (pow (tanh (* (* z2 z0) z1)) -4) -3)))":30656,"(* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) z2)":2624,"(* (* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2))":11840,"(* (* (* (* z0 z0) z0) z0) -17/4)":1344,"(* (* (* (* z0 z0) z0) z0) z1)":1344,"(* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0)":1344,"(* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z2)":1344,"(* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1))":2304,"(* (* (* (* z0 z1) z0) z1) z2)":1344,"(* (* (* (- 1 z0) 4) z1) z2)":1216,"(* (* (* (exp z0) z1) 1000000000000000000) z2)":7424,"(* (* (* (pow z0 -2/3) z1) 4543/125000000) z2)":7488,"(* (* (* -85/56 (* z0 z1)) z0) z1)":1344,"(* (* (* -85/56 (* z0 z1)) z0) z2)":1344,"(* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2))":11328,"(* (* (* z0 z0) z0) z1)":1024,"(* (* (* z0 z1) -2) z2)":1024,"(* (* (* z0 z1) 360603235428487/1000000000000000) z0)":1024,"(* (* (* z0 z1) 360603235428487/1000000000000000) z2)":1024,"(* (* (* z0 z1) 4543/125000000) z2)":1024,"(* (* (* z0 z1) z0) z1)":1024,"(* (* (* z0 z1) z0) z2)":1024,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":8256,"(* (* (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":8256,"(* (* (+ z0 z0) z1) z2)":896,"(* (* (- (* z0 z1) 1) z0) z1)":1216,"(* (* (- (* z0 z1) 1) z0) z2)":1216,"(* (* (- (- (* (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))":24704,"(* (* (- 1 z0) (- 1 z0)) z1)":1088,"(* (* (- 1 z0) z1) z2)":896,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1))) z2)":8768,"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- z2 1) (- z2 1)) (- z0 1)))":8768,"(* (* (- z0 (* (+ z0 z0) z0)) z1) z2)":1408,"(* (* (- z0 1) (- z0 1)) z1)":1088,"(* (* (- z0 1) -14/5) (- z0 1))":1088,"(* (* (- z0 1) -14/5) z1)":896,"(* (* (- z0 1) z0) z1)":896,"(* (* (- z0 1) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1)))":8960,"(* (* (- z0 1) z1) z2)":896,"(* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))":1088,"(* (* (- z0 62849/500000) -17943/1000) z1)":896,"(* (* (- z0 z1) z2) 500000000000000/9424777960769379)":896,"(* (* (- z0) (pow z1 (- z2 1))) z2)":7488,"(* (* (- z0) z1) (/ (pow z2 z0) z2))":8000,"(* (* (/ 352473/1000 (- -660989/100000 (* (* z0 z0) 442087/5000))) z0) z0)":2240,"(* (* (/ z0 (* z1 3)) z0) z0)":1728,"(* (* (/ z0 (* z1 3)) z0) z2)":1728,"(* (* (/ z0 (* z1 z1)) z0) (pow (* (- z2 1) (- z2 1)) (- (/ 1 z1) 1)))":9792,"(* (* (/ z0 (* z1 z1)) z0) z2)":1728,"(* (* (/ z0 z1) (- (/ 1 z1) 1)) z2)":2304,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1))":9664,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2) (- (* (- (+ z1 z1) 3) z1) -1))":9664,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) (/ z2 z1))":10368,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z2)":9664,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* (* z1 (* (- z0 1) z1)) z1)))":11520,"(* (* (pow (* z0 z1) 5) z2) 1/5)":7488,"(* (* (pow z0 (- z1 2)) z1) z2)":7360,"(* (* (pow z0 -2/3) (sqrt (fabs z1))) z2)":7936,"(* (* (pow z0 -2/3) 8157/200000000) z1)":7168,"(* (* (pow z0 -2/3) z1) 4543/125000000)":7168,"(* (* (pow z0 -2/3) z1) z2)":7168,"(* (* (pow z0 2/3) (sqrt (* 1000/630259 z1))) z2)":8128,"(* (* (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)))))":58368,"(* (* (pow z0 2/3) (sqrt (* z1 100/61689))) z2)":8128,"(* (* (pow z0 2/3) (sqrt (* z1 1000/630259))) z2)":8128,"(* (* (pow z0 2/3) 1/1000000) (sqrt (* 50/28101 z1)))":8128,"(* (* (pow z0 2/3) 1/1000000) z1)":7168,"(* (* (pow z0 35969/50000) 196) (exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000)))":15296,"(* (* (pow z0 35969/50000) 196) z1)":7168,"(* (* (sqrt z0) 8157/200000000) z1)":1344,"(* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))":13952,"(* (* -11101/6250000000000000 (pow z0 25)) z1)":7168,"(* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0))":1088,"(* (* -1349503397427/10000000000 (- 1 z0)) z1)":896,"(* (* -141707/20000 (- 1 z0)) z1)":896,"(* (* -1678109403/625000000 (- 1 z0)) (- 1 z0))":1088,"(* (* -1678109403/625000000 (- 1 z0)) z1)":896,"(* (* -2 z0) (* z1 z2))":1024,"(* (* -360603235428487/1000000000000000 z0) z1)":704,"(* (* -47463/2500 z0) 100/61689)":704,"(* (* -47463/2500 z0) z1)":704,"(* (* -85/56 (* z0 z1)) z0)":1024,"(* (* -85/56 (* z0 z1)) z2)":1024,"(* (* -85/56 z0) z1)":704,"(* (* -91223/5000 z0) 1000/630259)":704,"(* (* -91223/5000 z0) z1)":704,"(* (* 1/5 z0) z1)":704,"(* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5))":13952,"(* (* 11101/6250000000000000 (pow z0 25)) z1)":7168,"(* (* 2916688747387/781250000000000 z0) z1)":704,"(* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":9472,"(* (* 4423/20000 (sqrt z0)) z1)":1344,"(* (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 -2/3))":8128,"(* (* 4543/125000000 (sqrt (* z0 z1))) z2)":1664,"(* (* 6673/250000000000 (sqrt (* z0 1000))) (/ (sqrt z1) z2))":3008,"(* (* 6673/250000000000 (sqrt (* z0 1000))) (sqrt z1))":2304,"(* (* 6673/250000000000 (sqrt (* z0 1000))) z1)":1664,"(* (* 8157/200000000 (sqrt (* z0 z1))) z2)":1664,"(* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5))":13952,"(* (* 86433/500000000000000 (pow z0 22)) z1)":7168,"(* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))":9472,"(* (* 889/4000 (sqrt z0)) z1)":1344,"(* (* 9424777960769379/500000000000000 z0) z1)":704,"(* (* z0 (* (- z1 1) z0)) z0)":1216,"(* (* z0 (* (- z1 1) z0)) z2)":1216,"(* (* z0 (- (* (+ z1 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1)))":8768,"(* (* z0 (- (* (+ z1 z1) z1) z1)) z2)":1408,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4)":1216,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 6/5)":1216,"(* (* z0 (- (* -564493/100000 z0) -144847/1000000)) z1)":1216,"(* (* z0 (- (* -69837/250 z0) -282329/1000)) z0)":1216,"(* (* z0 (- (* -69837/250 z0) -282329/1000)) z1)":1216,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (/ (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1)))))":12544,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)))":10304,"(* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) z2)":2432,"(* (* z0 (- z0 1)) z1)":896,"(* (* z0 (- z1)) (/ (pow z2 z0) z2))":8000,"(* (* z0 (- z1)) (pow z2 z0))":7296,"(* (* z0 (- z1)) z2)":832,"(* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1)))":10816,"(* (* z0 (/ z0 (* z1 z1))) z2)":1728,"(* (* z0 1000) z1)":704,"(* (* z0 602214129000000000000000) z1)":704,"(* (* z0 8157/200000000) (/ (pow z1 -2/3) z2))":7872,"(* (* z0 8157/200000000) z1)":704,"(* (* z0 z0) (- (* z0 365179/5000) 191039/1000))":1216,"(* (* z0 z0) 442087/5000)":704,"(* (* z0 z0) z1)":704,"(* (* z0 z1) 360603235428487/1000000000000000)":704,"(* (* z0 z1) 4543/125000000)":704,"(* (* z0 z1) z0)":704,"(* (* z0 z1) z1)":704,"(* (* z0 z1) z2)":704,"(* (+ (* (* 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)":70528,"(* (+ (- (* -1455192887/2000000000000000 z0) -186297053/1000000000000) (- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0)))) z1)":14784,"(* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5))":8000,"(* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) z2)":1536,"(* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10))":8000,"(* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) z2)":1536,"(* (- (* (+ z0 z0) z0) z0) z1)":1088,"(* (- (* (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)":36992,"(* (- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)) z1)":14272,"(* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10))":8000,"(* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) z2)":1536,"(* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0)))":1408,"(* (- (* 24/25 z0) z1) z2)":896,"(* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10))":14144,"(* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) z1)":7680,"(* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5))":14144,"(* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) z1)":7680,"(* (- (* 371791/100000000000 z0) 150087/10000000000) z0)":896,"(* (- (* 371791/100000000000 z0) 150087/10000000000) z1)":896,"(* (- (* 45680940361/2000 (/ z0 (* z1 z1))) -735/2) z2)":1920,"(* (- (* z0 z0) (* -81/625 (* z1 z1))) z2)":1536,"(* (- (* z0 z1) 1) z2)":896,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2))":24064,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* z2 z2))":24064,"(* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) z2)":23744,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1)))":16960,"(* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) z1)":15616,"(* (- (- 5213335363/100000000000000000 (* (cbrt z0) 4492659933/100000000000000000)) (* (pow z0 2/3) -5924416513/1000000000000000000)) z1)":14272,"(* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)":2112,"(* (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (* (- z2) (/ z0 (+ (* (* (/ z0 (* z2 3)) z0) z0) z2)))))) (/ 1000000000/1570796327 z0))":18688,"(* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z0) 1)))":9344,"(* (- (/ 1 z0) 1) z1)":1280,"(* (- (/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000))) (- -443/20000000 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1))) z2)":4032,"(* (- (/ 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)":6464,"(* (- (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)))))":23296,"(* (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1)":15744,"(* (- (exp (- (pow (* 2/5 z0) 10))) 1) (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5))))":21760,"(* (- (exp (- (pow (* 2/5 z0) 10))) 1) z1)":13888,"(* (- -1 z0) 905364607/12500000000000)":576,"(* (- 1 (* 3/2 (* (* (* z0 z1) z0) z1))) z2)":1856,"(* (- 1 (exp (* (/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1)) (- z1)))) z2)":9984,"(* (- 1 (exp (* z0 -1253/500))) -16731/100)":7296,"(* (- 1 (exp (* z0 -1253/500))) z1)":7296,"(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z2 z1) (tanh (* (* z0 z1) z2))))":22144,"(* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1)":1088,"(* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z2)":1088,"(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) z1)":2112,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10))":14144,"(* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) z1)":7680,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))":7360,"(* (- 2463198817/50000000 (* 2991126123/50000000 z0)) z1)":896,"(* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1)))":8448,"(* (- z0 (* (+ z0 z0) z0)) z1)":1088,"(* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2)))":8512,"(* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0)))":8000,"(* (- z0 1) -14/5)":576,"(* (- z0 2) (* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0))))":8512,"(* (- z0 2) (/ (* (- z0 1) (* (* (- z0) z1) (/ (pow z2 z0) z2))) (* z2 z2)))":10048,"(* (- z0 62849/500000) -17943/1000)":576,"(* (- z0 62849/500000) z1)":576,"(* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))":3072,"(* (- z0) (pow z1 (- z2 1)))":7168,"(* (/ (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":9344,"(* (/ (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))":9344,"(* (/ (+ z0 z0) z1) z2)":1280,"(* (/ (- 1 z0) z0) z1)":1280,"(* (/ (pow z0 -2/3) z1) z2)":7552,"(* (/ 2000000000000000/3141592653589793 z0) z1)":1088,"(* (/ 500000000000000/9424777960769379 (* z0 z1)) z2)":1408,"(* (/ 8157/200000000 z0) z1)":1088,"(* (/ z0 (* (- z1 z0) z1)) z2)":1600,"(* (/ z0 (* z1 3)) z0)":1408,"(* (/ z0 (* z1 3)) z2)":1408,"(* (/ z0 (* z1 z1)) z0)":1408,"(* (/ z0 (* z1 z1)) z2)":1408,"(* (/ z0 (* z1 z2)) z0)":1408,"(* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0)))":2432,"(* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) z1)":1920,"(* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))":10368,"(* (/ z0 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- z2 1)))":9664,"(* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)))":10368,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))":9152,"(* (/ z0 z1) z2)":1088,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10)":14464,"(* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) z1)":14464,"(* (atan (* z0 z1)) z2)":7104,"(* (atan z0) z1)":6784,"(* (cbrt z0) -55320963042089/25000000000000)":6784,"(* (cbrt z0) z1)":6784,"(* (exp (* (- z0 2) -100)) z1)":7296,"(* (exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))) z2)":10176,"(* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) z1)":8512,"(* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3))))":22272,"(* (log (/ z0 z1)) z2)":7488,"(* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) z2)":9472,"(* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ z1 (* z1 z1)))) z2)":8896,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- z0 1))":8640,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":8448,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) z2)":7744,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":8256,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50)":7552,"(* (pow (* (- 1 z0) (- 1 z0)) 1/5) z1)":7552,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":7552,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) (* z2 z2))":8768,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) z2)":8448,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))":9344,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- z0 1))":8640,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1))":9152,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2)":8448,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))":8768,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) z2)":7744,"(* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2)":8256,"(* (pow (* (- z0 1) (- z0 1)) z1) z2)":7552,"(* (pow (* 1000/630259 z0) -4/5) 265651/100000000)":7168,"(* (pow (* 1000/630259 z0) -4/5) z1)":7168,"(* (pow (* z0 z1) 5) z2)":7168,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000)":21632,"(* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) z2)":21632,"(* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) z2)":8128,"(* (pow z0 (- z1 1)) (* (- z2) z1))":7488,"(* (pow z0 (- z1 1)) z2)":7040,"(* (pow z0 (- z1 2)) z2)":7040,"(* (pow z0 (- z1 3)) (* (- z2) z1))":7488,"(* (pow z0 (- z1 3)) z2)":7040,"(* (pow z0 -2/3) (* (sqrt (* z1 z2)) 4543/125000000))":8128,"(* (pow z0 -2/3) (sqrt (fabs z1)))":7616,"(* (pow z0 -2/3) 8157/200000000)":6848,"(* (pow z0 -2/3) z1)":6848,"(* (pow z0 11) z1)":6848,"(* (pow z0 15) z1)":6848,"(* (pow z0 2/3) (sqrt (* 1000/630259 z1)))":7808,"(* (pow z0 2/3) (sqrt (* z1 100/61689)))":7808,"(* (pow z0 2/3) (sqrt (* z1 1000/630259)))":7808,"(* (pow z0 2/3) 1/1000000)":6848,"(* (pow z0 2/3) 411354199/12500000000000)":6848,"(* (pow z0 2/3) z1)":6848,"(* (pow z0 33/10) 119381/50000)":6848,"(* (pow z0 33/10) z1)":6848,"(* (pow z0 35969/50000) 196)":6848,"(* (pow z0 35969/50000) z1)":6848,"(* (pow z0 4681/10000) z1)":6848,"(* (pow z0 5) z1)":6848,"(* (sqrt (* (* z0 1000) z1)) (/ 6673/250000000000000000000000000000 z2))":2368,"(* (sqrt (* (* z0 1000) z1)) 6673/250000000000000000000000000000)":1664,"(* (sqrt (* (* z0 1000) z1)) z2)":1664,"(* (sqrt (* 100/54013 z0)) z1)":1344,"(* (sqrt (* 1000/630259 z0)) z1)":1344,"(* (sqrt (* z0 1000)) z1)":1344,"(* (sqrt (* z0 z1)) 4543/125000000)":1344,"(* (sqrt (* z0 z1)) z2)":1344,"(* (sqrt (fabs z0)) z1)":1152,"(* (sqrt (sqrt 1000/630259)) z0)":1664,"(* (sqrt z0) 8157/200000000)":1024,"(* (sqrt z0) z0)":1024,"(* (sqrt z0) z1)":1024,"(* -1/3 (* (* (* z0 z1) z0) z1))":1344,"(* -1/3 z0)":384,"(* -119381/50000 (pow z0 33/10))":6848,"(* -119381/50000 z0)":384,"(* -122919/1000 (* (sqrt z0) z0))":1344,"(* -122919/1000 z0)":384,"(* -1244951/62500 z0)":384,"(* -1349503397427/10000000000 (- 1 z0))":576,"(* -1349503397427/10000000000 z0)":384,"(* -135904211/1000000 z0)":384,"(* -15337/1000 (* (sqrt z0) z0))":1344,"(* -15337/1000 z0)":384,"(* -15821/514075 z0)":384,"(* -1585571631/10000000 (* z0 z0))":704,"(* -1585571631/10000000 z0)":384,"(* -159587/10000 (pow z0 2/5))":6848,"(* -159587/10000 z0)":384,"(* -1678109403/625000000 (- 1 z0))":576,"(* -1678109403/625000000 z0)":384,"(* -17/4 (* (* (* z0 z0) z0) z0))":1344,"(* -1727293/500000000 z0)":384,"(* -1933/2500 (/ z0 z1))":1088,"(* -21391/1250 (pow z0 2/5))":6848,"(* -2202959/118350000 z0)":384,"(* -23229/20000 (pow (/ z0 z1) -7437/50000))":7552,"(* -23229/20000 z0)":384,"(* -243787/100000 (/ z0 z1))":1088,"(* -243787/100000 z0)":384,"(* -251909/54013000 z0)":384,"(* -28361/1000 z0)":384,"(* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3))":7552,"(* -3/10 z0)":384,"(* -352473/1000 z0)":384,"(* -360603235428487/1000000000000000 z0)":384,"(* -4033572907/5000000000000000 (pow z0 2/3))":6848,"(* -4033572907/5000000000000000 z0)":384,"(* -41249/10000 z0)":384,"(* -4492659933/100000000000000000 (cbrt z0))":6784,"(* -4492659933/100000000000000000 z0)":384,"(* -45097/2000 z0)":384,"(* -47463/2500 z0)":384,"(* -5000000000 (/ (exp (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4)) z1))":8640,"(* -52487/100000 z0)":384,"(* -54312/5 z0)":384,"(* -564493/100000 z0)":384,"(* -5924416513/1000000000000000000 (pow z0 2/3))":6848,"(* -5924416513/1000000000000000000 z0)":384,"(* -69837/250 z0)":384,"(* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))))":15744,"(* -7/2 (/ (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1))":16448,"(* -7016851/250000000 z0)":384,"(* -74162421/10000000000 z0)":384,"(* -81/625 (* z0 z0))":704,"(* -81/625 z0)":384,"(* -85/56 (* z0 z1))":704,"(* -85/56 z0)":384,"(* -91223/3151295 z0)":384,"(* -91223/5000 (* 1000/630259 z0))":704,"(* -91223/5000 z0)":384,"(* -92639/125 z0)":384,"(* 1/3 (* (* (* z0 z1) z0) z1))":1344,"(* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))":3456,"(* 1/3 z0)":384,"(* 1/5 z0)":384,"(* 10/7 z0)":384,"(* 100/54013 z0)":384,"(* 1000/630259 z0)":384,"(* 11113/5620200 z0)":384,"(* 12451/1000 z0)":384,"(* 12957/25000 z0)":384,"(* 1427549651/10000000000000 (cbrt z0))":6784,"(* 1427549651/10000000000000 z0)":384,"(* 145009/5000000 (pow z0 33/10))":6848,"(* 145009/5000000 z0)":384,"(* 1591641/2500000 z0)":384,"(* 165903/160000000 z0)":384,"(* 1725674783/101564000000 z0)":384,"(* 1725813/125000000000000000000000000000 z0)":384,"(* 177148/5 z0)":384,"(* 18347/125 (* (* (* z0 z0) z0) z0))":1344,"(* 18347/125 z0)":384,"(* 18371/200 z0)":384,"(* 191039/1000 z0)":384,"(* 199789/20000 z0)":384,"(* 2 (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)))":9472,"(* 2/5 z0)":384,"(* 20969/12500 z0)":384,"(* 2191/5000000 z0)":384,"(* 2366/5 z0)":384,"(* 237799/1250000000 z0)":384,"(* 24/25 z0)":384,"(* 243371/50000000 z0)":384,"(* 26093/2000 (* z0 z0))":704,"(* 265651/100000000 (pow (* z0 1000/630259) -4/5))":7168,"(* 265651/100000000 z0)":384,"(* 267184324754639/50000000000000 (sqrt z0))":1024,"(* 2916688747387/781250000000000 z0)":384,"(* 2991126123/50000000 z0)":384,"(* 3/5 z0)":384,"(* 3006667839/500000000000000 (cbrt z0))":6784,"(* 3006667839/500000000000000 z0)":384,"(* 320971/1000000 (pow (* z0 100/61689) -3/10))":7168,"(* 320971/1000000 z0)":384,"(* 32311286061523161/250000000000000000000000000000000 z0)":384,"(* 371791/100000000000 z0)":384,"(* 4/2367 z0)":384,"(* 411354199/12500000000000 (pow z0 2/3))":6848,"(* 411354199/12500000000000 z0)":384,"(* 4423/20000 (sqrt z0))":1024,"(* 4423/20000 z0)":384,"(* 4543/125000000 (sqrt (* z0 z1)))":1344,"(* 4543/125000000 z0)":384,"(* 46133662500891/125000000000 (pow z0 1/6))":6848,"(* 46133662500891/125000000000 z0)":384,"(* 4712388981/250000000 z0)":384,"(* 50/25391 z0)":384,"(* 50/28101 z0)":384,"(* 578377/1000000 z0)":384,"(* 6673/250000000000 (sqrt (* z0 1000)))":1344,"(* 6673/250000000000 z0)":384,"(* 757467/100000 (* (* (* z0 z0) z0) z0))":1344,"(* 757467/100000 z0)":384,"(* 80738543/1000000000 z0)":384,"(* 8157/200000000 (sqrt (* z0 z1)))":1344,"(* 8157/200000000 z0)":384,"(* 85/56 (* (* z0 z1) z0))":1024,"(* 85/56 z0)":384,"(* 86433/500000000000000 z0)":384,"(* 889/4000 (sqrt z0))":1024,"(* 933/50 (* z0 z0))":704,"(* 9424777960769379/500000000000000 z0)":384,"(* z0 (* (* (* z1 z1) z1) z1))":1344,"(* z0 (* (* (* z1 z2) z1) z2))":1344,"(* z0 (* (* (- 1 z1) (- 1 z1)) (* (- 1 z1) (- 1 z1))))":2112,"(* z0 (* (* (- 1 z1) (- 1 z1)) (- z1 1)))":1600,"(* z0 (* (* z1 z1) z1))":1024,"(* z0 (* (* z1 z1) z2))":1024,"(* z0 (* (* z1 z2) z1))":1024,"(* z0 (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))":9664,"(* z0 (* (- 1 z1) (- 1 z1)))":1088,"(* z0 (* (- z1 (* (+ z1 z1) z1)) z2))":1408,"(* z0 (* (- z1 1) (- z1 1)))":1088,"(* z0 (* (- z1 1) z2))":896,"(* z0 (* (- z1) z2))":832,"(* z0 (* (fabs z1) 1000))":832,"(* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- z1 1)))":8960,"(* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- z2 1)) (- z1 1)))":8256,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1)))":9664,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- z1 1)))":8960,"(* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (/ (- (- (+ z2 z2) 3) (/ -1 z2)) (* (* (- z1 1) z2) z2))))":11584,"(* z0 (* (pow z1 -2/3) z2))":7168,"(* z0 (* (sqrt (* z1 z2)) 4543/125000000))":1664,"(* z0 (* (sqrt z1) z1))":1344,"(* z0 (* (sqrt z1) z2))":1344,"(* z0 (* -12 (- z1 1)))":896,"(* z0 (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5))))":8256,"(* z0 (* 1/5 z1))":704,"(* z0 (* 1000/630259 z1))":704,"(* z0 (* 1000000000 z1))":704,"(* z0 (* 177148/5 (exp (* z1 (- (* -564493/100000 z1) -144847/1000000)))))":7936,"(* z0 (* 32311286061523161/250000000000000000000000000000000 z1))":704,"(* z0 (* 500000000000000/9424777960769379 z1))":704,"(* z0 (* z1 (- z2)))":832,"(* z0 (* z1 (/ z1 (* z2 z2))))":1728,"(* z0 (* z1 8157/200000000))":704,"(* z0 (* z1 z1))":704,"(* z0 (* z1 z2))":704,"(* z0 (+ (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1)) (- (* (* -1349503397427/10000000000 (- 1 z2)) (- 1 z2)) (* (* z1 z1) z1))))":3456,"(* 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)))))":50624,"(* 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)))))":50624,"(* z0 (- (* (* (* (* z1 z2) 360603235428487/1000000000000000) z1) z1) (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2))))":9728,"(* z0 (- (* (* (* (- 1 z1) 4) z2) (- 1 z1)) 6))":1920,"(* z0 (- (* (* z1 z1) (- (* (* z1 z2) 360603235428487/1000000000000000) (/ -1 (- z2 121550806591497/1000000000000000)))) (/ (pow z1 806282737481277/100000000000000) (- 121550806591497/1000000000000000 z2))))":10304,"(* z0 (- (* (+ z1 z1) z1) z1))":1088,"(* 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))))))":51904,"(* z0 (- (* (- (+ z1 z1) 3) z1) -1))":1280,"(* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0))))":1536,"(* z0 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1))))":1536,"(* z0 (- (* -52487/100000 (exp (* -1933/2500 (/ z1 z2)))) (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000)))))":23744,"(* z0 (- (* -564493/100000 z0) -144847/1000000))":896,"(* z0 (- (* -564493/100000 z1) -144847/1000000))":896,"(* z0 (- (* -69837/250 z0) -282329/1000))":896,"(* z0 (- (* -69837/250 z1) -282329/1000))":896,"(* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2))))":2368,"(* z0 (- (* z1 365179/5000) 191039/1000))":896,"(* z0 (- (* z1 z2) 1))":896,"(* z0 (- (- (- (/ 3995125013/10000000000000000 z1) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z1))) (* -4033572907/5000000000000000 (pow z1 2/3))))":15168,"(* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))":2112,"(* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0)))":2304,"(* z0 (- (/ -430313/5000 (- z1 (- (* 11113/5620200 z2) -34359/12500))) (* 199789/20000 z1)))":2304,"(* z0 (- (/ 1 (- z1 z2)) (/ 1 z1)))":2176,"(* z0 (- (/ 1 z1) 1))":1280,"(* z0 (- (exp (* (* (- z1 1) -14/5) (- z1 1))) (* 80738543/1000000000 (exp (* (* (- z1 62849/500000) -17943/1000) (- z1 62849/500000))))))":15744,"(* z0 (- 134133/1000 (* -352473/1000 z1)))":896,"(* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1))))":2112,"(* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1))))":1088,"(* z0 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2))))":1088,"(* z0 (- z1 (* 24/25 z2)))":896,"(* z0 (- z1 62849/500000))":576,"(* z0 (/ (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (* z2 (- z1 1))))":9664,"(* z0 (/ (pow z1 -2/3) z2))":7552,"(* z0 (/ 1000000000/1570796327 z1))":1088,"(* z0 (/ 8157/200000000 z1))":1088,"(* z0 (/ z0 (* z1 z1)))":1408,"(* z0 (/ z1 (* z2 z2)))":1408,"(* z0 (/ z1 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2)))":2944,"(* z0 (/ z1 (- z2 121550806591497/1000000000000000)))":1280,"(* z0 (/ z1 z2))":1088,"(* z0 (atan (* z1 z2)))":7104,"(* z0 (atan z1))":6784,"(* z0 (cbrt z1))":6784,"(* z0 (exp (* (- z1 2) -100)))":7296,"(* z0 (exp (- (/ (- (* 12451/1000 z1) 29567/100) (* z1 z1)) 41249/10000)))":8512,"(* z0 (exp (- 14933/10000 (/ (- (* 2366/5 z1) 57033) (* z1 z1)))))":8512,"(* z0 (pow (* (* (- z1 1) (- z1 1)) (* (- z1 1) (- z1 1))) (- (/ 1/2 z2) 1)))":9472,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":8448,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1)))":7744,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))":8256,"(* z0 (pow (* (- 1 z1) (- 1 z1)) z2))":7552,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 z2) 1)))":8448,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)))":8448,"(* z0 (pow (* (- z1 1) (- z1 1)) (- z2 1)))":7744,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1/2 z2)))":8256,"(* z0 (pow (* (- z1 1) (- z1 1)) 5/3))":7552,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":7552,"(* z0 (pow (* 1000/630259 z1) -22/5))":7168,"(* z0 (pow (* z1 100/61689) -16/5))":7168,"(* z0 (pow (* z1 100/61689) -3/10))":7168,"(* z0 (pow (* z1 1000/630259) -22/5))":7168,"(* z0 (pow (* z1 1000/630259) -4/5))":7168,"(* z0 (pow (* z1 z2) 5))":7168,"(* 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))":56576,"(* z0 (pow (/ z1 z2) -7437/50000))":7552,"(* z0 (pow z1 (- z2 1)))":7040,"(* z0 (pow z1 (- z2 2)))":7040,"(* z0 (pow z1 -2/3))":6848,"(* z0 (pow z1 -4))":6848,"(* z0 (pow z1 1/6))":6848,"(* z0 (pow z1 103/10))":6848,"(* z0 (pow z1 11))":6848,"(* z0 (pow z1 2/3))":6848,"(* z0 (pow z1 2/5))":6848,"(* z0 (pow z1 22))":6848,"(* z0 (pow z1 25))":6848,"(* z0 (pow z1 3/5))":6848,"(* z0 (pow z1 33/10))":6848,"(* z0 (pow z1 34/5))":6848,"(* z0 (pow z1 4681/10000))":6848,"(* z0 (pow z1 5))":6848,"(* z0 (pow z1 7/10))":6848,"(* z0 (pow z1 7034007057/10000000000))":6848,"(* z0 (sqrt (* (* z1 1000) z2)))":1664,"(* z0 (sqrt (* 100/61689 z1)))":1344,"(* z0 (sqrt (* 1000/630259 z1)))":1344,"(* z0 (sqrt (* 50/25391 z1)))":1344,"(* z0 (sqrt (* 50/28101 z1)))":1344,"(* z0 (sqrt (* z1 (* (fabs z2) 1000))))":1792,"(* z0 (sqrt (* z1 100/61689)))":1344,"(* z0 (sqrt (* z1 1000)))":1344,"(* z0 (sqrt (* z1 1000/630259)))":1344,"(* z0 (sqrt (* z1 z2)))":1344,"(* z0 (sqrt (/ 77021/125 z1)))":1728,"(* z0 (sqrt (fabs z1)))":1152,"(* z0 (sqrt (sqrt 1000/630259)))":1664,"(* z0 (sqrt 1000/630259))":1024,"(* z0 (sqrt z1))":1024,"(* z0 -1253/500)":384,"(* z0 -14/5)":384,"(* z0 -17943/1000)":384,"(* z0 -52147/20000)":384,"(* z0 -917/200000)":384,"(* z0 1/10)":384,"(* z0 1/1000)":384,"(* z0 1/1000000)":384,"(* z0 1/10000000)":384,"(* z0 1/1000000000000000000)":384,"(* z0 1/3)":384,"(* z0 1/5)":384,"(* z0 1/50)":384,"(* z0 1000/630259)":384,"(* z0 1000000000/1570796327)":384,"(* z0 108089/50000)":384,"(* z0 1141831681/10000000000)":384,"(* z0 119381/50000)":384,"(* z0 18371/200)":384,"(* z0 2307/100000000)":384,"(* z0 243371/50000000)":384,"(* z0 25/9)":384,"(* z0 265651/100000000)":384,"(* z0 32311286061523161/250000000000000000000000000000000)":384,"(* z0 360603235428487/1000000000000000)":384,"(* z0 365179/5000)":384,"(* z0 373223/10000)":384,"(* z0 411354199/12500000000000)":384,"(* z0 4543/125000000)":384,"(* z0 50/28101)":384,"(* z0 55301/200000000)":384,"(* z0 6/5)":384,"(* z0 602214129000000000000000)":384,"(* z0 80738543/1000000000)":384,"(* z0 8157/200000000)":384,"(* z0 9/10)":384,"(* z0 905364607/12500000000000)":384,"(+ (* (* (/ z0 (* z1 3)) z0) z0) z2)":1920,"(+ (* (* (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)":58560,"(+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1)))":2304,"(+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0)))":3136,"(+ (* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5)) z2)":14144,"(+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1))":11712,"(+ (* (* 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)))))))":70208,"(+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1)":9664,"(+ (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)) z2)":14144,"(+ (* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1)":9664,"(+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2)":2304,"(+ (* (atan z0) (- z1 1)) z0)":7168,"(+ (* -251909/54013000 z0) z1)":576,"(+ (* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)) z2)":2304,"(+ (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)) z2)":11904,"(+ (- (* (- (* (* -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))))":50304,"(+ (- (* (- (* (* -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)))":29248,"(+ (- (* (- (* (* -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))))":50304,"(+ (- (* (- (* (* -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)))":29248,"(+ (- z0 (* (pow z1 2/3) 411354199/12500000000000)) (* 1427549651/10000000000000 (cbrt z1)))":13952,"(+ (- z0 (- -186297053/1000000000000 (* z1 -1455192887/2000000000000000))) (- (* (pow z1 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z1))))":14656,"(+ (- z0 (/ -1286827737597/1000000000000000 z1)) (/ (* (- -1 z2) 905364607/12500000000000) (- (* z2 (- 661346441/100000000 (- z2 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))":4096,"(+ (- z0 1) (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1)))))":9856,"(+ (- z0 z1) (* (- 1 z2) (atan z1)))":7360,"(+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2)))":3584,"(+ (/ 1 (* z0 z1)) z2)":1280,"(+ (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))":49792,"(+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) z2)":28288,"(+ (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000) z2)":21760,"(+ (pow z0 806282737481277/100000000000000) (* z0 z0))":7040,"(+ (pow z0 806282737481277/100000000000000) z1)":6720,"(- (* (* (* (* z0 z0) z0) z0) -17/4) (* 933/50 (* z1 z1)))":2176,"(- (* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0) (/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 z1)))":9408,"(- (* (* (- (* z0 z1) 1) z0) z1) (- -1 (* (* (* -85/56 (* z2 z0)) z2) z0)))":2880,"(- (* (* (- (* z0 z1) 1) z0) z1) z2)":1408,"(- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1))":1216,"(- (* (* -47463/2500 z0) 100/61689) z1)":896,"(- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1))":1216,"(- (* (* -91223/5000 z0) 1000/630259) z1)":896,"(- (* (+ (* z0 z1) z2) -2) (- (+ (* z0 z1) z2) 2))":1792,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (* -21391/1250 (pow z1 2/5)))":14976,"(- (* (- (* (* -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))))":29056,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) z2))":15168,"(- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) z2)":8192,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5)))":14976,"(- (* (- (* (* -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))))":29056,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2))":15168,"(- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) z2)":8192,"(- (* (- (* (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)))))":51584,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5)))":14976,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2))":15168,"(- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) z2)":8192,"(- (* (- (* 265651/100000000 (pow (* 1000/630259 z0) -4/5)) 205581/100000000) (pow z1 103/10)) z2)":14336,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (* -119381/50000 (pow z1 33/10)))":21120,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (- (* -119381/50000 (pow z1 33/10)) z2))":21312,"(- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) z2)":14336,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (* 145009/5000000 (pow z1 33/10)))":21120,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (- (* 145009/5000000 (pow z1 33/10)) z2))":21312,"(- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) z2)":14336,"(- (* (- (* 371791/100000000000 z0) 150087/10000000000) z0) z1)":1088,"(- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (* (sqrt z0) z0)))":18432,"(- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) z2)":17152,"(- (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2)":2304,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0)))":10624,"(- (* (- 1 (exp (* z0 -1253/500))) -16731/100) z1)":7488,"(- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000)":1280,"(- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) z2)":1280,"(- (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10)) z2)":14336,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))":15488,"(- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (+ (* -23229/20000 (pow (/ z0 z1) -7437/50000)) z2))":15680,"(- (* (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))":36672,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)":7744,"(- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) z1)":7744,"(- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11)))":13824,"(- (* (pow z0 15) 2307/100000000) (+ (* 2191/5000000 (pow z0 11)) z1))":14016,"(- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))":13760,"(- (* (pow z0 2/3) 411354199/12500000000000) z1)":7040,"(- (* (pow z0 33/10) 119381/50000) z1)":7040,"(- (* -1/3 (* (* (* z0 z1) z0) z1)) (* (/ z2 (* z0 z1)) z2))":2880,"(- (* -1/3 (* (* (* z0 z1) z0) z1)) z2)":1536,"(- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))":1408,"(- (* -17/4 (* (* (* z0 z0) z0) z0)) (* 933/50 (* z1 z1)))":2176,"(- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1))":8640,"(- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) z1)":7744,"(- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000))":13952,"(- (* -4492659933/100000000000000000 (cbrt z0)) z1)":6976,"(- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))":1216,"(- (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))))":23424,"(- (* -54312/5 z0) -1664060)":576,"(- (* -54312/5 z0) z1)":576,"(- (* -564493/100000 z0) -144847/1000000)":576,"(- (* -564493/100000 z0) z1)":576,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)":7040,"(- (* -5924416513/1000000000000000000 (pow z0 2/3)) z1)":7040,"(- (* -69837/250 z0) -282329/1000)":576,"(- (* -69837/250 z0) z1)":576,"(- (* -74162421/10000000000 z0) -22856419/1000000000)":576,"(- (* -74162421/10000000000 z0) z1)":576,"(- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1))":1216,"(- (* -91223/5000 (* 1000/630259 z0)) z1)":896,"(- (* 11113/5620200 z0) -34359/12500)":576,"(- (* 11113/5620200 z0) z1)":576,"(- (* 12451/1000 z0) 29567/100)":576,"(- (* 12451/1000 z0) z1)":576,"(- (* 1725674783/101564000000 z0) -1060751253/100000000)":576,"(- (* 1725674783/101564000000 z0) z1)":576,"(- (* 24/25 z0) z1)":576,"(- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000)":7360,"(- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) z1)":7360,"(- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000)":7360,"(- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) z1)":7360,"(- (* 371791/100000000000 z0) 150087/10000000000)":576,"(- (* 371791/100000000000 z0) z1)":576,"(- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0)))":13760,"(- (* 411354199/12500000000000 (pow z0 2/3)) z1)":7040,"(- (* 50/25391 z0) -117359329/250000000)":576,"(- (* 50/25391 z0) z1)":576,"(- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000)))":2688,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (* (pow z0 5) -52147/20000))":8512,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) (- (* z0 373223/10000) -1)))":9216,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) z1))":8704,"(- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) z1)":1728,"(- (* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2)))) -1)":2560,"(- (* z0 (- (* z1 z0) 1)) (* 85/56 (* (* z2 z1) z2)))":2048,"(- (* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))) (* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0))))":4864,"(- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))":1792,"(- (* z0 365179/5000) 191039/1000)":576,"(- (* z0 365179/5000) z1)":576,"(- (* z0 373223/10000) -1)":576,"(- (* z0 373223/10000) z1)":576,"(- (* z0 z0) (* -81/625 (* z1 z1)))":1216,"(- (+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1))) z2)":2496,"(- (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))) z1)":10816,"(- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))))":23424,"(- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0)))":15296,"(- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))":3200,"(- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) z1)":2880,"(- (- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (* -4033572907/5000000000000000 (pow z0 2/3)))":14848,"(- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))":7872,"(- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (+ (* 3006667839/500000000000000 (cbrt z0)) z1))":8064,"(- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))":14464,"(- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":14848,"(- (/ (* -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)))":42240,"(- (/ (* -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)":25152,"(- (/ (+ (* (atan z0) (- z1 1)) z0) z1) z2)":8064,"(- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000)":1792,"(- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) z1)":1792,"(- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000)":1792,"(- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) z1)":1792,"(- (/ (- (/ -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 z1) (atan z0))) z1) z2)":8064,"(- (/ -1286827737597/1000000000000000 z0) (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z0)))) (- (* 1725674783/101564000000 z0) -1060751253/100000000))))":3904,"(- (/ -1286827737597/1000000000000000 z0) z1)":960,"(- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))":1984,"(- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3))":21504,"(- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000)":960,"(- (/ 3995125013/10000000000000000 z0) z1)":960,"(- (/ 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)))))":6144,"(- (cbrt z0))":6592,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) 80738543/1000000000))":15424,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))":15424,"(- (exp (* (* (- z0 1) -14/5) (- z0 1))) z1)":7680,"(- (exp (* (- z0 2) -100)) -1)":7168,"(- (exp (* (- z0 2) -100)) z1)":7168,"(- (exp (- (pow (* 2/5 z0) 10))) 1)":13568,"(- (exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60))) z1)":8576,"(- (pow (* 2/5 z0) 10))":6976,"(- (pow z0 806282737481277/100000000000000) z1)":6720,"(- -1 (* (* (* -85/56 (* z0 z1)) z0) z1))":1536,"(- 1 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))":10496,"(- 1 (exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))":9664,"(- 1 (exp (* z0 -1253/500)))":6976,"(- 1 (pow (tanh (* (* z0 z1) z2)) -2))":13760,"(- 134133/1000 (* -352473/1000 z0))":576,"(- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))":1792,"(- 158519/25000 (+ (* -251909/54013000 z0) z1))":768,"(- 2 (/ (- (* 3 z0) 1) (* z0 z0)))":1792,"(- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))":7360,"(- 2463198817/50000000 (* 2991126123/50000000 z0))":576,"(- z0 (* (* (* -85/56 (* z1 z2)) z1) z2))":1536,"(- z0 (* (* -11101/6250000000000000 (pow z1 25)) (pow (* 1000/630259 z2) -22/5)))":14144,"(- z0 (* (- (* -4492659933/100000000000000000 (cbrt z1)) (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000)) z2))":14464,"(- z0 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1))":1088,"(- z0 (* (- (exp (- (pow (* 2/5 z1) 10))) 1) (* -92639/125 (exp (* (* z2 (- (* -564493/100000 z2) -144847/1000000)) 6/5)))))":21952,"(- z0 (* (- 1 z1) (atan z0)))":7168,"(- z0 (* (- 2463198817/50000000 (* 2991126123/50000000 z1)) (pow z1 -4)))":7552,"(- z0 (* (/ z1 (- (* (* z1 z1) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z1))))":2624,"(- z0 (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10))":14656,"(- z0 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000))":7360,"(- z0 (* -119381/50000 (pow z1 33/10)))":7040,"(- z0 (* -122919/1000 (* (sqrt z1) z1)))":1536,"(- z0 (* -15337/1000 (* (sqrt z1) z1)))":1536,"(- z0 (* -159587/10000 (pow z1 2/5)))":7040,"(- z0 (* -21391/1250 (pow z1 2/5)))":7040,"(- z0 (* -23229/20000 (pow (/ z1 z2) -7437/50000)))":7744,"(- z0 (* -352473/1000 z1))":576,"(- z0 (* -4033572907/5000000000000000 (pow z1 2/3)))":7040,"(- z0 (* -81/625 (* z1 z1)))":896,"(- z0 (* 1427549651/10000000000000 (cbrt z1)))":6976,"(- z0 (* 145009/5000000 (pow z1 33/10)))":7040,"(- z0 (* 24/25 z1))":576,"(- z0 (* 2991126123/50000000 z1))":576,"(- z0 (* 3006667839/500000000000000 (cbrt z1)))":6976,"(- z0 (* 85/56 (* (* z1 z2) z1)))":1216,"(- z0 (+ (* -251909/54013000 z1) z2))":768,"(- z0 (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000))))":15680,"(- z0 (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000))":7232,"(- z0 (- (* 11113/5620200 z1) -34359/12500))":768,"(- z0 (- (* 1725674783/101564000000 z1) -1060751253/100000000))":768,"(- z0 (- (* 50/25391 z1) -117359329/250000000))":768,"(- z0 (- (* z1 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1)))) (+ (* (pow z1 5) -52147/20000) (- (* z1 373223/10000) -1))))":9408,"(- z0 (- (- (* 757467/100000 (* (* (* z1 z1) z1) z1)) (* (* z1 z1) (- (* z1 365179/5000) 191039/1000))) (* 60457/125 z1)))":3392,"(- z0 (- -1 (* (* (* -85/56 (* z1 z2)) z1) z2)))":1728,"(- z0 (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000))))":3200,"(- z0 (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2)))":8128,"(- z0 (/ (- (* 2366/5 z1) 57033) (* z1 z1)))":1792,"(- z0 (/ (- (* 3 z1) 1) (* z1 z1)))":1792,"(- z0 (/ -3995125013/10000000000000000 z1))":960,"(- z0 (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1)))))":9664,"(/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000)))":3008,"(/ (* (- -1 z0) 905364607/12500000000000) z1)":1280,"(/ (* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2))) (* z2 z2))":9536,"(/ (* -1 (* z0 z0)) (- (* (- (* 24/25 z1) z2) (- z2 (* 24/25 z1))) (* z0 z0)))":3264,"(/ (* -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))))))":24960,"(/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2))":2368,"(/ (* 1/3 (* (* (* z0 z1) z0) z1)) z2)":2048,"(/ (* z0 (pow z1 -2/3)) z2)":7552,"(/ (* z0 (pow z1 2/3)) (sqrt 54013/100))":8192,"(/ (* z0 8157/200000000) z1)":1088,"(/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))":3904,"(/ (* z0 z0) z1)":1088,"(/ (* z0 z1) (sinh (* (* z2 z0) z1)))":8128,"(/ (* z0 z1) (tanh (* (* z2 z1) z0)))":8128,"(/ (+ (* (atan z0) (- z1 1)) z0) z1)":7872,"(/ (+ (* (atan z0) (- z1 1)) z0) z2)":7872,"(/ (+ (* z0 z1) z2) (* z0 z0))":1600,"(/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 z1))":7936,"(/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) z1)":7744,"(/ (- (* -54312/5 z0) -1664060) (* z0 z0))":1600,"(/ (- (* -54312/5 z0) -1664060) z1)":1280,"(/ (- (* 12451/1000 z0) 29567/100) (* z0 z0))":1600,"(/ (- (* 12451/1000 z0) 29567/100) z1)":1280,"(/ (- (* 2366/5 z0) 57033) (* z0 z0))":1600,"(/ (- (* 2366/5 z0) 57033) z1)":1280,"(/ (- (* 3 z0) 1) (* z0 z0))":1600,"(/ (- (* 3 z0) 1) z1)":1280,"(/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0)":1664,"(/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z1)":1664,"(/ (- z0 (* (- 1 z1) (atan z0))) z1)":7872,"(/ (- z0 (* (- 1 z1) (atan z0))) z2)":7872,"(/ (pow z0 -2/3) z1)":7232,"(/ (pow z0 2/3) (sqrt 54013/100))":7872,"(/ (pow z0 2/3) z1)":7232,"(/ (sqrt (* (* z0 1000) z1)) z2)":2048,"(/ (sqrt (* z0 z1)) z2)":1728,"(/ (sqrt z0) z1)":1408,"(/ -1 (+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2))))":4288,"(/ -1 (- (* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0))) (* z2 z2)))":2624,"(/ -1 (- (exp (* (- z0 2) -100)) -1))":7872,"(/ -1286827737597/1000000000000000 z0)":768,"(/ -2620316969/100000000 z0)":768,"(/ -3995125013/10000000000000000 z0)":768,"(/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500)))":1472,"(/ -430313/5000 z0)":768,"(/ 1 (* (* z0 z0) z0))":1408,"(/ 1 (* z0 z0))":1088,"(/ 1 (* z0 z1))":1088,"(/ 1 (tanh (* (* z0 z1) z2)))":7808,"(/ 1/1000000000 z0)":768,"(/ 1000000000/1570796327 z0)":768,"(/ 29567/100 z0)":768,"(/ 3468241/5000000 z0)":768,"(/ 3886409/50000000000 (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) (- (* 9519/540130 z0) -973449/100000)))":2496,"(/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000)))":2496,"(/ 3886409/50000000000 z0)":768,"(/ 3995125013/10000000000000000 z0)":768,"(/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000)))":2112,"(/ 4862030501/500000000000000 z0)":768,"(/ 500000000000000/9424777960769379 (* z0 z1))":1088,"(/ 8157/200000000 z0)":768,"(/ z0 (* (* (* (- z1 1) z2) z2) z2))":1920,"(/ z0 (* (* (* (exp z1) z2) 1000000000000000000) z2))":8128,"(/ z0 (* (* (exp z1) z2) z2))":7808,"(/ z0 (* (* 9424777960769379/500000000000000 z1) z2))":1408,"(/ z0 (* (* z1 (* (- z2 1) z1)) z1))":1920,"(/ z0 (* (* z1 z2) z1))":1408,"(/ z0 (* (- z1 z0) z1))":1280,"(/ z0 (* (- z1 z2) z1))":1280,"(/ z0 (* -3 z1))":1088,"(/ z0 (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1))))":2304,"(/ z0 (* z1 (- z2 1)))":1280,"(/ z0 (* z1 3))":1088,"(/ z0 (* z1 z1))":1088,"(/ z0 (* z1 z2))":1088,"(/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1))":2624,"(/ z0 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2))":2624,"(/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000))":1600,"(/ z0 (- (* (* z1 z1) 442087/5000) -660989/100000))":1600,"(/ z0 (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) (- (* 9519/540130 z1) -973449/100000)))":2496,"(/ z0 (- (* -1585571631/10000000 (* z1 z1)) (- (* 50/25391 z2) -117359329/250000000)))":2112,"(/ z0 (- (* 9519/540130 z1) (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) 973449/100000)))":2496,"(/ z0 (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000)))":2496,"(/ z0 (- (exp (* (- z1 2) -100)) -1))":7872,"(/ z0 (- (fabs (- 11/10 z0)) -11/10))":1280,"(/ z0 (- (fabs (- 11/10 z1)) -11/10))":1280,"(/ z0 (- z1 (- (* 11113/5620200 z2) -34359/12500)))":1472,"(/ z0 (sqrt 54013/100))":1408,"(acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))":14144,"(acosh z0)":6464,"(cbrt z0)":6464,"(cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":10304,"(exp (* (* (- z0 1) -14/5) (- z0 1)))":7488,"(exp (* (- z0 2) -100))":6976,"(exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))":9472,"(exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0)))))":9856,"(exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000))":8192,"(exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))":8192,"(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 (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))":10304,"(log (/ z0 z1))":7168,"(pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1))":9152,"(pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) z1)":8256,"(pow (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1)) 2)":16128,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))":8128,"(pow (* (- 1 z0) (- 1 z0)) (- z1 1))":7424,"(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1))":7936,"(pow (* (- 1 z0) (- 1 z0)) 1/5)":7232,"(pow (* (- 1 z0) (- 1 z0)) z1)":7232,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1))":8128,"(pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1))":8128,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":7424,"(pow (* (- z0 1) (- z0 1)) (/ 1/2 z1))":7936,"(pow (* (- z0 1) (- z0 1)) 5/3)":7232,"(pow (* (- z0 1) (- z0 1)) z1)":7232,"(pow (* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- z2 1))) 2)":16128,"(pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 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) z2)":28096,"(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 (* 2/5 z0) 10)":6848,"(pow (* z0 100/61689) -16/5)":6848,"(pow (* z0 100/61689) -3/10)":6848,"(pow (* z0 1000/630259) -22/5)":6848,"(pow (* z0 1000/630259) -4/5)":6848,"(pow (* z0 z1) 5)":6848,"(pow (* z0 z1) z2)":6848,"(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)":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 (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) z2)":56256,"(pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2)":15104,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)":21312,"(pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) z2)":21312,"(pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) 2)":21888,"(pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1)":21888,"(pow (- z0 1) z1)":6720,"(pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2)":14592,"(pow (/ (- z0 z1) z0) z2)":7424,"(pow (/ z0 z1) -7437/50000)":7232,"(pow (/ z0 z1) z2)":7232,"(pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)":21568,"(pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) z2)":21568,"(pow (tanh (* (* z0 z1) z2)) -2)":13568,"(pow (tanh (* (* z0 z1) z2)) -3)":13568,"(pow (tanh (* (* z0 z1) z2)) -4)":13568,"(pow z0 (- (/ 1 z1) 1))":7424,"(pow z0 (- (/ 1/2 z1) 1))":7424,"(pow z0 (- 1 z1))":6720,"(pow z0 (- z1 1))":6720,"(pow z0 (- z1 3))":6720,"(pow z0 -16/5)":6528,"(pow z0 -2/3)":6528,"(pow z0 -22/5)":6528,"(pow z0 -3/10)":6528,"(pow z0 -4/5)":6528,"(pow z0 -7437/50000)":6528,"(pow z0 -79857/100000)":6528,"(pow z0 1/5)":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 39751/100000)":6528,"(pow z0 4681/10000)":6528,"(pow z0 5/3)":6528,"(pow z0 7/10)":6528,"(pow z0 7034007057/10000000000)":6528,"(pow z0 77963/100000)":6528,"(pow z0 806282737481277/100000000000000)":6528,"(sinh (* (* z0 z1) z2))":7104,"(sqrt (* (* z0 1000) z1))":1344,"(sqrt (* 100/54013 z0))":1024,"(sqrt (* 100/61689 z0))":1024,"(sqrt (* 1000/630259 z0))":1024,"(sqrt (* 50/25391 z0))":1024,"(sqrt (* 50/28101 z0))":1024,"(sqrt (* z0 (* (fabs z1) 1000)))":1472,"(sqrt (* z0 100/61689))":1024,"(sqrt (* z0 1000))":1024,"(sqrt (* z0 1000/630259))":1024,"(sqrt (* z0 z1))":1024,"(sqrt (/ 77021/125 z0))":1408,"(tanh (* (* z0 z1) z2))":7104}