{"(* (* (* 2 (* (sin (* z0 PI)) (cos (* z0 PI)))) z1) z2)":14784,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0))) (- z2))":8896,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log (* z0 z0)))":8768,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log z2))":8448,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) z2) (log (* z0 z0)))":8768,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log (* z1 z1)))":8768,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log z2))":8448,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) z2) (log (* z1 z1)))":8768,"(* (* (- z0 -1) (sqrt (/ PI (- (- 1 z1) z1)))) (* z2 z1))":2944,"(* (* (- z0 -1) z1) (* (sqrt PI) z2))":1856,"(* (* (- z0 -1) z1) (* z2 (sqrt PI)))":1856,"(* (* (- z0) z0) (- z1 (log 4)))":7424,"(* (* (/ (exp (/ z0 (* -3 z1))) z1) 3/4) (/ 1/6 z2))":9536,"(* (* (/ 1 (sin z0)) z1) z2)":7808,"(* (* (cos (* (* z0 2) PI)) z1) z2)":7744,"(* (* (log (+ 1 (- z0))) z1) z2)":7424,"(* (* (sin (* (* z0 2) PI)) z1) z2)":7744,"(* (* (sin (* PI (+ (* -2 z0) 1/2))) z1) z2)":7936,"(* (* (sin (* z0 z1)) (/ 1 (sin z1))) z2)":14528,"(* (* (sin (+ (* (+ PI PI) z0) PI)) z1) (- z2))":7936,"(* (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (- z2))":2304,"(* (* (sqrt (/ PI (- (- 1 z0) z0))) z1) z0)":2432,"(* (* (sqrt 2) z0) (sin (* 314159265359/50000000000 z1)))":8064,"(* (* (sqrt 2) z0) (sqrt (sqrt (fabs (/ 1/2 (- 1 z1))))))":3648,"(* (* -2 z0) (sqrt 2))":1344,"(* (* 2 (* 1/2 (- z0))) (log z1))":7552,"(* (* 2 z0) (sqrt 2))":1344,"(* (* 3 z0) (log z1))":7104,"(* (* PI z0) (exp (/ z1 z0)))":7808,"(* (* PI z0) (exp z1))":7104,"(* (* z0 (* z1 (sqrt PI))) (- z2 -1))":1856,"(* (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2))))":2176,"(* (* z0 (/ 1 (sin z1))) z2)":7808,"(* (* z0 (cos (* PI (+ z1 z1)))) z2)":7616,"(* (* z0 (fabs z1)) (fabs z1))":960,"(* (* z0 (sin (* z1 314159265359/50000000000))) (sqrt (fabs (/ 1/2 (- 1 z2)))))":9088,"(* (* z0 (sin (* z1 PI))) (cos (* z1 PI)))":14144,"(* (* z0 (sqrt (fabs (- (* z1 z2) z2)))) (sqrt (fabs (+ (* z1 z2) (- 2 z2)))))":3456,"(* (* z0 (sqrt 2)) (* -2 z1))":1664,"(* (* z0 (sqrt PI)) z1)":1344,"(* (* z0 2) (sin (* z1 PI)))":7424,"(* (* z0 2) (sqrt 2))":1344,"(* (* z0 PI) (log (* z1 z1)))":7424,"(* (* z0 z0) (log (+ 1 (- z1))))":7424,"(* (* z0 z0) (log z1))":7104,"(* (* z0 z1) (- (log (+ 1 (- z2)))))":7552,"(* (* z0 z1) (cos (* (+ PI PI) z2)))":7616,"(* (* z0 z1) (cos (* PI (+ z2 z2))))":7616,"(* (* z0 z1) (exp (/ (fabs z2) z1)))":7936,"(* (* z0 z1) (exp (/ z2 z1)))":7808,"(* (* z0 z1) (exp z2))":7104,"(* (* z0 z1) (fabs z2))":832,"(* (* z0 z1) (log (+ 1 (- z2))))":7424,"(* (* z0 z1) (log (- 1 z2)))":7296,"(* (* z0 z1) (sin (* (+ PI PI) z2)))":7616,"(* (* z0 z1) (sin (* PI (+ z2 z2))))":7616,"(* (* z0 z1) (sin z2))":7104,"(* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0)))":8448,"(* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log z2))":8128,"(* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) (log z2))":8128,"(* (+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) z2) 1/6)":9152,"(* (+ z0 1) (log (* z1 z1)))":7296,"(* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1)":16000,"(* (- (exp (/ PI z0)) 1) z1)":7680,"(* (- (fabs z0)) (/ 1 z1))":1344,"(* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1))":15808,"(* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2))":15808,"(* (- (sqrt (fabs z0))) (- z1))":1408,"(* (- 1 (* -2 (exp (/ (fabs z0) (- z1))))) (/ z2 z1))":8960,"(* (- z0 -1) (sqrt z1))":1216,"(* (- z0) (* (+ (* (* (+ (* z1 z1) -1) z2) z2) 1) (log (* z1 z1))))":8896,"(* (- z0) (- (sqrt (fabs z1))))":1408,"(* (- z0) (log (+ 1 (* -4 z1))))":7424,"(* (- z0) (log z1))":6912,"(* (- z0) (sqrt 2))":1152,"(* (- z0) (sqrt PI))":1152,"(* (- z0) (sqrt z1))":1152,"(* (/ (* z0 (sqrt 2)) (sqrt 2)) (- z1))":2816,"(* (/ (* z0 z0) z1) (- (log (+ 1 (- z2)))))":8256,"(* (/ (- (log (+ 1 (- z0)))) z1) (* z2 z2))":8256,"(* (/ (- (log (+ 1 (- z0)))) z1) z2)":7936,"(* (/ (exp (/ (fabs z0) (- z1))) z1) (/ z2 z1))":9152,"(* (/ (exp (/ z0 (* -3 z1))) z2) 3/4)":8512,"(* (/ (fabs z0) (- z1)) 3)":1344,"(* (/ (fabs z0) z1) 0)":1216,"(* (/ (fabs z0) z1) 3)":1216,"(* (/ (sin (* z0 z1)) (sin z0)) z2)":14208,"(* (/ 1 (/ -1 z0)) (log z1))":8192,"(* (/ 1 (sqrt PI)) (/ z0 z1))":2432,"(* (/ 1 z0) (sin (* (* 2 PI) z1)))":8128,"(* (/ 1 z0) (sin (* z1 z2)))":7808,"(* (/ 1 z0) (sqrt z1))":1728,"(* (/ 1/2 z0) (sin (* z1 (- 1 z2))))":8000,"(* (/ 2 z0) (/ 1/2 (sqrt (fabs (/ -1 (- 1 z1))))))":3456,"(* (/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2))) z0)":16832,"(* (/ z0 (* z1 z1)) (fabs z2))":1536,"(* (/ z0 (- (fabs z1))) (/ z2 (- (fabs z1))))":2304,"(* (/ z0 (fabs z1)) (/ z2 (fabs z1)))":2048,"(* (/ z0 (sin z1)) (sin (* z1 (- 1 z2))))":14400,"(* (/ z0 (sin z1)) (sin (* z1 z2)))":14208,"(* (/ z0 (sin z1)) (sin z2))":13888,"(* (/ z0 (sin z1)) z2)":7488,"(* (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))) 0)":4416,"(* (/ z0 (sqrt 2)) (* z1 (sqrt 2)))":2688,"(* (/ z0 z1) (- (log (+ 1 (- z2)))))":7936,"(* (/ z0 z1) (- -1 (exp (/ PI z2))))":8384,"(* (/ z0 z1) (/ (exp (/ (fabs z2) (- z1))) z1))":9152,"(* (/ z0 z1) (exp (* (/ (fabs z2) (- z1)) 2)))":8768,"(* (/ z0 z1) (exp (/ 2 z2)))":8192,"(* (/ z0 z1) (fabs z2))":1216,"(* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI))))":8640,"(* (/ z0 z1) (tan z2))":7488,"(* (cos (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1)))))":10240,"(* (cos (* (* z0 2) PI)) (sqrt z1))":8064,"(* (cos (* PI (+ z0 z0))) z1)":7296,"(* (cos z0) z1)":6784,"(* (exp (/ z0 z1)) (* z2 z1))":7808,"(* (exp z0) (/ 3/4 (* (* (* 6 PI) z1) z2)))":8448,"(* (exp z0) (/ 3/4 (* (* PI z1) z2)))":8128,"(* (fabs z0) (* (fabs z0) z1))":960,"(* (fabs z0) (* z1 z2))":832,"(* (fabs z0) (/ (fabs z0) z1))":1344,"(* (fabs z0) (/ -1 z1))":1216,"(* (fabs z0) (/ z1 (* z2 z2)))":1536,"(* (fabs z0) (/ z1 z2))":1216,"(* (fabs z0) (fabs (- z1 (* z2 z1))))":1152,"(* (fabs z0) (sqrt (fabs (- z1 (+ (* z2 z1) 2)))))":1984,"(* (fabs z0) 314159265359/50000000000)":512,"(* (log (* z0 z0)) PI)":7104,"(* (log (+ 1 (* -4 z0))) z1)":7296,"(* (log (+ 1 (- z0))) (* (- z1) z1))":7552,"(* (log (+ 1 (- z0))) (* z1 z2))":7424,"(* (log (+ 1 (- z0))) -2)":7104,"(* (log (+ 1 (- z0))) z1)":7104,"(* (log (fabs z0)) (+ PI z1))":7104,"(* (log (fabs z0)) (+ z1 PI))":7104,"(* (log z0) (* (- z1) z1))":7232,"(* (log z0) (- z1))":6912,"(* (log z0) PI)":6784,"(* (log z0) z1)":6784,"(* (pow z0 2) z1)":6848,"(* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1)))))":10240,"(* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (+ (* (- z1) z2) z2) z1) (* (+ (* (- z1) z2) z2) z1)))))":10496,"(* (sin (* (* z0 2) PI)) (sqrt z1))":8064,"(* (sin (* (* z0 z1) PI)) (sin z2))":13824,"(* (sin (* (- 1 z0) z1)) (/ 1 z2))":8000,"(* (sin (* (- z0 1) z1)) z2)":7296,"(* (sin (* PI (+ z0 z0))) z1)":7296,"(* (sin (* z0 (- 1 z1))) z2)":7296,"(* (sin (* z0 PI)) (sin z1))":13504,"(* (sin (* z0 z1)) (/ 1 z2))":7808,"(* (sin (* z0 z1)) z2)":7104,"(* (sin (+ (* (- z0) (+ PI PI)) (* PI 1/2))) (sqrt z1))":8576,"(* (sin (+ (* z0 z1) PI)) z2)":7296,"(* (sin z0) (/ 1 (sin z1)))":13888,"(* (sin z0) z1)":6784,"(* (sqrt (* (+ (* z0 z1) (- 2 z1)) (- z1 (* z0 z1)))) (sin z2))":8960,"(* (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2)))) (sin z2))":8960,"(* (sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))) (sqrt z2))":4096,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- (* z0 z0) z2))":4224,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- z2 (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":6080,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) 0)":3712,"(* (sqrt (- (log (- 1 z0)))) (+ (* (sin (* z1 PI)) (sin (+ (* z1 PI) PI))) z2))":21888,"(* (sqrt (/ z0 (- 1 z0))) (- z1))":2048,"(* (sqrt (fabs (- (* z0 z1) z1))) (* (* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))) z2))":6528,"(* (sqrt (fabs (- (* z0 z1) z1))) (* (sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1)))) z2))":3648,"(* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))":2496,"(* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs z2))":1984,"(* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt (fabs (+ (- -2 (* z1 z0)) z0))))":3136,"(* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt z2))":2304,"(* (sqrt (fabs (/ -1/2 (- 1 z0)))) (sqrt z1))":2688,"(* (sqrt (fabs (/ 1/2 (- 1 z0)))) (fabs z0))":2176,"(* (sqrt (fabs z0)) (* (sqrt 2) z1))":2112,"(* (sqrt (fabs z0)) (/ (sqrt (fabs z0)) z1))":2624,"(* (sqrt (fabs z0)) (/ z1 (fabs (- z0 1))))":2176,"(* (sqrt (fabs z0)) (sqrt z1))":1792,"(* (sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2))))) (sqrt z2))":3840,"(* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt z2))":3136,"(* (sqrt 2) (sqrt z0))":1664,"(* (sqrt 2) z0)":1024,"(* (sqrt PI) z0)":1024,"(* (sqrt z0) (* z1 z1))":1344,"(* (sqrt z0) (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))":3712,"(* (sqrt z0) (cos (* (+ PI PI) z1)))":7936,"(* (sqrt z0) (cos (* 314159265359/50000000000 z1)))":7744,"(* (sqrt z0) (fabs (- z1 (* z2 z1))))":1664,"(* (sqrt z0) (fabs z1))":1152,"(* (sqrt z0) (sin (* (* 2 PI) z1)))":8064,"(* (sqrt z0) (sin (* (+ PI PI) z1)))":7936,"(* (sqrt z0) (sin (* 314159265359/50000000000 z1)))":7744,"(* (sqrt z0) (sin (* PI (+ z1 z1))))":7936,"(* (sqrt z0) (sin (* z1 (+ PI PI))))":7936,"(* (sqrt z0) (sin (* z1 314159265359/50000000000)))":7744,"(* (sqrt z0) (sin (+ (* -314159265359/50000000000 z1) (* 1/2 PI))))":8256,"(* (sqrt z0) (sqrt (fabs (+ (- -2 (* z1 z2)) z2))))":2496,"(* (sqrt z0) (sqrt (fabs z1)))":1792,"(* (sqrt z0) (sqrt (sqrt (* (- (* z1 z2) z2) (- z2 (+ (* z1 z2) 2))))))":3840,"(* (sqrt z0) (sqrt (sqrt (fabs (+ (- -2 (* z1 z2)) z2)))))":3136,"(* (sqrt z0) (sqrt (sqrt (fabs (- (+ (* z1 z2) 2) z2)))))":3136,"(* (sqrt z0) (sqrt 2))":1664,"(* (sqrt z0) z1)":1024,"(* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))":8512,"(* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))":8512,"(* (tan z0) (/ z1 z2))":7488,"(* -2 (log (+ 1 (* -4 z0))))":7296,"(* -2 (log (+ 1 (- z0))))":7104,"(* 0 (/ (fabs z0) z1))":1216,"(* 0 (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":4416,"(* 0 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":3712,"(* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))))":21952,"(* 1/2 (log (+ 1 (- z0))))":7104,"(* 1/2 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":3712,"(* 1/8 (/ (exp (/ (- z0) z1)) (* (* PI z1) z0)))":8960,"(* 2 (* (sin (* z0 PI)) z1))":7424,"(* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))":15232,"(* 3/4 (/ (exp (/ (- z0) z1)) z2))":8320,"(* z0 (* z1 (- (log (+ 1 (- z2))))))":7552,"(* z0 (/ z1 (* 2 (sqrt 2))))":2048,"(* z0 (/ z1 (fabs z2)))":1216,"(* z0 (log z1))":6784,"(* z0 (sin (* PI (+ z1 z1))))":7296,"(* z0 (sin (* z1 (- 1 z2))))":7296,"(* z0 (sin (* z1 z2)))":7104,"(* z0 (sin z1))":6784,"(* z0 (sqrt 2))":1024,"(* z0 (sqrt PI))":1024,"(* z0 (sqrt z1))":1024,"(+ (* (* (- z0 -1) z1) z2) (sqrt (- (- 1 z1) z1)))":2112,"(+ (* (* PI -2) z0) (asin (* (* (- z1 1) z2) z1)))":8128,"(+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2)))":8000,"(+ (* (+ PI PI) z0) (acos z1))":7168,"(+ (* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1) 1)":16192,"(+ (* (- (exp (/ PI z0)) 1) z1) 1)":7872,"(+ (* (- (fabs z0)) z1) (* z2 z2))":1152,"(+ (* (- 1 z0) (exp (/ -2 z1))) z0)":7872,"(+ (* (- 1/2 (+ z0 z0)) PI) (acos (* (* (- z1 1) z2) z1)))":8192,"(+ (* (/ (sqrt (/ (- (- 1 z0) z0) PI)) z0) z1) (- z2 -1))":3200,"(+ (* (exp (/ -2 z0)) (- 1 z1)) z1)":7872,"(+ (* (fabs z0) z1) (* (* z0 z0) 0))":1344,"(+ (* (fabs z0) z1) (* (- (- (fabs z2))) (fabs z2)))":1536,"(+ (* (fabs z0) z1) (* z2 z2))":1024,"(+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) (* z2 z0))":9152,"(+ (* z0 3/4) (* 1/8 (/ (exp (/ (- z1) z2)) (* (* PI z2) z1))))":9472,"(+ (* z0 PI) (acos (* (* (- z1 1) z2) z1)))":7808,"(+ (* z0 PI) (fabs (* z0 PI)))":1024,"(+ (* z0 PI) (fabs z1))":704,"(+ (* z0 z1) (fabs (* z0 PI)))":1024,"(+ (+ 1 z0) (* (* (/ 1 (sqrt PI)) (/ (sqrt (- (- 1 z1) z1)) z1)) z2))":4160,"(+ (+ z0 6931/10000) (log (/ 1 (* 2 z1))))":7872,"(+ (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2)))":8320,"(+ (acos (* (* (- z0 1) z1) z0)) (* PI z2))":7808,"(+ (fabs (* (+ PI PI) z0)) (* z1 1/2))":1216,"(+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)":15168,"(- (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":8640,"(- (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))":8640,"(- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2)))":8000,"(- (* PI (+ z0 z0)) (acos z1))":7168,"(- (* PI z0) (acos (* (* z1 (- 1 z2)) z2)))":7808,"(- (* z0 (sin (* (* z1 PI) z2))))":7552,"(- (* z0 (sqrt 2)))":1152,"(- (* z0 PI) (fabs (* z0 PI)))":1024,"(- (* z0 PI) (fabs z1))":704,"(- (* z0 z0) (* (- (fabs z1)) z2))":1152,"(- (* z0 z0) (* (fabs z1) z2))":1024,"(- (* z0 z1) (fabs (* z0 PI)))":1024,"(- (/ z0 (+ (* (- (exp (/ PI z1)) 1) z2) 1)) 1)":8768,"(- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2)))":8320,"(- (acos (* (* (- z0 1) z1) z0)) (* PI z2))":7808,"(- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2))":8000,"(- (acos z0) (* (+ PI PI) z1))":7168,"(- (exp (/ PI z0)) 1)":7360,"(- (exp z0) 1)":6656,"(- (fabs (* (+ PI PI) z0)))":832,"(- (fabs (* PI (+ z0 z0))))":832,"(- (log (+ 1 (* -4 z0))))":7104,"(- (log (+ 1 (- z0))))":6912,"(- (log (- 1 z0)))":6784,"(- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)":15168,"(- (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":3520,"(- (sqrt (/ (- 1 z0) z0)))":1728,"(- (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":4160,"(- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))":15168,"(- 1 (/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))))":16064,"(- 1 (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)))":16064,"(- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)))":16064,"(- 1/2 (* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))))":22144,"(/ (* (- z0) z0) (sqrt z1))":1856,"(/ (* (- z0) z1) (fabs z2))":1344,"(/ (* (exp (/ z0 (* -3 z1))) 3/4) (* z2 z0))":8832,"(/ (* (fabs z0) z1) (- z2))":1344,"(/ (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (sqrt z2))":3200,"(/ (* 1/4 (exp (/ (- z0) z1))) (* z2 z0))":8640,"(/ (* 3/4 (exp (/ (- z0) (* 3 z1)))) (* z2 z0))":8960,"(/ (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2))))":2560,"(/ (* z0 (fabs z1)) (- z2))":1344,"(/ (* z0 (fabs z1)) z2)":1216,"(/ (* z0 (sqrt 2)) (* 2 (sqrt 2)))":2688,"(/ (* z0 (sqrt 2)) (sqrt 2))":2368,"(/ (* z0 z0) (- (fabs z1)))":1344,"(/ (* z0 z0) (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2)))":16192,"(/ (* z0 z0) (fabs z1))":1216,"(/ (* z0 z0) (sqrt z1))":1728,"(/ (* z0 z1) (- (fabs z2)))":1344,"(/ (* z0 z1) (fabs z2))":1216,"(/ (* z0 z1) (sin z2))":7488,"(/ (* z0 z1) (sinh (/ 1 z2)))":8192,"(/ (* z0 z1) (sqrt 2))":1728,"(/ (+ z0 (exp (/ (- z1) z2))) PI)":8192,"(/ (- (+ (* z0 (exp (/ PI z1))) 1) z0) (- -1 z2))":8768,"(/ (- (fabs z0)) (/ z1 z2))":1728,"(/ (- (log (+ 1 (- z0)))) (+ z1 (- (- z2))))":8064,"(/ (- (log (+ 1 (- z0)))) (+ z1 z2))":7808,"(/ (- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))) (* z1 z1))":17088,"(/ (- z0 -1) (+ (* (- (exp (/ PI z1)) 1) z2) 1))":8768,"(/ (- z0) (/ (fabs z1) z2))":1728,"(/ (- z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":4224,"(/ (- z0) (sqrt z1))":1536,"(/ (/ (fabs z0) z1) (/ 1 z2))":2304,"(/ (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)) (* z2 z2))":16896,"(/ (/ 1 (/ 1 z0)) (sqrt z1))":2816,"(/ (/ 1 z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":4800,"(/ (/ z0 z1) (sqrt PI))":2112,"(/ (exp (/ (- (fabs z0)) z1)) (* z2 z1))":8448,"(/ (exp (/ (- z0) z1)) (* (* PI z1) z0))":8640,"(/ (exp (/ (- z0) z1)) (* (* z1 z0) z2))":8640,"(/ (exp (/ (- z0) z1)) (* PI z1))":8320,"(/ (exp (/ (- z0) z1)) (* z2 PI))":8320,"(/ (exp (/ (- z0) z1)) (* z2 z0))":8320,"(/ (exp (/ (- z0) z1)) (* z2 z1))":8320,"(/ (exp (/ z0 (* -3 z1))) (* (* 6 z1) z2))":8832,"(/ (exp (/ z0 (* -3 z1))) (* z2 (* PI z0)))":8832,"(/ (exp (/ z0 (* -3 z1))) (* z2 z0))":8512,"(/ (exp z0) (* (* (* 6 PI) z1) z2))":8128,"(/ (exp z0) (* (* 6 z1) (* PI z2)))":8128,"(/ (exp z0) (* (* 6 z1) z2))":7808,"(/ (exp z0) (* (* PI z1) z2))":7808,"(/ (exp z0) (* (* z1 z2) PI))":7808,"(/ (exp z0) (* PI z1))":7488,"(/ (fabs z0) (* z1 z0))":1216,"(/ (fabs z0) (* z1 z1))":1216,"(/ (fabs z0) (* z1 z2))":1216,"(/ (fabs z0) (/ z1 z2))":1600,"(/ (fabs z0) (sqrt z1))":1536,"(/ (pow z0 -2) (* (exp (/ (fabs z1) z2)) z2))":14784,"(/ (sin (* PI z0)) (* z1 (* (- z2) PI)))":8256,"(/ (sin (* PI z0)) (* z1 z0))":7808,"(/ (sin z0) (* (* (* PI z1) z1) (* (- z2) PI)))":8576,"(/ (sin z0) (* (* z1 z2) PI))":7808,"(/ (sin z0) (* z1 z2))":7488,"(/ (sin z0) (sin z1))":13568,"(/ (sin z0) z1)":7168,"(/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2)":4096,"(/ (sqrt (- (- 1 z0) z0)) (* z1 z0))":2112,"(/ (sqrt (- (- 1 z0) z0)) z0)":1792,"(/ (sqrt (/ (- (- 1 z0) z0) PI)) (* z1 z0))":2816,"(/ (sqrt (/ (- (- 1 z0) z0) PI)) z0)":2496,"(/ (sqrt (fabs z0)) (fabs (- z0 1)))":1856,"(/ (sqrt (fabs z0)) (fabs z1))":1664,"(/ (sqrt (fabs z0)) (sqrt z1))":2176,"(/ (sqrt 1/2) (/ 1 z0))":2112,"(/ (sqrt 1/2) (sqrt z0))":2048,"(/ (sqrt z0) (* (exp (* z1 z1)) z1))":8448,"(/ (sqrt z0) (- z1))":1536,"(/ (sqrt z0) (fabs (- z1 1)))":1728,"(/ (sqrt z0) (sqrt (fabs (- z1 1))))":2368,"(/ (sqrt z0) z1)":1408,"(/ -1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2)))":16512,"(/ -1 (* (log (+ 1 (* -4 z0))) z1))":8000,"(/ -1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))":15872,"(/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)))":15872,"(/ -1 (log (+ 1 (- z0))))":7488,"(/ -1 (log z0))":7168,"(/ -1 (sqrt z0))":1408,"(/ -1/2 (sqrt z0))":1408,"(/ -2 (sqrt z0))":1408,"(/ 0 (* (* (exp (/ (fabs z0) z1)) z1) z2))":8640,"(/ 0 (/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2))":4800,"(/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1)))":16512,"(/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2)))":16512,"(/ 1 (* z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":4416,"(/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1))":15872,"(/ 1 (+ z0 (/ 0 (* (- z1) (log (+ 1 (* -4 z2)))))))":9024,"(/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))":15872,"(/ 1 (/ (sin z0) z1))":7872,"(/ 1 (/ z0 (sin (* z1 (- 1 z2)))))":8384,"(/ 1 (log (+ 1 (- z0))))":7488,"(/ 1 (log z0))":7168,"(/ 1 (pow z0 -1))":7232,"(/ 1 (sin z0))":7168,"(/ 1 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":4096,"(/ 1 (sqrt (fabs (- z0 1))))":1728,"(/ 1 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":4736,"(/ 1 (sqrt z0))":1408,"(/ 1/2 (log z0))":7168,"(/ 1/2 (sqrt (fabs (/ -1 (- 1 z0)))))":2432,"(/ 1/2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":4736,"(/ 1/2 (sqrt z0))":1408,"(/ 2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":4736,"(/ 2 (sqrt z0))":1408,"(/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2)))":16512,"(/ z0 (* (fabs z1) z2))":1216,"(/ z0 (* z1 (fabs z2)))":1216,"(/ z0 (sin z1))":7168,"(/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":4096,"(/ z0 (sqrt (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":4736,"(/ z0 (sqrt 2))":1408,"(/ z0 (sqrt z1))":1408,"(acos (- z0 (+ (* z1 z0) 1)))":7168,"(asin (+ (* z0 z1) (- 1 z1)))":7168,"(asin (+ z0 (- 1 z1)))":6848,"(asin (- z0 (+ (* z1 z0) 1)))":7168,"(asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":10496,"(atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI)))))":15040,"(atan (* (/ z0 z1) z2))":7488,"(atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":14912,"(atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1))":14208,"(atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))":14912,"(atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1))":14208,"(atan (* z0 (/ z1 z2)))":7488,"(atan (* z0 (tan (+ (* (* 2 PI) z1) (* 1/2 PI)))))":14336,"(cos (* (* z0 2) PI))":7104,"(cos (* (* z0 2) z1))":7104,"(cos (* (+ PI PI) z0))":6976,"(cos (* -314159265359/50000000000 z0))":6784,"(cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))":21632,"(cos (* 314159265359/50000000000 z0))":6784,"(cos (* PI (+ z0 z0)))":6976,"(cos (* PI z0))":6784,"(cos (* z0 (+ (* z1 z2) z2)))":7296,"(cos (* z0 (+ PI PI)))":6976,"(cos (* z0 (+ z1 z1)))":6976,"(cos (* z0 (- z1 (* z2 z1))))":7296,"(cos (* z0 PI))":6784,"(cos (* z0 z1))":6784,"(cos (+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2))))":14400,"(cos (+ (* (+ PI PI) z0) z1))":7168,"(cos (+ (* -314159265359/50000000000 z0) z1))":6976,"(cos (+ (* z0 PI) z1))":6976,"(cos (+ (acos (* (* (- z0 1) z1) z0)) z2))":13888,"(cos (+ z0 (acos (* (* z1 (- 1 z2)) z2))))":13888,"(cos (+ z0 PI))":6656,"(cos (- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2))))":14400,"(cos (- (* PI (+ z0 z0)) z1))":7168,"(cos (- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2))))":14720,"(cos (- (acos (* (* (- z0 1) z1) z0)) z2))":13888,"(cos (- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2)))":14400,"(cos (- (acos (* (* z0 (- 1 z1)) z1)) z2))":13888,"(cos (- z0 (* (+ PI PI) z1)))":7168,"(cos (- z0 (acos (* (* z1 (- 1 z2)) z2))))":13888,"(fabs (* (+ (- -2 (* z0 z1)) z1) z2))":1216,"(fabs (* (+ PI PI) z0))":704,"(fabs (* (- (* z0 z1) z1) z2))":1024,"(fabs (* (- z0 (* z1 z0)) z2))":1024,"(fabs (* (fabs (- z0 (* z1 z0))) z2))":1152,"(fabs (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":8640,"(fabs (* PI (+ z0 z0)))":704,"(fabs (* PI z0))":512,"(fabs (* z0 (- (* z1 z2) z2)))":1024,"(fabs (* z0 (- z1 (* z2 z1))))":1024,"(fabs (* z0 (/ z1 z2)))":1216,"(fabs (* z0 (fabs (- z1 (* z2 z1)))))":1152,"(fabs (* z0 PI))":512,"(fabs (+ (* (* PI -2) z0) z1))":1024,"(fabs (+ (* 8/3 z0) -8/3))":704,"(fabs (- (* z0 PI) z1))":704,"(fabs (- z0 (* (- 1 z1) PI)))":896,"(fabs (fabs (* (+ PI PI) z0)))":832,"(fabs (log (+ 1 (- z0))))":6912,"(log (* z0 z0))":6784,"(log (+ 1 (* -4 z0)))":6976,"(log (+ 1 (- z0)))":6784,"(log (+ 1 z0))":6656,"(log (- 1 z0))":6656,"(log (pow z0 (- z1)))":13056,"(pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)":14976,"(pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1) 2)":14272,"(pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2)":14976,"(pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1) 2)":14272,"(pow (* z0 (- z1)) -1)":6976,"(pow (* z0 (/ z1 z2)) 2)":7552,"(pow (* z0 z1) -1)":6848,"(pow (- z0 1) (- z1))":6848,"(pow (sqrt z0) -1)":7168,"(pow (sqrt z0) 2)":7168,"(sin (* (* 2 PI) z0))":7104,"(sin (* (* z0 2) PI))":7104,"(sin (* (* z0 2) z1))":7104,"(sin (* (* z0 z1) PI))":7104,"(sin (* (* z0 z1) z2))":7104,"(sin (* (+ PI PI) z0))":6976,"(sin (* (- 1 z0) z1))":6976,"(sin (* (- z0 1) z1))":6976,"(sin (* 314159265359/50000000000 z0))":6784,"(sin (* PI (+ z0 z0)))":6976,"(sin (* PI z0))":6784,"(sin (* z0 (+ PI PI)))":6976,"(sin (* z0 (+ z1 z1)))":6976,"(sin (* z0 (- 1 z1)))":6976,"(sin (* z0 314159265359/50000000000))":6784,"(sin (* z0 PI))":6784,"(sin (* z0 z1))":6784,"(sin (+ (* (* z0 PI) z1) z2))":7296,"(sin (+ (* (* z0 z1) PI) z2))":7296,"(sin (+ (* (+ PI PI) z0) PI))":7168,"(sin (+ (* (+ PI PI) z0) z1))":7168,"(sin (+ (* (- z0) (+ PI PI)) z1))":7296,"(sin (+ (* -314159265359/50000000000 z0) (* 1/2 PI)))":7296,"(sin (+ (* -314159265359/50000000000 z0) z1))":6976,"(sin (+ (* PI z0) z1))":6976,"(sin (+ (* z0 PI) PI))":6976,"(sin (+ (* z0 PI) z1))":6976,"(sin (+ (* z0 z1) PI))":6976,"(sin (+ (* z0 z1) z2))":6976,"(sin (+ z0 (* 1/2 PI)))":6976,"(sin (+ z0 (* PI 1/2)))":6976,"(sin (+ z0 PI))":6656,"(sin (- (* z0 PI) z1))":6976,"(sin (atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI))))))":21440,"(sin (atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))))":21312,"(sinh (* (/ (- z0) z1) z2))":7616,"(sinh (/ (* z0 z1) z2))":7488,"(sqrt (* (* (- (* z0 z1) z1) (- (* z0 z1) z1)) z2))":2368,"(sqrt (* (* z0 z0) z1))":1344,"(sqrt (* (+ (* z0 z1) (- 2 z1)) z2))":1728,"(sqrt (* (+ (- -2 (* z0 z1)) z1) z2))":1728,"(sqrt (* (- (* z0 z1) z1) z2))":1536,"(sqrt (* (- (+ (* (- z0) z1) z0) 0) z2))":1856,"(sqrt (* (- (+ (* z0 z1) 2) z1) z2))":1728,"(sqrt (* (- (+ (+ (* (- z0) z1) z0) 1) 1) z2))":2048,"(sqrt (* (- (- (+ (* z0 z1) 1) z1) -1) z2))":1920,"(sqrt (* (- (- 1 z0) z0) z1))":1408,"(sqrt (* (- z0 (* z1 z0)) z2))":1536,"(sqrt (* (- z0 (+ (* z1 z0) 2)) z2))":1728,"(sqrt (* (fabs z0) z1))":1152,"(sqrt (* (log (+ 1 (- z0))) -2))":7744,"(sqrt (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2))":4352,"(sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1)))))":3136,"(sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) z2))":2496,"(sqrt (* (sqrt (fabs (/ -1/2 (- 1 z0)))) z1))":2688,"(sqrt (* (sqrt (fabs (/ 1/2 (- 1 z0)))) z1))":2688,"(sqrt (* (sqrt (fabs z0)) z1))":1792,"(sqrt (* z0 (* (- -1 (- (+ (* z1 z2) 1) z2)) (- -1 (- (+ (* z1 z2) 1) z2)))))":3136,"(sqrt (* z0 (* z1 z1)))":1344,"(sqrt (* z0 (+ (* (- z1) z2) z1)))":1664,"(sqrt (* z0 (+ (- -2 (* z1 z2)) z2)))":1728,"(sqrt (* z0 (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":3712,"(sqrt (* z0 (- (* z1 z2) z2)))":1536,"(sqrt (* z0 (- (+ (* z1 z2) (- 1 z2)) -1)))":1920,"(sqrt (* z0 (- (+ (* z1 z2) 2) z2)))":1728,"(sqrt (* z0 (- (- (+ (* (- z1) z2) z1) 2))))":1984,"(sqrt (* z0 (- z1 (* z2 z1))))":1536,"(sqrt (* z0 (- z1 (+ (* z2 z1) 2))))":1728,"(sqrt (* z0 (/ -1 (- z1 1))))":1920,"(sqrt (* z0 (fabs (- z1 (* z2 z1)))))":1664,"(sqrt (* z0 (fabs z1)))":1152,"(sqrt (* z0 (sqrt (fabs (- z1 (+ (* z2 z1) 2))))))":2496,"(sqrt (* z0 PI))":1024,"(sqrt (* z0 z1))":1024,"(sqrt (+ (* (* z0 z1) z1) z2))":1536,"(sqrt (+ (* (+ (* z0 z1) (- 2 z1)) z1) z2))":1920,"(sqrt (+ (* (- (* z0 z1) z1) z1) z2))":1728,"(sqrt (+ (* (- z0 (+ (* z1 z0) 1)) (+ (* z1 z0) (- 1 z0))) 1))":2624,"(sqrt (+ (* z0 z0) z1))":1216,"(sqrt (+ z0 (* (* (+ (* z1 z2) (- 2 z2)) z2) (- z1))))":2368,"(sqrt (+ z0 (* (- (* z1 z2) z2) (+ (* (- z1) z2) -2))))":2368,"(sqrt (+ z0 (* (- (* z1 z2) z2) (- z2 2))))":1920,"(sqrt (+ z0 (* (- (* z1 z2) z2) z2)))":1728,"(sqrt (+ z0 (* (- (+ (* z1 z2) 2) z2) z2)))":1920,"(sqrt (+ z0 (* (- (- (+ (* z1 z2) 1) z2) -1) 0)))":2112,"(sqrt (+ z0 (* (- (- (fabs z1))) (fabs z1))))":1728,"(sqrt (+ z0 (* (- 2 z1) (- z1 (* z2 z1)))))":1920,"(sqrt (+ z0 (* (- z1 (* z2 z1)) (- 2 z1))))":1920,"(sqrt (+ z0 (* (- z1 2) (- (* z2 z1) z1))))":1920,"(sqrt (+ z0 (* (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))) 0)))":4544,"(sqrt (+ z0 (* 0 (- (- (+ (* z1 z2) 1) z2) -1))))":2112,"(sqrt (+ z0 (* 0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))":4544,"(sqrt (+ z0 (* z1 z1)))":1216,"(sqrt (+ z0 (+ (* (- z1 1) (+ (* z2 z1) (- 1 z1))) 1)))":2304,"(sqrt (+ z0 (- z1 (* z2 z1))))":1408,"(sqrt (+ z0 (/ (* (sqrt (- 1 (* z1 z1))) (* z2 z2)) (sqrt (- 1 (* z1 z1))))))":4544,"(sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":3392,"(sqrt (- (* z0 z0) z1))":1216,"(sqrt (- (- 1 (- 1 (* (+ (* (- z0) z1) z0) 2))) z2))":2240,"(sqrt (- (- z0 (* z1 z0)) z2))":1408,"(sqrt (- (log (- 1 z0))))":7424,"(sqrt (/ (* 1/2 z0) z1))":1728,"(sqrt (/ (* z0 z0) z1))":1728,"(sqrt (/ (- (- 1 z0) z0) PI))":1792,"(sqrt (/ (- (- 1 z0) z0) z1))":1792,"(sqrt (/ (- 1 z0) z0))":1600,"(sqrt (/ -1 z0))":1408,"(sqrt (/ 1 z0))":1408,"(sqrt (/ PI (- (- 1 z0) z0)))":1792,"(sqrt (/ PI z0))":1408,"(sqrt (/ z0 (- (- 1 z1) z1)))":1792,"(sqrt (/ z0 (- 1 z1)))":1600,"(sqrt (/ z0 (fabs (- z1 1))))":1728,"(sqrt (/ z0 PI))":1408,"(sqrt (/ z0 z1))":1408,"(sqrt (fabs (+ (* z0 z1) (- 2 z1))))":1536,"(sqrt (fabs (+ (- -2 (* z0 z1)) z1)))":1536,"(sqrt (fabs (- (* z0 z0) (* (sqrt (- 1 (* z0 z0))) (* z1 z1)))))":3136,"(sqrt (fabs (- (* z0 z1) z1)))":1344,"(sqrt (fabs (- (+ (* z0 z1) 2) z1)))":1536,"(sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1))))":1728,"(sqrt (fabs (- z0 (* z1 z0))))":1344,"(sqrt (fabs (- z0 (+ (* z1 z0) 2))))":1536,"(sqrt (fabs (log (+ 1 (- z0)))))":7552,"(sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2)))))":2880,"(sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":4032,"(sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))":2176,"(sqrt (sqrt (fabs (- (+ (* z0 z1) 2) z1))))":2176,"(sqrt (sqrt (fabs (- z0 (+ (* z1 z0) 2)))))":2176,"(sqrt (sqrt (fabs (/ 1/2 (- 1 z0)))))":2368,"(sqrt (sqrt (fabs (log (+ 1 (- z0))))))":8192,"(sqrt (sqrt (fabs z0)))":1472,"(sqrt (sqrt z0))":1344,"(tan (+ (* (* 2 PI) z0) (* 1/2 PI)))":7616,"(tan (+ (* (* 2 PI) z0) z1))":7296,"(tan (+ (* 1/2 PI) (* (+ PI PI) z0)))":7488,"(tan (+ (* 1/2 PI) (* z0 (+ PI PI))))":7488,"(tan (+ (* 1/2 PI) z0))":6976,"(tan (+ z0 (* (+ PI PI) z1)))":7168,"(tan (+ z0 (* 1/2 PI)))":6976,"(tan (+ z0 (* z1 (+ PI PI))))":7168}