((* z0 (- 1 (* z1 z1))), 518
 (- (cos z0) -1), 359
 (- (cos (+ z0 z0)) -1), 359
 (* z0 (- (* z1 z1) 1)), 288
 (* (cos z1) z0), 250
 (/ z0 (- 1 (* z1 z1))), 212
 (/ (- z0 -1) (- 1 (* z1 z1))), 210
 (/ z1 (* z0 z0)), 204
 (* (- (cos (+ z0 z0)) -1) 1/2), 202
 (* (- (cos z0) -1) 1/2), 202
 (pow (cos z0) 4), 192
 (- -3/2 (* 5/2 (cos (+ z0 z0)))), 186
 (- -3/2 (* 5/2 (cos z0))), 186
 (* (/ z1 z0) z1), 183
 (* (- 1 (* z1 z1)) z0), 183
 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))), 178
 (/ (- (* z0 z1) -1) (- 1 (* z1 z1))), 136
 (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))), 136
 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))), 132
 (* z0 (cos z1)), 124
 (* z2 (* (/ z2 (* z1 z1)) z0)), 119
 (* (* (* z0 1/2) z1) z2), 115
 (* (/ z1 (* z0 z0)) z1), 112
 (sin (+ (+ z1 z1) z0)), 112
 (sin (+ z1 z0)), 112
 (* (* z0 z0) (- 1 (* z1 z1))), 111
 (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))), 111
 (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))), 111
 (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))), 111
 (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))), 111
 (* (* z0 z1) (- (* z2 z2) 1)), 107
 (* (* z1 z0) z1), 104
 (* (* (* z1 (- z0 1)) z1) (- (* z2 z2) 1)), 103
 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1)), 103
 (* (* z0 (- (* z1 z1) 1)) z0), 103
 (* (* (* z1 (- (* z2 z2) 1)) z1) (- z0 1)), 103
 (* (* (* z1 (- (* z2 z2) 1)) z1) z0), 103
 (* (* (* z1 z0) z1) (- (* z2 z2) 1)), 103
 (* 5/2 (cos (+ z0 z0))), 102
 (* 5/2 (cos z0)), 102
 (/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1))), 101
 (/ z2 (* z0 (- (* z1 z1) 1))), 101
 (* (sin z0) z1), 98
 (* (* z0 z1) z1), 98
 (* z0 (sin (+ z1 z1))), 98
 (* (sin z1) z0), 96
 (- z1 (- (* -3 z0) z1)), 93
 (sin (- (+ z1 z1) z0)), 93
 (sin (- z1 (- (* -3 z0) z1))), 93
 (sin (- z0 (* -3 z1))), 93
 (/ (* -40 (pow (cos z1) 4)) z0), 89
 (* -40 (pow (cos z0) 4)), 89
 (* 5/2 (- (cos z0) -1)), 89
 (* 5/2 (- (cos (+ z0 z0)) -1)), 89
 (* (* z0 z1) z2), 88
 (* (* (* z2 z1) 1/2) z0), 86
 (* 1/2 (- 1 (cos (+ z0 z0)))), 82
 (* 1/2 (- 1 (cos z0))), 82
 (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 82
 (* (- (* z1 z1) 1) z0), 82
 (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 82
 (* (sqrt z0) (- 1 (* z1 z1))), 81
 (* z1 (* (* 1/2 z0) z2)), 80
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- z0 1)), 78
 (- 1/2 (* (cos z0) -1/2)), 78
 (- 1/2 (* (cos (+ z0 z0)) -1/2)), 78
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) z0), 78
 (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 78
 (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))), 78
 (* (sin (- z2 (- (* -3 z1) z2))) z0), 78
 (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))), 78
 (pow (/ (- (* (cos z2) z1) -1) z0) 2), 75
 (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0), 75
 (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))), 75
 (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))), 75
 (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))), 75
 (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))), 75
 (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2), 75
 (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))), 75
 (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2), 75
 (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)), 75
 (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))), 74
 (/ (- (* z1 z0) -1) (- 1 (* z1 z1))), 74
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0), 73
 (* z0 (sin (+ (+ z2 z2) z1))), 73
 (* z2 (/ z2 (* z0 (- (* z1 z1) 1)))), 67
 (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)), 67
 (* z2 (/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1)))), 67
 (sin (* (+ z1 z0) 2)), 63
 (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))), 62
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 59
 (* 11/2 (- (cos z0) -1)), 59
 (- (* 11/2 (- (cos z0) -1)) 1), 59
 (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (- (cos (+ z0 z0)) -1)) 1)), 59
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 z0) 1)), 59
 (* 11/2 (- (cos (+ z0 z0)) -1)), 59
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos z0) -1)) 1)), 59
 (- (* 11/2 (- (cos (+ z0 z0)) -1)) 1), 59
 (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 59
 (* (* z2 (* (/ z2 (* z1 z1)) 1/2)) z0), 59
 (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 59
 (- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 59
 (- (- (/ (* -40 (pow (cos z1) 4)) z0) (* 11/2 (- (cos (+ z1 z1)) -1))) -1), 59
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- z0 -1)) 1)), 59
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 59
 (- (- z0 (* 11/2 (- (cos (+ z1 z1)) -1))) -1), 59
 (- 1 (cos z0)), 58
 (- 1 (cos (+ z0 z0))), 58
 (* (/ z2 (* z1 z1)) z0), 57
 (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))), 57
 (* (sin (- z0 (* -3 z2))) z1), 56
 (* (sin (- (+ z2 z2) z0)) z1), 56
 (* (* z0 1/2) (cos z1)), 56
 (* (cos z0) z1), 55
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11 z0) 1)), 54
 (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)), 50
 (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2), 50
 (pow (- -3/2 (* 5/2 (cos z0))) -2), 50
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1)), 50
 (* (/ z2 z1) z0), 50
 (/ (- (* z0 z1) -1) (- (* z1 z1) 1)), 50
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1)), 50
 (/ (- z0 -1) (- (* z1 z1) 1)), 50
 (/ z0 (- (* z1 z1) 1)), 50
 (pow (- -3/2 (* 5/2 z0)) -2), 50
 (/ (* 40 (pow (cos z1) 4)) (- z0 1)), 49
 (pow (cos z0) 3), 48
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 48
 (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)), 48
 (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)), 48
 (* z0 (cos (+ z1 z1))), 46
 (* (* z1 z0) (- 1 (* z2 z2))), 45
 (* (* z1 (- 1 (* z2 z2))) z0), 45
 (* (* z1 (- 1 (* z2 z2))) (- 1 z0)), 45
 (* (* z1 (- 1 z0)) (- 1 (* z2 z2))), 45
 (* (- (+ (* (sin z2) z1) z2) z0) 6), 44
 (* (- z0 z1) 6), 44
 (* (- (+ z2 z0) z1) 6), 44
 (* (* (/ z2 z1) 1/2) z0), 44
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 43
 (* (* (/ z2 z0) z1) z1), 43
 (- -1 (cos z0)), 43
 (- -1 (cos (+ z0 z0))), 43
 (cos (* (+ z1 z0) -2)), 42
 (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* 1/2 (cos z2))), 41
 (- z0 (* (sin (* (+ z2 z1) 2)) 3)), 39
 (* (sin z0) 3), 39
 (* (sin (* (+ z1 z0) 2)) 3), 39
 (* (sin (* z0 2)) 3), 39
 (* (sin (+ (+ z2 z2) z1)) z0), 39
 (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (/ (- z0 -1) (- 1 (* z1 z1)))), 38
 (* (* z0 z0) (/ z0 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 38
 (* z0 (sin z1)), 38
 (* (pow (cos z1) 3) z0), 38
 (* (* (* z0 z0) z0) z1), 38
 (/ -1 (* z0 (- (* z1 z1) 1))), 37
 (pow (/ (- (* (cos z2) z1) -1) z0) 3), 36
 (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))), 36
 (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3), 36
 (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2), 36
 (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 3), 36
 (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))), 36
 (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))), 36
 (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)), 36
 (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2), 36
 (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0), 36
 (pow (/ (- (* z1 (cos z2)) -1) z0) 2), 36
 (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))), 36
 (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1))), 36
 (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1)))), 36
 (* (- 1/2 (* (cos z0) -1/2)) 5), 34
 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5), 34
 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5), 33
 (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)), 33
 (* z0 (* (/ z2 (* z1 z1)) z2)), 33
 (* (* (- (cos z0) -1) 1/2) 5), 33
 (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200)), 32
 (* (pow z0 4) 200), 32
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) z0), 32
 (* (pow (cos z0) 4) 200), 32
 (- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 32
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 z0)), 32
 (* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)), 32
 (* (* 1/2 (/ z2 z1)) z0), 32
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 32
 (* (pow z0 -2) (* (pow (cos z1) 4) 200)), 32
 (* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200)), 32
 (* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200)), 32
 (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0), 32
 (* z0 (* (pow (cos z1) 4) 200)), 32
 (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200)), 32
 (* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200)), 32
 (* (* 3 z1) z0), 31
 (* (* 1/2 (- 1 (cos (+ z0 z0)))) 3), 31
 (* (* 1/2 (- 1 (cos z0))) 3), 31
 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0), 31
 (* (* z0 1/2) (- 1 (cos (+ z1 z1)))), 31
 (* (* 3 z1) (sin (+ z2 z0))), 31
 (* (* 3 z0) (sin (+ (+ z2 z2) z1))), 31
 (* 3 (* z1 (sin z0))), 31
 (* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))), 30
 (pow (- 1 (* 5/2 z0)) -2), 30
 (* (* z0 (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 29
 (/ z2 (* z0 (- 1 (* z1 z1)))), 29
 (* (- (cos (+ z0 z0)) -1) 11/2), 28
 (* (* (* (* z2 z1) 1/2) z0) 1/8), 28
 (* (/ z2 z0) z1), 28
 (* (* z2 z0) z1), 28
 (* (- (cos z0) -1) 11/2), 28
 (* 1/2 (/ z1 (* z0 (- 1 (* z2 z2))))), 27
 (* (* z2 (/ z1 (* z0 z0))) z1), 27
 (* 1/2 (/ z1 (* (- 1 z0) (- 1 (* z2 z2))))), 27
 (* 1/2 (/ z1 (* (- 1 (* z2 z2)) z0))), 27
 (/ z1 (* z0 (- 1 (* z2 z2)))), 27
 (/ z0 (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)), 27
 (* (- (cos (+ z0 z0)) -1) 5/2), 27
 (- (* (- (cos z0) -1) 5/2) 1), 27
 (* (- (cos z0) -1) 5/2), 27
 (- (* (- (cos z0) -1) 11/2) 1), 27
 (/ z1 (* (- 1 (* z2 z2)) z0)), 27
 (/ (* 40 (pow (cos z1) 4)) (- (* (- z0 -1) 5/2) 1)), 27
 (* 1/2 (/ z1 (* (- 1 (* z2 z2)) (- 1 z0)))), 27
 (/ (* 40 z0) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)), 27
 (/ (* 40 (pow z0 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)), 27
 (/ (* 40 (pow (cos z1) 4)) (- (* z0 5/2) 1)), 27
 (- (* (- (cos (+ z0 z0)) -1) 11/2) 1), 27
 (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos z0) -1) 5/2) 1)), 27
 (* 40 (pow (cos z0) 4)), 27
 (* (* z0 1/2) (* (/ z2 (* z1 z1)) z2)), 27
 (- (* (- (cos (+ z0 z0)) -1) 5/2) 1), 27
 (/ (* 40 (pow (cos z0) 4)) (- (* (- (cos (+ z0 z0)) -1) 5/2) 1)), 27
 (* 1/2 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))), 27
 (/ (* 40 (pow (cos z1) 4)) z0), 27
 (/ z1 (* (- 1 z0) (- 1 (* z2 z2)))), 27
 (* z2 (/ z1 (* z0 z0))), 27
 (/ z1 (* (- 1 (* z2 z2)) (- 1 z0))), 27
 (* (* z0 z2) z1), 27
 (- (cos z2) (* (* (- -1 (cos z0)) 1/2) z1)), 26
 (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)), 26
 (* z0 (* (* (cos z2) z1) z1)), 26
 (- z0 (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))), 26
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)) (* 1/2 (- 1 (cos (+ z2 z2))))), 26
 (* (* (- -1 (cos z0)) 1/2) z1), 26
 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11), 26
 (- (+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 26
 (/ (* (* z0 1/2) z1) (* (- 1 (* z2 z2)) (- 1 (* z2 z2)))), 26
 (cos (* 2 (+ z1 z0))), 26
 (* (* (- (cos z0) -1) 1/2) 11), 26
 (* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (sin (+ z2 z2))), 26
 (* (- -1 (cos (+ z0 z0))) 1/2), 26
 (* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (cos (+ z2 z2))), 26
 (* (* (* 1/2 z0) z1) z2), 26
 (- (cos z1) (* (- -1 (cos (+ z1 z1))) (* 1/2 z0))), 26
 (* (- -1 (cos z0)) 1/2), 26
 (* (sin (+ z2 z0)) z1), 26
 (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1), 25
 (- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1)), 25
 (cos (- (+ z1 z1) z0)), 25
 (cos (- z1 z0)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (* z0 (tan z1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) 1)), 25
 (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)), 25
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1), 25
 (* (fabs (sin z1)) z0), 25
 (cos (+ z1 z0)), 25
 (* (* (* (cos z2) z1) z1) z0), 25
 (- (/ (- z0 -1) (- 1 (* z1 z1))) 1), 25
 (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3), 25
 (cos (+ (+ z1 z1) z0)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1), 25
 (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1), 25
 (cos (- z1 (- (* -3 z0) z1))), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) 1)), 25
 (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1), 25
 (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)), 25
 (- (- z0 (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1), 25
 (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)), 25
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* (* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)) 2), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))) 2), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 z0))), 24
 (* (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))) 2), 24
 (* (* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1)))), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))) 2), 24
 (* (* (sin z2) (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))), 24
 (* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1)))), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) z0)), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- z0 -1) (- (* z1 z1) 1))), 24
 (* 1/8 (* (* z2 (/ z1 (* z0 z0))) z1)), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))) 2), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) z0), 24
 (* 1/8 (* (* z2 z0) z1)), 24
 (* (* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))), 24
 (* (* (* 1/8 z0) 1/2) (/ z1 (* (- 1 (* z2 z2)) (- 1 (* z2 z2))))), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1)))), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)), 24
 (* (* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))), 24
 (* (* (sin z1) z0) 2), 24
 (* (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ z0 (- (* z1 z1) 1))), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)) 2), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 24
 (* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)), 24
 (+ (sin (* (+ z2 z1) 2)) z0), 24
 (* (sin z2) (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1)))), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))) 2), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))) 2), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))), 24
 (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2))), 24
 (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))), 24
 (* 1/8 (* (* (/ z2 z0) z1) z1)), 24
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (+ z0 z0)), 24
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))), 24
 (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))), 24
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1/3)), 23
 (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 23
 (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (/ z0 (* (* z1 (- 1 (* z2 z2))) (- 1 (* z2 z2)))), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1/3)), 23
 (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (- (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 23
 (* z1 (sin z0)), 23
 (- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 23
 (+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1/3)), 23
 (/ z0 (* (- (* z1 z1) 1) (tan z2))), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1/3)), 23
 (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (+ (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) 1/3), 23
 (- (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1/3)), 23
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- z0 1))), 23
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (- (- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 23
 (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3)), 23
 (* (- (* z0 z0) 1) (tan z1)), 23
 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3)), 23
 (* (* (- (cos (+ z0 z0)) -1) 1/2) 3), 22
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* 1/2 (- z0 -1)) 3) 1))), 22
 (* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2))), 22
 (* 5 (- 1/2 (* (cos z0) -1/2))), 22
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* (- (cos z0) -1) 1/2) 3) 1))), 22
 (* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1)), 22
 (* (* (- (cos z0) -1) 1/2) 3), 22
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* z0 3) 1))), 22
 (* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* 1/2 z0) 3) 1))), 22
 (- (* (* 1/2 (- z0 -1)) 3) 1), 22
 (/ z2 (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 22
 (- (+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 22
 (* (sin (- z0 (* -3 z2))) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))), 22
 (* (sin (- z2 (- (* -3 z1) z2))) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))), 22
 (- (* (* (- (cos z0) -1) 1/2) 3) 1), 22
 (* (sin z0) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))), 22
 (* (* z0 2) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1)), 22
 (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1), 22
 (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))), 22
 (* (* (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1)), 22
 (* (* (* (sin z1) z0) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1)), 22
 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0))), 21
 (+ (- (* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (+ (- (* z0 (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 21
 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))), 21
 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (+ (- (* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (- -11 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 21
 (* (* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))) (sin (+ z2 z2))), 21
 (- -11 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (* (* (* (* z0 1/8) z1) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 21
 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0)), 21
 (* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3), 21
 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0)))))), 21
 (* 40 (- (cos z0) -1)), 21
 (- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (- -11 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (* (* 1/8 z0) (sin (+ z1 z1))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0)))), 21
 (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0))), 21
 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0)))), 21
 (* (* (* z0 z1) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0)), 21
 (+ (- (* (pow z0 -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (+ (- (* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0)))), 21
 (* 40 (- (cos (+ z0 z0)) -1)), 21
 (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0))), 21
 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0))), 21
 (+ (- z0 -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (+ (- (* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 21
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 21
 (* (+ (sin (* (+ z2 z1) 2)) z0) 3), 20
 (* (* (* 1/2 z0) z2) z1), 20
 (* (* z2 z1) z0), 20
 (* (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2))) 3), 20
 (* (* (* z0 1/8) z1) (- 1 (* z1 z1))), 20
 (* (cos (+ z1 z1)) z0), 20
 (* (* (* (* z0 z0) z0) z1) z1), 20
 (* (* (pow (cos z1) 3) z0) z0), 20
 (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 19
 (* (sqrt z0) (- (* z1 z1) 1)), 19
 (sin (- z0 z1)), 19
 (pow (- 1 (* z0 5)) -2), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 (- z0 -1)) 11)), 19
 (pow (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)) -2), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 (- z0 -1)) 11) 1)), 19
 (- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 19
 (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2), 19
 (sin (- (- (* -3 z0) z1) z1)), 19
 (pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2), 19
 (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 19
 (- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 19
 (/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 19
 (* z0 (- (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 19
 (sin (- (- z0 z1) z1)), 19
 (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)), 19
 (/ -1 (* (sqrt (- 1 z0)) (- (* z1 z1) 1))), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 z0) 11) 1)), 19
 (- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos z0) -1) 1/2) 11)), 19
 (+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos z0) -1) 1/2) 11) 1)), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* z0 11) 1)), 19
 (- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 19
 (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* z0 11)), 19
 (* z0 (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)), 19
 (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)), 19
 (- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1), 19
 (/ -1 (* (sqrt z0) (- (* z1 z1) 1))), 19
 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 z0) 11)), 19
 (* (- -1 (* (* (* z0 z0) z0) z1)) z1), 18
 (+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* (* (pow (cos z2) 3) z1) z1)), 18
 (- -1 (* (pow (cos z1) 3) z0)), 18
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 z0))))), 18
 (+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))), 18
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)), 18
 (+ (* (* (pow (cos z2) 3) z1) z1) (/ z1 z0)), 18
 (* 3/2 (cos z0)), 18
 (pow (cos z0) 6), 18
 (+ (/ z1 (- (sqrt z0) -1)) (* (* (pow (cos z2) 3) z1) z1)), 18
 (* z0 (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)), 18
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (* (* (* z0 z0) z0) z1) z1)), 18
 (/ z1 (- (sqrt z0) -1)), 18
 (/ 1 (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 18
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* z0 z1) (sqrt (- 1 (* z1 z1)))))), 18
 (* z0 (pow (cos z1) 4)), 18
 (- -1 (* (* (* z0 z0) z0) z1)), 18
 (* (* z0 (- 1 (* z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 18
 (/ 1 (* (* z1 (- 1 z0)) (- 1 (* z2 z2)))), 18
 (* 3/2 (cos (+ z0 z0))), 18
 (+ (* (* (pow (cos z2) 3) z1) z1) (/ z1 (- z0 -1))), 18
 (* z0 (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 18
 (/ 1 (* (* z1 (- 1 (* z2 z2))) z0)), 18
 (* (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))) (* z0 (sin (+ z2 z2)))), 18
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt z0)))), 18
 (/ 1 (* (* z1 z0) (- 1 (* z2 z2)))), 18
 (/ 1 (* (* z1 (- 1 (* z2 z2))) (- 1 z0))), 18
 (* (- -1 (* (pow (cos z1) 3) z0)) z0), 18
 (* (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))) z0), 18
 (+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0)))))), 18
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (* (* z0 z0) z0) z1) (sqrt (- 1 (* z1 z1)))))), 18
 (* (sqrt z0) z1), 18
 (* z1 (* (cos (+ z2 z2)) (- 1 z0))), 17
 (* (cos (- z2 (- (* -3 z1) z2))) z0), 17
 (* (cos (- z2 z0)) z1), 17
 (* (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)) (* z1 (* (cos (+ z2 z2)) (- 1 (* z1 z1))))), 17
 (/ (* (- -1 z0) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 17
 (* z1 (cos z0)), 17
 (* (cos (- (+ z2 z2) z0)) z1), 17
 (* (- -1 (cos z0)) -40), 17
 (* (fabs z0) (cos z1)), 17
 (* (* z1 (cos z0)) (- 1 (* z1 z1))), 17
 (* (* z0 z1) (* (cos (+ z2 z2)) (- 1 (* z1 z1)))), 17
 (* (* (* (* z0 z1) 1/8) z1) (* (cos (+ z2 z2)) (- 1 (* z1 z1)))), 17
 (* z0 (* (fabs (sin z1)) (cos z1))), 17
 (* z1 (* z0 (- 1 (* z1 z1)))), 17
 (* (cos (+ z2 z0)) z1), 17
 (* (fabs (sin z0)) (cos z0)), 17
 (- -1/2 (* 3/2 (cos z0))), 17
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos z0)))), 17
 (- -1/2 (* 3/2 (cos (+ z0 z0)))), 17
 (* (* z1 (cos (+ z2 z2))) z0), 17
 (* 3 (+ (cos z1) z0)), 17
 (* (cos (+ (+ z2 z2) z1)) z0), 17
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 z0)), 17
 (/ (* (- -1 (cos (+ z0 z0))) -40) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 17
 (/ (* (- -1 (cos z0)) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 17
 (/ (* z0 -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 17
 (* (* -1/2 (/ z2 z1)) z0), 17
 (/ (* (- -1 (cos (+ z1 z1))) -40) z0), 17
 (* (- -1 (cos (+ z0 z0))) -40), 17
 (* z0 (* (cos (+ z1 z1)) (- 1 (* z0 z0)))), 17
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 z0))), 17
 (* (* z0 1/2) (- (cos (+ z1 z1)) -1)), 17
 (- 1 (* 5 (- 1/2 (* (cos z0) -1/2)))), 16
 (+ (cos (* (+ z2 z1) -2)) z0), 16
 (* 5 (- (cos z0) -1)), 16
 (* (* z0 (- 1 (* z1 z1))) (cos (+ z2 z2))), 16
 (- 1 (* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2)))), 16
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (/ (- z0 -1) (- 1 (* z1 z1)))) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1)))), 16
 (* 5 (- (cos (+ z0 z0)) -1)), 16
 (+ (cos (* (+ z2 z1) -2)) (* (cos (+ (+ z2 z2) z1)) z0)), 16
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z1) 4)) (- (* z0 5/2) 1)))), 15
 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- z0 1)))), 15
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z1) 4)) (- (* (- z0 -1) 5/2) 1)))), 15
 (* 3 (cos z0)), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z2) 4)) (- (* (- z0 -1) 5/2) 1)))) (* (- (* z1 z1) 1) (tan z2))), 15
 (/ (- z0 (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z1) 4)) (- z0 1)))), 15
 (* (* z1 z1) z0), 15
 (- (pow (/ (- (* (cos z2) z1) -1) z0) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1)))), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z2) 4)) (- z0 1)))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 z0) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (/ (- (- (* (- (cos (+ z2 z2)) -1) 11/2) 1) (/ z0 (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos z0) -1) 5/2) 1)))) (* (- (* z1 z1) 1) (tan z2))), 15
 (* (* (* (* z2 z1) 1/2) z0) 1/4), 15
 (- z0 (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (- z0 -1)), 15
 (* z0 (sin (- z2 (- (* -3 z1) z2)))), 15
 (/ (- (- (* (- z0 -1) 11/2) 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* z0 (- (* z1 z1) 1)))), 15
 (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1)))) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1)))), 15
 (- (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3) (/ -1 (* (sqrt (- 1 (* z0 z0))) (- (* z0 z0) 1)))), 15
 (/ (- (- (* (- (cos (+ z2 z2)) -1) 11/2) 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) z0)), 15
 (- (- (* (- z0 -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos z0) -1) 5/2) 1)))), 15
 (/ (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))) (* z0 (tan z1))), 15
 (- (* (- (cos (+ z1 z1)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z1) 4)) z0))), 15
 (/ (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))) (* (- (* z0 z0) 1) (tan z1))), 15
 (* z0 (/ (- (- (* (- (cos (+ z2 z2)) -1) 11/2) 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2)))), 15
 (- (- (* z0 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1)))), 15
 (/ (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))) z0), 15
 (/ (- (- (* (- (cos (+ z2 z2)) -1) 11/2) 1) (/ (* 40 (pow z0 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (* (* (* z0 z2) 1/2) z1), 15
 (/ (- (- (* (- (cos z0) -1) 11/2) 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 (pow z0 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (/ (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))) (* (- z0 1) (tan z1))), 15
 (- (- z0 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (/ (- (- z0 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (/ (- (- (* (- (cos (+ z2 z2)) -1) 11/2) 1) (/ (* 40 z0) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (/ (- (- (* z0 11/2) 1) (/ (* 40 (pow (cos z2) 4)) (- (* (- (cos (+ z2 z2)) -1) 5/2) 1))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 z0)) (- (* z1 z1) 1)))), 15
 (- (- (* (- (cos z0) -1) 11/2) 1) (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (- z0 -1)) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (- (* (- (cos (+ z1 z1)) -1) 11/2) 1) (/ z0 (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z2) 4)) z0))) (* (- (* z1 z1) 1) (tan z2))), 15
 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt z0) (- (* z1 z1) 1)))), 15
 (- (- (* (- (cos (+ z0 z0)) -1) 11/2) 1) (/ (* 40 (pow (cos z0) 4)) (- (* (- (cos (+ z0 z0)) -1) 5/2) 1))), 15
 (/ (- (* (- (cos (+ z2 z2)) -1) 11/2) (+ 1 (/ (* 40 (pow (cos z2) 4)) (- (* z0 5/2) 1)))) (* (- (* z1 z1) 1) (tan z2))), 15
 (* -6 (- z0 z1)), 14
 (* (sin (+ z1 z1)) z0), 14
 (* -6 (- (+ (* (sin z2) z1) z2) z0)), 14
 (* -6 (- (+ z2 z0) z1)), 14
 (* (- (* 33 (* z1 z1)) -22) z0), 13
 (* (pow (cos z0) 6) 400), 13
 (* (* (pow z0 6) 400) z1), 13
 (* (- (cos z2) (* (* (- -1 (cos z0)) 1/2) z1)) -3), 13
 (* (* (* (pow z0 6) 400) z1) z1), 13
 (* (* (* z0 400) z1) z1), 13
 (* (* z0 400) z1), 13
 (* -200 (pow (cos z0) 4)), 13
 (* (sin (+ (+ z2 z2) z1)) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))), 13
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 z0))) (* 1/2 (- 1 (cos (+ z2 z2))))), 13
 (* 3/2 (- (cos (+ z0 z0)) -1)), 13
 (* (sin z0) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 13
 (* (/ 3 (* (* (- 1 (* z1 z1)) z0) (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos (+ z2 z2))))), 13
 (* (* -200 (pow (cos z1) 4)) (pow z0 -2)), 13
 (* (- (cos z2) (* -1/2 (* (- z0 -1) z1))) -3), 13
 (* (- (cos z2) (* (* z0 1/2) z1)) -3), 13
 (* (/ 3 (* z0 (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos (+ z2 z2))))), 13
 (* (/ 3 z0) (* 1/2 (- 1 (cos (+ z1 z1))))), 13
 (* (- z0 (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3), 13
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 z0) -2)), 13
 (* (* (/ z1 (* z0 z0)) z1) z2), 13
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos z0)))), 13
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (* 1/2 (- 1 z0))), 13
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) z0), 13
 (* (/ 3 (* (* (- 1 (* z1 z1)) (- 1 z0)) (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos (+ z2 z2))))), 13
 (* z0 (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 13
 (* (* (* (pow (cos z2) 6) 400) z1) (/ z1 (* z0 z0))), 13
 (* 3 (cos (* z0 -2))), 13
 (* (* (* (pow (cos z1) 6) 400) z0) z0), 13
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 z0))), 13
 (* 3/2 (- (cos z0) -1)), 13
 (* (/ 3 (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (- 1 (* z0 z0)))) (* 1/2 (- 1 (cos (+ z1 z1))))), 13
 (* (/ z0 z1) z2), 13
 (* (- (cos z1) (* (- -1 (cos (+ z1 z1))) (* 1/2 z0))) -3), 13
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) z0), 13
 (* z0 (cos (* 2 (+ z2 z1)))), 13
 (* (- (cos z1) z0) -3), 13
 (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) z0)), 13
 (* (* (/ z1 z0) z1) z2), 13
 (* (* -3/2 (- 1 (cos (+ z1 z1)))) z0), 13
 (* (* -200 (pow (cos z1) 4)) z0), 13
 (* 33 (* z0 z0)), 13
 (* (* (pow (cos z1) 6) 400) z0), 13
 (* (sin (+ z2 z0)) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 13
 (* 3 (cos (* (+ z1 z0) -2))), 13
 (* (- (cos z2) (* z0 z1)) -3), 13
 (* (/ 3 (* (* (- 1 z0) (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos (+ z2 z2))))), 13
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 z0))), 12
 (* (* (* 2 (- (* 3/2 (- (cos z0) -1)) 1)) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) 1)), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- (* (* z0 z0) (/ z0 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (* (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1)) (sin z1)), 12
 (* (* z0 (* z1 (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ z0 (- 1 (* z1 z1)))), 12
 (* (* 3 z0) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (* z0 1/2) z1)) -3)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- z0 -1) (- 1 (* z1 z1)))), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1)))) -1/3), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1)))) -1/3), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (* (* z0 z0) z0) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (* (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)) (sin (+ z2 z0))), 12
 (* (- (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 1)) (sin (+ (+ z2 z2) z1))), 12
 (- (+ (/ z1 (- z0 -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* z0 z1)) -3)), 12
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1/3)), 12
 (* 2 (- (* 3/2 (- z0 -1)) 1)), 12
 (* z0 (* z1 (- 1 (* z1 z1)))), 12
 (- (- z0 (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))) -1), 12
 (- (- (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))) -1), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3) (/ -1 (* (sqrt (- 1 (* z0 z0))) (- (* z0 z0) 1))))), 12
 (* (- -1/2 z0) (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)), 12
 (- (/ (* 40 (pow z0 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1)), 12
 (* (* (* 2 (- (* 3 z0) 1)) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- z0 (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos z0) -1) 11/2) 1)), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1)))) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (* (- -1/2 (* 3/2 z0)) (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1)), 12
 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1), 12
 (- (cos z2) (* -1/2 (* (- (cos z0) -1) z1))), 12
 (- (- (/ (* 40 (pow (cos z1) 4)) (- (* z0 5/2) 1)) (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (* 3 (+ (sin (* 2 (+ z2 z1))) z0)), 12
 (* (+ (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (* -3/2 (- 1 (cos z0))), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (* (- -1 (cos z0)) 1/2) z1)) -3)), 12
 (* (* 3 (cos z0)) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (- z0 (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* -1/2 (* (- z0 -1) z1))) -3)), 12
 (* (* z0 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))) -1/3), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 z0)) -1/3)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) z0) -1)) (sin z2)), 12
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (+ (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))) (* z0 3))), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt z0)))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (/ (* 40 (pow (cos z0) 4)) (- (* (- (cos (+ z0 z0)) -1) 5/2) 1)) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)), 12
 (- z0 (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (* (* (- (cos z0) -1) 1/2) z1), 12
 (* (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1)))) -1) (sin z2)), 12
 (* (* (* 2 (- z0 1)) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (- (+ (/ z1 (- (sqrt z0) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 z0)) -1)) (sin z2)), 12
 (* (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))) -1) (sin z2)), 12
 (- (+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0)))))) (* (- (cos z1) (* (- -1 (cos (+ z1 z1))) (* 1/2 z0))) -3)), 12
 (* (* (- (cos (+ z1 z1)) -1) 1/2) z0), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)) (sin z0)), 12
 (* (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1)))) -1) (sin z2)), 12
 (- (- (/ (* 40 (pow (cos z1) 4)) (- (* (- z0 -1) 5/2) 1)) (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (- (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (* (* (* 2 (- (* 3/2 z0) 1)) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (- (+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (* 200 (pow (cos z0) 4)), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))) -1), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) z0))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- z0 (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)), 12
 (* (/ (sin z1) z0) z2), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) 1)), 12
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (+ (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))) (* (- (cos z2) z0) 3))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 1)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) z0), 12
 (- (- (/ (* 40 (pow (cos z1) 4)) (- z0 1)) (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (* (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)) z0), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 z0))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (+ (* (sqrt (- 1 (* z1 z1))) z1) z0) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (sin (* 2 (+ z1 z0))), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) -1/3)), 12
 (* 2 (- (* 3/2 (- (cos z0) -1)) 1)), 12
 (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))) -1), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))) -1/3), 12
 (* (* 200 (pow (cos z1) 4)) (pow z0 -2)), 12
 (- (* (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1/3)) (sin (- z2 (- (* -3 z1) z2)))) (* (- (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 1) (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0)))) (sin (+ (+ z2 z2) z1)))), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))) -1), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (/ (- z0 -1) (- 1 (* z1 z1)))) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) -1)), 12
 (- (* (* z0 z0) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (* (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1/3)) (sin (- z2 (- (* -3 z1) z2)))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) 1)), 12
 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0))), 12
 (* (+ (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (- (+ (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) z0) (* (* (pow (cos z2) 3) z1) z1)) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (* (* 200 (pow (cos z1) 4)) z0), 12
 (* (- z0 -1/3) (sin (- z2 (- (* -3 z1) z2)))), 12
 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) z0), 12
 (* (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)) (sin z0)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 -1/3)), 12
 (+ (sin (* 2 (+ z2 z1))) z0), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)), 12
 (* (- -1/2 (* 3/2 (cos (+ z2 z2)))) (- (* (* z0 z0) z0) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (* -3/2 (- 1 (cos (+ z0 z0)))), 12
 (+ (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) -1)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 -1)), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (sqrt (- 1 (* z1 z1))) z0))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (- (* (* z0 z0) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))) -1), 12
 (* (- -1/2 (* 3/2 (cos z0))) (- (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3) (/ -1 (* (sqrt (- 1 (* z1 z1))) (- (* z1 z1) 1))))), 12
 (- (/ (* 40 z0) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) z0)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)) z0), 12
 (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) -1/3)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) z0) -1/3)), 12
 (- (* z0 (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* z0 11/2) 1)), 12
 (* (* (* 2 (- (* 3/2 (- z0 -1)) 1)) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (- (* 3/2 (- (cos z0) -1)) 1), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) z0) -1)), 12
 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- z0 -1) 11/2) 1)), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1)))) -1), 12
 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- z0 1)), 12
 (+ (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)), 12
 (- (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos z0) -1) 5/2) 1)) (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) -1)), 12
 (+ (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 z0)) -1)), 12
 (- (+ z0 (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (+ (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)), 12
 (* 2 (* (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1) (* (- z0 -1) (sin z1)))), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1)), 12
 (* (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))) -1) (sin z2)), 12
 (* 200 (pow z0 4)), 12
 (- (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 1)), 12
 (- (+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1)))) -1), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0), 12
 (- (- (/ (* 40 (pow (cos z1) 4)) z0) (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (- (/ z0 (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1)), 12
 (- (+ (/ z1 z0) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) z0) 1)), 12
 (* (* (+ z0 z0) (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1))) (sin z2)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (- z0 (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))), 12
 (- (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 1)), 12
 (* (* 2 (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1)) (* z0 (sin z1))), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)) (sin (- z0 (* -3 z2)))), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) -1/3)), 12
 (* (* 2 (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1)) (* (+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) -1)) (sin z1))), 12
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* z0 z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3)), 12
 (- (* 3/2 (- z0 -1)) 1), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (- (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))) -1), 12
 (* (- -1/2 (* 3/2 (cos (+ z1 z1)))) z0), 12
 (- (- z0 (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 12
 (* (- z0 -1) (sin (+ (+ z2 z2) z1))), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1)))), 12
 (pow (- -3/2 (* 5 z0)) -2), 12
 (- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))), 12
 (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) -1/3)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) -1)) (sin z2)), 12
 (* (+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 -1)) (sin z2)), 12
 (* (* 2 (- (* 3/2 (- (cos (+ z1 z1)) -1)) 1)) z0), 12
 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 11
 (* (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)) (- 1 (* z1 z1))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (* (- (cos z1) z0) 3), 11
 (/ 3 (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (- 1 (* z0 z0)))), 11
 (* (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos z0)))))), 11
 (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) z0) -3), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* z0 z1)) z1)), 11
 (- (* z0 3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (- (* (- (* (* (- -1 (cos z0)) 1/2) z1) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (- (* (- (cos z2) z0) 3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 z0))), 11
 (/ 3 (* (* (- 1 (* z1 z1)) (- 1 z0)) (- 1 (* z1 z1)))), 11
 (+ (- (* z0 (* (pow (cos z1) 4) 200)) -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (+ (- z0 -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (* (* z1 (- 1 (* z1 z1))) (sqrt z0)), 11
 (- -11 (/ (* z0 -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 z0)))), 11
 (- -11 (/ (* (- -1 z0) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) z0))), 11
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) z0), 11
 (- (* (- (* z0 z1) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (- (* (- (* (* z0 1/2) z1) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (/ 3 (* z0 (- 1 (* z1 z1)))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* z0 -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (* (- (* z0 z1) (cos z2)) -3), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z0 z0))) -40) (- -3/2 (* 5/2 (cos (+ z0 z0))))))), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) z0) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (- -11 (/ (* (- -1 (cos z0)) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 z0) z1)), 11
 (/ 3 (* (* (- 1 z0) (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 11
 (* (- (* (* (- -1 (cos z0)) 1/2) z1) (cos z2)) -3), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 z0) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (- (/ (* 40 (pow (cos z1) 4)) (- z0 1)) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 11
 (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos z0))))), 11
 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5/2 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* z0 z1)), 11
 (/ (sin z1) z0), 11
 (* (* (* 1/2 (- 1 (cos z0))) 3) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 11
 (* (* z1 (- 1 (* z1 z1))) z0), 11
 (* (* (* 1/2 (- 1 z0)) 3) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 11
 (+ (- (* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (* (* (* 1/2 z0) 3) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 11
 (* (- (* (- -1 z0) (* 1/2 z1)) (cos z2)) -3), 11
 (- (* (- (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)) (cos z1)) -3) (* (- -1 (* (pow (cos z1) 3) z0)) z0)), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (* (* z0 z0) z0) z1)) z1)), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5/2 z0))), 11
 (* (* (* z0 z1) 1/8) (- 1 (* z1 z1))), 11
 (* (- (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)) (cos z1)) -3), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos z0)) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 z0))), 11
 (+ (- (* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 z0)), 11
 (+ (* (sin (- z2 (- (* -3 z1) z2))) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))) (* (sin (+ (+ z2 z2) z1)) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)))), 11
 (* (- (* (* z0 1/2) z1) (cos z2)) -3), 11
 (/ 3 (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 z0))))), 11
 (* (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) z0), 11
 (/ 3 (* (* (- 1 (* z1 z1)) z0) (- 1 (* z1 z1)))), 11
 (- -11 (/ (* (- -1 (cos (+ z0 z0))) -40) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 11
 (+ (- (* (pow z0 -2) (* (pow (cos z1) 4) 200)) -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (- (* (- (* (- -1 z0) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 11
 (* z0 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 z0)))), 11
 (+ (- (* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 11
 (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) z0), 11
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 11
 (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) z0)), 11
 (* (cos (* (+ z2 z1) -2)) z0), 11
 (* (* 1/2 (- 1 (cos (+ z1 z1)))) (* 3 z0)), 11
 (* (* z0 3) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))), 11
 (* (* z1 (- 1 (* z1 z1))) (sqrt (- 1 z0))), 11
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))), 10
 (* z1 (sin (- (- z0 z2) z2))), 10
 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) z0), 10
 (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) z0)), 10
 (* z0 (sin (- (- (* -3 z1) z2) z2))), 10
 (/ (* (- 1/2 (* (cos z0) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 10
 (* (* (* 1/8 z0) (sin (+ z2 z2))) (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))), 10
 (* 3 (+ (* z1 (* (- (cos z0) -1) 1/2)) (cos z2))), 10
 (* (/ z1 z0) z2), 10
 (* (* (* z0 z1) z2) 1/2), 10
 (* (* 3 (cos (* (+ z2 z1) -2))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)), 10
 (* 3 (+ (* z1 (* 1/2 (- z0 -1))) (cos z2))), 10
 (- 3 (* (* (- (cos z0) -1) 1/2) 5)), 10
 (* (* z0 (sin (+ z2 z2))) (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))), 10
 (* z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 10
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* z0 -1/2)) 5))), 10
 (* (* z0 z0) (pow (cos z1) 3)), 10
 (+ (* z1 (* (- (cos z0) -1) 1/2)) (cos z2)), 10
 (/ (* z0 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 10
 (pow (- 1 (* (- 1/2 z0) 5)) -2), 10
 (/ (* (- 1/2 (* z0 -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 10
 (* 3 (+ (* z1 z0) (cos z2))), 10
 (* 3 (+ (* (* z1 1/2) z0) (cos z2))), 10
 (* (/ z0 z2) z1), 10
 (* 3 (+ (sin (* 2 (+ z2 z1))) (* z0 (sin (+ (+ z2 z2) z1))))), 10
 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)), 10
 (* 3 (* (cos (* (+ z2 z1) -2)) (* (* z0 z0) z0))), 10
 (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) 1/4), 10
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* z0 5))), 10
 (* (* (* (* z2 z1) 1/2) z0) 1/2), 10
 (- z0 (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 10
 (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))), 10
 (* z1 (sin (+ z2 z0))), 10
 (* z0 (+ 3 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 10
 (* (* (* (* z0 1/8) z1) (- 1 (* z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 10
 (* (* z0 (- (* (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2) (* (pow (cos z2) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z2 z2))) -40) (- -3/2 (* 5/2 (cos (+ z2 z2)))))))) (* (* (cos z2) z1) z1)), 10
 (+ 3 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)), 10
 (* (* 3 (cos (* z0 -2))) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)), 10
 (* z1 (sin (- z0 z2))), 10
 (* (* (* (/ z1 z0) z1) z2) 1/2), 10
 (* (* (* (/ z1 (* z0 z0)) z1) z2) 1/2), 10
 (* (* (* z0 1/8) z1) (* (- 1 (* z1 z1)) (cos (+ z2 z2)))), 10
 (* z0 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* (- (cos z2) (* (- -1 (cos (+ z2 z2))) (* 1/2 z1))) -3))), 10
 (* (* 3 (cos (* (+ z2 z1) -2))) z0), 10
 (+ (sin (* 2 (+ z2 z1))) (* z0 (sin (+ (+ z2 z2) z1)))), 10
 (* (* z1 z1) (* (* z0 z0) z0)), 10
 (* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))), 10
 (* z0 (pow (cos z1) 3)), 10
 (* z1 (* (- (cos z0) -1) 1/2)), 10
 (- (* 3 (+ (sin (* 2 (+ z2 z1))) (* z0 (sin (+ (+ z2 z2) z1))))) (* z0 (sin (- (- (* -3 z1) z2) z2)))), 10
 (/ z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)), 9
 (* (* z0 z1) (* (- 1 (* z2 z2)) z1)), 9
 (* (sin (- (- z0 z2) z2)) z1), 9
 (* (* (* (* (pow z0 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)), 9
 (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)), 9
 (* (* (* (* z0 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)), 9
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* z0 5))), 9
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 (* z0 -1/2)) 5))), 9
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) z0), 9
 (/ (* z0 (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)), 9
 (* (* (* (- 1 (* z2 z2)) z1) z0) z1), 9
 (pow (- 1 (* (* 1/2 z0) 5)) -2), 9
 (- (* (- 1/2 (* (cos z0) -1/2)) 5) 1), 9
 (/ (* -40 (pow (cos z0) 4)) (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))), 9
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- z0 1)), 9
 (* (- (* (- (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)) (cos z1)) -3) (* (- -1 (* (pow (cos z1) 3) z0)) z0)) (* (/ 3 (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (- 1 (* z0 z0)))) (* 1/2 (- 1 (cos (+ z2 z2)))))), 9
 (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (- 1/2 z0)), 9
 (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 5) 1), 9
 (* (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) z0)), 9
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))), 9
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)), 9
 (* (* (* z0 z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)), 9
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* 5/2 z0))), 9
 (+ (cos (* 2 (+ z2 z1))) z0), 9
 (/ (* -40 (pow z0 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 9
 (* (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (- 1/2 z0))), 9
 (* (* (- 1 (* z2 z2)) z1) (* (- 1 z0) z1)), 9
 (/ (* -40 z0) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 9
 (* (* (- (* z1 z1) 1) z0) (* (- (* z1 z1) 1) z0)), 9
 (* z0 (* (- 1 (* z2 z2)) z1)), 9
 (* 1/2 (- (cos (+ z0 z0)) 1)), 9
 (* (sin (- (- (* -3 z1) z2) z2)) z0), 9
 (- (* (cos z0) 1/2) 1/2), 9
 (* (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (* 1/2 (- 1 z0)))), 9
 (* (* (- 1 z0) z1) (* (- 1 (* z2 z2)) z1)), 9
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 z0) -2)), 9
 (/ (* (- -80 z0) (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)), 9
 (* (* z0 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))) (* 1/2 (- 1 (cos (+ z2 z2))))), 9
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)), 9
 (* (* (- 1 (* z2 z2)) z1) z0), 9
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) z0), 9
 (* (sin (- z0 z2)) z1), 9
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* z0 11) 1)), 9
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* z0 5)) -2)), 9
 (* (- -80 z0) (pow (cos z1) 4)), 9
 (* (* z0 z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)), 9
 (* (* (* z1 (- 1 (* z1 z1))) (* (sqrt (- 1 (* z1 z1))) z0)) (sin (+ z2 z2))), 9
 (* (* (- 1 (* z1 z1)) z0) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))), 9
 (* (- (* (- (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)) (cos z2)) -3) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (* 1/2 (- 1 (cos z0))))), 9
 (pow (- 1 (* (* 5 z0) 1/2)) -2), 8
 (* (* 200 (pow (cos z1) 4)) (pow (- 1 z0) -2)), 8
 (* (* z1 (/ z2 z1)) z0), 8
 (* (pow (- 1 (* (* 5 z0) 1/2)) -2) (* (pow (cos z1) 4) 200)), 8
 (+ (* 3 (+ (cos (* 2 (+ z2 z1))) (* z0 (cos (+ (+ z2 z2) z1))))) (* z0 (cos (- z2 (- (* -3 z1) z2))))), 8
 (- (* (pow (- 1 (* z0 1/2)) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 8
 (* (* -3 z0) (sin (+ (+ z2 z2) z1))), 8
 (- (* (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2))) 3) (* (sin (- (- (* -3 z1) z2) z2)) z0)), 8
 (* (* 1/2 (cos z1)) z0), 8
 (* 3 (+ (cos (* 2 (+ z2 z1))) (* z0 (cos (+ (+ z2 z2) z1))))), 8
 (* z1 (cos (+ z2 z0))), 8
 (* -3 (* z1 (sin z0))), 8
 (* (* -3 z1) (sin (+ z2 z0))), 8
 (* z0 (cos (+ (+ z2 z2) z1))), 8
 (* (pow (- 1 (* z0 1/2)) -2) (* (pow (cos z1) 4) 200)), 8
 (* z1 (cos (- (+ z2 z2) z0))), 8
 (* -3 (+ (cos (* (+ z2 z1) -2)) z0)), 8
 (* (* (* (* (* 1/2 z1) z0) 1/8) z2) (- 1 (* z2 z2))), 8
 (* (* z0 (cos (+ z2 z2))) (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1))), 8
 (* (* z0 (cos (+ z2 z2))) (- (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 8
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* z0 1/2))), 8
 (* z0 (cos (- z2 (- (* -3 z1) z2)))), 8
 (* 1/8 (* (* (* 1/2 z0) z2) z1)), 8
 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* (* 5 z0) 1/2))), 8
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* (* 5 z0) 1/2))))), 8
 (/ (* z1 z0) (* (- (* z1 z1) 1) (tan z2))), 8
 (* (* (* 1/8 z0) z2) z1), 8
 (- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* z0 1/2))))), 8
 (* 3 (+ (cos (* 2 (+ z2 z1))) z0)), 8
 (* z1 (cos (- z2 z0))), 8
 (- (* (cos (- z2 (- (* -3 z1) z2))) z0) (* -3 (+ (cos (* (+ z2 z1) -2)) (* (cos (+ (+ z2 z2) z1)) z0)))), 8
 (* -3 (+ (cos (* (+ z2 z1) -2)) (* (cos (+ (+ z2 z2) z1)) z0))), 8
 (* (* z0 (- 1 (* z1 z1))) 1/2), 8
 (- (* (pow (- 1 (* (* 5 z0) 1/2)) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 8
 (* (* (- 1 (* z1 z1)) -1/2) z0), 8
 (/ z0 (* (* (- (* z2 z2) 1) z1) (* (- (* z2 z2) 1) z1))), 8
 (* (+ (cos (* (+ z2 z1) -2)) (* (cos (+ (+ z2 z2) z1)) z0)) 3), 8
 (* (* -3 z1) z0), 8
 (* (* (* (* z1 (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) (* 1/8 z0)) (sin (+ z2 z2))), 8
 (* z0 (/ z1 z0)), 8
 (+ (* (+ (cos (* (+ z2 z1) -2)) (* (cos (+ (+ z2 z2) z1)) z0)) 3) (* (cos (- z2 (- (* -3 z1) z2))) z0)), 8
 (* z0 (- (/ (* 40 (pow (cos z1) 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1)) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1))), 8
 (+ (cos (* 2 (+ z2 z1))) (* z0 (cos (+ (+ z2 z2) z1)))), 8
 (/ (* 1/2 (- 1 (cos (+ z2 z2)))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)), 8
 (* (* z1 z0) (cos (+ z2 z2))), 8
 (* (* (* (* 1/2 z1) z0) 1/8) z2), 8
 (* (+ (cos (* (+ z2 z1) -2)) z0) 3), 8
 (* (* -200 (pow z0 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 7
 (* (* (- (cos (+ z0 z0)) -1) 1/2) 80), 7
 (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos z0) -1))), 7
 (/ 3 (* (* z0 (- 1 (* z1 z1))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 7
 (* (* z0 (- 1 (* z1 z1))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))), 7
 (- z0 (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))), 7
 (* (* (- (cos z0) -1) 1/2) 80), 7
 (* (- z0 z1) -6), 7
 (* (- (+ z2 z0) z1) -6), 7
 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 z0)) -2)), 7
 (* (* (- (* 33 (* z1 z1)) -22) 1/2) z0), 7
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- 1 z0) (- 1 (* z1 z1))) (- 1 (* z1 z1))))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (* 1/2 (- 1 (cos z0))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (* (* z0 z0) z0) z1)) z1)), 7
 (- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 7
 (- (* 3 (- z0 (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (* (* 200 z0) z0), 7
 (* (* (- z0 -22) 1/2) (- (cos (+ z1 z1)) -1)), 7
 (* 3 (- z0 (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))), 7
 (* (* z0 (sin (+ z2 z2))) (- (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 7
 (- z0 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 7
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 z0)))), 7
 (* z0 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))), 7
 (/ 3 (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0) (- 1 (* z1 z1)))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* 1/2 (- 1 z0))), 7
 (- (- (* z1 z1) -2) (* (* (- (* 33 z0) -22) 1/2) (- (cos (+ z2 z2)) -1))), 7
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0))), 7
 (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) z0)), 7
 (* 3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0)))), 7
 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos z0) -1)), 7
 (* 3 (- (cos z2) (* -1/2 (* (- (cos z0) -1) z1)))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* 1/2 z0)), 7
 (/ 3 (* (* (- 1 (* z1 z1)) z0) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 7
 (* (* (- (* 33 z0) -22) 1/2) (- (cos (+ z1 z1)) -1)), 7
 (* 10000/2928563 (- z0 2634/5)), 7
 (/ (* z0 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 7
 (* (* -200 z0) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 7
 (/ 3 (* (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 7
 (* z0 (/ z2 (* z1 z1))), 7
 (- (- z0 -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* z0 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))), 7
 (* -3 (- (cos z2) (* -1/2 (* (- z0 -1) z1)))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 z0) z1)), 7
 (- (- (* z1 z1) -2) (* (* (- z0 -22) 1/2) (- (cos (+ z2 z2)) -1))), 7
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 z0)) -11), 7
 (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11), 7
 (/ 3 (* (* (- 1 z0) (- 1 (* z1 z1))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* z0 z1)) z1)), 7
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- 1 (* z1 z1)) z0) (- 1 (* z1 z1))))), 7
 (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (* 1/2 (- 1 z0)) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))), 7
 (- (* 3 (+ (cos z2) z0)) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (+ (* (* z1 z2) z0) z1), 7
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) z0) -11), 7
 (/ 3 (* (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0) (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 7
 (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0) (- 1 (* z1 z1))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos z0) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (- (* 3 z0) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (pow (- 1 (* 5 z0)) -2), 7
 (* (- (* 3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0)))) (* (- -1 (* (pow (cos z1) 3) z0)) z0)) (* 1/2 (- 1 (cos (+ z2 z2))))), 7
 (- (- (* z1 z1) -2) (* (* z0 1/2) (- (cos (+ z2 z2)) -1))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- z0 -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (/ 3 (* (* (- 1 (* z1 z1)) (- 1 z0)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 7
 (* (- (* 3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0)))) (* (- -1 (* (pow (cos z1) 3) z0)) z0)) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (- 1 (* z0 z0))))))), 7
 (- (* 3 (- (cos z2) (* (* -1/2 z0) z1))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (- (* 3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0)))) (* (- -1 (* (pow (cos z1) 3) z0)) z0)), 7
 (* (- (+ (* (sin z2) z1) z2) z0) -6), 7
 (- (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 7
 (* (* z1 z2) z0), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) z0), 7
 (- (- z0 -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 7
 (* 10000/2928563 z0), 7
 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos z0))) -2)), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) z0), 7
 (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- 1 (* z1 z1)) (- 1 z0)) (- 1 (* z1 z1))))), 7
 (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1)), 7
 (* 3 (- (cos z2) (* (* -1/2 z0) z1))), 7
 (* 3 (+ (cos z2) (* z0 z1))), 7
 (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* z0 z1)), 7
 (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- z0 -1))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* 1/2 (- 1 (cos z0)))), 7
 (* (- (* 3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)) (* (* 1/2 z0) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))), 7
 (* z0 (* (* -1/2 z1) z2)), 7
 (* 3 (- (cos z2) (* -1/2 (* (- z0 -1) z1)))), 7
 (/ 3 (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (* (* (- (* z0 z0) 1) (- (* z0 z0) 1)) (- 1 (* z0 z0))))), 7
 (* (* (* z0 1/2) (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))), 7
 (- (* 3 (+ (cos z2) (* z0 z1))) (* (- -1 (* (pow (cos z2) 3) z1)) z1)), 7
 (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))), 7
 (pow (- 1 (* 5 (- 1/2 (* z0 -1/2)))) -2), 6
 (- z0 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))) z0), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (* 1/2 z0) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) z0))), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* z0 5) 1)), 6
 (- (/ (* -40 (pow (cos z0) 4)) (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))) (- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1)), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 z0)) -2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- z0 (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) z0) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) z0)), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)))), 6
 (- (- (/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ (* (- -1 z0) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 z0) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* z0 -1/2)) 5) 1)), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* z0 5)) -2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) z0) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (+ -11 z0)), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 z0))))), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 z0) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) z0) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* (cos (+ z1 z1)) -1/2)))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (* 1/2 z0) 5))) -11), 6
 (* z1 (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 z0)))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) z0))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) z0) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* (cos z0) -1/2)) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* (- (* 33 z0) -22) (- 1/2 (* (cos (+ z1 z1)) -1/2))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 z0)), 6
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* (cos z0) -1/2)) 11) 1)), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* z0 -1/2)))))), 6
 (+ (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* 3 (+ (* z1 (* (- (cos z0) -1) 1/2)) (cos z2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* (cos (+ z1 z1)) -1/2))), 6
 (+ (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* 3 (+ (* (* z1 1/2) z0) (cos z2)))), 6
 (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt z0)))), 6
 (+ (* (* z1 z1) (pow (cos z2) 3)) z0), 6
 (- (* z0 (+ (+ (/ 1 (- (sqrt (- 1 (* z0 z0))) -1)) (sqrt (- 1 (* z0 z0)))) (* z0 (pow (cos z1) 3)))) (* -3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)))), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (* z1 (+ (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))) (* z1 z0)))), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (sqrt (- 1 (* z1 z1))) z0)))), 6
 (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 z0) 5)) -2)), 6
 (* z1 (+ (/ 1 (- (sqrt (- 1 z0)) -1)) (sqrt (- 1 (* z1 z1))))), 6
 (- (- (/ (* 40 (pow (cos z1) 4)) (- z0 1)) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) z0), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow z0 -2)))), 6
 (- z0 (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (* z0 (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 z0))))), 6
 (* (- -80 (* (* z1 z1) 200)) z0), 6
 (* 1/4 (* (* (* z0 1/2) z1) z2)), 6
 (- (/ (* (- 1/2 (* z0 -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11), 6
 (* (* (* (* 1/2 z0) z2) z1) z1), 6
 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* z0 -1/2))))), 6
 (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos z0) -1/2)))), 6
 (* z1 (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt z0))), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos z0)))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (* z1 (+ (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))) (* z1 (* (* z0 z0) z0)))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (- (* (- 1/2 (* (cos z0) -1/2)) 11) 1), 6
 (- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1), 6
 (- (- (/ (* (- -1 (cos z0)) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (/ (* (- 1/2 (* (cos z0) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 z0)))), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) z0) (* z1 (sqrt (- 1 (* z1 z1)))))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (- (sqrt (- 1 (* z1 z1))) (/ -1 z0)))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (* z1 (- (sqrt (- 1 (* z1 z1))) (/ -1 z0))), 6
 (* (* -200 (pow (cos z0) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)) -2)), 6
 (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* z0 -1/2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) z0))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) z0) -11), 6
 (* 1/16 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* z0 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) z0) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* 5/2 z0))) -11), 6
 (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 z0))), 6
 (- (/ (* (- -1 (cos z0)) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) z0), 6
 (- (- (/ (* z0 -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (* 1/8 (* (* (* z0 1/2) z1) z2)), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (+ (* z0 (pow (cos z2) 3)) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* z1 (sqrt (- 1 (* z1 z1)))))), 6
 (- (- (/ (* z0 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (- (/ (* (- 1/2 (* z0 -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11), 6
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 z0) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (* z0 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- z0 -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (+ (+ (* z0 (pow (cos z2) 3)) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* z1 (sqrt (- 1 (* z1 z1))))), 6
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* z0 5)) -2)), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 (* 5/2 z0))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (+ (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* 3 (+ (* z1 (* 1/2 (- z0 -1))) (cos z2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ z0 (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (- -80 (* z0 200)) (pow (cos z1) 4)), 6
 (* (* z0 (* (* (cos z2) z1) z1)) (- (- (/ (* (* (- (cos (+ z2 z2)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5))) -11) (* (* -200 (pow (cos z2) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* z0 (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* z0 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))), 6
 (* z0 (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)), 6
 (* (- -80 (* (* z1 z1) 200)) (/ z0 (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1))), 6
 (- (- (/ (* (- 1/2 (* (cos z0) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* z0 (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ (* (- -80 (* (* z0 z0) 200)) (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)) (- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* (cos (+ z1 z1)) -1/2))))), 6
 (/ (* (* 1/2 z0) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 z0) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* (cos z0) -1/2)) 5) 1)), 6
 (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos z0) -1/2))), 6
 (- (* (* (* (* (pow z0 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (- (/ (* (- -1 z0) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 z0) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* (* (* z0 z1) 1/8) (* (- 1 (* z1 z1)) (cos (+ z2 z2)))), 6
 (* (* -200 (pow z0 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)), 6
 (+ (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* 3 (+ (* z1 z0) (cos z2)))), 6
 (* (- -80 (* (* z0 z0) 200)) (pow (cos z1) 4)), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 z0)) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 z0) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- z0 -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) z0)))), 6
 (- (/ (* -40 (pow z0 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1)), 6
 (- (/ (* (- -80 (* z0 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 z0) 11) 1)), 6
 (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 z0) 5))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* z0 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (/ 1 (- (sqrt z0) -1)), 6
 (- (/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1)), 6
 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (- z0 (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (* (* (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)) (- 1 (* z1 z1))) (cos (+ z2 z2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 z0) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (/ (* (- -1 (cos (+ z0 z0))) -40) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11), 6
 (- (- z0 -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (- (* z1 z1) -2) (* z0 (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (* (* -200 z0) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* z0 -1/2)) 5))) -11), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow z0 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (/ (* z0 (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (* (* (* (pow (cos z2) 6) 400) z1) (/ z1 (* z0 z0))) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (* z0 z0) 200), 6
 (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 z0)) -1)) (sqrt (- 1 (* z1 z1)))))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos z0))) -2)))), 6
 (- (* (* z0 z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (- (/ (* -40 (pow (cos z1) 4)) z0) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (+ -11 z0)), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (cos z2) z0))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* z0 (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- 1 z0) -2)))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- z0 -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* (cos z0) -1/2)) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (* z1 z0) z2), 6
 (- (- (/ (* (- -1 (cos (+ z0 z0))) -40) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))), 6
 (- (/ (* -40 z0) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1)), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow z0 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow z0 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (* (* (* (* z0 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 z0)) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 z0))) -11), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 z0))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (* (- -80 (* (* z1 z1) 200)) (/ z0 (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1))) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos z0)))) -11), 6
 (* (- 1/2 (* (cos z0) -1/2)) 11), 6
 (- (- z0 (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (* (- z0 -22) (- 1/2 (* (cos (+ z1 z1)) -1/2))), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* z0 -1/2)) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* z0 5))) -11), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) z0)))), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt z0) -1)) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (* (* (* z0 z2) z1) z1), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) z0))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 z0)) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 z0) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (+ (- (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)) (/ (* (- -80 (* (* z0 z0) 200)) (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1))) (- (* z0 z0) -2)) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* (cos (+ z1 z1)) -1/2)))), 6
 (- (- z0 -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (/ (* (- -80 (* z0 200)) (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)), 6
 (* (- -80 (* (* z1 z1) 200)) (pow z0 4)), 6
 (* z0 (+ (+ (/ 1 (- (sqrt (- 1 (* z0 z0))) -1)) (sqrt (- 1 (* z0 z0)))) (* z0 (pow (cos z1) 3)))), 6
 (- (- (* z1 z1) -2) (* (- z0 -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 (* z0 -1/2)) 5))) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (+ -11 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 z0)) -2)))), 6
 (- (/ (* z0 -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt z0)))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos z0) -1/2)))))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) z0)), 6
 (- (- (/ (* (* 1/2 z0) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- z0 -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- z0 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) z0) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (pow (- 1 (* 5 (- 1/2 z0))) -2), 6
 (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* z0 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 z0)) -2)), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 (* z0 -1/2)) 5) 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2))), 6
 (/ z0 (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2))))), 6
 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* z0 5))) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- 1 z0)) -11), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- z0 1)), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow (- 1 z0) -2)))), 6
 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 z0) 5))) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (* z1 (+ (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))) (* z1 z0))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 z0) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (* (- -80 (* (* z1 z1) 200)) (/ z0 (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1))) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (- (* z1 z1) -2) (* (- (* 33 z0) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* z0 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- -11 (* (* 200 (pow (cos z1) 4)) z0))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- -11 (* (* 200 (pow (cos z1) 4)) (pow z0 -2)))), 6
 (* z0 (+ (/ 1 (- (sqrt (- 1 (* z0 z0))) -1)) (sqrt (- 1 (* z0 z0))))), 6
 (- (/ (* (- -80 z0) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) z0) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (* (* (* 1/2 z1) z2) z0), 6
 (- (* (* (* z0 z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (* (* (- 1 (* z1 z1)) 1/2) z0), 6
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)), 6
 (- (/ (* (* 1/2 z0) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11), 6
 (- (- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 6
 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (* 1/2 z0) 5))), 6
 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* z0 -1/2)) 11) 1)), 6
 (- (- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))) -11) (* (* -200 (pow (cos z0) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)) -2))), 6
 (- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))) -11), 6
 (/ 1 (- (sqrt (- 1 z0)) -1)), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- z0 1)) (- (* z1 z1) -2)) (* (- -22 (* 33 (* z1 z1))) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* z1 (+ (* z1 (pow (cos z2) 3)) (- (sqrt (- 1 (* z1 z1))) (/ -1 z0)))), 6
 (- (/ (* z0 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) -11), 6
 (- (* z1 (+ (* z1 (pow (cos z2) 3)) (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 z0))))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 6
 (pow (- 1 (* 5 (- 1/2 (* (cos z0) -1/2)))) -2), 6
 (pow (- 1 (* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2)))) -2), 6
 (- (- (/ (* (- -1 (cos (+ z1 z1))) -40) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* z0 (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z0)), 6
 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (* z1 (+ (* z1 (pow (cos z2) 3)) z0))), 6
 (- (/ z0 (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (* z1 (+ (+ (/ 1 (- (sqrt (- 1 (* z1 z1))) -1)) (sqrt (- 1 (* z1 z1)))) (* z1 (* (* z0 z0) z0)))), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- 1 (* z0 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))) -11), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- z0 -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (/ (* (- -80 (* (* z0 z0) 200)) (pow (cos z1) 4)) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 5) 1)), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow z0 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)), 6
 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* (* 1/2 z0) 5)) -2)), 6
 (* z0 (- (/ (* -40 (pow (cos z1) 4)) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow z0 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos (+ z2 z2)) -1/2))))), 6
 (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (- 1/2 z0) 5) 1)), 6
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (+ 1 (* (* -1/2 (- (cos (+ z2 z2)) -1)) 5)) -2)) (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* z0 (- 1/2 (* (cos (+ z2 z2)) -1/2)))))), 6
 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* z0 -1/2)) 5))) -11) (* (* -200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))), 6
 (- (/ (* (- -80 (* (* z1 z1) 200)) (pow (cos z2) 4)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 5) 1)) (- (- (* z1 z1) -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* (cos z0) -1/2))))), 6
 (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))) (+ -11 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* (* 1/2 z0) 5)) -2)))), 6
 (* (* (* (* z0 z1) 1/8) (- 1 (* z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (+ (cos z2) (* z0 z1)))), 5
 (- (- (* z1 z1) -2) (* z0 (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (/ (* (* z2 1/2) z1) z0), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) z0))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (- (+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0)))))) (* -3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0))))), 5
 (* (* 400 (* z1 z1)) z0), 5
 (* 6 (- (+ z2 z0) z1)), 5
 (* (* 1/2 (/ z1 z0)) z2), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt z0)))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* 400 (* z0 z0)), 5
 (* (sin z0) (* (* (cos z2) z1) z1)), 5
 (* (* (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)) (- 1 (* z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 5
 (* (* 400 (* z1 z1)) (* (pow (cos z2) 6) z0)), 5
 (- (- (* z1 z1) -2) (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- z0 -1)))), 5
 (* (* -11 (- (* z0 z1) -2)) (* -1/2 (- (cos (+ z2 z2)) -1))), 5
 (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) 1/16), 5
 (* (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))) z0), 5
 (- (+ z0 (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* (* -11 z0) (* -1/2 (- (cos (+ z1 z1)) -1))), 5
 (- (- (* z0 z0) -2) (* (* -11 (- (* (* 3 z0) z0) -2)) (* -1/2 (- (cos (+ z1 z1)) -1)))), 5
 (* -3 (- (cos z2) (* (* -1/2 z0) z1))), 5
 (* (* z1 (* z1 (cos z2))) z0), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* z0 z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* 6 (- z0 z1)), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* (* -1/2 z0) z1)))), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos z0) -1) z1))))), 5
 (* -1/2 (- (cos z0) -1)), 5
 (* (* (* 400 (* z1 z1)) (pow (cos z2) 6)) (pow z0 -2)), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- z0 -1) z1))))), 5
 (* (* (* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8)) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 5
 (* z0 (* -1/2 (- (cos (+ z1 z1)) -1))), 5
 (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- (cos z0) -1))), 5
 (* (* (/ (* z2 z2) z0) 1/2) z1), 5
 (* 1/16 (* (/ z2 z1) z0)), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 z0))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* (* 3 z0) z0), 5
 (* (sin (+ z2 z2)) (* (* (cos z1) z0) z0)), 5
 (* z2 (/ (* (* z2 1/2) z1) z0)), 5
 (- (- (* z1 z1) -2) (* (* -11 (- (* z0 z1) -2)) (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (* z0 (/ z2 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))), 5
 (- (- (* z1 z1) -2) (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- (cos z0) -1)))), 5
 (* 400 (* z0 (pow (cos z1) 6))), 5
 (- (+ (/ z1 (- (sqrt z0) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* (* (* (* z0 z1) 1/8) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1))), 5
 (- (- (* z1 z1) -2) (* (* -11 (- (* (* 3 z1) z1) -2)) z0)), 5
 (- (- (* z1 z1) -2) (* (* -11 z0) (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- z0 -1))), 5
 (- (- (* z1 z1) -2) (* (* -11 (- (* (* 3 z1) z1) -2)) (- z0 1/2))), 5
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (+ (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))) (* 3 (+ (cos z2) z0)))), 5
 (* 6 (- (+ (* z1 (sin z2)) z2) z0)), 5
 (- (- (* z1 z1) -2) (* (* -11 (- z0 -2)) (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (* (* -11 (- (* (* 3 z1) z1) -2)) (- z0 1/2)), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- z0 (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (- (+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* -3 (- z0 (* -1/2 (* (- (cos (+ z2 z2)) -1) z1)))), 5
 (* (sin (+ z2 z2)) (* z0 z1)), 5
 (* -3 (- (cos z2) (* -1/2 (* (- (cos z0) -1) z1)))), 5
 (/ z2 (* (- 1 z0) (- 1 (* z1 z1)))), 5
 (* -1/2 (- (cos (+ z0 z0)) -1)), 5
 (- (+ (* (sqrt (- 1 (* z1 z1))) z1) z0) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (- z0 (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* z0 (- -1/2 (* 3/2 (cos (+ z1 z1))))), 5
 (- (* z0 10000/2928563) 5268000/2928563), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (sqrt (- 1 (* z1 z1))) z0))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (- (+ (/ z1 (- z0 -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (+ (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))) (* 3 z0))), 5
 (* (* -11 (- (* (* 3 z1) z1) -2)) z0), 5
 (* -3 (+ (cos z1) z0)), 5
 (* z0 (pow (cos z1) 6)), 5
 (- (- z0 -2) (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (* (* -11 (- (* (* 3 z0) z0) -2)) (* -1/2 (- (cos (+ z1 z1)) -1))), 5
 (* -11 (- (* z0 z1) -2)), 5
 (* (* 400 (* z1 z1)) (pow z0 6)), 5
 (- (+ (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) z0) (* (* (pow (cos z2) 3) z1) z1)) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (- (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (* (* z0 z0) z0) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* -3 (+ (cos z2) (* z0 z1))), 5
 (- z0 (* (* -11 (- (* (* 3 z1) z1) -2)) (* -1/2 (- (cos (+ z2 z2)) -1)))), 5
 (- (+ (/ z1 z0) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1)))))) (* -3 (- (cos z2) (* -1/2 (* (- (cos (+ z2 z2)) -1) z1))))), 5
 (* -3 (- (cos z1) (* -1/2 (* (- (cos (+ z1 z1)) -1) z0)))), 5
 (* (* -11 (- z0 -2)) (* -1/2 (- (cos (+ z1 z1)) -1))), 5
 (* (* 400 (* z0 z0)) (pow (cos z1) 6)), 5
 (* (sin (+ z2 z2)) (* (* z0 z1) z1)), 5
 (* (* 5 z0) z0), 5
 (* z0 10000/2928563), 5
 (/ z1 (* (- (* z0 z0) 1) (- (* z0 z0) 1))), 5
 (/ z2 (* (- 1 (* z1 z1)) z0)), 5
 (/ z2 (* (- 1 (* z1 z1)) (- 1 z0))), 5
 (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)) (- -11 (/ (* 80 (- 1/2 (* z0 -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2))))))), 4
 (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* z0 11)), 4
 (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 z0))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 4
 (* (* (- (* z2 z2) 1) z1) (* z1 (- z0 1))), 4
 (+ (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 z0) 5)) -2)) -11) (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos z0) -1/2)))) -2)), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)) (- -11 (/ (* (- 1/2 (* z0 -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))))), 4
 (/ (* -40 (pow (sin (- z1 (* -1/2 z0))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 4
 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 (* 5 (- 1/2 z0)))), 4
 (* -80 (/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 4
 (- (* -80 (/ (* 1/2 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) z0)) 11)), 4
 (- (/ (* (- z0 -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))), 4
 (- (* -80 (/ (* (- (cos z0) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11), 4
 (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) z0), 4
 (/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 4
 (- (* -80 (/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0)))))) 11), 4
 (* (* 1/2 (- (cos (+ z1 z1)) 1)) (* 3 z0)), 4
 (* (* z0 z1) (sin (+ z2 z2))), 4
 (* (* (* (cos z2) z1) z1) (sin z0)), 4
 (+ (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)) -11) (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 4
 (- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (* -80 (/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0)))))) 11)), 4
 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 (* 5 z0))), 4
 (/ (* 1/2 (- 1 (cos z0))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))), 4
 (* (* z0 (* (/ z2 (* z1 z1)) z2)) 1/2), 4
 (- (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) z0)) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 4
 (+ (- (* (* 200 (pow (cos z1) 4)) z0) -11) (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (- -11 (/ (* (- 1/2 (* z0 -1/2)) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (/ (* 1/2 (- 1 (cos (+ z2 z2)))) (* z0 (- 1 (* z1 z1)))), 4
 (* (* 200 (pow z0 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)), 4
 (/ (* (- 1/2 z0) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))), 4
 (* -40 (pow (sin z0) 4)), 4
 (/ (* 1/2 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)) (- -11 (/ (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 80) (- 1 (* (- 1/2 z0) 5))))), 4
 (/ (* -40 (pow (sin (- z1 z0)) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 4
 (* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1)), 4
 (* (* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))) (* 1/2 (- 1 z0))) (+ (+ (* (* z1 z1) (pow (cos z2) 3)) z1) (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))), 4
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 z0)) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))))), 4
 (- -11 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 z0))), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 z0)) -2)) (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11)), 4
 (* -3 (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2)))), 4
 (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 z0) -2)), 4
 (- (+ (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2)))))) (- (* z1 z1) -2)) (* (* (- (* 33 z0) -22) 1/2) (- (cos (+ z2 z2)) -1))), 4
 (- -11 (/ (* 80 (- 1/2 (* (cos z0) -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))), 4
 (- (+ (- (* (* (* (* (pow z0 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2)))))) (- (* z1 z1) -2)) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 4
 (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 (- z0 -1)) 11)), 4
 (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 4
 (* z0 (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 4
 (/ (* z0 (* (* (- 1 (* z2 z2)) z2) 1/8)) (* (* (- (* z2 z2) 1) z1) (* (- (* z2 z2) 1) z1))), 4
 (* -80 (/ (* 1/2 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 4
 (* -40 (pow (sin (- z1 z0)) 4)), 4
 (- -11 (/ (* 80 (- 1/2 z0)) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))), 4
 (+ (- z0 -11) (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))), 4
 (- (+ (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (/ (* (- (* 200 z0) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2)))))) (- (* z1 z1) -2)) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 4
 (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 z0)), 4
 (* -80 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 4
 (+ (- z0 -11) (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (* (* z0 z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)), 4
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos z0)))) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))))), 4
 (* (* (* z0 z1) z1) (sin (+ z2 z2))), 4
 (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) z0) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 4
 (+ (+ (* 3 (+ (cos z2) z0)) z1) (* (* z1 z1) (pow (cos z2) 3))), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)) (- -11 (/ (* 80 z0) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2))))))), 4
 (* -3 (+ (sin (* (+ z2 z1) 2)) z0)), 4
 (- (* -80 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11), 4
 (/ (* (- (cos z0) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 4
 (/ (* 80 (- 1/2 (* (cos z0) -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2))))), 4
 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos z0)))), 4
 (- (/ (* -40 (pow (sin z0) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 4
 (- (/ z0 (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))), 4
 (- (* (* 200 z0) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11)), 4
 (* z0 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11))), 4
 (* (* 200 z0) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 4
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) z0) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))))), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)) (- -11 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* z0 5))))), 4
 (+ (+ (* (* z1 z1) (pow (cos z2) 3)) z1) (* 3 (+ (* z1 (* 1/2 (- z0 -1))) (cos z2)))), 4
 (- 1/2 (* 5/2 (cos (+ z0 z0)))), 4
 (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 z0)) -2)), 4
 (- -11 (/ (* 80 (- 1/2 (* z0 -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))), 4
 (* (* (* 1/8 z0) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (* (* (- (cos (+ z2 z2)) -1) 1/2) 11)) -1)), 4
 (* (/ (- z2) z1) z0), 4
 (* -40 (pow (sin (- z1 (* -1/2 z0))) 4)), 4
 (* (* z0 (sin z2)) (cos z1)), 4
 (- (+ (* (* z1 z1) z0) z1) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 4
 (- -11 (/ (* z0 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))), 4
 (* 100000000/8576481244969 (* z0 (- z1 2634/5))), 4
 (* z0 (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)) (- -11 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))))), 4
 (/ z0 (* (* (- (* z2 z2) 1) z1) (* z1 (- (* z2 z2) 1)))), 4
 (- -11 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) z0)), 4
 (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- z0 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)) (- -11 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) z0))), 4
 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 z0)), 4
 (/ (* (- (* (* 200 z0) z0) -80) (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 4
 (- (+ z1 z0) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 4
 (* (* z0 (sin (+ z2 z2))) (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 4
 (- (- (/ (* -40 (pow (sin (- z1 z0)) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow z0 -2)) (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z1 z1)))))) 11)), 4
 (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) z0) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))) -2)) (- -11 (/ (* 80 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- 1 (* 5 (- 1/2 (* z0 -1/2))))))), 4
 (* (* 3 z0) (+ (+ (* (* z1 z1) (pow (cos z2) 3)) z1) (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))), 4
 (sin (- z1 (* -1/2 z0))), 4
 (- -11 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) z0)), 4
 (/ (* 80 (- 1/2 z0)) (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2))))), 4
 (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 z0))) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 4
 (- (- (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 z0))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 4
 (- (* (* 200 (pow (cos z1) 4)) (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2)) (- -11 (/ (* (- 1/2 z0) 80) (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5))))), 4
 (pow (sin (- z0 (* -1/2 PI))) 4), 4
 (* (* (- (* z1 z1) 1) z0) z0), 4
 (* (- (+ (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2)))))) (- (* z1 z1) -2)) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))) (* 1/16 z0)), 4
 (+ (+ (* (* z1 z1) (* (* z0 z0) z0)) z1) (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 4
 (- (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* 5/2 (cos (+ z2 z2)))) -2)) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) z0) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))))), 4
 (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* 5/2 z0))) (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))), 4
 (/ (* 1/2 (- 1 (cos (+ z1 z1)))) z0), 4
 (- (- (/ (* -40 (pow (sin (- z0 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1), 4
 (- (* -80 (/ (* (- (cos (+ z1 z1)) -1) 1/2) (- -3/2 (* 5/2 (cos z0))))) 11), 4
 (/ (* (- (cos (+ z1 z1)) -1) 1/2) z0), 4
 (/ (* -40 (pow (sin (- z1 (* -1/2 PI))) 4)) (- -3/2 (* 5/2 z0))), 4
 (- -11 (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)))), 4
)