(cos z0), 2546
(cos (+ z0 z0)), 720
(sin z0), 707
(* (cos z0) z1), 564
(sqrt z0), 366
(sqrt (- 1 (* z0 z0))), 348
(* z0 (cos z1)), 340
(- (cos (+ z0 z0)) -1), 319
(pow (cos z0) z1), 248
(* (- (cos (+ z0 z0)) -1) 1/2), 236
(* z0 (- (cos (+ z1 z1)) -1)), 234
(* z0 (cos (+ z1 z1))), 225
(* z0 (sqrt (- 1 (* z1 z1)))), 191
(pow z0 4), 182
(+ (cos (+ z0 z0)) z1), 180
(pow (cos z0) 4), 179
(- (* (cos z0) z1) z2), 169
(- (* (cos z0) z1) -1), 168
(/ (- (* (cos z0) z1) -1) z2), 168
(* z0 (pow (cos z1) 4)), 159
(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)), 154
(* (* (- (cos (+ z0 z0)) -1) 1/2) z1), 152
(* 5/2 (cos (+ z0 z0))), 143
(- -3/2 (* 5/2 (cos (+ z0 z0)))), 139
(- z0 (* 5/2 (cos (+ z1 z1)))), 139
(- (cos (+ z0 z0)) z1), 139
(* 1/2 (cos (+ z0 z0))), 127
(* (* z0 1/2) (cos (+ z1 z1))), 122
(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))), 122
(* (cos (+ z0 z0)) z1), 121
(* (sin z0) z1), 120
(* (sqrt (- 1 (* z0 z0))) z1), 120
(- (* z0 (cos z1)) -1), 119
(- (* z0 (cos z1)) z2), 119
(/ (- (* z0 (cos z1)) -1) z2), 118
(* (* z0 1/2) (- (cos (+ z1 z1)) -1)), 116
(* (pow (cos z0) 3) z1), 102
(* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0))), 95
(* (sin (- (+ z0 z0) (* -3 z1))) z2), 94
(* z0 (sin z1)), 90
(sin (- (+ z0 z0) (* -3 z1))), 90
(sin (+ z0 z0)), 90
(+ (cos z0) z1), 88
(* z0 (sin (+ z1 z1))), 86
(* (- (cos (+ z0 z0)) -1) z1), 85
(* (* z0 (sqrt (- 1 (* z1 z1)))) (- 1 (* z1 z1))), 81
(/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)), 78
(* 1/2 (- 1 (cos (+ z0 z0)))), 74
(* -40 (pow (cos z0) 4)), 72
(/ (* -40 (pow (cos z0) 4)) z1), 72
(* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))), 70
(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2), 70
(/ (* (- (* (cos z0) z1) -1) z2) (- 1 (* z1 z1))), 70
(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2), 70
(pow (cos z0) 3), 62
(- z0 (* (cos z1) z2)), 60
(/ (- -1 (* (cos z0) z1)) z2), 60
(- -1 (* (cos z0) z1)), 60
(pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2), 59
(/ (* (- (* z0 (cos z1)) -1) z2) (- 1 (* z0 z0))), 59
(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) z2), 59
(* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))), 59
(pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) z2), 59
(* (* 1/2 (- (cos (+ z0 z0)) -1)) z1), 56
(- z0 (cos (+ z1 z1))), 55
(* 11/2 (- (cos (+ z0 z0)) -1)), 53
(* (* (- (cos (+ z0 z0)) -1) 1/2) 11), 53
(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1), 53
(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) z1), 52
(- 1 (* 11/2 (- (cos (+ z0 z0)) -1))), 52
(tan z0), 52
(- z0 (* 11/2 (- (cos (+ z1 z1)) -1))), 52
(* z0 (- 1 (cos (+ z1 z1)))), 51
(- 1 (cos (+ z0 z0))), 51
(/ (* 40 (pow (cos z0) 4)) z1), 50
(* 40 (pow (cos z0) 4)), 50
(- z0 (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 49
(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 49
(/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 49
(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 49
(+ (* (* (pow (cos z0) 3) z1) z1) z2), 47
(* (* (pow (cos z0) 3) z1) z1), 47
(* (* (pow (cos z0) 3) z1) z2), 47
(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) z2), 46
(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))), 46
(- z0 (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))), 46
(sin (+ (+ z0 z1) z0)), 41
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1), 40
(/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))), 40
(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 40
(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))), 40
(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)), 39
(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) z2), 38
(* (cos (+ z0 z0)) 5/2), 38
(- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) z2), 38
(- z0 (* (cos (+ z1 z1)) 5/2)), 36
(- z0 (+ (* (sin z1) z2) z1)), 36
(* (cos (+ z0 z0)) 1/2), 35
(+ (* (sin z0) z1) z2), 34
(sin (+ (+ z0 z1) z1)), 34
(* z0 (sin (- (+ z1 z1) (* -3 z2)))), 33
(cos (* 2 (+ z0 z1))), 33
(cos (* (+ z0 z1) 2)), 32
(* (cos (+ (+ z0 z1) z1)) z2), 32
(+ (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) z2), 32
(- -3/2 (* (cos (+ z0 z0)) 5/2)), 32
(* (cos (- (- (* -3 z0) z1) z1)) z2), 32
(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3), 31
(* z0 (sin (+ (+ z1 z2) z2))), 30
(/ (* (- -1 (* (cos z0) z1)) z2) (- (* z1 z1) 1)), 30
(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2), 30
(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2), 30
(* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))), 30
(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) z2), 30
(* (* (- (cos (+ z0 z0)) -1) 1/2) 3), 29
(fabs z0), 29
(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) z1), 29
(* 1/2 (- (cos (+ z0 z0)) -1)), 29
(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1), 29
(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) z2), 28
(* z0 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1))), 28
(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2), 28
(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)), 28
(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3), 28
(* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0))), 28
(- z0 (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1)))), 28
(/ z0 (- -1 (sqrt (- 1 (* z1 z1))))), 27
(- z0 (sqrt (- 1 (* z1 z1)))), 27
(* -200 (pow (cos z0) 4)), 27
(- -1 (sqrt (- 1 (* z0 z0)))), 27
(cosh z0), 26
(* 3/2 (- (cos (+ z0 z0)) -1)), 26
(- (* 3/2 (- (cos (+ z0 z0)) -1)) 1), 26
(- (* 3/2 (- (cos (+ z0 z0)) -1)) z1), 26
(* z0 (- (* 3/2 (- (cos (+ z1 z1)) -1)) 1)), 26
(cos (- (- (* -3 z0) z1) z1)), 25
(fabs (sin z0)), 25
(sin (* (+ z0 z1) 2)), 25
(+ (* (sqrt (- 1 (* z0 z0))) z0) z1), 25
(+ (* (* (pow (cos z0) 3) z1) z1) z1), 25
(* z0 (tan z1)), 25
(* (sqrt (- 1 (* z0 z0))) z0), 25
(+ (* (cos z0) z1) (cos z2)), 24
(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)), 24
(* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))), 24
(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1/3), 24
(- z0 (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))), 24
(+ (* (cos z0) z1) z2), 24
(* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)), 24
(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) -1), 24
(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))), 24
(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1), 23
(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) z2), 23
(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1))), 23
(* (* -200 (pow (cos z0) 4)) z1), 23
(* z0 (sin (+ (+ z1 z2) z1))), 23
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)), 23
(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)), 23
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)), 23
(sinh z0), 22
(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) z2), 22
(* z0 (cos (* 2 (+ z1 z2)))), 22
(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1), 22
(- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1), 21
(/ z0 (- -1 (sqrt (- 1 (* z0 z0))))), 21
(* (* z0 (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2)), 21
(* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)), 21
(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) z2), 21
(* (* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2)), 21
(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) (sin z1)), 21
(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)), 21
(* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3), 21
(- (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0))))) z2), 21
(- z0 (/ z1 (- -1 (sqrt (- 1 (* z1 z1)))))), 21
(* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0))))), 21
(* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) z1), 21
(- z0 (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))), 20
(* (pow (cos z0) 4) z1), 20
(* (pow (cos z0) 4) 40), 20
(- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1), 20
(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)), 20
(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))), 20
(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) z2), 20
(- (- z0 (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1), 20
(/ (* (pow (cos z0) 4) 40) z1), 20
(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))), 19
(- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) z2), 19
(- z0 (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1))), 19
(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) z2), 19
(+ (sin z0) z1), 19
(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2))), 19
(- z0 (* (cos (+ z1 z1)) 1/2)), 19
(* (* (cos z0) z1) z2), 19
(- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1), 19
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) z2), 19
(- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3), 18
(* (sin (+ (+ z0 z1) z1)) z2), 18
(* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)), 18
(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1)))), 18
(* (cosh z0) z1), 18
(* (sin (+ (+ z0 z1) z0)) z2), 18
(* z0 (cos (- (- (* -3 z1) z2) z2))), 18
(+ (* (sin z0) z1) z0), 18
(* (* -3 z0) (sin (+ (+ z1 z2) z2))), 18
(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) z2), 18
(* (- z0 (+ (* (sin z1) z2) z1)) 6), 18
(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)), 18
(* (* (cos z0) z1) z1), 18
(- z0 (- (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1))) 1/3)), 18
(+ (* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2))) (* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1))))), 18
(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) z2), 18
(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) z2), 18
(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2))), 17
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1), 17
(* (sin (* (+ z0 z1) 2)) z2), 17
(* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0)))), 17
(- z0 (* (cos (+ z1 z1)) -1/2)), 17
(- z0 (* (sin (* (+ z1 z2) 2)) 3)), 17
(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) z1), 17
(* (sin (* (+ z0 z1) 2)) 3), 17
(* z0 (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)), 17
(cos (+ (+ z0 z1) z1)), 17
(* (* z0 (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))), 17
(* 11/2 (cos (+ z0 z0))), 17
(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2), 17
(- 1/2 (* (cos (+ z0 z0)) -1/2)), 17
(* z0 (* (* (cos z1) z2) z2)), 17
(- (* 11/2 (cos (+ z0 z0))) z1), 17
(* (cos (+ z0 z0)) -1/2), 17
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)), 17
(- (* 11/2 (cos (+ z0 z0))) -9/2), 17
(- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2)), 17
(- (* (cos (+ z0 z0)) 1/2) z1), 16
(* 1/2 (- (cos (+ z0 z0)) 1)), 16
(- z0 (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))), 16
(* z0 (- (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))), 16
(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1), 16
(/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 16
(* (* 1/2 (- (cos (+ z0 z0)) 1)) z1), 16
(- z0 (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)) -3)), 16
(* z0 (fabs (sin z1))), 16
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (sin z0)), 16
(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)), 16
(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) (sin z1)), 16
(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (* 2 (sin z1)))), 16
(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) z1), 16
(+ (* (sin z0) z1) (sin z2)), 16
(* (* z0 2) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (sin z1))), 16
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (* 2 (sin z0))), 16
(* z0 (cos (+ (+ z1 z2) z1))), 16
(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) (/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 16
(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- z2 (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))))), 16
(* (* (- (cos (+ z0 z0)) -1) 1/2) 80), 15
(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11), 15
(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)), 15
(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1), 15
(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (+ -11 z1)), 15
(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))), 15
(- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))), 15
(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))), 15
(* z0 (* 1/2 (cos z1))), 15
(* 3 (+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))), 15
(/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 15
(* 1/2 (cos z0)), 15
(* (* (- (cos (+ z0 z0)) -1) 1/2) (/ 80 z1)), 15
(sin (+ (+ z0 z0) z1)), 15
(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) z1), 14
(* (- (cos (+ z0 z0)) -1) 11/2), 14
(+ (cos (* (+ z0 z1) 2)) z2), 14
(* z0 (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3)), 14
(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3), 14
(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))), 14
(- (* (- (cos (+ z0 z0)) -1) 11/2) 1), 14
(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1), 14
(- (+ (* z0 (sin z1)) z1) z2), 14
(* (sinh z0) z1), 14
(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1)))) z2), 14
(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))), 14
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) z2), 14
(- (- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1), 14
(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1)))), 14
(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))), 14
(- (- z0 (* (- (cos (+ z1 z1)) -1) 11/2)) -1), 14
(- (* (- (cos (+ z0 z0)) -1) 11/2) z1), 14
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3)), 14
(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) z1), 13
(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3), 13
(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) z1), 13
(- 1 (* 5/2 (- (cos (+ z0 z0)) -1))), 13
(/ z0 (* (- (* z1 z1) 1) (tan z2))), 13
(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3)), 13
(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))), 13
(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)), 13
(* (- (cos (+ z0 z0)) -1) 5/2), 13
(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) (* (- (* z1 z1) 1) (tan z0))), 13
(/ z0 (- 1 (* (- (cos (+ z1 z1)) -1) 5/2))), 13
(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) z1), 13
(- z0 (* (- (cos (+ z1 z1)) -1) 5/2)), 13
(* (cos (+ z0 z0)) (- 1 (* z1 z1))), 13
(* z0 (/ (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (cos (+ z1 z1)) -1) 5/2))) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1)) (* (- (* z2 z2) 1) (tan z1)))), 13
(- 1 (* (- (cos (+ z0 z0)) -1) 5/2)), 13
(* z0 (* (cos (+ z1 z1)) (- 1 (* z2 z2)))), 13
(* (- (* z0 z0) 1) (tan z1)), 13
(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1)), 13
(pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2), 12
(pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) z1), 12
(* z0 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)))), 12
(* (* (pow (cos z0) 6) 400) z1), 12
(* 5/2 (- (cos (+ z0 z0)) -1)), 12
(* (- 1 (* z0 z0)) (tan z1)), 12
(sin (* 2 (+ z0 z1))), 12
(/ z0 (* (- 1 (* z1 z1)) (tan z2))), 12
(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)), 11
(* (* z0 z1) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 11
(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) z2), 11
(* z0 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))), 11
(* z0 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))), 11
(* (* z0 z0) (pow (cos z1) 3)), 11
(- z0 (* 5/2 (- (cos (+ z1 z1)) -1))), 11
(+ (* (* z0 z0) (pow (cos z1) 3)) z2), 11
(* (* z0 1/2) (- 1 (cos (+ z1 z1)))), 11
(* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))), 11
(* z0 (pow (cos z1) 3)), 11
(+ (cos (* 2 (+ z0 z1))) z2), 11
(* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1)), 10
(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))), 10
(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3)), 10
(* (sin (+ (+ z0 z0) z1)) z2), 10
(pow z0 6), 10
(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3)) (* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1))), 10
(- z0 (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))), 10
(/ z0 (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 10
(* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3)), 10
(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1/3), 10
(* (* (* z0 (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) z1), 10
(* z0 (cos (* (+ z1 z2) 2))), 10
(- z0 (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))), 10
(+ (* z0 (sin z1)) z2), 10
(* (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2) z2), 10
(- (* (sin z0) z1) z2), 10
(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1), 10
(* z0 (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3)), 10
(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1), 10
(* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2), 10
(* 5 (- (cos (+ z0 z0)) -1)), 10
(/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))), 10
(* (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1)), 10
(* (* z0 (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))), 10
(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) z2), 10
(* z0 (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1)), 10
(* (* (sin z0) (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1)), 10
(* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) z2), 10
(/ z0 (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))), 9
(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) z2), 9
(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) z1), 9
(* (fabs (sin z0)) z1), 9
(* (* (- (cos (+ z0 z0)) -1) 1/2) 5), 9
(- z0 (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3)), 9
(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)), 9
(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5)), 9
(/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))), 9
(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) z1), 9
(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1))), 9
(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)), 9
(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1))), 9
(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5)), 9
(* (cos (+ z0 z0)) -3/2), 9
(+ (* z0 (cos (- (- (* -3 z1) z2) z2))) (* 3 (+ (* z0 (cos (+ (+ z2 z1) z2))) (cos (* 2 (+ z2 z1)))))), 8
(+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2)))), 8
(* z0 (- (* z1 (- (+ (sqrt (- 1 (* z1 z1))) (* (pow (cos z2) 3) z1)) (/ 1 (- -1 (sqrt (- 1 (* z1 z1))))))) (* (+ (* (* (- (cos (+ z2 z2)) -1) 1/2) z1) (cos z2)) -3))), 8
(* 3 (+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2))))), 8
(+ (sin (* (+ z0 z1) 2)) z2), 8
(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) z2), 8
(cos (+ (+ z0 z1) z0)), 8
(* (cos (* (+ z0 z1) 2)) z2), 8
(- (* (sin z0) z1) (- z2 z0)), 8
(* (cos (* (+ z0 z1) 2)) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3)), 7
(- 1 (* (cosh z0) z1)), 7
(- z0 (* (cosh z1) z2)), 7
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))), 7
(pow (cos z0) 6), 7
(- (* (sinh z0) z1) z0), 7
(pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) z1), 7
(* z0 (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2)), 7
(* (* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1))) z2), 7
(* z0 (cosh z1)), 7
(- (* (sinh z0) z1) z2), 7
(+ (* z0 (sin z1)) z1), 7
(pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2), 7
(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) z1), 7
(+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) z1), 6
(* (pow (cos z0) 6) 400), 6
(+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2)))), 6
(sqrt (- z0 -1)), 6
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) z2), 6
(/ -1 (- -1 (sqrt (- 1 (* z0 z0))))), 6
(* (pow (cos z0) 6) z1), 6
(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))), 6
(- (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0))))) (+ (/ z0 (- -1 (sqrt (- 1 (* z0 z0))))) z2)), 6
(* 6 (- (+ (* z0 (sin z1)) z1) z2)), 6
(+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))), 6
(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)), 6
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3)), 6
(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z1 z1))))) (sqrt (- 1 (* z1 z1))))), 6
(* (* (* (pow (cos z0) 6) 400) z1) z2), 6
(* -1/2 (cos z0)), 6
(- z0 (- (* (sinh z1) z2) z1)), 6
(* z0 (* -1/2 (cos z1))), 6
(sqrt (- 1 z0)), 6
(* (* (* (pow (cos z0) 6) 400) z1) z1), 6
(+ (sqrt (- 1 (* z0 z0))) z1), 6
(+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0)))), 6
(+ (+ z0 (* z1 (sqrt (- 1 (* z1 z1))))) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))), 6
(cos (* -1/2 z0)), 6
(+ (sin (* 2 (+ z0 z1))) z2), 6
(pow (* 10000/2928563 (- z0 2634/5)) z1), 6
(/ (sin z0) z1), 6
(* z0 (- (- (/ (* (- (cos (+ z1 z1)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2)))), 5
(* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))), 5
(* (* z0 z0) (cos z1)), 5
(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3), 5
(- (* (- (cos (+ z0 z0)) -1) -3/2) z1), 5
(/ z0 (- 1 (* (cosh z1) z2))), 5
(* (* (* 1/2 (- 1 (cos (+ z0 z0)))) 3) z1), 5
(* z0 (sin (* 2 (+ z1 z2)))), 5
(* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3), 5
(- (* 5 (- (cos (+ z0 z0)) -1)) z1), 5
(* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2)), 5
(+ (* (cos (+ z0 z0)) -3/2) z1), 5
(* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2)), 5
(- z0 (* -3 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)))), 5
(- z0 (- (* (sinh z0) z1) z0)), 5
(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))), 5
(/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))), 5
(- (* 5 (- (cos (+ z0 z0)) -1)) 2), 5
(* z0 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1))), 5
(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) z1), 5
(* -3 (+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2))))), 5
(* z0 (- (* 5 (- (cos (+ z1 z1)) -1)) 2)), 5
(* z0 (- 2 (* 5 (- (cos (+ z1 z1)) -1)))), 5
(- (* (- (cos (+ z0 z0)) -1) -3/2) -3), 5
(+ (+ z0 z1) (* (* z0 z0) (pow (cos z2) 3))), 5
(* (- (cos (+ z0 z0)) -1) -3/2), 5
(- (- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2))), 5
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1), 5
(* z0 (sin (+ (+ z1 z1) z2))), 5
(- (* (cos (+ z0 z0)) -3/2) 1/2), 5
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11), 5
(- z0 (* 5 (- (cos (+ z1 z1)) -1))), 5
(* z0 (- (+ (* z1 (+ (/ -1 (- -1 (sqrt (- 1 (* z1 z1))))) (sqrt (- 1 (* z1 z1))))) (* (* z1 z1) (pow (cos z2) 3))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))), 5
(/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 5
(* (* (* z0 (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 1/8), 5
(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1)), 5
(* z0 (sinh z1)), 5
(* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0))), 5
(* z0 (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)), 5
(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) z2), 5
(* (* 3 z0) (sin (+ (+ z1 z1) z2))), 5
(* (- (cos (+ z0 z0)) -1) (/ -40 z1)), 5
(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))), 5
(- z0 (* 3 (sin (* 2 (+ z1 z2))))), 5
(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1))), 5
(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11), 5
(+ (+ (+ z0 (* z1 (sqrt (- 1 (* z1 z1))))) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* (* z1 z1) (pow (cos z2) 3))), 5
(- 2 (* 5 (- (cos (+ z0 z0)) -1))), 5
(* (- (cos (+ z0 z0)) -1) -40), 5
(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2))), 5
(/ z0 (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))), 5
(* 1/2 (/ (- 1 (cos (+ z0 z0))) z1)), 5
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) z2), 5
(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 z1)), 5
(+ (* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))) (+ (* (* z0 z0) (pow (cos z1) 3)) z0)), 5
(* z0 (/ (* 1/2 (- 1 (cos (+ z1 z1)))) (* (* (- 1 (* z2 z2)) (- 1 (* z2 z2))) (- 1 (* z2 z2))))), 5
(* z0 (* 1/2 (- 1 (cos (+ z1 z1))))), 5
(+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3))), 5
(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) (+ -11 z1)), 5
(- (+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3))) (* -3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)))), 5
(* z0 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1))), 5
(* (* (* (* z0 (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 1/8) z1), 5
(+ (* (* z0 z0) (pow (cos z1) 3)) z0), 5
(* 3 (sin (* 2 (+ z0 z1)))), 5
(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* (- -1 (cos (+ z2 z2))) -3/2) 1)), 4
(- (* (cos (+ z0 z0)) -3/2) -3/2), 4
(/ z0 (- (sqrt (- 1 (* z1 z1))) -1)), 4
(* (- -1 (cos (+ z0 z0))) z1), 4
(* z0 (* (* (* (pow (cos z1) 6) 400) z2) z2)), 4
(* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0)))), 4
(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2), 4
(- z0 (* 1/2 (cos (+ z1 z1)))), 4
(/ (* 40 (- (cos (+ z0 z0)) -1)) z1), 4
(- (sqrt (- 1 (* z0 z0))) z1), 4
(/ z0 (- (sqrt (- 1 (* z0 z0))) -1)), 4
(- 1/2 (* (cos (+ z0 z0)) 5/2)), 4
(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0))), 4
(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2))), 4
(* (- (* (cos (+ z0 z0)) -3/2) 1/2) z1), 4
(* (- (* (* z0 z0) 200) -80) (/ (pow (cos z1) 4) z2)), 4
(* z0 (* -200 (pow (cos z1) 4))), 4
(/ z0 (- (* 5/2 (cos (+ z1 z1))) -3/2)), 4
(+ (pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3) z2), 4
(/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))), 4
(* z0 (- (* (- -1 (cos (+ z1 z1))) -3/2) 1)), 4
(* z0 (- (* (cos (+ z1 z1)) -3/2) -3/2)), 4
(* (- (* (sin z0) z1) (- z2 z0)) 6), 4
(+ (+ (* (* (pow (cos z0) 3) z1) z1) z2) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))), 4
(/ z0 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))), 4
(- (* (- -1 (cos (+ z0 z0))) -3/2) 1), 4
(* (- (* (cos (+ z0 z0)) -3/2) 1/2) (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3))), 4
(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z2) z2))), 4
(/ z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1)))), 4
(- (* (cos (+ z0 z0)) -3/2) z1), 4
(+ (/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)), 4
(/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))), 4
(* (- -1 (cos (+ z0 z0))) -3/2), 4
(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* (* (* (pow (cos z0) 6) 400) z1) z1)), 4
(* 40 (- (cos (+ z0 z0)) -1)), 4
(+ (* (* (pow (cos z0) 3) z1) z1) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))), 4
(+ (/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))) z1), 4
(* z0 (sqrt (- 1 z1))), 4
(* (sin (+ z0 z0)) z1), 4
(- (* 5/2 (cos (+ z0 z0))) -3/2), 4
(sin (* 1/2 z0)), 4
(- (sqrt (- 1 (* z0 z0))) -1), 4
(- (* 5/2 (cos (+ z0 z0))) z1), 4
(* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)), 4
(- -1 (cos (+ z0 z0))), 4
(* z0 (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3))), 4
(* z0 (/ (sin z1) z2)), 4
(* z0 (sqrt (- z1 -1))), 4
(* z0 (- 1/2 (* (cos (+ z1 z1)) 5/2))), 4
(* (cos (* -1/2 z0)) z1), 4
(- (* (- -1 (cos (+ z0 z0))) -3/2) z1), 4
(- z0 (- (/ (* (- (* (* z1 z1) 200) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2) (* (* (* (pow (cos z2) 6) 400) z1) z1)))), 4
(/ (* (sin z0) z1) z2), 4
(+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) z1), 4
(* (- (* (- (cos (+ z0 z0)) -1) -3/2) -3) z1), 4
(* z0 (- -3/2 (* (cos (+ z1 z1)) 5/2))), 3
(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)), 3
(* (sin (* 1/2 z0)) z1), 3
(- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))), 3
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (* 33 (* z1 z1)) -22)), 3
(* (cos z0) (fabs (sin z0))), 3
(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11), 3
(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) z2), 3
(* (* (* z0 z0) (cos z1)) z2), 3
(- 3 (* 5/2 (- (cos (+ z0 z0)) -1))), 3
(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) 2), 3
(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) z2), 3
(- (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))), 3
(* (* 2 (sin z0)) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)), 3
(/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))), 3
(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) (/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)))), 3
(- z0 (* z1 (cosh z2))), 3
(* (* z0 (cos z1)) (sin (+ z2 z2))), 3
(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11), 3
(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1), 3
(+ (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)) (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3))), 3
(* z0 (- (- (/ (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 80) (- -3/2 (* (cos (+ z1 z1)) 5/2))) -11) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* -200 (pow (cos z1) 4))))), 3
(/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))), 3
(* (* z0 (* 2 (sin z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)), 3
(- (* (pow (cos z0) 3) z1) -1), 3
(- (- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))) (- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0)))), 3
(sin (* z0 1/2)), 3
(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) (* z2 z2)), 3
(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* -200 (pow (cos z1) 4)))), 3
(* z0 (- (- (- (* z1 z1) -2) (* (- 1/2 (* (cos (+ z2 z2)) -1/2)) (- (* 33 (* z1 z1)) -22))) (- (/ (* (- (* (* z1 z1) 200) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2) (* (* (* (pow (cos z2) 6) 400) z1) z1))))), 3
(+ (* z0 (sin z1)) (sin z2)), 3
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3), 3
(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1), 3
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) -1) (sin (+ (+ z2 z0) z2))), 3
(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))), 3
(pow z0 5), 3
(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)), 3
(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1)), 3
(- (* (pow (cos z0) 3) z1) z2), 3
(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2))), 3
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) 2), 3
(/ z0 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))), 3
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5), 3
(- (- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11) (* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* -200 (pow (cos z0) 4)))), 3
(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))), 3
(* (cos z0) (sin (+ z1 z1))), 3
(* z0 (- (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))), 3
(- z0 (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2))), 3
(- z0 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))), 3
(* z0 (- (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))))), 3
(* (* 200 (pow (cos z0) 4)) z1), 3
(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z2 z2)) -22))), 3
(/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2)), 3
(* z0 (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 3
(- z0 (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)))), 3
(/ z0 (- 1 (* z1 (cosh z2)))), 3
(* (* 2 (sin z0)) z1), 3
(sin (* -1/2 z0)), 3
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80), 3
(* (* z0 (cos z1)) (fabs (sin z1))), 3
(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* -200 (pow (cos z0) 4))), 3
(- (- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))) z2), 3
(/ (* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3) (* (* (- (* z2 z2) 1) (- (* z2 z2) 1)) (- 1 (* z2 z2)))), 3
(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1)), 3
(* (* 3 (cos (* (+ z0 z1) 2))) z2), 3
(* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1)), 3
(* 3 (cos (* (+ z0 z1) 2))), 3
(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (/ 80 z1)), 3
(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1)), 3
(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))), 3
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))), 3
(pow 10 z0), 3
(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) -1) z2), 3
(* (- (* (pow (cos z0) 3) z1) -1) z2), 3
(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))), 3
(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)), 3
(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) z1), 3
(* 200 (pow (cos z0) 4)), 3
(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)), 3
(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (/ (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3) (* (* (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1))))), 3
(* (* 3 (cos (* (+ z0 z1) 2))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3)), 3
(pow (- (* 10000/2928563 z0) 5268000/2928563) z1), 3
(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)), 3
(+ (+ (* (* (pow (cos z0) 3) z1) z1) z2) z1), 3
(* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2), 3
(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)), 3
(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) z1), 3
(- 1 (* z0 (cosh z1))), 3
(* 2 (sin z0)), 3
(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) z2), 3
(cos (* (+ z0 z1) -2)), 3
(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2)))), 3
(/ (- z0 (- (* (sinh z0) z1) z0)) z2), 3
(- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))), 3
(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 3)), 2
(- z0 (/ (- (- (* (sinh z1) z2) z1) z1) (- (* z2 (cosh z1)) 1))), 2
(- (* (cos (+ z0 z0)) 5/2) z1), 2
(- (* (cosh z0) z1) 1), 2
(* (pow (* 10000/2928563 (- z0 2634/5)) 4) 5269/10000), 2
(- z0 (sin (* -1/2 z1))), 2
(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) z1), 2
(cos (* z0 -1/2)), 2
(* z0 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5/2 (- (cos (+ z1 z1)) -1)))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)), 2
(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2))), 2
(* (pow (* 10000/2928563 (- z0 2634/5)) 4) z1), 2
(/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 2
(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1))))) z2), 2
(* z0 (sin (* z1 1/2))), 2
(* (- (- z0 z1) (* (sin z1) z2)) 6), 2
(atan2 z0 (* (cos (* -1/2 z1)) (sqrt (- 1 z2)))), 2
(- (* (* 1/2 z0) (cos (* -1/2 z1))) z2), 2
(* (atan (* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1))))) z2), 2
(* (* 3 (cos (* -2 (+ z0 z1)))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3)), 2
(* (* 1/2 z0) (cos (* -1/2 z1))), 2
(* z0 (cos (* -2 (+ z1 z2)))), 2
(- z0 (* (* (* (* (pow (cos z1) 6) 400) z2) z2) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))), 2
(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) (sin (+ z2 z2))), 2
(* z0 (cos (* (+ z1 z2) -2))), 2
(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))), 2
(- (* (cos z0) (cos z1)) z2), 2
(tan (* 1/2 z0)), 2
(* z0 (cos (* z1 -1/2))), 2
(- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))), 2
(sqrt (* z0 z1)), 2
(pow (* 10000/2928563 (- z0 2634/5)) 5), 2
(* (atan (* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1))))) 2), 2
(+ (* z0 (cos z1)) (cos z2)), 2
(* (* (* (* (pow (cos z0) 6) 400) z1) z1) z2), 2
(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3), 2
(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1))), 2
(- z0 (- z1 (- (* (sinh z1) z2) z1))), 2
(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- z1 1) (- z1 -1))))) 2), 2
(/ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))), 2
(* (- (* (sin z0) z1) (- z2 z0)) -6), 2
(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1))), 2
(* (sin z0) (cos z1)), 2
(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3)) z2), 2
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1)), 2
(tanh (* 1/2 z0)), 2
(/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1)), 2
(- z0 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2))), 2
(/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))), 2
(* 3 (cos (* -2 (+ z0 z1)))), 2
(* z0 (cos (* -1/2 z1))), 2
(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) z1), 2
(sqrt (/ (- -1 z0) (- 1 z0))), 2
(atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) (* (cos (* -1/2 z0)) (sqrt (- 1 z1)))), 2
(atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) z2), 2
(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) (- 1 (* (cosh z0) z1))), 2
(- (* z0 (sinh z1)) z2), 2
(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))), 2
(* 1/2 (/ (- (cos (+ z0 z0)) -1) z1)), 2
(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z1 z0) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))), 2
(* (* (sin z0) z1) z2), 2
(- z0 (/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1))), 2
(* z0 (sqrt (/ (- -1 z1) (- 1 z1)))), 2
(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 2
(* z0 (- 3 (* 5/2 (- (cos (+ z1 z1)) -1)))), 2
(- (* (cos (+ z0 z0)) 5/2) -3/2), 2
(- (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1), 2
(- z0 (* (sin z1) z2)), 2
(tanh z0), 2
(* (cos (* -1/2 z0)) (sqrt (- z1 -1))), 2
(* (cos z0) (sin z1)), 2
(- (* z0 (sinh z1)) z1), 2
(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)), 2
(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) z1)), 2
(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1), 2
(* (* (cos z0) (sin z1)) z2), 2
(- z0 (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2)))), 2
(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (* (* (- (* z1 z1) 1) z2) z2) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))), 2
(+ (* z0 (cos z1)) z2), 2
(sqrt (/ (- 1 z0) (- -1 z0))), 2
(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2))) (cos (+ z2 z2))), 2
(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) (- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))), 2
(* (cos (* -1/2 z0)) (sqrt (- 1 z1))), 2
(- (- z0 z1) (* (sin z1) z2)), 2
(pow (* 10000/2928563 (- z0 2634/5)) 4), 2
(* (* (fabs z0) 1000) z1), 2
(+ (sin (* (+ z0 z1) 2)) (* (sin (+ (+ z0 z1) z1)) z2)), 2
(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)), 2
(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) z2), 2
(* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1)))), 2
(* (* z0 -1/8) (sin (+ z1 z1))), 2
(* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))), 2
(* (- 1 (* (cosh z0) z1)) z0), 2
(* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1)))), 2
(atan (* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1))))), 2
(* (* (* (* (pow (cos z0) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)), 2
(- (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* -3 (+ (* z2 (sin (+ (+ z1 z0) z0))) (sin (* 2 (+ z1 z0)))))), 2
(* (- (cos (+ z0 z0)) -1) 5), 2
(* (sqrt (- 1 z0)) z1), 2
(- (* (cosh z0) z1) z2), 2
(* (sin (* 1/2 z0)) (sqrt (- z1 -1))), 2
(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) 11)), 2
(* (- (+ z0 (* (sin z0) z1)) z2) -6), 2
(* (* (cos z0) (sin (* -1/2 z1))) z2), 2
(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1) (sin (+ (+ z0 z1) z0)))), 2
(* (cos (+ z0 z0)) (* z1 z1)), 2
(* z0 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))), 2
(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))), 2
(- (* (- 1 (* (cosh z0) z1)) z0) z2), 2
(* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)), 2
(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3)), 2
(* z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1)))), 2
(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) z2), 2
(* z0 (- (* (* 1/2 z1) (cos (* -1/2 z2))) (sin (* -1/2 z2)))), 2
(cos (* -2 (+ z0 z1))), 2
(- (- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1), 2
(- (+ z0 (* (sin z0) z1)) z2), 2
(/ z0 (- (* z1 (cos z2)) -1)), 2
(* (tan (* 1/2 z0)) z1), 2
(atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1))))), 2
(* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)), 2
(* (- (* (cos (+ z0 z0)) 5/2) -3/2) z1), 2
(* (cos z0) (cos z1)), 2
(* z0 (- (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2))))), 2
(atanh z0), 2
(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))), 2
(* (* 3 (cos (* -2 (+ z0 z1)))) z2), 2
(- (/ (+ z0 z0) (sinh z0)) z1), 2
(+ (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) z1), 2
(pow (* 10000/2928563 (- z0 2634/5)) 6), 2
(* (atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) (* (cos (* -1/2 z0)) (sqrt (- 1 z1)))) 2), 2
(* z0 (sqrt (/ (- 1 z1) (- -1 z1)))), 2
(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) (* (* 2 (sin z1)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1))), 2
(- (* (* 1/2 z0) (cos (* -1/2 z1))) (sin (* -1/2 z1))), 2
(* (- 1 (* (cosh z0) z1)) z2), 2
(atan2 z0 (* (cos (* -1/2 z1)) (sqrt (- z2 -1)))), 2
(- z0 (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))), 2
(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2), 2
(atan z0), 2
(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) z1), 2
(* (tanh (* 1/2 z0)) z1), 2
(* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) z2)), 2
(* (* (* z0 z1) z1) (cos z2)), 2
(+ (* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3) (* (sin (- (+ z1 z1) (* -3 z0))) z2)), 2
(* -1/8 (sin (+ z0 z0))), 2
(* z0 (cos (+ (+ z1 z2) z2))), 2
(* (sqrt (- z0 -1)) z1), 2
(* (atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) (* (cos (* -1/2 z0)) (sqrt (- 1 z1)))) z2), 2
(* (pow (* 10000/2928563 (- z0 2634/5)) 5) z1), 2
(* (* (cos (+ z0 z0)) (* z1 z1)) z2), 2
(* (sin (+ (+ z0 z1) z1)) (- (- (pow (* (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1))) -1)), 2