{"(* (* (* (* (* (- z0 1) z1) z0) z1) z0) z2)":1856,"(* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1))":2048,"(* (* (* (* (- z0 1) z1) z0) z1) z0)":1536,"(* (* (* (* (- z0 1) z1) z0) z1) z2)":1536,"(* (* (* (* PI PI) z0) z1) z0)":1344,"(* (* (* (- 1 z0) z0) z1) z2)":1216,"(* (* (* (- z0 1) z1) z0) z1)":1216,"(* (* (* (- z0 1) z1) z0) z2)":1216,"(* (* (* (- z0 1) z1) z2) z0)":1216,"(* (* (* PI z0) PI) z1)":1024,"(* (* (* PI z0) z0) z1)":1024,"(* (* (+ PI PI) (log (fabs z0))) (- -1 (* (* (- (* z0 z0) 1) z1) z1)))":8768,"(* (* (+ z0 z0) PI) (log (fabs z1)))":7424,"(* (* (+ z0 z0) z1) z0)":896,"(* (* (- (* z0 z0) 1) z1) z1)":1216,"(* (* (- (* z0 z0) 1) z1) z2)":1216,"(* (* (- (- (* z0 z1) -2) z0) z0) z2)":1408,"(* (* (- (- (* z0 z1) -2) z1) z1) z2)":1408,"(* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1))":2048,"(* (* (- 1 z0) z0) z1)":896,"(* (* (- 1 z0) z1) z2)":896,"(* (* (- z0 1) z1) z2)":896,"(* (* (- z0) z0) (log (- 1 z1)))":7424,"(* (* (/ z0 (* z1 z1)) z2) z2)":1728,"(* (* (sinh (/ 1 z0)) (* (+ z0 z0) z0)) (exp (/ (* z1 z2) z0)))":15744,"(* (* (sinh (/ 1 z0)) 2) (exp (/ (* z1 z2) z0)))":15232,"(* (* PI PI) z0)":704,"(* (* PI z0) (exp (* z0 z0)))":7424,"(* (* PI z0) PI)":704,"(* (* PI z0) z0)":704,"(* (* PI z0) z1)":704,"(* (* z0 z1) PI)":704,"(* (* z0 z1) z1)":704,"(* (* z0 z1) z2)":704,"(* (+ (exp (/ z0 (* z1 -3))) (exp (/ (- z0) z1))) (/ 1/8 (* (* PI z0) z1)))":16576,"(* (+ PI PI) (log (fabs z0)))":7104,"(* (+ PI PI) z0)":576,"(* (+ z0 z0) (sinh (/ 1 z1)))":7680,"(* (+ z0 z0) PI)":576,"(* (- (* (- z0 1) z1) -2) z2)":1088,"(* (- (* z0 z0) 1) z1)":896,"(* (- (+ z0 z0) -1/2) PI)":768,"(* (- (- (* z0 z1) -2) z0) z2)":1088,"(* (- (- (* z0 z1) -2) z1) z2)":1088,"(* (- (- 1 z0) z0) PI)":768,"(* (- -1 (* (* (- (* z0 z0) 1) z1) z1)) z2)":1728,"(* (/ (- z0) z1) z2)":1216,"(* (/ (sin (* PI z0)) (* (* (* (* PI PI) z0) z1) z0)) z2)":9088,"(* (/ 1/8 (* (* PI z0) z1)) z2)":1728,"(* (/ z0 (* z1 z1)) z2)":1408,"(* (cos (* (+ PI PI) z0)) z1)":7296,"(* (cos (* (+ z0 z0) PI)) (sqrt (* (* (- (- (* z1 z2) -2) z1) z1) (- 1 z2))))":9472,"(* (cos (* (+ z0 z0) PI)) (sqrt (fabs (log (- 1 z1)))))":14656,"(* (cos (* (+ z0 z0) PI)) z1)":7296,"(* (cos (* 314159265359/50000000000 z0)) (sqrt (/ z1 (- 1 z1))))":8640,"(* (cos (* 314159265359/50000000000 z0)) z1)":7104,"(* (exp (/ (* z0 z1) z2)) (* (+ z2 z2) z2))":8320,"(* (log (- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)) z2)":24192,"(* (log (- (/ -1 (- (/ (- z0 1) (- (exp (/ PI z1)) -1)) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)) (- z1))":24320,"(* (log (- 1 z0)) z1)":6976,"(* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z1)":14592,"(* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z2)":14592,"(* (log (fabs z0)) z1)":6912,"(* (sin (* (* PI z0) z1)) (/ (sin (* PI z0)) (* (* (* (* z0 z0) PI) z1) PI)))":16128,"(* (sin (* (* PI z0) z1)) (/ (sin (* PI z1)) z2))":14848,"(* (sin (* (* PI z0) z1)) (sin (* PI z1)))":14144,"(* (sin (* (* PI z0) z1)) z2)":7424,"(* (sin (* (+ PI PI) z0)) (sqrt (* (* (- 1 z1) z2) (- (- (* z2 z1) -2) z2))))":9472,"(* (sin (* (+ PI PI) z0)) z1)":7296,"(* (sin (* (+ z0 z0) PI)) (sqrt (fabs (log (- 1 z1)))))":14656,"(* (sin (* (+ z0 z0) PI)) z1)":7296,"(* (sin (* (- 1 z0) z1)) z2)":7296,"(* (sin (* (- z0 1) z1)) z2)":7296,"(* (sin (* 314159265359/50000000000 z0)) z1)":7104,"(* (sin (* PI z0)) z1)":7104,"(* (sin (* z0 z1)) z2)":7104,"(* (sinh (/ 1 z0)) z1)":7488,"(* (sqrt (* (* (- (- (* z0 z1) -2) z0) z0) (- 1 z1))) z2)":2560,"(* (sqrt (* (* (- -2 (* (- z0 1) z1)) z1) (- z0 1))) (sin (* (+ PI PI) z2)))":9472,"(* (sqrt (* (* (- -2 (* (- z0 1) z1)) z1) (- z0 1))) z2)":2560,"(* (sqrt (* (* (- 1 z0) z1) (- (- (* z0 z1) -2) z1))) z2)":2560,"(* (sqrt (/ z0 (- 1 z0))) z1)":1920,"(* (sqrt (fabs (log (- 1 z0)))) z1)":7744,"(* (tan (* (- (+ z0 z0) -1/2) PI)) z1)":7488,"(* -314159265359/50000000000 z0)":384,"(* -4/3 z0)":384,"(* 16/9 z0)":384,"(* 314159265359/50000000000 z0)":384,"(* PI z0)":384,"(* z0 (/ z1 z2))":1088,"(* z0 (cos (* (+ z1 z1) PI)))":7296,"(+ (* (sin (* (+ z0 z0) PI)) z1) z2)":7488,"(+ (* z0 (cos (* (+ z1 z1) PI))) (* (sin (* (+ z1 z1) PI)) z2))":14720,"(+ (* z0 (cos (* (+ z1 z1) PI))) z2)":7488,"(+ (/ z0 (* z1 z1)) z2)":1280,"(+ (pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2) (* z2 z2))":14464,"(+ (pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2) z2)":14144,"(- (* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1)) -1)":2240,"(- (* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1)) z2)":2240,"(- (* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1)) -1)":2240,"(- (* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1)) z2)":2240,"(- (* (log (- z0 (* (- z0 1) (exp (/ -2 z1))))) z1) -1)":14784,"(- (* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z1) z2)":14784,"(- (/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0)))) (- -1 z1))":9856,"(- (/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0)))) z1)":9664,"(- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)":17472,"(- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) z2)":17472,"(- (/ z0 (- (exp (/ (- PI) z1)) -1)) (/ (- 1 z0) (- -1 (exp (/ PI z1)))))":16576,"(- -1 (* (* (- (* z0 z0) 1) z1) z1))":1408,"(- z0 (* (* (- (* z1 z1) 1) z2) z2))":1408,"(- z0 (* (exp (/ -2 z1)) (- z0 1)))":7872,"(/ (* 1/8 (+ (exp (/ (- z0) z1)) (exp (/ z0 (* z1 -3))))) (* PI z2))":16256,"(/ (* z0 z0) z1)":1088,"(/ (* z0 z1) z2)":1088,"(/ (- 1 (* z0 z0)) (* (* (log z0) (+ PI PI)) (- -1 (* (* (- (* z0 z0) 1) z1) z1))))":9856,"(/ (- 1 (* z0 z0)) z1)":1280,"(/ (- PI) z0)":896,"(/ (pow (- -1 (exp (/ (- z0) z1))) -2) (* (exp (/ z0 z1)) z1))":22080,"(/ (sin (* PI z0)) (* (* (* (* PI PI) z0) z1) z0))":8768,"(/ (sin (* PI z0)) z1)":7488,"(/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0))))":9472,"(/ (sqrt (* (- (- 1 z0) z0) PI)) z1)":2112,"(/ -1 (- (- -1 z0) (/ (sqrt (* (- (- 1 z1) z1) PI)) (* (exp (* z1 z1)) (* PI z1)))))":10560,"(/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1))))":17280,"(/ -1/3 z0)":768,"(/ 1/8 (* (* PI z0) z1))":1408,"(/ PI z0)":768,"(/ z0 (* (* (* (* PI PI) z1) z2) z1))":2048,"(/ z0 (* (* (+ PI PI) (log (fabs z1))) (- -1 (* (* (- (* z1 z1) 1) z2) z2))))":9472,"(/ z0 (* (* PI z1) (exp (* z1 z1))))":8128,"(/ z0 (* (* PI z1) z2))":1408,"(/ z0 (* -3 z1))":1088,"(/ z0 (* 6 PI))":1088,"(/ z0 (* z1 -3))":1088,"(/ z0 (* z1 z1))":1088,"(/ z0 (* z1 z2))":1088,"(/ z0 (- (/ (sqrt (* (- (- 1 z1) z1) PI)) (* (* PI z1) (exp (* z1 z1)))) (- -1 z2)))":10560,"(/ z0 (- (/ z1 (- (exp (/ (- PI) z2)) -1)) (/ (- 1 z1) (- -1 (exp (/ PI z2))))))":17280,"(/ z0 (sin z1))":7168,"(/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":4096,"(/ z0 PI)":768,"(asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":10496,"(cos (* (+ PI PI) z0))":6976,"(cos (* (+ z0 z0) PI))":6976,"(cos (* 314159265359/50000000000 z0))":6784,"(fabs (log (- 1 z0)))":6784,"(log (- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1))":23872,"(log (- 1 z0))":6656,"(log (- z0 (* (exp (/ -2 z1)) (- z0 1))))":14272,"(pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2)":13952,"(pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) z2)":13952,"(sin (* (* PI z0) z1))":7104,"(sin (* (+ PI PI) z0))":6976,"(sin (* (+ z0 z0) PI))":6976,"(sin (* (- 1 z0) z1))":6976,"(sin (* (- z0 1) z1))":6976,"(sin (* 314159265359/50000000000 z0))":6784,"(sin (* PI z0))":6784,"(sin (* z0 z1))":6784,"(sqrt (* (- (- 1 z0) z0) PI))":1408,"(sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":3392,"(sqrt (fabs (log (- 1 z0))))":7424,"(tan (* (- (+ z0 z0) -1/2) PI))":7168}