{"(* (* (* (* (- z1 1) z1) z0) z2) (- 2 z1))":2,"(* (* (* (- 1 z1) z0) z1) (- z1 2))":4,"(* (* (* (- 1 z1) z0) z1) (/ (- z1 2) z2))":4,"(* (* (* (- 2 z1) z0) z1) (* z2 (- z1 1)))":1,"(* (* (* (- 2 z1) z2) z0) z1)":1,"(* (* (* (- 2 z2) z0) (pow z1 (- z2 3))) (- z2 1))":2,"(* (* (* (- z2 1) z0) z2) (* (- 2 z2) z1))":2,"(* (* (* (- z2 2) z2) z0) (* z1 (- 1 z2)))":4,"(* (* (* (exp z0) (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6)))":3,"(* (* (* z0 (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6)))":3,"(* (* (- 1 z1) z2) (* (* (- z1 2) z1) z0))":1,"(* (* (- 2 z1) z0) (* (pow z2 (- z1 3)) (- z1 1)))":1,"(* (* (- 2 z1) z0) (pow z2 (- z1 3)))":1,"(* (* (- 2 z2) z0) (pow z1 (- z2 3)))":1,"(* (* (- 2 z2) z2) (* (pow z1 (- z2 3)) z0))":1,"(* (* (- z1 1) (pow z2 (- (- z1 2) 1))) (* z0 (* (- z1 2) z1)))":1,"(* (* (- z1 2) z2) (* (* (- 1 z1) z0) z1))":1,"(* (* (- z1) z0) z0)":4,"(* (* (- z1) z2) z0)":19,"(* (* (- z2 1) (* (exp (- z0 (* (* (- 1 z2) z1) (- 1 z2)))) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":1,"(* (* (- z2 1) (* (exp z0) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":1,"(* (* (- z2 1) (* z0 (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":1,"(* (* (- z2 2) z1) (* (* (- 1 z2) z2) z0))":1,"(* (* (/ (- z1 1) z2) z0) (- z1 2))":4,"(* (* (/ (- z2 1) z1) z0) (- z2 2))":5,"(* (* (pow z1 (- z2 1)) z0) z2)":10,"(* (* (pow z1 (- z2 3)) z0) (- 2 z2))":6,"(* (* (pow z2 (- z1 3)) z0) (* (- z1 1) z1))":2,"(* (* z0 (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":5,"(* (* z1 (/ (* (- 1 z1) z0) z2)) (- 2 z1))":1,"(* (* z1 z2) z0)":2,"(* (- -1/2 (* (* (- z2 1) z1) (- 1 z2))) z0)":1,"(* (- -2 (* (* (- z2 1) z0) 4)) z1)":2,"(* (- -2 (* (* -4 (* z1 (- 1 z2))) z0)) z1)":2,"(* (- -2 (* (- z2 1) z0)) z1)":1,"(* (- z1 1) (* (* (- z1 2) z0) (pow z2 (- z1 3))))":1,"(* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) (* z1 z0))":4,"(* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) z0)":4,"(* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) (* z2 z0))":5,"(* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) z0)":5,"(* (/ (- z1 2) z2) z0)":4,"(* (/ (- z2 2) z1) (* (* (- 1 z2) z0) z2))":2,"(* (/ (- z2 2) z1) z0)":5,"(* (/ z0 (* (* (* (- 1 z2) z1) z1) z1)) (- -1 (* (- (+ z1 z1) 3) z1)))":14,"(* (/ z0 (* (* (* z1 z1) z1) (- z2 1))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":7,"(* (exp (- z0 (* (* (- z2 1) z1) (- z2 1)))) (* (* (- 1 z2) (+ z1 z1)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6))))":3,"(* (log (fabs (sinh (* z2 z0)))) z1)":1,"(* (log (fabs (sinh z0))) z1)":1,"(* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) z0)":7,"(* (pow z1 (- z2 1)) (* z2 z0))":9,"(* (pow z1 (- z2 1)) z0)":10,"(* (pow z1 (- z2 2)) z0)":6,"(* -4 (* (- 1/2 (* (* z1 (- 1 z2)) z0)) z1))":2,"(* -4 (* (- 1/2 (* (- 1 z2) z0)) z1))":1,"(* z0 (* (* (* z1 (* (* z2 z2) z2)) z1) z1))":2,"(* z0 (* (- z1 2) z1))":2,"(* z0 (* z2 (* z1 z1)))":3,"(* z1 (log z0))":2,"(- (* z2 z2) (- z2 (* z1 z0)))":1,"(/ (* z0 (* (- z1 2) z1)) z2)":1}