(- z0 1), 2856
(- z0 z1), 1771
(* z0 z1), 1707
(/ z0 z1), 657
(/ 1/2 z0), 600
(* (- z0 1) z1), 560
(- 1 z0), 512
(* z0 (- z1 1)), 507
(pow (* (+ -1 z0) (+ -1 z0)) z1), 432
(* (+ -1 z0) (+ -1 z0)), 382
(+ z0 z1), 351
(* (pow (* (+ -1 z0) (+ -1 z0)) (/ 1/2 z1)) z2), 306
(* (* z0 z1) z2), 198
(+ z0 z0), 191
(* z0 z0), 190
(- z0 2), 184
(pow z0 (/ 1/2 z1)), 183
(+ (* z0 z1) z2), 168
(pow z0 z1), 157
(pow (* (+ -1 z0) (+ -1 z0)) (/ 1/2 z1)), 153
(pow z0 (- z1 1)), 147
(* (pow (* (+ -1 z0) (+ -1 z0)) z1) z2), 140
(pow (* (- 1 z0) (- 1 z0)) z1), 132
(* (- 1 z0) (- 1 z0)), 132
(- z0), 121
(pow z0 (- (/ 1/2 z1) 1)), 117
(- (/ 1/2 z0) 1), 117
(- (/ 1/2 z0) z1), 117
(* z0 (- 1 z1)), 107
(- (- z0 -1) z1), 104
(/ 1 z0), 102
(* (- 1 z0) z1), 101
(* (- z0 (* (+ z0 z0) z0)) z1), 100
(* (+ z0 z0) z1), 84
(* (- z0) z1), 79
(/ z0 (* z1 z1)), 79
(- z0 3), 72
(pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)), 66
(/ (- 1 z0) z0), 61
(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) z2), 60
(tanh (* (* z0 z1) z2)), 60
(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2), 60
(tanh z0), 60
(pow z0 (- z1 2)), 57
(/ (- 1 z0) z1), 53
(* -2 z0), 52
(* (+ z0 z0) z0), 51
(- 2 z0), 51
(- z0 (* (+ z1 z1) z1)), 51
(- z0 (* (+ z0 z0) z0)), 50
(* (* (- z0 (* (+ z0 z0) z0)) z1) z2), 50
(pow (* (+ -1 z0) (+ -1 z0)) (- z1 1)), 50
(pow z0 (- z1 3)), 44
(pow z0 (/ (- 1 z1) z1)), 42
(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)), 42
(* z0 (pow (* (+ -1 z1) (+ -1 z1)) (- z2 1))), 41
(* z0 (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z2) 1))), 40
(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))), 40
(- (- z0 z1) 1), 39
(* (* z0 z0) z1), 38
(- (- z0 1) z1), 36
(- z0 -1), 33
(* z0 (/ z1 z2)), 31
(* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1))), 30
(pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)), 30
(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)), 30
(pow (* (- 1 z0) (- 1 z0)) (- z1 1)), 30
(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1))), 30
(/ 1 (* z0 z0)), 27
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) z2), 27
(- (/ 1 z0) 1), 27
(- (/ 1 z0) z1), 26
(/ (+ z0 z0) z1), 26
(* z0 (pow z1 (- z2 1))), 25
(* (* (- z0) z1) z2), 24
(* (* -2 z0) z1), 22
(* z0 (+ z1 z1)), 22
(* (/ z0 z1) z2), 21
(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (+ -1 z2) (+ -1 z2)) (- z0 1))), 20
(* (* z0 z0) z0), 20
(* 3 z0), 20
(* (- z0 1) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))), 20
(* (* (- z0 1) z1) z2), 20
(* (* (- z0 1) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) z2), 20
(* (/ z0 (* z1 z1)) z2), 20
(* (* (- 1 (+ z0 z0)) z0) z1), 19
(* (* (- (/ 1 z0) 1) (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z0) 1))) z2), 18
(/ (* z0 z1) z2), 18
(/ (* z0 z0) z1), 18
(* z0 (/ z0 (* z1 z1))), 17
(- (/ 1 z0) 2), 17
(+ (/ 1 z0) z1), 17
(pow (tanh (* (* z0 z1) z2)) -2), 16
(- (+ z0 z0) z1), 16
(* (- z0 2) z1), 16
(+ (- (/ 1 z0) 2) z1), 15
(* (- z0 1) z0), 15
(* z0 (- z1 2)), 14
(- (+ z0 z0) 3), 14
(/ z0 (* z1 (- z2 1))), 14
(* (* (- z0) z1) (pow z2 (- z1 1))), 14
(* (* (+ z0 z0) z1) (pow (* (+ -1 z2) (+ -1 z2)) (- z1 1))), 13
(* z0 -12), 13
(* (/ (+ z0 z0) z1) z2), 13
(* (* (+ z0 z0) z1) z2), 13
(* (/ (+ z0 z0) z1) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z1) 1))), 13
(* (- (/ 1 z0) 1) z1), 13
(* (pow z0 (- z1 3)) z2), 13
(- (* (- (+ z0 z0) 3) z0) z1), 12
(- 2 (+ (* z0 z1) z2)), 12
(* z0 (- 2 z1)), 12
(/ z0 (* (* (* (- z1 1) z2) z2) z2)), 12
(pow (* (+ -1 z0) (+ -1 z0)) (/ (- 1 z1) z1)), 12
(* (- (+ z0 z0) 3) z0), 12
(* (- (+ z0 z0) 3) z1), 12
(- (* (- (+ z0 z0) 3) z0) -1), 12
(* (pow (* (+ -1 z0) (+ -1 z0)) (/ (- 1 z1) z1)) z2), 12
(/ (- z0 2) z1), 12
(* (* (- z0 1) z1) z1), 12
(- (+ (* z0 z1) z2) 1), 12
(* (pow z0 (- z1 2)) z2), 11
(* (/ (- 1 z0) z0) z1), 11
(sinh (* (* z0 z1) z2)), 11
(* (* (- z0 1) z0) z1), 11
(* (* z0 (- z1 1)) (- z1 1)), 11
(sinh z0), 11
(* (* (- 1 z0) z1) z2), 11
(* 4 z0), 11
(exp z0), 10
(- (- z0 z1) z1), 10
(* (pow (* (+ -1 z0) (+ -1 z0)) (/ (- 1 z1) z1)) (* z2 (/ z2 (* z1 z1)))), 10
(* (* (* z0 z0) z1) z2), 10
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (* (/ (- 1 z1) z1) z2)), 10
(* (* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ (- 1 z1) z1)) (/ z2 z1)), 10
(* (* (* z0 z0) z1) z1), 10
(* z0 (/ (- 1 z1) z1)), 10
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ (- 1 z1) z1)), 10
(* z0 (* z1 (/ z1 (* z2 z2)))), 10
(* (- 1 (+ z0 z0)) z0), 10
(* (* (+ -1 z0) (+ -1 z0)) z1), 9
(* (pow z0 z1) z2), 9
(* (pow (* (+ -1 z0) (+ -1 z0)) (- z1 1)) z2), 9
(* (* (pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) z1)) (- 1 z0)), 9
(* (- (/ 1 z0) 1) (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z0) 1))), 9
(pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) (- (/ 1/2 z1) 1)), 9
(+ (+ (* z0 z1) z2) z2), 9
(pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) z1), 9
(* (* (* (- z0 1) z1) z1) z2), 9
(pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 1)), 9
(/ (- (* 3 z0) 1) (* z0 z0)), 9
(- (* 3 z0) 1), 9
(* z0 (* (* (- 1 (+ z1 z1)) z1) z2)), 9
(- (* 3 z0) z1), 9
(- 1 (+ z0 z0)), 9
(* (pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) (- (/ 1/2 z1) 1)) z2), 9
(- 2 (/ (- (* 3 z0) 1) (* z0 z0))), 9
(/ (- (* 3 z0) 1) z1), 9
(* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))), 9
(* z0 (/ (* z1 z1) z2)), 9
(* (pow (* (+ -1 z0) (+ -1 z0)) (- z1 1)) (* (* (- 1 (+ z1 z1)) z1) z2)), 9
(pow z0 (- (/ 1 z1) 1)), 9
(* (pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) z1)), 9
(* (* (* (- z0 1) z1) z1) z1), 9
(- z0 (/ (- (* 3 z1) 1) (* z1 z1))), 9
(* z0 (- 1 (+ z1 z1))), 9
(* (- 1 z0) (* (* (pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) (- (/ 1/2 z1) 1)) (/ (* z2 z2) z1)) (- 1 z0))), 9
(+ z0 (* z1 z2)), 8
(* (* (- z0 1) (* (- z1) z0)) (pow z2 (- (- z0 1) 2))), 8
(* (- z0 2) (* (* (* (- 1 z0) z1) z0) (pow z2 (- (- z0 1) 2)))), 8
(* z0 -8), 8
(* (- z0 1) (* (* (- z1) z0) (pow z2 (- z0 1)))), 8
(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) z1), 7
(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) (/ z2 z1)), 7
(* (+ (+ (* z0 z1) z2) z2) z0), 7
(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)) z2)), 7
(* (* z0 (/ (- 1 z1) z1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))), 7
(* z0 (- (/ 1 z1) 1)), 7
(* (/ (- 1 z0) z0) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))), 7
(/ (* z0 z1) (tanh (* (* z2 z0) z1))), 7
(* z0 (* (- z1) z2)), 7
(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) (* (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z0) 1)) (/ z2 (* z0 (- z1 1))))), 7
(* (* z0 (/ z0 (* z1 z1))) z2), 7
(* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))), 7
(* z0 (* (- z1 1) z1)), 6
(* 4 (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2))), 6
(pow (tanh (* (* z0 z1) z2)) -4), 6
(- 1 (pow (tanh (* (* z0 z1) z2)) -2)), 6
(* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z1 z2) (tanh (* (* z0 z1) z2)))), 6
(* (* (- z0 1) z1) (- 1 z0)), 6
(pow (tanh (* (* z0 z1) z2)) -3), 6
(* (- (+ (* z0 z1) z2) 1) (+ (* z0 z1) z2)), 6
(- z0 (* (* (- 1 z1) z2) (- 1 z1))), 6
(pow z0 -3), 6
(* z0 (- (* (- (+ z1 z1) 3) z1) -1)), 6
(/ (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (* z2 (- (* (- (+ z1 z1) 3) z1) -1))) (* (* (* (- z0 1) z1) z1) z1)), 6
(- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3)), 6
(* (* (- 1 z0) z1) (- 1 z0)), 6
(/ 1 (tanh (* (* z0 z1) z2))), 6
(* (- 2 (+ (* z0 z1) z2)) (- (+ (* z0 z1) z2) 1)), 6
(- (* (* (- z0 1) z1) (- 1 z0)) z2), 6
(* (- z0) (pow z1 (- z2 1))), 6
(* -2 (* (* z0 z1) z2)), 6
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (* z2 (- (* (- (+ z1 z1) 3) z1) -1))), 6
(pow z0 -4), 6
(* (* (- 2 (+ (* z0 z1) z2)) (- (+ (* z0 z1) z2) 1)) (+ (* z0 z1) z2)), 6
(* (- z0) (* (pow z1 (- z2 1)) z2)), 6
(* (* (- 1 z0) 4) z1), 6
(* (* 4 (- 1 z0)) z1), 6
(* (* (/ z0 z1) (- (/ 1 z1) 1)) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z1) 1))), 5
(- (- (- (* (+ (* z0 z1) z2) -2) -2) z2) (* z0 z1)), 5
(* z0 (* (* (* z1 z1) z2) z2)), 5
(- z0 6), 5
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 1)) z2), 5
(- z0 -2), 5
(* (+ z0 z0) (- 1 z1)), 5
(* (+ (* z0 z1) z2) -2), 5
(* (/ z0 z1) (- (/ 1 z1) 1)), 5
(* (/ z0 z1) (* (- (/ 1 z1) 1) z2)), 5
(pow (/ (* z0 z1) (sinh (* (* z0 z2) z1))) 2), 5
(/ (* z0 z1) (sinh (* (* z0 z2) z1))), 5
(* z0 (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1 z2) 1))), 5
(* (* z0 (+ z1 z1)) z2), 5
(* (pow z0 (- z1 3)) (* (- z2) z1)), 5
(* (* z0 (+ z1 z1)) (pow (* (+ -1 z2) (+ -1 z2)) (- z1 1))), 5
(* (* (pow z0 (- z1 3)) (* (- z2) z1)) (- z1 1)), 5
(* (* (* (* z0 z0) z1) z1) (* (* (* z0 z0) z1) z1)), 5
(- (* (+ (* z0 z1) z2) -2) -2), 5
(* (* (- z0) z1) (pow z2 (- z0 1))), 5
(* (* (* (* z0 z0) z1) z1) z2), 5
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ (+ z2 z2) z1)), 5
(* (* (* (pow z0 (- z1 3)) (* (- z2) z1)) (- z1 1)) (- z1 2)), 5
(* (* z0 (/ z0 (* z1 z1))) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1 z1) 1))), 5
(* (* (* (* (* z0 z0) z1) z1) (* (* (* z0 z0) z1) z1)) z2), 5
(/ (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) z1), 5
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)), 5
(/ (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) z2), 5
(* (+ z0 z0) (* (- 1 z1) z2)), 5
(* (- 2 z0) z1), 4
(* -12 z0), 4
(* z0 (pow z1 (- z2 3))), 4
(* z0 (pow z1 (- z2 2))), 4
(* (- z0 1) (- z0 2)), 4
(* (- (/ z0 z1) z0) z2), 4
(* z0 (pow z1 z2)), 4
(- (- z0 z1) -1), 4
(* (/ (- z0) z1) z2), 4
(/ (- z0 1) z1), 4
(* (- z0 1) (* (- z0 2) z1)), 4
(* z0 8), 4
(/ (- z0) z1), 4
(* (* z0 (- (+ z0 z0) 1)) z1), 4
(- z0 (/ z1 z2)), 4
(* (- (* z0 (- (+ z0 z0) 3)) -1) z1), 4
(- z0 (/ z0 z1)), 4
(* (* (pow z0 (- z1 2)) z1) z2), 4
(- (/ z0 z1) z0), 4
(/ z0 (* (- z1 1) z2)), 4
(* z0 (/ (- z1 2) z2)), 3
(* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) z2), 3
(* (/ (- z0 2) z1) z0), 3
(* (* -2 z0) (* (* (* z1 z2) (* (* (* z1 z1) z2) z2)) (* z2 z1))), 3
(* (* z0 z1) (* (* (* z0 z0) z1) z1)), 3
(* (pow z0 z1) (/ z1 z0)), 3
(* z0 (* -2 z1)), 3
(* (* (* z0 z1) -2) z2), 3
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ (* (- (* (- (+ z1 z1) 3) z1) -1) z2) (* z1 (* (* (- z0 1) z1) z1)))), 3
(/ z0 (* z1 (* (* (- z2 1) z1) z1))), 3
(* (* (* (- 1 z0) z1) (pow z2 (- z0 2))) (* (/ (- z0 2) z2) z0)), 3
(* (- (* (- (+ z0 z0) 3) z0) -1) (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z0) 1))), 3
(* (* (* z0 z0) z0) (* (* (* z1 z1) z1) z2)), 3
(* z0 (* (* (* z1 z2) (* (* (* z1 z1) z2) z2)) (* z2 z1))), 3
(* (- z0 2) z0), 3
(* (* (* 4 (- 1 z0)) z1) z2), 3
(* 4 (pow (tanh (* (* z0 z1) z2)) -2)), 3
(* (* (* z0 z1) z1) (* (* -2 z2) z0)), 3
(* (pow z0 z1) (* (/ z1 z0) z2)), 3
(- (* 4 (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2))) (* (pow (tanh (* (* z0 z1) z2)) -4) -3)), 3
(* z0 (* (* (- z1 1) z0) z0)), 3
(* (* (* (- 1 z0) 4) z1) (- 1 z0)), 3
(* (* (- 1 z0) z1) (pow z2 (- z0 2))), 3
(* z0 (* z1 z2)), 3
(/ (* z0 z1) (sinh (* (* z2 z0) z1))), 3
(* (- (* (* (* (- 1 z0) 4) z1) (- 1 z0)) 6) z1), 3
(* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ (* (- (* (- (+ z1 z1) 3) z1) -1) z2) (* z1 (* (* (- z0 1) z1) z1)))), 3
(/ (- (* (- (+ z0 z0) 3) z0) -1) z1), 3
(* (- (/ z0 z1) z0) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))), 3
(* (* z0 (- (* (* (* (- 1 z1) 4) z2) (- 1 z1)) 6)) z2), 3
(* z0 (* (* (- z1 1) z2) z2)), 3
(* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))), 3
(* (pow z0 z1) (- z2)), 3
(* z0 -3), 3
(* (+ (* z0 z1) z2) z0), 3
(* z0 (* (* -2 z1) z2)), 3
(* (* (* -2 z0) z1) z2), 3
(* (/ z0 (* (* (* (- z1 1) z2) z2) z2)) (* (- (* (- (+ z2 z2) 3) z2) -1) (pow (* (+ -1 z1) (+ -1 z1)) (- (/ 1/2 z2) 1)))), 3
(* (/ (- z0 2) z1) z2), 3
(* (* (- z0 1) (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1))) (/ z2 z1)), 3
(* (* (* (- z0 1) z0) (* (pow z1 (- z0 3)) z2)) (- 2 z0)), 3
(* (* z0 (/ (- z1 2) z2)) z1), 3
(* (* (* z0 z0) z0) z1), 3
(* (pow (tanh (* (* z0 z1) z2)) -4) -3), 3
(- (* 4 (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2))) (* -3 (pow (tanh (* (* z0 z1) z2)) -4))), 3
(- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)), 3
(pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2), 3
(* -3 (pow (tanh (* (* z0 z1) z2)) -4)), 3
(* (* (* (* (* z0 z0) z1) z1) (* (* (* z0 z0) z1) z1)) (- (* 4 (- 1/4 (pow (tanh (* (* z2 z1) z0)) -2))) (* (pow (tanh (* (* z2 z1) z0)) -4) -3))), 3
(* 4 (- 1 z0)), 3
(- (* (* (* (- 1 z0) 4) z1) (- 1 z0)) 6), 3
(* (- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3)) (* z1 z2)), 3
(* (* (pow z0 z1) (/ z1 z0)) (- z2)), 3
(* (* (- z0 1) z0) (* (pow z1 (- z0 3)) z2)), 3
(* (pow (* (- 1 z0) (- 1 z0)) (/ (- 1 z1) z1)) (* z2 (/ z2 z1))), 3
(* (+ z0 (* z1 z2)) z2), 3
(* (- (* (* (* (- 1 z0) 4) z1) (- 1 z0)) 6) z2), 3
(/ (* z0 (- (* (- (+ z1 z1) 3) z1) -1)) (* z1 (* (* (- z2 1) z1) z1))), 3
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* z1 (* (* (- z0 1) z1) z1)))), 3
(/ (- (* (- (+ z0 z0) 3) z0) -1) (* z0 (* (* (- z1 1) z0) z0))), 3
(* (- 1 z0) 4), 3
(* (- (* (- (+ z0 z0) 3) z0) -1) z1), 3
(pow (tanh (* (* z0 z1) z2)) 2), 3
(- 1/4 z0), 3
(* z0 (* (* z1 z1) z1)), 3
(* (* z0 (- (* (- (+ z1 z1) 3) z1) -1)) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z1) 1))), 3
(* (+ (* z0 z1) z2) (+ z0 z0)), 3
(* (* (* (- 1 z0) 4) z1) z2), 3
(- (* (* (* (- 1 z0) 4) z1) (- 1 z0)) z2), 3
(* -3 z0), 3
(* (* (* z0 z1) (* (* (* z0 z0) z1) z1)) (* z1 z0)), 3
(* z0 4), 3
(* (* (- z0 2) (* (* (- 1 z0) z1) z0)) (pow z2 (- z0 3))), 2
(/ (* (- (* z0 (- (+ z0 z0) 3)) -1) z1) z2), 2
(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (- z0 1) z2)), 2
(* (* (* 4 (- 1 z0)) z1) (- 1 z0)), 2
(* (* (pow z0 (- z1 2)) (* (- z2) z1)) (/ (- z1 2) z0)), 2
(* (* z0 (/ z0 (* z1 z1))) (* (+ -1 z2) (+ -1 z2))), 2
(* (* z0 z0) (* (- z1 1) z0)), 2
(* (* (* (pow z0 (- z1 2)) z1) z2) (- z1 2)), 2
(* z0 (- (+ z0 z0) 1)), 2
(* (* (+ z0 z0) (- 1 z1)) (* z0 z2)), 2
(/ (* (- (* z0 (- (+ z0 z0) 3)) -1) z1) (* (* z0 z0) (* (- z2 1) z0))), 2
(* (pow (* (+ -1 z0) (+ -1 z0)) (/ (- 1 z1) z1)) (* (/ z2 z1) z2)), 2
(- (* 3 (pow (tanh (* (* z0 z1) z2)) -2)) 4), 2
(* (* (/ (- 1 z0) z0) z1) z2), 2
(* (* (* (+ z0 z0) (* (- 1 z1) z0)) (- (* (* (* 4 (- 1 z1)) z0) (- 1 z1)) 6)) z2), 2
(* (/ z0 z1) z0), 2
(* z0 (* (* (- 1 z1) z2) z1)), 2
(* (* (* z0 (- (+ z0 z0) 1)) z1) (pow (* (+ -1 z2) (+ -1 z2)) (- z0 1))), 2
(/ (* (- (/ 1 z0) 1) z1) z0), 2
(* z0 (- (+ z1 z1) 3)), 2
(- z0 (* (* z1 z2) z2)), 2
(- (pow (tanh (* (* z0 z1) z2)) 2) 1), 2
(* (* (- 1 z0) z1) z0), 2
(* (- z0 2) (- z0 1)), 2
(* (- z0 2) (* (* (* (- 1 z0) z1) z0) z2)), 2
(* 8 z0), 2
(- (* z0 (- (+ z0 z0) 3)) -1), 2
(* z0 (* (- z1 1) z2)), 2
(* (* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 2)) (* z2 (/ z2 (* z1 z1)))) (* (+ -1 z0) (+ -1 z0))), 2
(* -8 z0), 2
(* z0 (- (+ z0 z0) 3)), 2
(* (* z0 (/ z1 z2)) z1), 2
(* (/ (- z0 1) z1) (* (* (- 2 z0) z0) (* (pow z1 (- z0 2)) z2))), 2
(- z0 4), 2
(* (* (* (* (- z0 1) z0) z1) (- 2 z0)) (pow z2 (- z0 3))), 2
(* (/ (* (- (* z0 (- (+ z0 z0) 3)) -1) z1) (* (* z0 z0) (* (- z2 1) z0))) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z0) 1))), 2
(- (+ z0 z0) 1), 2
(* (+ z0 z0) (* (- 1 z1) z0)), 2
(* (/ (- z0 1) z1) z2), 2
(* z0 (- (* (* (* 4 (- 1 z1)) z2) (- 1 z1)) 6)), 2
(* (* (* (pow z0 (- z1 2)) (* (- z2) z1)) (/ (- z1 2) z0)) (- z1 1)), 2
(/ (* (- (/ 1 z0) 1) z1) z2), 2
(- (- z0 z1) 2), 2
(* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))), 2
(* (- z0 2) (* (* (- 1 z0) z1) z0)), 2
(* (* (* (- z0 1) z0) z1) (- 2 z0)), 2
(* (* (* (- z0 1) z0) z1) (* (- 2 z0) z2)), 2
(* (/ (* (- (/ 1 z0) 1) z1) z0) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z0) 1))), 2
(pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 2)), 2
(- (* z0 (- (+ z0 z0) 3)) z1), 2
(* (* (* z0 (- (+ z0 z0) 1)) z1) z2), 2
(* z0 (- (+ z1 z1) 1)), 2
(* (* (- 2 z0) z0) (* (pow z1 (- z0 2)) z2)), 2
(* (- z0 2) (* (- z0 1) z1)), 2
(* (* (/ (- z0) z1) z2) (pow z1 z2)), 2
(- (* (- (* 3 (pow (tanh (* (* z0 z1) z2)) -2)) 4) (pow (tanh (* (* z0 z1) z2)) -2)) -1), 2
(* (* (/ (- 1 z0) z0) z1) (pow (* (+ -1 z2) (+ -1 z2)) (- (/ 1/2 z0) 1))), 2
(* (+ (* z0 z1) z2) (+ z1 z1)), 2
(- (+ (* z0 z1) z2) -1), 2
(* 3 (pow (tanh (* (* z0 z1) z2)) -2)), 2
(pow z0 (- (/ 1 z1) 2)), 2
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1/2 z1) 1)) (/ z2 (* (- z0 1) z1))), 2
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 2)) z2), 2
(* (- 2 z0) z0), 2
(* (* (* (* (* z0 z0) z1) z1) (* (* (* z0 z0) z1) z1)) (- (* (- (* 3 (pow (tanh (* (* z2 z1) z0)) -2)) 4) (pow (tanh (* (* z2 z1) z0)) -2)) -1)), 2
(* (* (* (- z0 1) z0) z1) z2), 2
(* (* (+ (+ (* z0 z1) z2) z2) z0) z0), 2
(* (pow z0 (- z1 2)) z1), 2
(* (* (* (- 1 (+ z0 z0)) z0) (pow (* (+ -1 z1) (+ -1 z1)) (- z0 1))) z2), 2
(* (* (- z0 2) z0) z1), 2
(* (* (* (* (pow z0 (- z1 2)) z1) z2) (- z1 2)) (/ (- 1 z1) z0)), 2
(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2), 2
(* z0 (exp z1)), 2
(* (- (* 3 (pow (tanh (* (* z0 z1) z2)) -2)) 4) (pow (tanh (* (* z0 z1) z2)) -2)), 2
(* (pow z0 (- z1 2)) (* (- z2) z1)), 2
(* (+ (* z0 z1) z2) z1), 2
(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- z0 1)), 2
(* (* -8 (- z0 2)) z1), 2
(- (* (* (* 4 (- 1 z0)) z1) (- 1 z0)) 6), 2
(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 (* (- z0 1) z1))) (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))), 2
(* (* (- 2 z0) z0) z1), 2
(/ z0 (* (* z1 z1) (* (- z2 1) z1))), 2
(* (/ (* (- (/ 1 z0) 1) z1) z0) z2), 2
(* (pow z0 (- z1 3)) z1), 2
(- (* (* (* 4 (- 1 z0)) z1) (- 1 z0)) z2), 2
(* -8 (- z0 2)), 2
(* (* (+ z0 z0) (* (- 1 z1) z0)) (- (* (* (* 4 (- 1 z1)) z0) (- 1 z1)) 6)), 2
(* z0 (/ (- 1 z1) z2)), 2
(* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- z0 1)) (/ z2 z1)), 2
(* (pow (* (+ -1 z0) (+ -1 z0)) (- (/ 1 z1) 1)) (/ z2 z1)), 2