{"(* (* (* (* (* (- z0 1) z1) z0) z1) z0) z2)":3,"(* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1))":2,"(* (* (* (* (- z0 1) z1) z0) z1) z0)":3,"(* (* (* (* (- z0 1) z1) z0) z1) z2)":3,"(* (* (* (* PI PI) z0) z1) z0)":9,"(* (* (* (- 1 z0) z0) z1) z2)":2,"(* (* (* (- z0 1) z1) z0) z1)":3,"(* (* (* (- z0 1) z1) z0) z2)":5,"(* (* (* (- z0 1) z1) z2) z0)":8,"(* (* (* PI z0) PI) z1)":5,"(* (* (* PI z0) z0) z1)":4,"(* (* (+ PI PI) (log (fabs z0))) (- -1 (* (* (- (* z0 z0) 1) z1) z1)))":5,"(* (* (+ z0 z0) PI) (log (fabs z1)))":5,"(* (* (+ z0 z0) z1) z0)":2,"(* (* (- (* z0 z0) 1) z1) z1)":5,"(* (* (- (* z0 z0) 1) z1) z2)":5,"(* (* (- (- (* z0 z1) -2) z0) z0) z2)":3,"(* (* (- (- (* z0 z1) -2) z1) z1) z2)":2,"(* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1))":3,"(* (* (- 1 z0) z0) z1)":2,"(* (* (- 1 z0) z1) z2)":5,"(* (* (- z0 1) z1) z2)":11,"(* (* (- z0) z0) (log (- 1 z1)))":2,"(* (* (/ z0 (* z1 z1)) z2) z2)":2,"(* (* (sinh (/ 1 z0)) (* (+ z0 z0) z0)) (exp (/ (* z1 z2) z0)))":3,"(* (* (sinh (/ 1 z0)) 2) (exp (/ (* z1 z2) z0)))":2,"(* (* PI PI) z0)":5,"(* (* PI z0) (exp (* z0 z0)))":3,"(* (* PI z0) PI)":5,"(* (* PI z0) z0)":4,"(* (* PI z0) z1)":24,"(* (* z0 z1) PI)":11,"(* (* z0 z1) z1)":2,"(* (* z0 z1) z2)":6,"(* (+ (exp (/ z0 (* z1 -3))) (exp (/ (- z0) z1))) (/ 1/8 (* (* PI z0) z1)))":4,"(* (+ PI PI) (log (fabs z0)))":5,"(* (+ PI PI) z0)":12,"(* (+ z0 z0) (sinh (/ 1 z1)))":2,"(* (+ z0 z0) PI)":26,"(* (- (* (- z0 1) z1) -2) z2)":5,"(* (- (* z0 z0) 1) z1)":10,"(* (- (+ z0 z0) -1/2) PI)":3,"(* (- (- (* z0 z1) -2) z0) z2)":3,"(* (- (- (* z0 z1) -2) z1) z2)":2,"(* (- (- 1 z0) z0) PI)":3,"(* (- -1 (* (* (- (* z0 z0) 1) z1) z1)) z2)":5,"(* (/ (- z0) z1) z2)":4,"(* (/ (sin (* PI z0)) (* (* (* (* PI PI) z0) z1) z0)) z2)":5,"(* (/ 1/8 (* (* PI z0) z1)) z2)":3,"(* (/ z0 (* z1 z1)) z2)":7,"(* (cos (* (+ PI PI) z0)) z1)":3,"(* (cos (* (+ z0 z0) PI)) (sqrt (* (* (- (- (* z1 z2) -2) z1) z1) (- 1 z2))))":3,"(* (cos (* (+ z0 z0) PI)) (sqrt (fabs (log (- 1 z1)))))":2,"(* (cos (* (+ z0 z0) PI)) z1)":8,"(* (cos (* 314159265359/50000000000 z0)) (sqrt (/ z1 (- 1 z1))))":4,"(* (cos (* 314159265359/50000000000 z0)) z1)":4,"(* (exp (/ (* z0 z1) z2)) (* (+ z2 z2) z2))":2,"(* (log (- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)) z2)":2,"(* (log (- (/ -1 (- (/ (- z0 1) (- (exp (/ PI z1)) -1)) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)) (- z1))":2,"(* (log (- 1 z0)) z1)":3,"(* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z1)":2,"(* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z2)":2,"(* (log (fabs z0)) z1)":5,"(* (sin (* (* PI z0) z1)) (/ (sin (* PI z0)) (* (* (* (* z0 z0) PI) z1) PI)))":9,"(* (sin (* (* PI z0) z1)) (/ (sin (* PI z1)) z2))":4,"(* (sin (* (* PI z0) z1)) (sin (* PI z1)))":4,"(* (sin (* (* PI z0) z1)) z2)":9,"(* (sin (* (+ PI PI) z0)) (sqrt (* (* (- 1 z1) z2) (- (- (* z2 z1) -2) z2))))":2,"(* (sin (* (+ PI PI) z0)) z1)":10,"(* (sin (* (+ z0 z0) PI)) (sqrt (fabs (log (- 1 z1)))))":3,"(* (sin (* (+ z0 z0) PI)) z1)":10,"(* (sin (* (- 1 z0) z1)) z2)":6,"(* (sin (* (- z0 1) z1)) z2)":6,"(* (sin (* 314159265359/50000000000 z0)) z1)":2,"(* (sin (* PI z0)) z1)":4,"(* (sin (* z0 z1)) z2)":12,"(* (sinh (/ 1 z0)) z1)":7,"(* (sqrt (* (* (- (- (* z0 z1) -2) z0) z0) (- 1 z1))) z2)":3,"(* (sqrt (* (* (- -2 (* (- z0 1) z1)) z1) (- z0 1))) (sin (* (+ PI PI) z2)))":5,"(* (sqrt (* (* (- -2 (* (- z0 1) z1)) z1) (- z0 1))) z2)":6,"(* (sqrt (* (* (- 1 z0) z1) (- (- (* z0 z1) -2) z1))) z2)":2,"(* (sqrt (/ z0 (- 1 z0))) z1)":5,"(* (sqrt (fabs (log (- 1 z0)))) z1)":5,"(* (tan (* (- (+ z0 z0) -1/2) PI)) z1)":5,"(* -314159265359/50000000000 z0)":8,"(* -4/3 z0)":2,"(* 16/9 z0)":2,"(* 314159265359/50000000000 z0)":4,"(* PI z0)":99,"(* z0 (/ z1 z2))":4,"(* z0 (cos (* (+ z1 z1) PI)))":5,"(+ (* (sin (* (+ z0 z0) PI)) z1) z2)":5,"(+ (* z0 (cos (* (+ z1 z1) PI))) (* (sin (* (+ z1 z1) PI)) z2))":5,"(+ (* z0 (cos (* (+ z1 z1) PI))) z2)":5,"(+ (/ z0 (* z1 z1)) z2)":2,"(+ (pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2) (* z2 z2))":2,"(+ (pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2) z2)":2,"(- (* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1)) -1)":2,"(- (* (* (* (* (- 1 z0) z0) z1) z0) (* (- z0 1) z1)) z2)":2,"(- (* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1)) -1)":3,"(- (* (* (- 1 z0) z0) (* (* (* (- z0 1) z1) z0) z1)) z2)":3,"(- (* (log (- z0 (* (- z0 1) (exp (/ -2 z1))))) z1) -1)":2,"(- (* (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))) z1) z2)":2,"(- (/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0)))) (- -1 z1))":3,"(- (/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0)))) z1)":3,"(- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1)":2,"(- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) z2)":2,"(- (/ z0 (- (exp (/ (- PI) z1)) -1)) (/ (- 1 z0) (- -1 (exp (/ PI z1)))))":2,"(- -1 (* (* (- (* z0 z0) 1) z1) z1))":5,"(- z0 (* (* (- (* z1 z1) 1) z2) z2))":5,"(- z0 (* (exp (/ -2 z1)) (- z0 1)))":2,"(/ (* 1/8 (+ (exp (/ (- z0) z1)) (exp (/ z0 (* z1 -3))))) (* PI z2))":2,"(/ (* z0 z0) z1)":6,"(/ (* z0 z1) z2)":8,"(/ (- 1 (* z0 z0)) (* (* (log z0) (+ PI PI)) (- -1 (* (* (- (* z0 z0) 1) z1) z1))))":5,"(/ (- 1 (* z0 z0)) z1)":5,"(/ (- PI) z0)":4,"(/ (pow (- -1 (exp (/ (- z0) z1))) -2) (* (exp (/ z0 z1)) z1))":4,"(/ (sin (* PI z0)) (* (* (* (* PI PI) z0) z1) z0))":5,"(/ (sin (* PI z0)) z1)":5,"(/ (sqrt (* (- (- 1 z0) z0) PI)) (* (* PI z0) (exp (* z0 z0))))":3,"(/ (sqrt (* (- (- 1 z0) z0) PI)) z1)":3,"(/ -1 (- (- -1 z0) (/ (sqrt (* (- (- 1 z1) z1) PI)) (* (exp (* z1 z1)) (* PI z1)))))":3,"(/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1))))":2,"(/ -1/3 z0)":4,"(/ 1/8 (* (* PI z0) z1))":3,"(/ PI z0)":4,"(/ z0 (* (* (* (* PI PI) z1) z2) z1))":9,"(/ z0 (* (* (+ PI PI) (log (fabs z1))) (- -1 (* (* (- (* z1 z1) 1) z2) z2))))":5,"(/ z0 (* (* PI z1) (exp (* z1 z1))))":3,"(/ z0 (* (* PI z1) z2))":3,"(/ z0 (* -3 z1))":2,"(/ z0 (* 6 PI))":2,"(/ z0 (* z1 -3))":8,"(/ z0 (* z1 z1))":13,"(/ z0 (* z1 z2))":2,"(/ z0 (- (/ (sqrt (* (- (- 1 z1) z1) PI)) (* (* PI z1) (exp (* z1 z1)))) (- -1 z2)))":3,"(/ z0 (- (/ z1 (- (exp (/ (- PI) z2)) -1)) (/ (- 1 z1) (- -1 (exp (/ PI z2))))))":2,"(/ z0 (sin z1))":6,"(/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":4,"(/ z0 PI)":2,"(asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":2,"(cos (* (+ PI PI) z0))":3,"(cos (* (+ z0 z0) PI))":8,"(cos (* 314159265359/50000000000 z0))":4,"(fabs (log (- 1 z0)))":5,"(log (- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1))":2,"(log (- 1 z0))":10,"(log (- z0 (* (exp (/ -2 z1)) (- z0 1))))":2,"(pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) 2)":2,"(pow (* (tan (* (- (+ z0 z0) -1/2) PI)) z1) z2)":2,"(sin (* (* PI z0) z1))":9,"(sin (* (+ PI PI) z0))":10,"(sin (* (+ z0 z0) PI))":5,"(sin (* (- 1 z0) z1))":3,"(sin (* (- z0 1) z1))":3,"(sin (* 314159265359/50000000000 z0))":2,"(sin (* PI z0))":9,"(sin (* z0 z1))":6,"(sqrt (* (- (- 1 z0) z0) PI))":3,"(sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":2,"(sqrt (fabs (log (- 1 z0))))":5,"(tan (* (- (+ z0 z0) -1/2) PI))":3}