{"(* (* (* (* z0 z1) (* z0 z0)) (- (- 1 z0) (/ z0 z0))) (sin (+ z2 z2)))":9344,"(* (* (* (/ z0 8) z1) (pow (sqrt z0) 2)) (* (+ (- 1 z0) (- z0)) (cos (* 2 z2))))":16384,"(* (* (* (/ z0 8) z1) (pow (sqrt z0) 3)) (* (+ (- 1 z0) (- z0)) (sin (* 2 z2))))":16384,"(* (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1)) (sin z2))":78016,"(* (* (* 2 (- z0 1)) (+ (+ z0 z0) 1)) (sin z1))":8000,"(* (* (* 2 z0) (+ z0 1)) (sin z1))":7616,"(* (* (* E E) E) (pow (log (- 1 z0)) 2))":14080,"(* (* (* z0 z0) (- z0 z0)) (sin (+ z1 z1)))":7808,"(* (* (* z0 z0) E) (pow (log z0) 2))":13888,"(* (* (* z0 z1) (pow z0 2)) (* (+ z0 z0) (cos z0)))":14400,"(* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0)))":14400,"(* (* (+ (cos z0) 1) 1/2) (* z1 z1))":7616,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":8256,"(* (* (- 1 (sqrt E)) 3) z0)":1536,"(* (* (- 1 (sqrt z0)) 3) (- (+ (+ z0 z0) (+ z0 z0)) 24))":2304,"(* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) z1)":7808,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2)":8768,"(* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 2))":9408,"(* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 3))":9408,"(* (* (/ z0 8) z1) (pow (sqrt z0) 2))":8512,"(* (* (/ z0 8) z1) (pow (sqrt z0) 3))":8512,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1))":9984,"(* (* (cos z0) (cos z1)) z2)":13504,"(* (* (cos z0) z1) z2)":7104,"(* (* (exp 3/2) 2) (pow (log (- 1 z0)) 2))":20160,"(* (* (exp 3/2) 2) (pow (log z0) 2))":19968,"(* (* (exp 3/2) 2) z0)":7104,"(* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) z0)":16576,"(* (* (log (- 1 z0)) (log (- 1 z0))) (log (- 1 (/ 1 z0))))":21184,"(* (* (log z0) (log z0)) (log (- 1 z0)))":20096,"(* (* (pow (cos z0) 3) z1) z1)":13568,"(* (* (pow (cos z0) 3) z1) z2)":13568,"(* (* (pow z0 1/2) (pow z0 1/2)) (- 1 (* z0 z0)))":14144,"(* (* (pow z0 3) z1) z1)":7168,"(* (* (sin z0) z1) z2)":7104,"(* (* (sqrt 2) 1/2) z0)":1344,"(* (* -108 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* -108 (sqrt E)) z0)":1344,"(* (* -108 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* -108 z0) (log z0))":7104,"(* (* -115 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* -115 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* -115 z0) (log z0))":7104,"(* (* -1280 E) (log (- 1 (/ 1 z0))))":8000,"(* (* -1280 E) (log (- 1 z0)))":7296,"(* (* -1280 z0) (log z0))":7104,"(* (* -15 z0) (log z0))":7104,"(* (* -16 (exp 3/2)) z0)":7104,"(* (* -18 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* -18 (sqrt E)) z0)":1344,"(* (* -18 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* -18 z0) (log z0))":7104,"(* (* -18 z0) (pow z0 2))":7168,"(* (* -180 z0) (log z0))":7104,"(* (* -20 z0) (pow z0 2))":7168,"(* (* -200 (pow (cos z0) 4)) z1)":13568,"(* (* -200 z0) (pow z0 -2))":7168,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":7488,"(* (* -3 z0) (sin (+ z1 z2)))":7296,"(* (* -3 z0) (sin z1))":7104,"(* (* -378 E) (log (- 1 (/ 1 z0))))":8000,"(* (* -378 E) (log (- 1 z0)))":7296,"(* (* -4 (* E E)) (log (- 1 (/ 1 z0))))":8320,"(* (* -4 (* z0 z0)) (log (- 1 z0)))":7616,"(* (* -4 (pow E 2)) (log (- 1 (/ 1 z0))))":14464,"(* (* -4 (pow E 2)) z0)":7168,"(* (* -4 (pow z0 2)) (log (- 1 z0)))":13760,"(* (* -4 z0) (log z0))":7104,"(* (* -530 z0) (log z0))":7104,"(* (* -66 z0) (log z0))":7104,"(* (* -7 z0) (log z0))":7104,"(* (* -70 E) (log (- 1 (/ 1 z0))))":8000,"(* (* -70 E) (log (- 1 z0)))":7296,"(* (* -70 z0) (log z0))":7104,"(* (* -8 (pow E 2)) (* (log (- 1 z0)) (log (- 1 z0))))":20672,"(* (* -8 (pow E 2)) z0)":7168,"(* (* -8 (pow z0 2)) (* (log z0) (log z0)))":20288,"(* (* -8 E) (* (log (- 1 z0)) (log (- 1 z0))))":14208,"(* (* -8 E) (* (log z0) (log z0)))":13824,"(* (* -8 E) (log (- 1 (/ 1 z0))))":8000,"(* (* -8 E) (log (- 1 z0)))":7296,"(* (* -8 E) (pow (log (- 1 z0)) 2))":13760,"(* (* -8 E) (pow (log z0) 2))":13568,"(* (* -8 z0) (log z0))":7104,"(* (* -84 E) (log (- 1 (/ 1 z0))))":8000,"(* (* -84 E) (log (- 1 z0)))":7296,"(* (* -84 z0) (log z0))":7104,"(* (* -9 (exp 5/2)) z0)":7104,"(* (* -9 (pow E 5/2)) z0)":7168,"(* (* -9 z0) (pow z0 2))":7168,"(* (* -930 z0) (log z0))":7104,"(* (* 1/2 (- 2 z0)) (/ (fabs z1) (sqrt z0)))":2368,"(* (* 1/2 (pow z0 2)) (/ z1 z2))":7872,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":7488,"(* (* 1/2 z0) (- 1 (cos z1)))":7296,"(* (* 120 z0) (log z0))":7104,"(* (* 13 E) (log (- 1 (/ 1 z0))))":8000,"(* (* 13 E) (log (- 1 z0)))":7296,"(* (* 13 z0) (log z0))":7104,"(* (* 15 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* 15 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* 15 z0) (log z0))":7104,"(* (* 16 (exp 3/2)) (log (- 1 (/ 1 z0))))":14400,"(* (* 16 (exp 3/2)) (log (- 1 z0)))":13696,"(* (* 16 (exp 3/2)) z0)":7104,"(* (* 16 (pow E 3/2)) (log (- 1 (/ 1 z0))))":14464,"(* (* 16 (pow E 3/2)) z0)":7168,"(* (* 16 (pow z0 3/2)) (log (- 1 z0)))":13760,"(* (* 16 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* 16 (sqrt E)) z0)":1344,"(* (* 16 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* 16 z0) (log z0))":7104,"(* (* 18 (sqrt E)) z0)":1344,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1))":71296,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) z1)":14080,"(* (* 2 (pow E 3/2)) (* (log (- 1 z0)) (log (- 1 z0))))":20672,"(* (* 2 (pow E 3/2)) (pow (log (- 1 z0)) 2))":20224,"(* (* 2 (pow E 3/2)) z0)":7168,"(* (* 2 (pow z0 3/2)) (* (log z0) (log z0)))":20288,"(* (* 2 (pow z0 3/2)) (pow (log z0) 2))":20032,"(* (* 20 (sqrt E)) z0)":1344,"(* (* 20 E) (log (- 1 (/ 1 z0))))":8000,"(* (* 20 E) (log (- 1 z0)))":7296,"(* (* 20 z0) (log z0))":7104,"(* (* 210 (sqrt E)) (log (- 1 (/ 1 z0))))":8640,"(* (* 210 (sqrt E)) z0)":1344,"(* (* 210 (sqrt z0)) (log (- 1 z0)))":7936,"(* (* 210 z0) (log z0))":7104,"(* (* 3 z0) (pow z0 2))":7168,"(* (* 30 z0) (log z0))":7104,"(* (* 53 z0) (log z0))":7104,"(* (* 72 z0) (log z0))":7104,"(* (* 83 z0) (log z0))":7104,"(* (* 90 z0) (log z0))":7104,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":7488,"(* (* z0 (- 1 (cos (+ z1 z1)))) z2)":7488,"(* (* z0 (- 1 (cos z1))) 1/2)":7296,"(* (* z0 -1/8) (sin z0))":7104,"(* (* z0 z0) (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2)))":8448,"(* (* z0 z0) (- 1/2 (* (cos z1) 1/2)))":7616,"(* (* z0 z0) (cos z0))":7104,"(* (* z0 z0) (floor z1))":7104,"(* (* z0 z0) (log z0))":7104,"(* (* z0 z0) (pow z0 2))":7168,"(* (* z0 z0) (sin z0))":7104,"(* (* z0 z0) (sin z1))":7104,"(* (* z0 z0) (sqrt z0))":1344,"(* (* z0 z1) (pow z0 2))":7168,"(* (* z0 z1) (pow z0 3))":7168,"(* (* z0 z1) (pow z0 z0))":7168,"(* (* z0 z1) (sin z2))":7104,"(* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) z2)":14400,"(* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) (sin (+ (* 2 z2) (* 3 z1))))":64832,"(* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) z2)":57600,"(* (+ (+ (pow z0 2) (/ z0 z0)) 1/3) (sin (+ (* 2 z1) (* 3 z2))))":15168,"(* (+ (+ z0 z0) 1/3) (sin (+ z0 z0)))":7360,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (* 2 z1)))":48064,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (sin (* 2 z1)))":48064,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) z1)":41344,"(* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (cos (* 2 z1)))":8640,"(* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (sin (* 2 z1)))":8640,"(* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) z0)":2048,"(* (+ (- 1 z0) (- z0)) (cos (* 2 z1)))":7616,"(* (+ (- 1 z0) (- z0)) (sin (* 2 z1)))":7616,"(* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) 1/2)":7808,"(* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) z1)":7808,"(* (+ (cos (* z0 z0)) 1) 1/2)":7296,"(* (+ (cos z0) 1) 1/2)":6976,"(* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) (* z1 z1))":8448,"(* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) z1)":8128,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7488,"(* (+ 1/2 (* 1/2 (cos z0))) (* z1 z1))":7616,"(* (+ 1/2 (* 1/2 (cos z0))) 11)":7296,"(* (+ 1/2 (* 1/2 (cos z0))) z1)":7296,"(* (+ z0 1/3) (sin z0))":6976,"(* (+ z0 z0) (cos z0))":6976,"(* (+ z0 z0) (cos z1))":6976,"(* (+ z0 z0) (sin z0))":6976,"(* (+ z0 z0) (sin z1))":6976,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1)":7488,"(* (- (* (cos z0) 1/2) -1/2) z1)":7296,"(* (- (+ (* (sin z0) z1) z0) z2) 6)":7488,"(* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) z0)":140352,"(* (- (- (pow z0 2) (/ z0 z0)) -1) (sin (+ (* 2 z1) z2)))":14848,"(* (- (- z0 z0) -1) (sin (+ z0 z1)))":7360,"(* (- (cos (* (* 1/90 z0) PI)) -1) (* 1/2 (* z1 z1)))":8256,"(* (- (cos (* (* 1/90 z0) PI)) -1) z1)":7616,"(* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z1 z1)))":8448,"(* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) z1)":7808,"(* (- (cos (* z0 z0)) -1) (* 1/2 (* z1 z1)))":7936,"(* (- (cos (+ z0 z0)) -1) z1)":7168,"(* (- (cos z0) -1) (* 1/2 (* z1 z1)))":7616,"(* (- 1 (sqrt E)) z0)":1216,"(* (- 1 (sqrt z0)) 3)":1216,"(* (- 1 z0) (* 4343/1000 (log z1)))":7296,"(* (- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)) z1)":8128,"(* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) (* z1 z1))":8256,"(* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) z1)":7936,"(* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1))":8448,"(* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) z1)":8128,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":7488,"(* (- 1/2 (* (cos (- z0 z1)) 1/2)) z2)":7488,"(* (- 1/2 (* (cos z0) 1/2)) (* z1 z1))":7616,"(* (- 1/2 (* (cos z0) 1/2)) 3)":7296,"(* (- 1/2 (* (cos z0) 1/2)) z1)":7296,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11)":7488,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) z1)":7488,"(* (- 1/2 (* -1/2 (cos z0))) 11)":7296,"(* (- 1/2 (* 1/2 (cos z0))) (* z1 z1))":7616,"(* (- 1/2 (* z0 1/2)) (* (cos z1) (cos z2)))":14016,"(* (- z0 -1) (sin z0))":6976,"(* (/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2)) (sqrt (- 1 (pow z0 2))))":16000,"(* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0)))":8576,"(* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2)":8512,"(* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":8512,"(* (/ (/ (* z0 z0) (pow z0 4)) 4) (* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0))))":16832,"(* (/ (/ (* z0 z0) (pow z0 4)) 8) z1)":8576,"(* (/ (tan z0) z1) z2)":7488,"(* (/ 1 (sqrt (fabs (- z0 z1)))) z2)":2048,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1)))":9472,"(* (/ z0 z1) (pow (* z2 z2) (- z2 1)))":8064,"(* (/ z0 z1) (pow z2 z2))":7552,"(* (atan2 z0 z1) z2)":6848,"(* (cbrt z0) (- (cbrt z0) (cbrt z1)))":19776,"(* (cbrt z0) z1)":6784,"(* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)":7616,"(* (cos (* (* (+ PI PI) 1/180) z0)) z1)":7616,"(* (cos (* (* 1/180 z0) (+ PI PI))) 1/2)":7616,"(* (cos (* (* 1/180 z0) (+ PI PI))) z1)":7616,"(* (cos (* (* 1/180 z0) (+ z1 z1))) 1/2)":7616,"(* (cos (* (* 1/90 z0) PI)) 1/2)":7424,"(* (cos (* (* 1/90 z0) PI)) z1)":7424,"(* (cos (* (* z0 1/180) z1)) 1/2)":7424,"(* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)":7616,"(* (cos (* (+ PI PI) (* 1/180 z0))) z1)":7616,"(* (cos (* (+ z0 z0) (* 1/180 z1))) 1/2)":7616,"(* (cos (* -1/2 z0)) z1)":7104,"(* (cos (* z0 1/2)) (sin (* z1 1/2)))":13824,"(* (cos (* z0 1/2)) z1)":7104,"(* (cos (* z0 z0)) 1/2)":7104,"(* (cos (* z0 z1)) 1/2)":7104,"(* (cos (+ z0 (+ z1 z1))) z2)":7168,"(* (cos (+ z0 z0)) 5/2)":6976,"(* (cos (+ z0 z0)) z1)":6976,"(* (cos (+ z0 z1)) z2)":6976,"(* (cos (- (* PI 1/2) z0)) z1)":7296,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":7488,"(* (cos (- z0 z1)) 1/2)":6976,"(* (cos (- z0 z1)) z2)":6976,"(* (cos z0) (* z0 1/2))":7104,"(* (cos z0) (cos z0))":13184,"(* (cos z0) (sin z0))":13184,"(* (cos z0) (sin z1))":13184,"(* (cos z0) 5/2)":6784,"(* (cos z0) z1)":6784,"(* (exp 3/2) z0)":6784,"(* (exp 5/2) (pow (log (- 1 z0)) 2))":19840,"(* (exp 5/2) (pow (log z0) 2))":19648,"(* (exp 5/2) (pow z0 2))":13248,"(* (exp 5/2) z0)":6784,"(* (exp 7/2) z0)":6784,"(* (fabs z0) 3275911/10000000)":512,"(* (log (- 1 (/ 1 z0))) (log (- 1 (/ 1 z0))))":14976,"(* (log (- 1 (/ 1 z0))) E)":7680,"(* (log (- 1 z0)) (log (- 1 z0)))":13568,"(* (log (- 1 z0)) E)":6976,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":21312,"(* (log (fabs z0)) z1)":6912,"(* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) z1)":13760,"(* (log z0) (log z0))":13184,"(* (log z0) E)":6784,"(* (log z0) z1)":6784,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":8448,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":8256,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":7552,"(* (pow (* z0 z0) (- z0 1)) z1)":7360,"(* (pow (* z0 z0) (/ 1/2 z1)) z2)":7872,"(* (pow (* z0 z0) z1) z2)":7168,"(* (pow (/ z0 z1) 1/2) (pow (/ z0 z2) 1/2))":14720,"(* (pow (/ z0 z1) 1/2) z2)":7552,"(* (pow (cos z0) 3) z1)":13248,"(* (pow (cos z0) 4) 40)":13248,"(* (pow (cos z0) 4) z1)":13248,"(* (pow (log (- 1 (/ 1 (sqrt E)))) 2) z0)":14784,"(* (pow (log (- 1 (/ 1 (sqrt E)))) 3) z0)":14784,"(* (pow (log (- 1 z0)) 2) (sqrt E))":14080,"(* (pow (log (- 1 z0)) 3) (sqrt E))":14080,"(* (pow (log z0) 2) (sqrt E))":13888,"(* (pow (log z0) 3) (sqrt E))":13888,"(* (pow (sqrt (- 1 z0)) 3) (+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0))))":15744,"(* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0)))":8320,"(* (pow E 5/2) (* (log (- 1 z0)) (log (- 1 z0))))":20352,"(* (pow E 5/2) (* (log z0) (log z0)))":19968,"(* (pow E 5/2) (pow (log (- 1 z0)) 2))":19904,"(* (pow E 5/2) (pow (log z0) 2))":19712,"(* (pow E 5/2) z0)":6848,"(* (pow E 7/2) z0)":6848,"(* (pow z0 (- z1 3)) z2)":7040,"(* (pow z0 -2/3) z1)":6848,"(* (pow z0 1/2) (pow z0 1/2))":13312,"(* (pow z0 2) (sqrt z0))":7488,"(* (pow z0 2/3) z1)":6848,"(* (pow z0 3) z1)":6848,"(* (pow z0 4) z1)":6848,"(* (sin (* (* 1/180 z0) PI)) z1)":7424,"(* (sin (* (+ z0 z1) 2)) 3)":7296,"(* (sin (* -1/2 z0)) z1)":7104,"(* (sin (* z0 1/2)) (cos (* z1 1/2)))":13824,"(* (sin (* z0 1/2)) z1)":7104,"(* (sin (* z0 z0)) z1)":7104,"(* (sin (* z0 z1)) z2)":7104,"(* (sin (+ (+ z0 z0) z1)) (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1)))":31744,"(* (sin (+ (+ z0 z0) z1)) (- (pow (* z2 z2) 2) (- (/ z2 z2) 1)))":15040,"(* (sin (+ (+ z0 z0) z1)) z2)":7168,"(* (sin (+ z0 (+ z1 z1))) z2)":7168,"(* (sin (+ z0 z0)) z1)":6976,"(* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1)))":13824,"(* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3)))":32064,"(* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* z2 z2) 2) (+ (/ z2 z2) 1/3)))":15360,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":7488,"(* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3)))":13824,"(* (sin (- z0 z0)) (- (* z0 z0) (* z0 z0)))":7808,"(* (sin (/ (* z0 z0) z1)) (sin (/ (* z0 z0) z1)))":15232,"(* (sin (/ z0 z1)) (sin (/ z0 z1)))":14592,"(* (sin z0) (* z0 1/2))":7104,"(* (sin z0) (+ z0 z0))":6976,"(* (sin z0) (- z1 z2))":6976,"(* (sin z0) (cos z0))":13184,"(* (sin z0) (cos z1))":13184,"(* (sin z0) (sin z0))":13184,"(* (sin z0) (sin z1))":13184,"(* (sin z0) 3)":6784,"(* (sin z0) z1)":6784,"(* (sqrt (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) -2)) z1)":14720,"(* (sqrt (fabs (- z0 z1))) (sqrt (fabs (+ z0 z1))))":2304,"(* (sqrt (fabs (- z0 z1))) z2)":1344,"(* (sqrt (fabs z0)) (fabs z1))":1280,"(* (sqrt (fabs z0)) (sqrt (fabs z0)))":1920,"(* (sqrt (fabs z0)) (sqrt (fabs z1)))":1920,"(* (sqrt (fabs z0)) z1)":1152,"(* (sqrt 2) z0)":1024,"(* (sqrt E) (* (log (- 1 z0)) (log (- 1 z0))))":14528,"(* (sqrt E) (* (log z0) (log z0)))":14144,"(* (sqrt E) (pow (log (- 1 z0)) 2))":14080,"(* (sqrt E) (pow (log z0) 2))":13888,"(* (sqrt E) z0)":1024,"(* (sqrt z0) (* z0 z0))":1344,"(* (sqrt z0) (fabs z1))":1152,"(* (sqrt z0) (pow z0 2))":7488,"(* (sqrt z0) (sqrt z0))":1664,"(* (sqrt z0) z1)":1024,"(* (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":7488,"(* (tan (+ (* 1/2 z0) (/ PI 4))) z1)":8000,"(* (tan z0) z1)":6784,"(* -108 (sqrt z0))":1024,"(* -115 (sqrt z0))":1024,"(* -18 (sqrt z0))":1024,"(* -200 (pow (cos z0) 4))":13248,"(* -40 (pow (cos z0) 4))":13248,"(* -8 (pow (* E (log z0)) 2))":13568,"(* -8 (pow (* z0 z0) 2))":7168,"(* -9 (pow z0 5/2))":6848,"(* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))":7616,"(* 1/2 (cos (* (* z0 1/180) (+ z1 z1))))":7616,"(* 1/2 (cos (* z0 z0)))":7104,"(* 1/2 (pow (/ (* z0 z1) (* 2 z2)) 2))":8192,"(* 1/2 (sin (+ (- (+ z0 z0)) (* PI 1/2))))":7616,"(* 11 (pow (cos z0) 2))":13248,"(* 11 (pow z0 2))":6848,"(* 11/2 (cos (+ z0 z0)))":6976,"(* 11/2 (cos z0))":6784,"(* 15 (sqrt z0))":1024,"(* 18 (sqrt z0))":1024,"(* 180 (/ (atan z0) PI))":7488,"(* 2 (- (* 3 (pow (cos z0) 2)) 1))":13760,"(* 20 (sqrt z0))":1024,"(* 210 (sqrt z0))":1024,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))":14400,"(* 3 (+ (* (+ 1/2 z0) z1) (cos z2)))":7488,"(* 3 (+ (* z0 z1) (cos z2)))":7296,"(* 3 (- 1 (pow (cos z0) 2)))":13440,"(* 3 (- 1 (sqrt z0)))":1216,"(* 3 (cos z0))":6784,"(* 3 (pow (cos z0) 2))":13248,"(* 3 (pow z0 2))":6848,"(* 40 (pow (cos z0) 4))":13248,"(* 4343/1000 (log (* z0 z0)))":7104,"(* 4343/1000 (log z0))":6784,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":7488,"(* 5 (+ 1/2 (* 1/2 (cos z0))))":7296,"(* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))":7488,"(* 5 (- 1/2 (* -1/2 (cos z0))))":7296,"(* 5 (pow (cos z0) 2))":13248,"(* 5 (pow z0 2))":6848,"(* 5/2 (cos (+ z0 z0)))":6976,"(* 5/2 (cos z0))":6784,"(* E (log (- 1 (/ 1 z0))))":7680,"(* E (log (- 1 z0)))":6976,"(* E (log z0))":6784,"(* z0 (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))":24832,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (cos (* 2 z2))))":48384,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (sin (* 2 z2))))":48384,"(* z0 (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))":2368,"(* z0 (* (cos z1) (cos z2)))":13504,"(* z0 (* (cos z1) (sin z2)))":13504,"(* z0 (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))":16576,"(* z0 (* (sin z1) (sin z1)))":13504,"(* z0 (* (sqrt 2) 1/2))":1344,"(* z0 (* 1 (sqrt E)))":1344,"(* z0 (* 1/2 (cos z1)))":7104,"(* z0 (* 2 (atan2 (sqrt z1) (sqrt z1))))":8448,"(* z0 (* 2 (atan2 z1 z1)))":7168,"(* z0 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1)))":14400,"(* z0 (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24))":162176,"(* z0 (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1))":57600,"(* z0 (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3)))":24960,"(* z0 (+ 1/2 (* 1/2 (cos (* 2 z1)))))":7616,"(* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":7488,"(* z0 (- (* (sin (* z1 1/2)) (cos (* z2 1/2))) (* (cos (* z1 1/2)) (sin (* z2 1/2)))))":28096,"(* z0 (- (* 3 (pow (cos z1) 2)) 1))":13760,"(* z0 (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))":140352,"(* z0 (- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24))":140608,"(* z0 (- (log z1) (* z2 z1)))":7296,"(* z0 (- 1 (cos (+ z1 z1))))":7168,"(* z0 (- 1 (cos z1)))":6976,"(* z0 (- 1 (pow (cos z1) 2)))":13440,"(* z0 (- 1 (sqrt E)))":1216,"(* z0 (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2)))":8128,"(* z0 (- 1/2 (* -1/2 (cos (+ z1 z1)))))":7488,"(* z0 (/ (* (- 1/2 z1) (- 1/2 z1)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))))":144064,"(* z0 (/ (- z1 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))))":142720,"(* z0 (cbrt z1))":6784,"(* z0 (cos (* (* 1/180 z1) PI)))":7424,"(* z0 (cos (* (* PI 1/180) (+ z1 z1))))":7616,"(* z0 (cos (* (/ z1 180) PI)))":7808,"(* z0 (cos (* -1/2 z1)))":7104,"(* z0 (cos (* 2 z1)))":7104,"(* z0 (cos (* z1 1/2)))":7104,"(* z0 (cos (* z1 z1)))":7104,"(* z0 (cos (+ (* 2 z1) (* 3 z2))))":7616,"(* z0 (cos (+ z1 z1)))":6976,"(* z0 (cos (/ z1 2)))":7488,"(* z0 (cos z1))":6784,"(* z0 (exp 3/2))":6784,"(* z0 (exp 5/2))":6784,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":21312,"(* z0 (log (/ (+ 1 z1) (- 1 z1))))":7872,"(* z0 (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000)))":13760,"(* z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":14400,"(* z0 (log (tan (+ z1 z1))))":13376,"(* z0 (log (tan z1)))":13184,"(* z0 (log z1))":6784,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":8448,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1)))":7744,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z2)) 1)))":8768,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2))))":8576,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":7552,"(* z0 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2))":15104,"(* z0 (pow (* z1 z1) (/ 1 z1)))":7872,"(* z0 (pow (* z1 z1) z2))":7168,"(* z0 (pow (/ z1 z2) 1/2))":7552,"(* z0 (pow (/ z1 z2) 2))":7552,"(* z0 (pow (cos z1) 2))":13248,"(* z0 (pow (cos z1) 4))":13248,"(* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 2))":14784,"(* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 3))":14784,"(* z0 (pow (sin z1) 2))":13248,"(* z0 (pow E 2))":6848,"(* z0 (pow E 3/2))":6848,"(* z0 (pow E 5/2))":6848,"(* z0 (pow z1 2))":6848,"(* z0 (pow z1 2/3))":6848,"(* z0 (pow z1 4))":6848,"(* z0 (pow z1 4681/10000))":6848,"(* z0 (sin (* (/ z1 180) PI)))":7808,"(* z0 (sin (* 2 z1)))":7104,"(* z0 (sin (* z1 1/2)))":7104,"(* z0 (sin (* z1 z1)))":7104,"(* z0 (sin (+ (* 2 z1) (* 3 z2))))":7616,"(* z0 (sin (+ (* 2 z1) z2)))":7296,"(* z0 (sin (+ (- (+ z1 z1)) (* PI 1/2))))":7616,"(* z0 (sin (+ z1 (+ z2 z2))))":7168,"(* z0 (sin (+ z1 z1)))":6976,"(* z0 (sin z1))":6784,"(* z0 (sqrt (* (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000)) -2)))":14720,"(* z0 (sqrt (* z1 z2)))":1344,"(* z0 (sqrt (fabs (+ z1 z2))))":1344,"(* z0 (sqrt (fabs z1)))":1152,"(* z0 (sqrt E))":1024,"(* z0 (sqrt z1))":1024,"(* z0 (tan z1))":6784,"(+ (* (* (exp 3/2) 2) (pow (log z0) 2)) (* (* 16 (exp 3/2)) (log (- 1 z0))))":33792,"(+ (* (* (pow z0 3) z1) z1) z1)":7360,"(+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6))":7808,"(+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) z0)":9152,"(+ (* (* -4 (* z0 z0)) (log (- 1 z0))) (+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0))))":15488,"(+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0)))":8000,"(+ (* (* -8 E) (pow (log z0) 2)) (+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0))))":21696,"(+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0)))":8064,"(+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0)":8832,"(+ (* (* -84 E) (log (- 1 z0))) (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))))":15488,"(+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0)))":8000,"(+ (* (* 16 (sqrt z0)) (log (- 1 z0))) (* (pow (log z0) 2) (sqrt E)))":21952,"(+ (* (* 16 z0) (log z0)) (* (pow z0 2) (sqrt z0)))":14720,"(+ (* (* z0 2) (pow z0 2)) (* (* 16 z0) (log z0)))":14400,"(+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0)))":8128,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))":14080,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) z2)":7680,"(+ (* (+ z0 z0) (+ z0 z0)) (* z1 (pow z0 z2)))":7744,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0))":14080,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2)":7680,"(+ (* (- (- z0 z0) -1) (sin (+ z0 z1))) (* (+ (+ z0 z0) 1/3) (sin (+ z0 z0))))":14848,"(+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) (* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z2 z2))))":17024,"(+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) z2)":8640,"(+ (* (- 1/2 (* z0 1/2)) (* z1 z1)) (* (- (cos z0) -1) (* 1/2 (* z2 z2))))":8960,"(+ (* (- z0 -1) (sin z0)) (* (+ z0 1/3) (sin z0)))":14080,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3))) (* (sin (+ (+ z0 z0) z1)) (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))))":63936,"(+ (* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3))) (* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1))))":27776,"(+ (* (sin z0) (+ z0 z0)) (* (sin z0) (- z0 z0)))":14080,"(+ (* (sqrt E) (* (log z0) (log z0))) (* (* 16 (sqrt z0)) (log (- 1 z0))))":22208,"(+ (* (sqrt z0) (* z0 z0)) (* (* 16 z0) (log z0)))":8576,"(+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log z0) 2)))":26560,"(+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) z0)":15296,"(+ (* -8 (pow (* z0 z0) 2)) (- (+ (* z0 z0) (* z0 z0)) (* 64 (sqrt z0))))":9344,"(+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0)))":7744,"(+ (* z0 z1) (* (- 1 z0) (* 4343/1000 (log z2))))":7808,"(+ (* z0 z1) (pow z0 2))":7040,"(+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) z0)":65728,"(+ (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))) (- (* (* -84 z0) (log z0)) (* -16 E)))":15808,"(+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) z0)":75008,"(+ (+ (+ (* z0 z0) (* z0 z0)) (* -64 (sqrt z0))) (* (* -8 (pow z0 2)) (* (log z0) (log z0))))":22464,"(+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0)":96704,"(+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":51456,"(+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) z0)":66688,"(+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":83712,"(+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) z0)":92480,"(+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) z0)":92992,"(+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":116480,"(+ (+ (+ (+ z0 z0) (* -64 z0)) (* (* -8 z0) (* z0 z0))) (* (* -4 (pow z0 2)) (log (- 1 z0))))":15808,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0))) (* (* -8 E) (* (log z0) (log z0))))":21952,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -8 z0) (* z0 z0))) (* (* -84 E) (log (- 1 z0))))":9344,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0))) (* 16 E))":8512,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2))) (* (pow E 5/2) (* (log z0) (log z0))))":27840,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0)))":8000,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0)))":8000,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* 16 z0) (log z0)))":8000,"(+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2)))":7744,"(+ (+ (- (+ z0 z0) (* -16 z0)) (+ (* z0 z0) (* z0 z0))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow z0 2))))":22080,"(+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1)":14592,"(+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1/3)":14592,"(+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) z0)":75008,"(+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) z0)":118912,"(+ (- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2))) (* (pow E 5/2) (pow (log z0) 2)))":27584,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":41024,"(+ (- 1 (* 11 (pow (cos z0) 2))) z1)":13632,"(+ (- 1 (* 11 (pow z0 2))) (- (/ (* 40 z0) (- 1 z0))))":8576,"(+ (- 1 z0) (* z1 (pow (* z2 z2) (/ 1 z2))))":8256,"(+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":8384,"(+ (cos (* (* 1/180 z0) (+ PI PI))) 1)":7488,"(+ (cos (* (* 1/180 z0) (+ PI PI))) z1)":7488,"(+ (cos (* (* 1/180 z0) (+ z1 z1))) 1)":7488,"(+ (cos (* z0 z0)) 1)":6976,"(+ (cos z0) 1)":6656,"(+ (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1/3))":24640,"(+ (pow (* (/ z0 z0) (sqrt z0)) 2) (+ (/ (- -1 z0) (- z0 1)) 1/3))":9664,"(+ (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2)))":16704,"(+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2)))":14400,"(+ (pow (* z0 z1) 2) (pow (* z2 z1) 2))":13824,"(+ (pow (+ 153/40 (* z0 50813/6250)) 2) z1)":7232,"(+ (pow (+ 197/40 (* z0 50813/6250)) 2) z1)":7232,"(+ (pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2) z2)":34432,"(+ (pow (- (* z0 50813/6250) 111/40) 2) z1)":7232,"(+ (pow (- (* z0 50813/6250) 23/40) 2) z1)":7232,"(+ (pow (- (* z0 50813/6250) 243/40) 2) z1)":7232,"(+ (pow (- (* z0 50813/6250) 31/8) 2) z1)":7232,"(+ (pow z0 806282737481277/100000000000000) (* z0 z0))":7040,"(+ (pow z0 806282737481277/100000000000000) z1)":6720,"(+ 1 (* z0 (* (sin z1) (sin z1))))":13696,"(+ 1 (pow (/ z0 z1) 2))":7424,"(+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0)))))":7808,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":7296,"(+ 1/2 (* 1/2 (cos (* z0 z0))))":7296,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(+ 1/2 (* 1/2 (cos z0)))":6976,"(+ 1/2 (* 1/2 (sin (+ z0 z0))))":7168,"(+ 1/2 (* 1/2 (sin z0)))":6976,"(+ z0 (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E))))))":15296,"(+ z0 (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))))":23552,"(+ z0 (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))))":8832,"(+ z0 (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))":15232,"(+ z0 (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E))))))":15296,"(+ z0 (* (- (cos (* (+ PI PI) (* 1/180 z1))) -1) (* 1/2 (* z2 z2))))":8640,"(+ z0 (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))))":23232,"(+ z0 (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))":21440,"(+ z0 (* 1/2 (cos (* (* PI 1/180) (+ z1 z1)))))":7808,"(+ z0 (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1))))":14592,"(+ z0 (* z1 (* (sin z2) (sin z2))))":13696,"(+ z0 (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))":36864,"(+ z0 (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))":50496,"(+ z0 (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))))":65728,"(+ z0 (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))))":28288,"(+ z0 (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))":41408,"(+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))":27648,"(+ z0 (pow (* (sin (* (* 1/180 z1) PI)) z2) 2))":14080,"(+ z0 (pow (+ 109/40 (* z1 50813/6250)) 2))":7232,"(+ z0 (pow (- (* z1 50813/6250) 199/40) 2))":7232,"(+ z0 (pow (/ z1 z2) 2))":7424,"(- (* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0))) (* (/ (/ z0 z0) 4) (* (pow z0 3) (+ z0 z0))))":23296,"(- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0)":8832,"(- (* (* -84 E) (log (- 1 z0))) (* -16 E))":7808,"(- (* (* -84 z0) (log z0)) (* -16 E))":7616,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) z2)":7680,"(- (* (* z0 z0) (sin z0)) (* (* z0 z0) (+ z0 z0)))":8128,"(- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) -1/2)":7808,"(- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) z1)":7808,"(- (* (cos (* z0 z1)) 1/2) -1/2)":7296,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":7168,"(- (* (cos z0) (cos z0)) (* (sin z0) (sin z0)))":26496,"(- (* (cos z0) 1/2) -1/2)":6976,"(- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1)))":7680,"(- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2))))":27776,"(- (* 11/2 (cos z0)) -9/2)":6976,"(- (* 3 (pow (cos z0) 2)) 1)":13440,"(- (* 3 (pow (cos z0) 2)) z1)":13440,"(- (+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6)) (* (sin (* z1 2)) 3))":15040,"(- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) z0)":74496,"(- (+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0))) (* -16 E))":8512,"(- (+ (* z0 z0) (* z0 6)) (* (sin z0) 3))":7808,"(- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) z0)":111936,"(- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2)))":7744,"(- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0)":140288,"(- (- (+ z0 z0) (* z0 3)) (* (sin z0) z1))":7680,"(- (- (/ z0 z0) -11) (* (* -200 z0) (pow z0 -2)))":8256,"(- (- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) z2)":57280,"(- (- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) -1)":14592,"(- (- (pow z0 2) (/ z0 z0)) -1)":7616,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2))":28352,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":21248,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (cos z0)) -9/2))":15168,"(- (/ (* -40 (pow z0 4)) (- 1 (* 5 z0))) (- (* (+ 1/2 z0) 11) 1))":8960,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":27456,"(- (/ (* 40 (pow z0 4)) (- 1 (* 5 z0))))":8192,"(- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) z2)":8384,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1)":8384,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":8384,"(- (cbrt z0) (cbrt z1))":13056,"(- (cbrt z0) z1)":6656,"(- (cos (* (* 1/90 z0) PI)) -1)":7296,"(- (cos (* (* 1/90 z0) PI)) z1)":7296,"(- (cos (* (+ PI PI) (* 1/180 z0))) -1)":7488,"(- (cos (* (+ PI PI) (* 1/180 z0))) z1)":7488,"(- (cos (* (+ z0 z0) (* 1/180 z1))) -1)":7488,"(- (cos (* z0 z0)) -1)":6976,"(- (cos (+ z0 z0)) -1)":6848,"(- (cos z0) -1)":6656,"(- (exp (* z0 z1)) 1)":6976,"(- (exp z0) 1)":6656,"(- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)))":57088,"(- (pow (* (/ z0 z0) (sqrt z0)) 2) (- (/ (- -1 z0) (- z0 1)) 1))":9664,"(- (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2)))":16704,"(- (pow (* z0 z0) 2) (- (/ z0 z0) 1))":7936,"(- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2)))":14400,"(- (pow z0 z1) 1)":6720,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z2)":1728,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 1/16)":14016,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 1/4)":14016,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 11/40)":14016,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 13/80)":14016,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 3/40)":14016,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 7/40)":14016,"(- (sqrt (+ z0 1)) (sqrt z0))":1728,"(- (sqrt (- (* z0 z0) (* z1 z2))) z0)":1728,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":7680,"(- -1 (* (* 1/2 z0) (- 1 (cos z1))))":7488,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":7680,"(- -1 (* (fabs z0) 3275911/10000000))":704,"(- -3/2 (* (cos (+ z0 z0)) 5/2))":7168,"(- -3/2 (* (cos z0) 5/2))":6976,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":7168,"(- -3/2 (* 5/2 (cos z0)))":6976,"(- 1 (* (* 1/2 (pow z0 2)) (/ z1 z2)))":8064,"(- 1 (* 11 (pow (cos z0) 2)))":13440,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":7680,"(- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0))))))":7680,"(- 1 (* 5 (pow (cos z0) 2)))":13440,"(- 1 (/ 1 (sqrt z0)))":1600,"(- 1 (cos (* z0 z0)))":6976,"(- 1 (cos (+ z0 z0)))":6848,"(- 1 (cos z0))":6656,"(- 1 (exp z0))":6656,"(- 1 (pow (cos z0) 2))":13120,"(- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2))":7808,"(- 1/2 (* (cos (* (* 1/180 z0) (+ PI PI))) 1/2))":7808,"(- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2))":7616,"(- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2))":7808,"(- 1/2 (* (cos (* z0 z0)) 1/2))":7296,"(- 1/2 (* (cos (* z0 z1)) 1/2))":7296,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7168,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":7168,"(- 1/2 (* (cos (- z0 z1)) 1/2))":7168,"(- 1/2 (* (cos z0) -1/2))":6976,"(- 1/2 (* (cos z0) 1/2))":6976,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":7168,"(- 1/2 (* -1/2 (cos z0)))":6976,"(- 1/2 (* 1/2 (cos (* 2 z0))))":7296,"(- 1/2 (* 1/2 (cos (* z0 z0))))":7296,"(- 1/2 (* 1/2 (cos z0)))":6976,"(- 1/2 (fabs (- z0 1/2)))":576,"(- 3/20 (sqrt (+ (pow z0 2) (pow z0 2))))":14016,"(- 3/40 (sqrt (+ (pow z0 2) (pow z0 2))))":14016,"(- 7/40 (sqrt (+ (pow z0 2) (pow z0 2))))":14016,"(- 9/20 (sqrt (+ (pow z0 2) (pow z0 2))))":14016,"(- z0 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))":7680,"(- z0 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2))":7680,"(- z0 (* (cos (* (* (+ PI PI) 1/180) z1)) 1/2))":7808,"(- z0 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2))":7808,"(- z0 (* (cos (* (* 1/90 z1) PI)) 1/2))":7616,"(- z0 (* (cos (* (+ PI PI) (* 1/180 z1))) 1/2))":7808,"(- z0 (* (cos (+ z1 z1)) 5/2))":7168,"(- z0 (* (cos (- z1 z2)) 1/2))":7168,"(- z0 (* (fabs z1) 3275911/10000000))":704,"(- z0 (* 11 (pow (cos z1) 2)))":13440,"(- z0 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":7680,"(- z0 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1))))))":7680,"(- z0 (* 5 (pow (cos z1) 2)))":13440,"(- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2))":7360,"(- z0 (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))":8576,"(- z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":14272,"(- z0 (pow (cos z1) 2))":13120,"(/ (* (- 1/2 z0) (- 1/2 z0)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))":143744,"(/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4))":15360,"(/ (* (/ z0 z1) (* (/ z0 z1) (* 1/2 z2))) (pow (sqrt (- 1 z2)) 4))":10432,"(/ (* (/ z0 z1) (* z2 z2)) (pow (sqrt z2) 4))":9216,"(/ (* (pow (cos z0) 4) 40) z1)":13952,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21056,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos z1))))":20864,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 z1))))":14656,"(/ (* -40 (pow (cos z0) 4)) z1)":13952,"(/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0)))":8064,"(/ (* -40 (pow z0 4)) (- 1 (* 5 z0)))":8064,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":27328,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow z1 2))))":20928,"(/ (* 40 (pow (cos z0) 4)) z1)":13952,"(/ (* 40 (pow z0 4)) (- 1 (* 5 z0)))":8064,"(/ (* z0 z0) (pow z0 4))":7552,"(/ (* z0 z0) (sin z0))":7488,"(/ (* z0 z0) (sqrt z0))":1728,"(/ (* z0 z1) (pow z0 z2))":7552,"(/ (+ (pow z0 2) (pow z0 2)) z1)":13888,"(/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 z2)) 2))":14976,"(/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2))":8384,"(/ (+ 1 z0) (pow z0 2))":7424,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":8192,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":8192,"(/ (- (sqrt z0) z1) (+ z2 z2))":1792,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":8192,"(/ (- z0 (log z1)) z2)":7360,"(/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))":142400,"(/ (/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4)) 8)":16064,"(/ (/ (* z0 z0) (pow z0 4)) 4)":8256,"(/ (/ (* z0 z0) (pow z0 4)) 8)":8256,"(/ (/ (+ (pow z0 2) (pow z0 2)) z1) z1)":14592,"(/ (atan z0) PI)":7168,"(/ (fabs z0) (sqrt (fabs (* z1 z2))))":1984,"(/ (fabs z0) (sqrt (fabs z1)))":1664,"(/ (fabs z0) (sqrt z1))":1536,"(/ (pow z0 -2/3) z1)":7232,"(/ (sin z0) z1)":7168,"(/ (sqrt (fabs z0)) z1)":1536,"(/ (sqrt 2) z0)":1408,"(/ (sqrt z0) z1)":1408,"(/ (tan z0) z1)":7168,"(/ 1 (* (pow z0 2/3) z1))":7552,"(/ 1 (+ (+ z0 z0) (log z0)))":7552,"(/ 1 (pow z0 -1))":7232,"(/ 1 (sqrt (fabs (- z0 z1))))":1728,"(/ 1 (sqrt (fabs z0)))":1536,"(/ 1 (sqrt z0))":1408,"(/ z0 (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))":142208,"(/ z0 (* (* 1000000000000000000 (exp z1)) z2))":7808,"(/ z0 (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))":143040,"(/ z0 (* (pow z1 2/3) z2))":7552,"(/ z0 (* (tan z1) z2))":7488,"(/ z0 (+ 1 (pow (/ z1 z2) 2)))":8128,"(/ z0 (- (sqrt z1) -1))":1600,"(/ z0 (- -269813/62500 (fabs z1)))":1088,"(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":7872,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":7872,"(/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":8384,"(/ z0 (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":8384,"(/ z0 (- 1 (* 5 (pow (cos z1) 2))))":14144,"(/ z0 (cos z1))":7168,"(/ z0 (pow z1 2))":7232,"(/ z0 (sin (- (* z1 1/2) (* 1/4 PI))))":8000,"(/ z0 (sin z1))":7168,"(/ z0 (sqrt (fabs (* z1 z2))))":1856,"(/ z0 (sqrt (fabs (- z1 z2))))":1728,"(/ z0 (sqrt (fabs z1)))":1536,"(/ z0 (sqrt E))":1408,"(/ z0 (sqrt z1))":1408,"(atan (/ (* z0 z1) z2))":7488,"(cbrt (* z0 z0))":6784,"(cbrt (/ (- z0 z1) (+ z2 z2)))":7552,"(cbrt z0)":6464,"(cos (* (* (+ PI PI) 1/180) z0))":7296,"(cos (* (* (+ z0 z0) 1/180) z1))":7296,"(cos (* (* 1/180 z0) (+ PI PI)))":7296,"(cos (* (* 1/180 z0) (+ z1 z1)))":7296,"(cos (* (* 1/90 z0) PI))":7104,"(cos (* (* PI 1/180) (+ z0 z0)))":7296,"(cos (* (* z0 1/180) (+ z1 z1)))":7296,"(cos (* (* z0 1/180) z1))":7104,"(cos (* (+ PI PI) (* 1/180 z0)))":7296,"(cos (* (+ z0 z0) (* 1/180 z1)))":7296,"(cos (* (+ z0 z1) -2))":6976,"(cos (* (/ z0 180) PI))":7488,"(cos (* z0 z0))":6784,"(cos (* z0 z1))":6784,"(cos (+ z0 z1))":6656,"(cos (- z0 z1))":6656,"(cos (/ z0 z1))":7168,"(exp (* (- z0 2) -100))":6976,"(fabs (* (* z0 z0) (floor z1)))":7232,"(fmax (- (+ 19/10 (* z0 50813/6250))) z1)":7168,"(fmax (- 1/2 (fabs (- z0 1/2))) z1)":7040,"(fmax (- 29/5 (* z0 50813/6250)) z1)":7040,"(log (* z0 z0))":6784,"(log (+ (* z0 z0) (* z1 z1)))":7296,"(log (+ 1 z0))":6656,"(log (- 1 (/ 1 (sqrt z0))))":8000,"(log (- 1 (/ 1 z0)))":7360,"(log (- 1 z0))":6656,"(log (- z0 -1))":6656,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":20992,"(log (/ (+ 1 (* z0 z1)) (- 1 (* z0 z1))))":8192,"(log (/ (+ 1 z0) (- 1 z0)))":7552,"(log (/ z0 z1))":7168,"(log (fabs (cos z0)))":12992,"(log (fabs (sin z0)))":12992,"(log (fabs (tan z0)))":12992,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":14080,"(log (tan (+ (/ z0 4) (* 1/2 z1))))":14080,"(log (tan (+ z0 z0)))":13056,"(log (tan z0))":12864,"(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)) z1)":7232,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1))":8448,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1))":8128,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":7424,"(pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1)))":8256,"(pow (* (- z0 1) (- z0 1)) z1)":7232,"(pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) z2)":35520,"(pow (* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0))) 2)":15040,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)":16128,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)":16128,"(pow (* (/ (- -1 z0) (- z0 1)) (sqrt (- 1 z0))) 2)":8768,"(pow (* (/ (- z0 -1) (- 1 z0)) (sqrt (- 1 z0))) 2)":8768,"(pow (* (/ z0 z0) (sqrt z0)) 2)":8192,"(pow (* (log (- 1 z0)) E) 3)":13440,"(pow (* (log z0) E) 3)":13248,"(pow (* (sin (* (* 1/180 z0) PI)) z1) 2)":13888,"(pow (* (sin (* (* 1/180 z0) PI)) z1) z2)":13888,"(pow (* (sin (* z0 z0)) z1) 2)":13568,"(pow (* (sin z0) z1) 2)":13248,"(pow (* E (log (- 1 z0))) 2)":13440,"(pow (* E (log z0)) 2)":13248,"(pow (* z0 (cos (* (/ z1 180) PI))) 2)":14272,"(pow (* z0 (cos (* (/ z1 180) PI))) z2)":14272,"(pow (* z0 (cos (* z1 z1))) 2)":13568,"(pow (* z0 (cos z1)) 2)":13248,"(pow (* z0 (floor z1)) 2)":13248,"(pow (* z0 (floor z1)) z2)":13248,"(pow (* z0 (sin (* (/ z1 180) PI))) 2)":14272,"(pow (* z0 (sin (* (/ z1 180) PI))) z2)":14272,"(pow (* z0 (sin (* z1 z1))) 2)":13568,"(pow (* z0 (sin z1)) 2)":13248,"(pow (* z0 z0) (- z0 1))":7040,"(pow (* z0 z0) (- z1 1))":7040,"(pow (* z0 z0) (/ 1 z0))":7552,"(pow (* z0 z0) (/ 1/2 z1))":7552,"(pow (* z0 z0) 2)":6848,"(pow (* z0 z0) 3)":6848,"(pow (* z0 z0) z1)":6848,"(pow (* z0 z1) 2)":6848,"(pow (* z0 z1) z2)":6848,"(pow (+ (* z0 z1) (pow z0 2)) (- z2 2))":13696,"(pow (+ 109/40 (* z0 50813/6250)) 2)":7040,"(pow (+ 153/40 (* z0 50813/6250)) 2)":7040,"(pow (+ 153/40 z0) 2)":6720,"(pow (+ 197/40 (* z0 50813/6250)) 2)":7040,"(pow (+ z0 z0) (- z1 1))":6912,"(pow (+ z0 z0) (- z1 3))":6912,"(pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2)":34240,"(pow (- (* z0 50813/6250) 111/40) 2)":7040,"(pow (- (* z0 50813/6250) 199/40) 2)":7040,"(pow (- (* z0 50813/6250) 23/40) 2)":7040,"(pow (- (* z0 50813/6250) 243/40) 2)":7040,"(pow (- (* z0 50813/6250) 31/8) 2)":7040,"(pow (- (* z0 50813/6250) 67/40) 2)":7040,"(pow (- (* z0 z0) (* z0 z0)) 2)":7360,"(pow (- (/ (+ z0 z0) (* z1 z1)) (/ (+ z0 z0) (* z2 z2))) 2)":9152,"(pow (- 1 (sqrt z0)) 4)":7360,"(pow (- z0 199/40) 2)":6720,"(pow (- z0 23/40) 2)":6720,"(pow (/ (* z0 z1) (* 2 z2)) 2)":7872,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":14656,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":14656,"(pow (/ (- -1 (* z0 z1)) (- (* z0 z1) 1)) (* z1 1/2))":8576,"(pow (/ (- -1 (* z0 z1)) (- (* z1 z1) 1)) 3)":8256,"(pow (/ (- -1 z0) (- z0 1)) (* z1 1/2))":7936,"(pow (/ z0 (+ z1 z0)) z0)":7424,"(pow (/ z0 (+ z1 z0)) z2)":7424,"(pow (/ z0 z1) 1/2)":7232,"(pow (/ z0 z1) 2)":7232,"(pow (/ z0 z1) z0)":7232,"(pow (/ z0 z1) z2)":7232,"(pow (cos z0) 2)":12928,"(pow (cos z0) 3)":12928,"(pow (cos z0) 4)":12928,"(pow (cos z0) z1)":12928,"(pow (log (- 1 (/ 1 z0))) 2)":13824,"(pow (log (- 1 (/ 1 z0))) 3)":13824,"(pow (log (- 1 z0)) 2)":13120,"(pow (log (- 1 z0)) 3)":13120,"(pow (log z0) 2)":12928,"(pow (log z0) 3)":12928,"(pow (sin z0) 2)":12928,"(pow (sqrt (- 1 (* z0 z0))) z1)":7680,"(pow (sqrt (- 1 (pow z0 2))) z1)":13824,"(pow (sqrt (- 1 z0)) 2)":7360,"(pow (sqrt (- 1 z0)) 3)":7360,"(pow (sqrt (- 1 z0)) 4)":7360,"(pow (sqrt z0) 2)":7168,"(pow (sqrt z0) 3)":7168,"(pow (sqrt z0) 4)":7168,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":13632,"(pow (tanh (* z0 (* z1 z2))) -2)":13568,"(pow (tanh (* z0 z1)) -2)":13248,"(pow z0 (- (/ 1 (* 2 z1)) 1))":7744,"(pow z0 (- (/ 1/2 z1) 1))":7424,"(pow z0 (- z1 1))":6720,"(pow z0 (- z1 3))":6720,"(pow z0 -2/3)":6528,"(pow z0 2/3)":6528,"(pow z0 2/5)":6528,"(pow z0 33/10)":6528,"(pow z0 4681/10000)":6528,"(pow z0 806282737481277/100000000000000)":6528,"(sin (* (* 1/180 z0) PI))":7104,"(sin (* (+ PI PI) (* 1/180 z0)))":7296,"(sin (* (+ z0 z0) (* 1/180 z1)))":7296,"(sin (* (+ z0 z1) 2))":6976,"(sin (* (- z0 z1) -1/2))":6976,"(sin (* (/ z0 180) PI))":7488,"(sin (* z0 z0))":6784,"(sin (* z0 z1))":6784,"(sin (+ (* 2 z0) (* 3 z1)))":7296,"(sin (+ (* 2 z0) z1))":6976,"(sin (+ (+ z0 z0) z1))":6848,"(sin (+ (- (+ z0 z0)) (* PI 1/2)))":7296,"(sin (+ z0 (+ z1 z1)))":6848,"(sin (+ z0 z1))":6656,"(sin (- (* z0 1/2) (* 1/4 PI)))":7296,"(sin (- (* z0 1/2) (* 1/4 z1)))":7296,"(sin (- (+ z0 z0) (* -3 z1)))":7168,"(sin (/ (* (* z0 z1) (/ z0 z0)) z2))":8512,"(sin (/ (* z0 z0) z1))":7488,"(sin (/ (- z0 z1) 2))":7360,"(sin (/ z0 z1))":7168,"(sqrt (* (* z0 1000) z1))":1344,"(sqrt (* (+ z0 z1) (- z1 z0)))":1408,"(sqrt (* (fabs z0) 1000))":1152,"(sqrt (* (log z0) -2))":7424,"(sqrt (* z0 1000))":1024,"(sqrt (* z0 z0))":1024,"(sqrt (* z0 z1))":1024,"(sqrt (+ (* (- z0 z1) (- z0 z1)) (* z2 z2)))":1920,"(sqrt (+ (* z0 z0) (* z0 z0)))":1536,"(sqrt (+ (* z0 z0) (* z1 z1)))":1536,"(sqrt (+ (pow z0 2) (* z0 z0)))":7680,"(sqrt (+ (pow z0 2) (pow z0 2)))":13824,"(sqrt (- (* z0 z0) (* z0 z0)))":1536,"(sqrt (- (* z0 z0) (* z1 z1)))":1536,"(sqrt (- (* z0 z0) (* z1 z2)))":1536,"(sqrt (/ z0 z1))":1408,"(sqrt (fabs (* z0 z0)))":1152,"(sqrt (fabs (* z0 z1)))":1152,"(sqrt (fmax (+ (pow z0 2) (pow z0 2)) (+ (pow z0 2) (pow z0 2))))":33408,"(sqrt (sqrt z0))":1344,"(tan (* (+ (+ z0 z0) PI) 1/4))":7168,"(tan (+ (* 1/2 z0) (/ PI 4)))":7680,"(tan (+ (* 1/2 z0) (/ z1 4)))":7680,"(tan (+ (/ PI 4) (* 1/2 z0)))":7680,"(tan (+ (/ z0 4) (* 1/2 z1)))":7680,"(tanh (* (* z0 z1) z2))":7104,"(tanh (* z0 (* z1 z2)))":7104}