(* z0 z1), 2070
(- z0 1), 1908
(- z0 z1), 1550
(- 1 z0), 1018
(* (- z0 1) z1), 645
(/ z0 z1), 581
(/ 1/2 z0), 524
(pow (- (* (- z0 2) z0) -1) z1), 492
(* (- 1 z0) z1), 491
(- (* (- z0 2) z0) -1), 446
(+ z0 z1), 340
(* (* z0 z1) z2), 264
(+ (* z0 z1) z2), 217
(pow z0 z1), 202
(* (pow (- (* (- z0 2) z0) -1) (/ 1/2 z1)) z2), 198
(* z0 z0), 194
(- z0 2), 181
(pow (- (* (- z0 2) z0) -1) (/ 1/2 z1)), 169
(pow z0 (/ 1/2 z1)), 169
(+ z0 z0), 156
(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2), 140
(* (pow (- (* (- z0 2) z0) -1) z1) z2), 136
(- z0), 122
(pow z0 (- z1 1)), 112
(/ 1 z0), 103
(tanh (* (* z0 z1) z2)), 100
(tanh z0), 100
(- (- z0 -1) z1), 94
(- (/ 1/2 z0) z1), 93
(pow z0 (- (/ 1/2 z1) 1)), 93
(- (/ 1/2 z0) 1), 93
(* -2 z0), 92
(* (- z0) z1), 87
(pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)), 86
(* (+ z0 z0) z1), 81
(- z0 3), 79
(- 2 z0), 79
(* (/ z0 z1) z2), 77
(* (* -2 z0) z1), 77
(pow z0 (- z1 2)), 69
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) z2), 69
(/ (- 1 z0) z0), 69
(- (- z0 z1) 1), 68
(* (* (- (- 1 z0) z0) z0) z1), 61
(pow (- (* (- z0 2) z0) -1) (- z1 1)), 60
(* (* (* -2 z0) z1) z2), 60
(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) z2), 56
(/ 1 (* z0 z0)), 53
(- (/ 1 z0) z1), 49
(* (- 2 z0) z1), 45
(- (/ z0 z1) z0), 45
(pow (tanh (* (* z0 z1) z2)) -2), 44
(pow z0 (- z1 3)), 44
(* (* z0 z0) z0), 43
(- z0 -1), 37
(* (* (- z0) z1) z2), 37
(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) z2), 37
(* (- (* (- z0 2) z0) -1) z1), 35
(/ z0 (* z1 z1)), 35
(/ (+ z0 z0) z1), 34
(pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)), 34
(* (* z0 z1) z1), 34
(* (* z0 z0) z1), 33
(pow z0 (/ (- 1 z1) z1)), 32
(* z0 (* (* z1 z1) z1)), 30
(* (- (- 1 z0) z0) z0), 30
(* 4 z0), 30
(* (+ z0 z0) z0), 27
(/ (- z0 2) z1), 26
(- z0 (* (+ z1 z1) z1)), 25
(* (* (* (- (- 1 z0) z0) z0) z1) z2), 24
(* (pow z0 z1) z2), 24
(* (* (- z0 1) z0) z1), 24
(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ z2 z1) z2)), 23
(/ (- 1 z0) z1), 23
(* (* (- z0) z1) (pow z2 (- z1 1))), 22
(* (* (- 1 z0) z1) z2), 22
(- (* (pow (tanh (* (* z0 z1) z2)) -4) 3) (* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4)), 21
(* (* (* (* z0 z0) z0) z0) z1), 21
(* (pow z0 (- z1 1)) z2), 21
(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2)), 21
(* (- z0 1) z0), 20
(* (* (* (* -2 z0) z1) z2) z1), 20
(* (/ z0 (* z1 z1)) z0), 20
(pow (tanh (* (* z0 z1) z2)) -4), 19
(- 1 (pow (tanh (* (* z0 z1) z2)) -2)), 19
(/ (/ 1 (* z0 z0)) (* z0 z0)), 19
(* z0 3), 19
(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2), 18
(* (* (+ z0 z0) z1) z2), 18
(* (* (+ z0 z0) z1) (pow (- (* (- z2 2) z2) -1) (- z1 1))), 18
(- (+ z0 z0) z1), 18
(* (/ (+ z0 z0) z1) z2), 17
(* (- (+ z0 z0) 3) z0), 17
(* (pow z0 (- z1 2)) z2), 17
(* (* (- 2 z0) z1) z2), 17
(- (/ 1 z0) 2), 17
(* (- (+ z0 z0) 3) z1), 17
(- (+ z0 z0) 3), 17
(exp z0), 16
(* (- (* (- (+ z0 z0) 3) z0) -1) z1), 15
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (/ (- 1 z1) z1)), 14
(+ (- (/ 1 z0) 2) z1), 14
(* (* (* z0 z0) z0) z0), 14
(* (pow (* (- z0 1) (- z0 1)) (/ (- 1 z1) z1)) (* (/ z2 (* z1 z1)) z2)), 14
(- (* (- (+ z0 z0) 3) z0) z1), 13
(/ (* z0 z1) (tanh (* (* z2 z0) z1))), 13
(* (pow z0 (- z1 3)) (* z2 z1)), 13
(* (* (* (* (* -2 z0) z1) z2) z1) z2), 13
(- 1/4 z0), 13
(- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)), 13
(* (* (/ z0 (tanh (* (* z1 z2) z0))) (- 1 (pow (tanh (* (* z1 z2) z0)) -2))) z1), 13
(sinh z0), 13
(* -3 (pow (tanh (* (* z0 z1) z2)) -4)), 13
(- (* (- (+ z0 z0) 3) z0) -1), 13
(* (pow z0 (- z1 3)) (* (- z1 1) z1)), 13
(sinh (* (* z0 z1) z2)), 13
(* -3 z0), 13
(* (* (* (- z0 1) z1) z0) (pow z2 (- z0 3))), 13
(* (pow z0 (- z1 3)) z1), 13
(* (/ (- z0 2) z1) z2), 13
(* (pow z0 (- z1 3)) z2), 13
(* (- z0 2) z1), 13
(* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) 4), 13
(* (* (- 2 z0) z1) (* (pow z2 (- z0 3)) (* (- z0 1) z0))), 13
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (/ z2 z1) z2)), 12
(* (* (- (* (- (+ z0 z0) 3) z0) -1) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) (/ z2 (* (* (* (- z1 1) z0) z0) z0))), 12
(* (* (- z0 1) z1) z2), 11
(* -8 z0), 11
(/ z0 (* (* (* (- z1 1) z2) z2) z2)), 11
(- 2 (+ (* z0 z1) z2)), 11
(* (* (* (- z0 1) z1) z1) z1), 11
(* (* (- z0 1) z1) z1), 10
(+ (+ (* z0 z1) z2) z2), 10
(- (+ (* z0 z1) z2) 1), 10
(* -12 z0), 10
(* (* (* (- z0 1) z1) z1) z2), 10
(* (* (/ z0 (* z1 z1)) z2) z2), 10
(/ (- 2 z0) z1), 10
(* (* (pow z0 (- z1 3)) (- z1 2)) (* (* (- 1 z1) z2) z1)), 9
(* (- 1 z0) (/ z1 (* z0 z0))), 9
(* (/ (- 1 z0) (* z0 z0)) (* z1 z2)), 9
(* z0 (* (- z1 1) z2)), 9
(* (* (/ (- 1 z0) (* z0 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) z2), 9
(* (/ z0 (* z1 z1)) (* z2 z2)), 9
(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ (+ z2 z2) z1)), 9
(* (* (- 1 z0) z1) (- z0 1)), 9
(- (+ z0 z0) 1), 8
(- 1 (+ (* z0 z1) z2)), 8
(- (* (* (- 1 z0) z1) (- z0 1)) z2), 8
(/ (- z0 1) z1), 8
(* 12 z0), 8
(* (* (pow z0 (- z1 2)) z2) (- z1)), 8
(* (* (pow z0 (- z1 2)) z1) (* (- 1 z1) z2)), 8
(* (/ (+ z0 z0) z1) (pow (- (* (- z2 2) z2) -1) (- (/ 1/2 z1) 1))), 8
(* (- (/ (- (* -3 z0) -1) (* z0 z0)) -2) z1), 8
(* (- (+ z0 z0) 1) (* (pow (* (- z1 1) (- z1 1)) (- z0 1)) (* z0 z2))), 8
(* (+ (* z0 z1) z2) z1), 8
(* (- (+ (* z0 z1) z2) 1) (+ (* z0 z1) z2)), 8
(* (/ z0 z1) z0), 8
(* (- (/ z0 z1) z0) z2), 8
(* (- (+ z0 z0) 1) z1), 8
(- (* (* z0 z1) z1) z2), 8
(* 6 z0), 8
(* (* 4 (- 1 z0)) z1), 8
(- z0 (* (* (- z1 1) z2) (- z1 1))), 8
(+ (+ z0 z1) z0), 8
(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* z1 z2)), 8
(* (* (pow z0 z1) z2) (- z1)), 8
(* (- 2 z0) (- 1 z0)), 7
(* (+ (+ (* z0 z1) z2) z2) z0), 7
(* (* (* -2 z0) z1) z1), 7
(* (- -1 (* (- (+ z0 z0) 3) z0)) z1), 7
(pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2), 7
(* 8 z0), 7
(/ (* z0 z1) (sinh (* (* z2 z0) z1))), 7
(* z0 (pow (* (- -1 (* (- z1 2) z1)) (- -1 (* (- z1 2) z1))) (- (/ 1/2 z2) 1))), 7
(* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))), 7
(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1/2)) (* (/ z2 z1) z2)), 7
(/ (pow z0 z1) z2), 7
(* (* (/ z0 (* z1 z1)) z0) (pow (- (* (- z2 2) z2) -1) (/ (- 1 z1) z1))), 7
(* (* (* (* (* z0 z0) z0) z0) z1) z2), 7
(* (- (- 1 z0) z0) z1), 7
(pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1)), 7
(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) (* z2 z2)), 7
(pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) z1), 7
(- (+ (* z0 z1) z2) 2), 7
(* (/ (- (* (- (+ z0 z0) 3) z0) -1) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1))), 6
(- (- z0 z1) z1), 6
(* (* (* (* (* (* (* z0 z0) z0) z1) -2) z2) z1) z0), 6
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (* (- (+ z1 z1) 3) z1) -1)), 6
(* (* (* (* (* z0 z0) z0) z1) z1) (* (* (* (* -2 z2) z1) z0) z1)), 6
(* (* (- -1 (* (- (+ z0 z0) 3) z0)) (/ z1 (* (* (* (- 1 z2) z0) z0) z0))) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1))), 6
(* (- 1 (+ (* z0 z1) z2)) (+ (* z0 z1) z2)), 6
(* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4), 6
(* (* (* (* (* z0 z1) z1) z0) z0) z1), 6
(* -2 (+ (* z0 z1) z2)), 6
(/ (* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- (* (- (+ z1 z1) 3) z1) -1)) (* (* (* (- z0 1) z1) z1) z1)), 6
(* (pow (* (- 1 z0) (- 1 z0)) z1) z2), 6
(* (/ z0 z1) (pow (* (- -1 (* (- z2 2) z2)) (- -1 (* (- z2 2) z2))) (- (/ 1/2 z1) 1))), 6
(* -2 (* (* (* z0 (* (* z1 z1) z1)) z0) z1)), 6
(* (/ (- 1 z0) z0) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))), 6
(* (- (* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4) (* (pow (tanh (* (* z0 z1) z2)) -4) 3)) (* (* (* (* (* z2 z2) z2) z2) z1) (+ z1 z1))), 6
(* (pow (tanh (* (* z0 z1) z2)) -4) 3), 6
(* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) (* (/ z2 z1) z2)), 6
(* (* (* (- z0 1) z0) z1) z2), 6
(* (* (* z0 (* z1 (* (* z2 z2) z2))) z0) z0), 6
(* (* (- 1 z0) (/ z1 (* z0 z0))) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1))), 6
(* (pow (tanh (* (* z0 z1) z2)) -2) 4), 6
(* (/ (- 2 z0) z1) z2), 5
(* (* (pow z0 (- z1 3)) (* (- 2 z1) z2)) (* (- z1 1) z1)), 5
(* (* (- z0 2) z1) (pow z2 (- z0 3))), 5
(* (- (+ (* z0 z1) z2) 2) (* (- (+ (* z0 z1) z2) 1) (+ (* z0 z1) z2))), 5
(* (* (* z0 z1) z1) z0), 5
(- (- 1 z0) z0), 5
(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (* (- (* (- (+ z1 z1) 3) z1) -1) z2)), 5
(- (* -3 (+ (* z0 z1) z2)) -2), 5
(* (pow z0 (- z1 3)) (- z1 2)), 5
(* (- (- 2 z0) z0) z1), 5
(* (* (- z0 (* (+ z0 z0) z0)) z1) z2), 5
(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (/ z2 z1)), 5
(* (* (- 2 z0) z1) (* (pow z2 (- z0 3)) z0)), 5
(* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) z2), 5
(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- z2 1) (- z2 1)) (- z0 1))), 5
(* (* (- 2 z0) z1) (- 1 z0)), 5
(* (* (* 4 (* (- 1 z0) z1)) z2) z1), 4
(* (/ (- z0 1) z1) z2), 4
(* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* (* (- (- 1 z1) z1) z1) z2)), 4
(* (- (* (- (+ z0 z0) 3) z0) -1) (/ z1 (* (* z2 z0) z0))), 4
(- (* (pow (tanh (* (* z0 z1) z2)) -2) -3) -4), 4
(- (* z0 3) 1), 4
(* (* z0 (* (* (- (- 2 z1) z1) z2) z2)) (- (* (* 4 z2) (* (- 1 z1) (- 1 z1))) 6)), 4
(* (* (+ z0 z0) z1) (- 1 z2)), 4
(* (- (* (* (- (* (- z0 2) z0) -1) 4) z1) 6) (* (* (- (- 2 z0) z0) z1) z1)), 4
(* (exp z0) z1), 4
(- z0 (* (- (+ z1 z1) 3) z1)), 4
(- (* (* (* (* (- z0 1) z1) z1) -4) (- 1 z0)) z2), 4
(* (* (* (* z0 z1) z1) z2) z2), 4
(* (* (* (- 1 z0) z1) z1) z1), 4
(* (- (* (* 4 z0) (* (- z1 1) (- z1 1))) 6) (* z0 z2)), 4
(/ (- (* z0 3) 1) z1), 4
(- z0 (/ (- (* z1 3) 1) (* z1 z1))), 4
(- 4 z0), 4
(/ (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) z2), 4
(/ (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (* (* (* (- 1 z0) z1) z1) z1)), 4
(* 4 (- 1 z0)), 4
(* (* (* z0 z0) z1) z0), 4
(* (/ z0 (* (* (* (- 1 z1) z2) z2) z2)) (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1))), 4
(/ (- (* z0 3) 1) (* z0 z0)), 4
(* (- (* (* 4 z0) (* (- 1 z1) (- 1 z1))) 6) z0), 4
(- (/ (- (* -3 z0) -1) (* z0 z0)) -2), 4
(* (* (/ (- z0 1) z1) z2) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))), 4
(* (* (* 4 (- 1 z0)) z1) z1), 4
(* z0 (/ (- z0 1) z1)), 4
(- (* z0 3) z1), 4
(* (* (* (* (* (* (* z0 z1) z2) z0) -2) z0) z2) z2), 4
(- z0 (* 6 z1)), 4
(* (- z0 2) z0), 4
(* (* (* z0 z1) z2) z2), 4
(* (+ (* z0 z1) z2) (+ z1 z1)), 4
(- -1 (* (- (+ z0 z0) 3) z0)), 4
(* -4 z0), 4
(* (+ (* z0 z1) z2) (+ (* z0 z1) z2)), 4
(/ z0 (* (* (* (- 1 z1) z2) z2) z2)), 4
(- -1 z0), 4
(* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* (- z0 1) (* (* z1 z1) z1)))) z2), 4
(/ (* z0 (- (* (- (+ z1 z1) 3) z1) -1)) (* (- z2 1) (* (* z1 z1) z1))), 4
(/ z0 (* (- z1 1) z2)), 4
(* (* 4 (* (- 1 z0) z1)) z2), 4
(* (pow (tanh (* (* z0 z1) z2)) -2) 3), 4
(* (* (* (* (- z0 1) z1) z1) -4) (- 1 z0)), 4
(* (- (* (+ z0 z0) z0) z0) z1), 4
(* (* (- z0 2) z1) z0), 4
(/ (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (* (- (* (- (+ z1 z1) 3) z1) -1) z2)) (* (* (* (- z0 1) z1) z1) z1)), 4
(* (* (- 2 z0) z1) (* z0 (/ (- z0 1) z2))), 3
(* (* (- -1 (* (- (+ z0 z0) 3) z0)) z1) z2), 3
(- (- (tanh (* (* z0 z1) z2)) (/ 4 (tanh (* (* z0 z1) z2)))) (* (pow (tanh (* (* z0 z1) z2)) -3) -3)), 3
(* (+ (* z0 z1) z2) 2), 3
(* (pow z0 (- z1 2)) z1), 3
(pow (- (* (- z0 2) z0) -1) (- (/ 1 z1) 2)), 3
(* (pow (* (- z0 1) (- z0 1)) (/ (- 1 z1) z1)) (* (/ z2 z1) z2)), 3
(* (* (* (- 1 z0) z1) z2) z1), 3
(* (* (- 1 z0) z0) (- 2 z0)), 3
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1 z1) 2)) z2), 3
(* (+ (* z0 z1) z2) z0), 3
(- (+ (* z0 z1) z2) -1), 3
(* (* 4 z0) z1), 3
(pow z0 (- (/ 1 z1) 2)), 3
(* (* (- 1 z0) z1) z1), 3
(* (* (* (* (- z0 1) z1) z0) (pow z2 (- z0 3))) (- 2 z0)), 3
(* (/ (- z0) z1) z2), 3
(* (- z0) (pow z1 z2)), 3
(* (* (- (* (+ z0 z0) z0) z0) z1) z2), 2
(* (/ (- 1 z0) z1) (* (* (- z0 2) z2) z0)), 2
(pow (sinh (* (* z0 z1) z2)) -2), 2
(* (- (* (* (- 1 z0) 4) (* (- z0 1) z1)) -6) (* (- z0 1) z2)), 2
(- (* (- (* (- z0 2) z0) -1) z1) 1/2), 2
(* (* (pow z0 (- z1 2)) z2) (- 1 z1)), 2
(- (* (+ z0 z0) z0) z0), 2
(- z0 1/2), 2
(* (* (pow z0 (- z1 3)) (* (* (- z1 2) z2) z1)) (- 1 z1)), 2
(/ z0 (tanh (* (* z1 z2) z0))), 2
(* (+ (+ (* z0 z1) z2) z2) z1), 2
(/ (sinh (* (* z0 z1) z2)) (* z0 z1)), 2
(/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) z2), 2
(- z0 (* -6 (- z1 1))), 2
(* (/ (* (- z0 1) z0) z1) z2), 2
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (/ (- z0 1) z1)), 2
(* (* (- (* (- z0 2) z0) -1) (- z0 1)) z1), 2
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- z0 1)), 2
(* (* (* (- 2 z0) z0) z1) (- 1 z0)), 2
(* (/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) (* (* (* z0 z0) z0) (- z2 1))) (pow (- (* (- z2 2) z2) -1) (- (/ 1/2 z0) 1))), 2
(* (pow z0 (- z1 3)) (* (* (* (- z1 2) z2) z1) (- 1 z1))), 2
(* (* -4 (* (- z0 1) z1)) (- (* (- z0 2) z0) -1)), 2
(- (* (* -4 (* (- z0 1) z1)) (- (* (- z0 2) z0) -1)) z2), 2
(* (* (* (* (* z0 z0) z0) z1) z2) z2), 2
(* (* (pow (- (* (- z0 2) z0) -1) (- z1 1)) (* (- (+ z1 z1) 1) z1)) z2), 2
(* (* (* (* (- 2 z0) z0) z1) (- z0 1)) (pow z2 (- z0 3))), 2
(/ (- z0) z1), 2
(- z0 (* (+ z1 z1) z2)), 2
(* (* (* (* (- 1 z0) z1) z0) (pow z2 (- z0 3))) (- z0 2)), 2
(* (- z0) (pow z1 (- z2 2))), 2
(* (* (* (* z0 z0) z1) z0) z1), 2
(* (/ z0 (tanh (* (* z1 z2) z0))) (- 1 (pow (tanh (* (* z1 z2) z0)) -2))), 2
(* (- (* (* (- 1 z0) z1) (- 1 z0)) 1/2) (* 4 z1)), 2
(* z0 (* z1 (* (* z2 z2) z2))), 2
(pow (/ (sinh (* (* z0 z1) z2)) (* z0 z1)) -2), 2
(/ (* (- 2 z0) z1) z2), 2
(* (* (- z0 2) z1) (- z0 1)), 2
(* (* (pow z0 (- z1 2)) z2) z1), 2
(* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (* (/ (- z0 1) z1) z2)), 2
(* (* (/ z0 z1) z2) z0), 2
(* (* (* (* z0 z0) z0) z1) z2), 2
(- (* (+ z0 z0) z0) z1), 2
(* (- (* (* (- z0 1) z1) (- z0 1)) 1/2) z2), 2
(- (* (pow (tanh (* (* z0 z1) z2)) -3) -3) (/ -4 (tanh (* (* z0 z1) z2)))), 2
(* (* (* (- (- 1 z0) z0) z1) z0) (pow (- (* (- z2 2) z2) -1) (- z0 1))), 2
(- (* (- (* (- z0 2) z0) -1) z1) z2), 2
(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (* (/ z2 z1) z2)), 2
(* 6 (- 1 z0)), 2
(/ (* (- (* (- (+ z0 z0) 3) z0) -1) z1) (* (- z2 1) (* (* z0 z0) z0))), 2
(* (* (* z0 z0) z1) (* (- z2) z2)), 2
(/ z0 (* z1 z2)), 2
(* (* (* (- 1 z0) z1) z0) (pow z2 (- z0 3))), 2
(* (* (* (- 2 z0) z0) z1) (pow z2 (- z0 2))), 2
(* (* -4 z0) z1), 2
(* (pow z0 z1) (exp z2)), 2
(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)), 2
(* (* (* (pow z0 (- z1 2)) z1) z2) (- z1 1)), 2
(* (- 6 (* (* (- (* (- z0 2) z0) -1) z1) 4)) (- z0 1)), 2
(* -6 z0), 2
(* (- z0 1) (* (* z1 z1) z1)), 2
(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) z2), 2
(* (* z0 (- z1 1)) (pow (- (* (- z1 2) z1) -1) (- (/ 1/2 z2) 1))), 2
(* (* z0 (* (* z1 z1) z1)) z0), 2
(* (* (- (- 1 z0) z0) z1) (* z0 z2)), 2
(/ z0 (* (- z1 1) (* (* z2 z2) z2))), 2
(* (- (* (- z0 2) z0) -1) (- z0 1)), 2
(* (* (- (- 1 z0) z0) z1) z2), 2
(- (* (pow (tanh (* (* z0 z1) z2)) -2) 4) (* (pow (tanh (* (* z0 z1) z2)) -4) 3)), 2
(* (* (* (* z0 z0) z1) -2) z2), 1
(* (- (* (* (- (* (- z0 2) z0) -1) z1) 4) 6) z2), 1
(* (* (/ z0 (* z1 z1)) z0) z2), 1
(* (pow (tanh (* (* z0 z1) z2)) -3) 3), 1
(* (* (* (* -2 z0) z1) z2) z2), 1
(+ z0 (* z1 z2)), 1
(* (* (- z0 2) z0) (* (* (pow z1 (- z0 2)) z2) (- 1 z0))), 1
(* (- (+ z0 z0) 2) z1), 1
(* (* (* (* (- z0) z1) z0) z2) z2), 1
(/ 1 (* (* z0 z0) z0)), 1
(* (/ (- -1 (* (- (+ z0 z0) 3) z0)) (* (* (* (- 1 z1) z0) z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))), 1
(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1)) (- 1 z0)), 1
(- (* (* (* (* (- 1 z0) z1) z1) -4) (- z0 1)) z2), 1
(* (* (* z0 (* z1 (* (* z2 z2) z2))) z1) z2), 1
(* (* (* (pow z0 (- z1 1)) z2) z1) (- z1 1)), 1
(log z0), 1
(fabs z0), 1
(- z0 (* (* (pow (tanh (* (* z1 z2) z0)) -2) z0) (- (* (pow (tanh (* (* z1 z2) z0)) -2) -3) -4))), 1
(* (exp z0) (pow z1 z2)), 1
(* (- 1 z0) (- 1 z1)), 1
(* 1/2 z0), 1
(- -6 z0), 1
(* (* (+ (+ (* z0 z1) z2) z2) z1) z1), 1
(* (* (* (- z0 1) z1) 4) z2), 1
(/ 4 z0), 1
(* (* (* (* (- 1 z0) z1) z1) -4) (- z0 1)), 1
(* (* (/ z0 z1) z0) z2), 1
(* (* -12 (- z0 1)) z1), 1
(* (- 1 (+ (* z0 z1) z2)) z0), 1
(* (* (pow z0 (- z1 3)) (* (- 2 z1) z1)) (* (- z1 1) z2)), 1
(* (* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) (- 1 z0)) (* (/ z2 z1) z2)), 1
(* (* (* (* -2 z0) z0) z1) z2), 1
(- (/ 4 (tanh (* (* z0 z1) z2))) (tanh (* (* z0 z1) z2))), 1
(* (* (pow z0 (- z1 2)) z1) z2), 1
(* (* (* (* (* (* (* (* (* z0 z0) z0) z1) z2) z1) -2) z1) z1) z0), 1
(* -12 (- z0 1)), 1
(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z1 z2) (tanh (* (* z0 z1) z2)))), 1
(* (* (* (* z0 (* (* z1 z1) z1)) z0) z1) z0), 1
(* (* (* (* (* z0 (* (* z1 z1) z1)) z0) z1) z0) z2), 1
(/ (* (* z0 (* (* z1 z1) z1)) z0) z2), 1
(* (* (* (* z0 z1) z2) z1) z0), 1
(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (* (* (* z1 z2) z2) (/ (* (* z1 z1) z2) (tanh (* (* z0 z1) z2))))), 1
(* (* (* (pow z0 (- z1 1)) z1) z2) (- 1 z1)), 1
(pow (tanh (* (* z0 z1) z2)) -3), 1
(* -2 (* (* (* z0 z1) z2) z2)), 1
(* (pow z0 (- z1 2)) (* (- z1 1) z1)), 1
(/ (* (* z0 (* (* z1 z1) z1)) z0) (tanh (* (* z2 z0) z1))), 1
(* (+ (* z0 z1) z2) (- 1 z2)), 1
(fabs (sinh (* (* z0 z1) z2))), 1
(* (* (* (* (- 1 z0) z0) z1) (- z0 2)) (pow z2 (- z0 3))), 1
(* (* (- z0 1) z1) 4), 1
(* (* (pow (- (* (- z0 2) z0) -1) (- (/ 1/2 z1) 1)) (- 1 z1)) (/ z2 (* z1 z1))), 1
(* (* (- 1 z0) z0) (* (- 2 z0) z1)), 1
(log (fabs (sinh (* (* z0 z1) z2)))), 1
(* (* (- 1 z0) z1) (+ z2 z2)), 1
(* (* (- 1 z0) z1) (- 1 z2)), 1
(* (* (/ z0 (* z1 z1)) z0) (* (- z2 1) (- z2 1))), 1
(- z0 (* (* (- 1 z1) 4) (* (- z1 1) z2))), 1
(* (* (* -2 z0) z0) (* (* (* z1 z2) z0) z0)), 1
(* (- z0) (pow z1 (- z2 1))), 1
(* (* (* (* (pow z0 (- z1 1)) z2) z1) (- z1 1)) (- 2 z1)), 1
(* (- 1 (+ (* z0 z1) z2)) z2), 1
(* (* (* (- z0 1) z0) z1) (pow z2 (- z0 2))), 1
(* (* z0 (* z1 (* (* z2 z2) z2))) z1), 1
(* (* (- (* (- z0 2) z0) -1) z1) -4), 1
(* (* (* (* (* (* (* z0 z0) z1) z0) z1) z0) z2) (* (* -2 z1) z1)), 1
(* (- 1 z0) (* (pow z1 (- z0 1)) z2)), 1
(/ 4 (tanh (* (* z0 z1) z2))), 1
(* (* (* (* (* z0 z0) z0) z1) z0) (* (* (* -2 z1) z2) z1)), 1
(pow (sinh (* (* z0 z1) z2)) 2), 1
(- -1 (* (- z0 2) z0)), 1
(* (pow (- (* (- z0 2) z0) -1) (/ (- 1 z1) z1)) (* z2 z2)), 1
(* (* (- (* (- (* (- z0 2) z0) -1) z1) 1/2) 4) z1), 1
(* (pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) (- (/ 1/2 z1) 1)) (* (- 1 z0) z2)), 1
(* (* (* (* (* (* z0 z0) z1) z0) z1) (* z2 z1)) (* (* -2 z1) z0)), 1
(- (* (* (- (* (- z0 2) z0) -1) z1) 4) 6), 1
(* (- (+ (* z0 z1) z2) -1) z0), 1
(* (* (* z0 (* (* z1 z1) z1)) z0) z1), 1
(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)) (- z0 1)), 1
(- (+ z0 z0) 2), 1
(* (* (+ (+ (* z0 z1) z2) z2) z0) z0), 1