{"(* (* (* (* (* (* (* (* (* z0 z0) z0) z1) z2) z1) -2) z1) z1) z0)":1,"(* (* (* (* (* (* (* z0 z0) z0) z1) -2) z2) z1) z0)":6,"(* (* (* (* (* (* (* z0 z0) z1) z0) z1) z0) z2) (* (* -2 z1) z1))":1,"(* (* (* (* (* (* (* z0 z1) z2) z0) -2) z0) z2) z2)":4,"(* (* (* (* (* (* z0 z0) z1) z0) z1) (* z2 z1)) (* (* -2 z1) z0))":1,"(* (* (* (* (* -2 z0) z1) z2) z1) z2)":13,"(* (* (* (* (* z0 (* (* z1 z1) z1)) z0) z1) z0) z2)":1,"(* (* (* (* (* z0 z0) z0) z0) z1) z2)":7,"(* (* (* (* (* z0 z0) z0) z1) z0) (* (* (* -2 z1) z2) z1))":1,"(* (* (* (* (* z0 z0) z0) z1) z1) (* (* (* (* -2 z2) z1) z0) z1))":6,"(* (* (* (* (* z0 z0) z0) z1) z2) z2)":2,"(* (* (* (* (* z0 z1) z1) z0) z0) z1)":6,"(* (* (* (* (- 1 z0) z0) z1) (- z0 2)) (pow z2 (- z0 3)))":1,"(* (* (* (* (- 1 z0) z1) z0) (pow z2 (- z0 3))) (- z0 2))":2,"(* (* (* (* (- 1 z0) z1) z1) -4) (- z0 1))":1,"(* (* (* (* (- 2 z0) z0) z1) (- z0 1)) (pow z2 (- z0 3)))":2,"(* (* (* (* (- z0 1) z1) z0) (pow z2 (- z0 3))) (- 2 z0))":3,"(* (* (* (* (- z0 1) z1) z1) -4) (- 1 z0))":4,"(* (* (* (* (- z0) z1) z0) z2) z2)":1,"(* (* (* (* (pow z0 (- z1 1)) z2) z1) (- z1 1)) (- 2 z1))":1,"(* (* (* (* -2 z0) z0) z1) z2)":1,"(* (* (* (* -2 z0) z1) z2) z1)":20,"(* (* (* (* -2 z0) z1) z2) z2)":1,"(* (* (* (* z0 (* (* z1 z1) z1)) z0) z1) z0)":1,"(* (* (* (* z0 z0) z0) z0) z1)":21,"(* (* (* (* z0 z0) z0) z1) z2)":2,"(* (* (* (* z0 z0) z1) -2) z2)":1,"(* (* (* (* z0 z0) z1) z0) z1)":2,"(* (* (* (* z0 z1) z1) z2) z2)":4,"(* (* (* (* z0 z1) z2) z1) z0)":1,"(* (* (* (- (- 1 z0) z0) z0) z1) z2)":24,"(* (* (* (- (- 1 z0) z0) z1) z0) (pow (- (* (- z2 2) z2) -1) (- z0 1)))":2,"(* (* (* (- 1 z0) z1) z0) (pow z2 (- z0 3)))":2,"(* (* (* (- 1 z0) z1) z1) z1)":4,"(* (* (* (- 1 z0) z1) z2) z1)":3,"(* (* (* (- 2 z0) z0) z1) (- 1 z0))":2,"(* (* (* (- 2 z0) z0) z1) (pow z2 (- z0 2)))":2,"(* (* (* (- z0 1) z0) z1) (pow z2 (- z0 2)))":1,"(* (* (* (- z0 1) z0) z1) z2)":6,"(* (* (* (- z0 1) z1) 4) z2)":1,"(* (* (* (- z0 1) z1) z0) (pow z2 (- z0 3)))":13,"(* (* (* (- z0 1) z1) z1) z2)":10,"(* (* (* (pow z0 (- z1 1)) z1) z2) (- 1 z1))":1,"(* (* (* (pow z0 (- z1 1)) z2) z1) (- z1 1))":1,"(* (* (* (pow z0 (- z1 2)) z1) z2) (- z1 1))":2,"(* (* (* -2 z0) z0) (* (* (* z1 z2) z0) z0))":1,"(* (* (* -2 z0) z1) z1)":7,"(* (* (* -2 z0) z1) z2)":60,"(* (* (* 4 (* (- 1 z0) z1)) z2) z1)":4,"(* (* (* z0 (* (* z1 z1) z1)) z0) z1)":1,"(* (* (* z0 (* z1 (* (* z2 z2) z2))) z0) z0)":6,"(* (* (* z0 (* z1 (* (* z2 z2) z2))) z1) z2)":1,"(* (* (* z0 z0) z1) (* (- z2) z2))":2,"(* (* (* z0 z0) z1) z0)":4,"(* (* (* z0 z1) z1) z0)":5,"(* (* (* z0 z1) z2) z2)":4,"(* (* (+ (+ (* z0 z1) z2) z2) z0) z0)":1,"(* (* (+ (+ (* z0 z1) z2) z2) z1) z1)":1,"(* (* (+ z0 z0) z1) (- 1 z2))":4,"(* (* (+ z0 z0) z1) (pow (- (* (- z2 2) z2) -1) (- z1 1)))":18,"(* (* (+ z0 z0) z1) z2)":18,"(* (* (- (* (+ z0 z0) z0) z0) z1) z2)":2,"(* (* (- (* (- (* (- z0 2) z0) -1) z1) 1/2) 4) z1)":1,"(* (* (- (* (- (+ z0 z0) 3) z0) -1) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) (/ z2 (* (* (* (- z1 1) z0) z0) z0)))":12,"(* (* (- (* (- z0 2) z0) -1) (- z0 1)) z1)":2,"(* (* (- (* (- z0 2) z0) -1) z1) -4)":1,"(* (* (- (- 1 z0) z0) z0) z1)":61,"(* (* (- (- 1 z0) z0) z1) (* z0 z2))":2,"(* (* (- (- 1 z0) z0) z1) z2)":2,"(* (* (- -1 (* (- (+ z0 z0) 3) z0)) (/ z1 (* (* (* (- 1 z2) z0) z0) z0))) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1)))":6,"(* (* (- -1 (* (- (+ z0 z0) 3) z0)) z1) z2)":3,"(* (* (- 1 z0) (/ z1 (* z0 z0))) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1)))":6,"(* (* (- 1 z0) z0) (* (- 2 z0) z1))":1,"(* (* (- 1 z0) z1) (+ z2 z2))":1,"(* (* (- 1 z0) z1) z2)":22,"(* (* (- 2 z0) z1) (* (pow z2 (- z0 3)) (* (- z0 1) z0)))":13,"(* (* (- 2 z0) z1) (* (pow z2 (- z0 3)) z0))":5,"(* (* (- 2 z0) z1) (* z0 (/ (- z0 1) z2)))":3,"(* (* (- 2 z0) z1) z2)":17,"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- z2 1) (- z2 1)) (- z0 1)))":5,"(* (* (- z0 (* (+ z0 z0) z0)) z1) z2)":5,"(* (* (- z0 1) z0) z1)":24,"(* (* (- z0 1) z1) z2)":11,"(* (* (- z0 2) z0) (* (* (pow z1 (- z0 2)) z2) (- 1 z0)))":1,"(* (* (- z0 2) z1) (pow z2 (- z0 3)))":5,"(* (* (- z0 2) z1) z0)":4,"(* (* (- z0) z1) (pow z2 (- z1 1)))":22,"(* (* (- z0) z1) z2)":37,"(* (* (/ (- 1 z0) (* z0 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) z2)":9,"(* (* (/ (- z0 1) z1) z2) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)))":4,"(* (* (/ z0 (* z1 z1)) z0) (* (- z2 1) (- z2 1)))":1,"(* (* (/ z0 (* z1 z1)) z0) (pow (- (* (- z2 2) z2) -1) (/ (- 1 z1) z1)))":7,"(* (* (/ z0 (* z1 z1)) z0) z2)":1,"(* (* (/ z0 (* z1 z1)) z2) z2)":10,"(* (* (/ z0 (tanh (* (* z1 z2) z0))) (- 1 (pow (tanh (* (* z1 z2) z0)) -2))) z1)":13,"(* (* (/ z0 z1) z0) z2)":1,"(* (* (/ z0 z1) z2) z0)":2,"(* (* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) (- 1 z0)) (* (/ z2 z1) z2))":1,"(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* (- z0 1) (* (* z1 z1) z1)))) z2)":4,"(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)) (- z0 1))":1,"(* (* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- 1 z1)) (/ z2 (* z1 z1)))":1,"(* (* (pow (- (* (- z0 2) z0) -1) (- z1 1)) (* (- (+ z1 z1) 1) z1)) z2)":2,"(* (* (pow z0 (- z1 2)) z1) (* (- 1 z1) z2))":8,"(* (* (pow z0 (- z1 2)) z1) z2)":1,"(* (* (pow z0 (- z1 2)) z2) (- 1 z1))":2,"(* (* (pow z0 (- z1 2)) z2) (- z1))":8,"(* (* (pow z0 (- z1 2)) z2) z1)":2,"(* (* (pow z0 (- z1 3)) (* (* (- z1 2) z2) z1)) (- 1 z1))":2,"(* (* (pow z0 (- z1 3)) (* (- 2 z1) z1)) (* (- z1 1) z2))":1,"(* (* (pow z0 (- z1 3)) (* (- 2 z1) z2)) (* (- z1 1) z1))":5,"(* (* (pow z0 (- z1 3)) (- z1 2)) (* (* (- 1 z1) z2) z1))":9,"(* (* -12 (- z0 1)) z1)":1,"(* (* -4 (* (- z0 1) z1)) (- (* (- z0 2) z0) -1))":2,"(* (* 4 (* (- 1 z0) z1)) z2)":4,"(* (* z0 (* (* (- (- 2 z1) z1) z2) z2)) (- (* (* 4 z2) (* (- 1 z1) (- 1 z1))) 6))":4,"(* (* z0 (* (* z1 z1) z1)) z0)":2,"(* (* z0 (* z1 (* (* z2 z2) z2))) z1)":1,"(* (* z0 (- z1 1)) (pow (- (* (- z1 2) z1) -1) (- (/ 1/2 z2) 1)))":2,"(* (* z0 z0) z1)":33,"(* (* z0 z1) z1)":34,"(* (* z0 z1) z2)":264,"(* (+ (* z0 z1) z2) (+ (* z0 z1) z2))":4,"(* (- (* (* (- (* (- z0 2) z0) -1) 4) z1) 6) (* (* (- (- 2 z0) z0) z1) z1))":4,"(* (- (* (* (- (* (- z0 2) z0) -1) z1) 4) 6) z2)":1,"(* (- (* (* (- 1 z0) 4) (* (- z0 1) z1)) -6) (* (- z0 1) z2))":2,"(* (- (* (* (- 1 z0) z1) (- 1 z0)) 1/2) (* 4 z1))":2,"(* (- (* (* (- z0 1) z1) (- z0 1)) 1/2) z2)":2,"(* (- (* (* 4 z0) (* (- 1 z1) (- 1 z1))) 6) z0)":4,"(* (- (* (* 4 z0) (* (- z1 1) (- z1 1))) 6) (* z0 z2))":4,"(* (- (* (+ z0 z0) z0) z0) z1)":4,"(* (- (* (- (+ z0 z0) 3) z0) -1) (/ z1 (* (* z2 z0) z0)))":4,"(* (- (* (- (+ z0 z0) 3) z0) -1) z1)":15,"(* (- (* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4) (* (pow (tanh (* (* z0 z1) z2)) -4) 3)) (* (* (* (* (* z2 z2) z2) z2) z1) (+ z1 z1)))":6,"(* (- (* (- z0 2) z0) -1) z1)":35,"(* (- (+ (* z0 z1) z2) 2) (* (- (+ (* z0 z1) z2) 1) (+ (* z0 z1) z2)))":5,"(* (- (+ z0 z0) 1) (* (pow (* (- z1 1) (- z1 1)) (- z0 1)) (* z0 z2)))":8,"(* (- (/ (- (* -3 z0) -1) (* z0 z0)) -2) z1)":8,"(* (- (/ z0 z1) z0) z2)":8,"(* (- -1 (* (- (+ z0 z0) 3) z0)) z1)":7,"(* (- 1 (+ (* z0 z1) z2)) z2)":1,"(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (* (* (* z1 z2) z2) (/ (* (* z1 z1) z2) (tanh (* (* z0 z1) z2)))))":1,"(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z1 z2) (tanh (* (* z0 z1) z2))))":1,"(* (- 1 z0) (* (pow z1 (- z0 1)) z2))":1,"(* (- 1 z0) (/ z1 (* z0 z0)))":9,"(* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4)":6,"(* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) 4)":13,"(* (- 6 (* (* (- (* (- z0 2) z0) -1) z1) 4)) (- z0 1))":2,"(* (- z0 1) (* (* z1 z1) z1))":2,"(* (- z0) (pow z1 (- z2 1)))":1,"(* (- z0) (pow z1 (- z2 2)))":2,"(* (/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) (* (* (* z0 z0) z0) (- z2 1))) (pow (- (* (- z2 2) z2) -1) (- (/ 1/2 z0) 1)))":2,"(* (/ (* (- z0 1) z0) z1) z2)":2,"(* (/ (+ z0 z0) z1) (pow (- (* (- z2 2) z2) -1) (- (/ 1/2 z1) 1)))":8,"(* (/ (+ z0 z0) z1) z2)":17,"(* (/ (- (* (- (+ z0 z0) 3) z0) -1) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1)))":6,"(* (/ (- -1 (* (- (+ z0 z0) 3) z0)) (* (* (* (- 1 z1) z0) z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)))":1,"(* (/ (- 1 z0) (* z0 z0)) (* z1 z2))":9,"(* (/ (- 1 z0) z0) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)))":6,"(* (/ (- 1 z0) z1) (* (* (- z0 2) z2) z0))":2,"(* (/ (- 2 z0) z1) z2)":5,"(* (/ (- z0 1) z1) z2)":4,"(* (/ (- z0 2) z1) z2)":13,"(* (/ (- z0) z1) z2)":3,"(* (/ z0 (* (* (* (- 1 z1) z2) z2) z2)) (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)))":4,"(* (/ z0 (* z1 z1)) (* z2 z2))":9,"(* (/ z0 (* z1 z1)) z0)":20,"(* (/ z0 (tanh (* (* z1 z2) z0))) (- 1 (pow (tanh (* (* z1 z2) z0)) -2)))":2,"(* (/ z0 z1) (pow (* (- -1 (* (- z2 2) z2)) (- -1 (* (- z2 2) z2))) (- (/ 1/2 z1) 1)))":6,"(* (/ z0 z1) z0)":8,"(* (/ z0 z1) z2)":77,"(* (exp z0) (pow z1 z2))":1,"(* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) (* (/ z2 z1) z2))":6,"(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1)) (* (- 1 z0) z2))":1,"(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1)) (- 1 z0))":1,"(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1/2)) (* (/ z2 z1) z2))":7,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":18,"(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) z2)":5,"(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) (* z2 z2))":7,"(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) z2)":2,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":140,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":6,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (* (- (* (- (+ z1 z1) 3) z1) -1) z2))":5,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ z2 z1) z2))":23,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ (+ z2 z2) z1))":9,"(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1))":2,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* (* (- (- 1 z1) z1) z1) z2))":4,"(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* z1 z2))":8,"(* (pow (* (- z0 1) (- z0 1)) (/ (- 1 z1) z1)) (* (/ z2 (* z1 z1)) z2))":14,"(* (pow (* (- z0 1) (- z0 1)) (/ (- 1 z1) z1)) (* (/ z2 z1) z2))":3,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1 z1) 2)) z2)":3,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (* (/ (- z0 1) z1) z2))":2,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (* (- (+ z1 z1) 3) z1) -1))":6,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (/ z2 z1) z2))":12,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- z0 1))":2,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (/ (- 1 z1) z1))":14,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (/ (- z0 1) z1))":2,"(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) z2)":69,"(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))":21,"(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) z2)":56,"(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (* (/ z2 z1) z2))":2,"(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (* z2 z2))":1,"(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (/ z2 z1))":5,"(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) z2)":37,"(* (pow (- (* (- z0 2) z0) -1) (/ 1/2 z1)) z2)":198,"(* (pow (- (* (- z0 2) z0) -1) z1) z2)":136,"(* (pow (tanh (* (* z0 z1) z2)) -2) 3)":4,"(* (pow (tanh (* (* z0 z1) z2)) -2) 4)":6,"(* (pow (tanh (* (* z0 z1) z2)) -3) 3)":1,"(* (pow (tanh (* (* z0 z1) z2)) -4) 3)":6,"(* (pow z0 (- z1 1)) z2)":21,"(* (pow z0 (- z1 2)) (* (- z1 1) z1))":1,"(* (pow z0 (- z1 2)) z1)":3,"(* (pow z0 (- z1 2)) z2)":17,"(* (pow z0 (- z1 3)) (* (* (* (- z1 2) z2) z1) (- 1 z1)))":2,"(* (pow z0 (- z1 3)) (* (- z1 1) z1))":13,"(* (pow z0 (- z1 3)) (* z2 z1))":13,"(* (pow z0 (- z1 3)) (- z1 2))":5,"(* (pow z0 (- z1 3)) z1)":13,"(* (pow z0 (- z1 3)) z2)":13,"(* (pow z0 z1) (exp z2))":2,"(* -2 (* (* (* z0 (* (* z1 z1) z1)) z0) z1))":6,"(* -2 (* (* (* z0 z1) z2) z2))":1,"(* -3 (pow (tanh (* (* z0 z1) z2)) -4))":13,"(* z0 (* (* z1 z1) z1))":30,"(* z0 (* (- z1 1) z2))":9,"(* z0 (* z1 (* (* z2 z2) z2)))":2,"(* z0 (/ (- z0 1) z1))":4,"(* z0 (pow (* (- -1 (* (- z1 2) z1)) (- -1 (* (- z1 2) z1))) (- (/ 1/2 z2) 1)))":7,"(- (* (* (* (* (- 1 z0) z1) z1) -4) (- z0 1)) z2)":1,"(- (* (* (* (* (- z0 1) z1) z1) -4) (- 1 z0)) z2)":4,"(- (* (* (- (* (- z0 2) z0) -1) z1) 4) 6)":1,"(- (* (* -4 (* (- z0 1) z1)) (- (* (- z0 2) z0) -1)) z2)":2,"(- (* (- (* (- z0 2) z0) -1) z1) 1/2)":2,"(- (* (- (* (- z0 2) z0) -1) z1) z2)":2,"(- (* (pow (tanh (* (* z0 z1) z2)) -2) -3) -4)":4,"(- (* (pow (tanh (* (* z0 z1) z2)) -2) 4) (* (pow (tanh (* (* z0 z1) z2)) -4) 3))":2,"(- (* (pow (tanh (* (* z0 z1) z2)) -3) -3) (/ -4 (tanh (* (* z0 z1) z2))))":2,"(- (* (pow (tanh (* (* z0 z1) z2)) -4) 3) (* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4))":21,"(- (* -3 (+ (* z0 z1) z2)) -2)":5,"(- (- (tanh (* (* z0 z1) z2)) (/ 4 (tanh (* (* z0 z1) z2)))) (* (pow (tanh (* (* z0 z1) z2)) -3) -3))":3,"(- (/ (- (* -3 z0) -1) (* z0 z0)) -2)":4,"(- (/ 4 (tanh (* (* z0 z1) z2))) (tanh (* (* z0 z1) z2)))":1,"(- 1 (pow (tanh (* (* z0 z1) z2)) -2))":19,"(- 1/4 (pow (tanh (* (* z0 z1) z2)) -2))":13,"(- z0 (* (* (pow (tanh (* (* z1 z2) z0)) -2) z0) (- (* (pow (tanh (* (* z1 z2) z0)) -2) -3) -4)))":1,"(- z0 (/ (- (* z1 3) 1) (* z1 z1)))":4,"(/ (* (* z0 (* (* z1 z1) z1)) z0) (tanh (* (* z2 z0) z1)))":1,"(/ (* (* z0 (* (* z1 z1) z1)) z0) z2)":1,"(/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) (* (- z2 1) (* (* z0 z0) z0)))":2,"(/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) z2)":2,"(/ (* (- 2 z0) z1) z2)":2,"(/ (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (* (- (* (- (+ z1 z1) 3) z1) -1) z2)) (* (* (* (- z0 1) z1) z1) z1))":4,"(/ (* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (* (- (+ z1 z1) 3) z1) -1)) (* (* (* (- z0 1) z1) z1) z1))":6,"(/ (* z0 (- (* (- (+ z1 z1) 3) z1) -1)) (* (- z2 1) (* (* z1 z1) z1)))":4,"(/ (* z0 z1) (sinh (* (* z2 z0) z1)))":7,"(/ (* z0 z1) (tanh (* (* z2 z0) z1)))":13,"(/ (- (* z0 3) 1) (* z0 z0))":4,"(/ (- (* z0 3) 1) z1)":4,"(/ (/ 1 (* z0 z0)) (* z0 z0))":19,"(/ (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (* (* (* (- 1 z0) z1) z1) z1))":4,"(/ (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) z2)":4,"(/ (sinh (* (* z0 z1) z2)) (* z0 z1))":2,"(/ 1 (* (* z0 z0) z0))":1,"(/ 1 (* z0 z0))":53,"(/ 4 (tanh (* (* z0 z1) z2)))":1,"(/ z0 (* (* (* (- 1 z1) z2) z2) z2))":4,"(/ z0 (* (* (* (- z1 1) z2) z2) z2))":11,"(/ z0 (* (- z1 1) (* (* z2 z2) z2)))":2,"(/ z0 (* (- z1 1) z2))":4,"(/ z0 (* z1 z1))":35,"(/ z0 (* z1 z2))":2,"(/ z0 (tanh (* (* z1 z2) z0)))":2,"(fabs (sinh (* (* z0 z1) z2)))":1,"(log (fabs (sinh (* (* z0 z1) z2))))":1,"(pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1))":7,"(pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) z1)":7,"(pow (- (* (- z0 2) z0) -1) (- (/ 1 z1) 2))":3,"(pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1))":86,"(pow (- (* (- z0 2) z0) -1) (- z1 1))":60,"(pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1))":34,"(pow (- (* (- z0 2) z0) -1) (/ 1/2 z1))":169,"(pow (- (* (- z0 2) z0) -1) z1)":492,"(pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2)":7,"(pow (/ (sinh (* (* z0 z1) z2)) (* z0 z1)) -2)":2,"(pow (sinh (* (* z0 z1) z2)) -2)":2,"(pow (sinh (* (* z0 z1) z2)) 2)":1,"(pow (tanh (* (* z0 z1) z2)) -2)":44,"(pow (tanh (* (* z0 z1) z2)) -3)":1,"(pow (tanh (* (* z0 z1) z2)) -4)":19,"(pow z0 (- (/ 1/2 z1) 1))":93,"(pow z0 (- z1 1))":112,"(pow z0 (- z1 3))":44,"(pow z0 (/ (- 1 z1) z1))":32,"(sinh (* (* z0 z1) z2))":13,"(tanh (* (* z0 z1) z2))":100}