(* z1 z0), 2229
(sin z0), 868
(+ z1 z0), 783
(* 1/2 z0), 661
(cos z0), 626
(* z0 1/2), 528
(* z0 z1), 496
(tan z0), 464
(* (sin z1) z0), 461
(* PI z0), 419
(log z0), 416
(+ z0 z0), 416
(* -1/2 z0), 307
(cos (+ z0 z0)), 258
(* -1/4 z0), 245
(- z0 (* PI -1/4)), 243
(- 1 z0), 226
(- z0 -1), 225
(/ z0 z1), 217
(- (* z1 1/2) z0), 205
(* z0 -1/2), 205
(sqrt z0), 196
(* 1/4 z0), 184
(- (* 1/4 PI) (* -1/2 z0)), 182
(* z0 PI), 175
(- z0), 170
(* z0 z0), 155
(+ PI z0), 147
(/ z1 z0), 146
(+ z0 z1), 137
(* (cos (+ z1 z1)) z0), 128
(- z0 z1), 119
(- -1 z0), 119
(tan (- (* z0 1/2) (* 3/4 PI))), 117
(- z0 (cos (+ z1 z1))), 115
(* (- 1 (cos (+ z1 z1))) z0), 114
(- 1 (cos (+ z0 z0))), 114
(- z1 z0), 107
(- z0 (* (sin z2) z1)), 104
(* (cos (+ z0 z0)) 1/2), 99
(- (* (sin z2) z1) z0), 99
(- z0 (* -1/2 z1)), 98
(* (cos z1) z0), 96
(* z0 -1/4), 95
(- 1/2 z0), 92
(log (tan (- (* z0 1/2) (* 3/4 PI)))), 90
(- z0 (* (cos (+ z1 z1)) 1/2)), 88
(- z0 1), 87
(/ z0 (- 1 (* (sin z2) z1))), 77
(/ (- (* (sin z2) z1) -1) z0), 77
(atan z0), 77
(- 1/2 (* (cos (+ z0 z0)) 1/2)), 72
(+ (+ PI z0) z0), 67
(* z0 (sin z1)), 66
(* (* 1/2 z1) (- 1 (cos (+ z0 z0)))), 66
(* z0 (log (tan (- (* z1 1/2) (* 3/4 PI))))), 64
(* z1 (* z0 z2)), 64
(- 1 (* (sin z1) z0)), 62
(* 3 z0), 62
(- (* (sin z1) z0) -1), 62
(/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)), 61
(* z0 1/4), 60
(tan (- (* 9/4 PI) (* -1/2 z0))), 60
(log (tan (- (* 9/4 PI) (* -1/2 z0)))), 60
(- (* PI 1/4) z0), 59
(* (+ (+ PI z0) z0) 1/4), 59
(tan (* (+ (+ PI z0) z0) 1/4)), 59
(- z0 PI), 58
(- (log (tan (- (* 9/4 PI) (* -1/2 z1)))) z0), 58
(pow z0 z1), 57
(* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z0), 56
(pow (tan (* (+ (+ z1 PI) z1) 1/4)) z0), 54
(* (sin (* 3 z1)) z0), 50
(- (* 1/2 z1) z0), 47
(* 4 z0), 47
(- (* z1 -1/2) z0), 46
(- z0 (* PI 1/4)), 46
(* (sin (+ z1 z1)) z0), 46
(pow z0 (- z1)), 44
(+ (* z1 z1) z0), 44
(+ (+ z1 z0) PI), 44
(- z0 (* z1 1/2)), 43
(* (- 1 (cos (+ z0 z0))) (* 1/2 z1)), 42
(* (* 2 (atanh (* (sin z2) z1))) z0), 42
(* (* 2 (atanh (* (sin z2) z0))) z1), 42
(* 2 (atanh (* (sin z1) z0))), 42
(- (* z1 z1) z0), 40
(* (* z1 z0) 1/2), 40
(* (sin (* 4 z1)) z0), 40
z0, 39
(* (+ (+ z1 PI) z1) z0), 39
(- 2 z0), 39
(fabs z0), 38
(/ 1 z0), 36
(- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1), 35
(* (* z1 z1) z0), 35
(- (* PI 1/2) z0), 33
(- (* (cos (+ z1 z1)) 1/2) z0), 33
(* z0 (sqrt 1/2)), 32
(- (* 1/4 PI) z0), 32
(- z0 (* -1/4 PI)), 31
(- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) z0), 31
(* (* 1/2 z1) z0), 31
(* z0 (sqrt 2)), 30
(- (log (tan (- (* 9/4 PI) (* z2 -1/2)))) (* (* 2 (atanh (* (sin z2) z0))) z1)), 30
(- z0 (log (tan (+ (* z1 1/2) (* 13/4 PI))))), 30
(- z0 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))), 29
(* (* z1 z0) z1), 29
(- (* 1/2 z0) (* -5/4 PI)), 29
(+ (* (sin z2) z1) z0), 28
(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))) z0), 28
(* (* 1/2 z0) z1), 28
(+ (+ z1 z0) z1), 28
(- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1))), 28
(/ -1 z0), 28
(- (* PI -1/4) z0), 28
(* (+ (+ PI z1) z1) z0), 28
(* 5/4 z0), 27
(asin z0), 27
(- (* 1/2 z0) (* -13/4 PI)), 27
(+ (* z2 z1) z0), 27
(* 1/2 (cos (+ z0 z0))), 27
(/ z0 (cos z1)), 26
(/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))), 26
(+ z0 PI), 26
(* (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z1) z0), 25
(sin (* 3 z0)), 25
(- (* (sin z1) z0) 1), 25
(* (/ z1 z2) z0), 25
(- -1 (* (sin z1) z0)), 25
(* (tan z1) z0), 25
(* (* z2 z1) z0), 24
(* (+ (+ z0 z0) PI) 1/4), 24
(* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))), 24
(- z0 (* z1 -1/2)), 24
(* (* -1/2 z1) (- 1 (cos (+ z0 z0)))), 24
(- (* 1/2 PI) z0), 24
(* (* -1/2 z1) z0), 24
(- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1), 24
(* z0 (log (tan (* 1/4 (- PI (+ z1 z1)))))), 24
(* (+ (+ PI z0) z0) -1/4), 23
(sin (+ z0 z0)), 23
(- (* 1/2 z0) (* -1/4 PI)), 23
(* (sqrt 2) z0), 23
(+ (+ z0 z0) PI), 23
(* (+ (* PI 1/2) z0) 1/2), 23
(* (sin (* z2 z1)) z0), 23
(- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1), 23
(cos (* 1/2 z0)), 23
(exp z0), 22
(+ (/ z2 z1) z0), 22
(+ (* (sin (* 3 z2)) z1) z0), 22
(sin (* 4 z0)), 22
(+ (* (sin z2) z0) (* (sin (* 3 z2)) z1)), 22
(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1), 22
(- (* z0 -1/2) PI), 22
(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1), 22
(* (+ (+ z1 z1) PI) z0), 21
(* (/ z2 z1) z0), 21
(pow (tan (* 1/4 (+ (+ PI z1) z1))) z0), 21
(/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0)), 21
(tan (* (+ (+ z0 z0) PI) 1/4)), 20
(- (* z2 z1) z0), 20
(sin (* z1 z0)), 20
(/ z0 (- (* (sin z2) z1) 1)), 20
(sin (* z0 1/2)), 20
(- z0 -1/2), 20
(/ (- -1 (* (sin z2) z1)) z0), 20
(- z0 (log (tan (- (* z1 1/2) (* 3/4 PI))))), 20
(- z0 (* 1/2 PI)), 19
(- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) z0), 19
(* (- z0) z1), 19
(* (/ (sqrt 1/2) z0) (- (cos (* z1 -1/2)) (sin (* z1 -1/2)))), 19
(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z0), 19
(- (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2))) z0), 19
(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1), 19
(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1))), 19
(/ 1 (* z0 z0)), 18
(tan (* 1/4 (+ (+ z0 z0) PI))), 18
(* (- z0 (* PI 1/2)) -1/2), 18
(- (* 1/4 PI) (* z0 1/2)), 18
(* (- 2 z1) z0), 18
(sin (* z0 -1/2)), 18
(- (cos (* 1/2 z0)) (sin (* z0 -1/2))), 18
(* (* (sin (+ (* PI 1/4) 0)) (tan (* (+ (* PI 1/2) z0) 1/2))) (sqrt 2)), 18
(cos (* (+ (* PI 1/2) z0) 1/2)), 18
(- z0 (* z1 z2)), 18
(tan (* 1/4 (+ (+ PI z0) z0))), 18
(pow z0 (* z1 1/2)), 18
(sin (* (+ (+ PI z0) z0) -1/4)), 18
(* (sqrt 1/2) z0), 18
(- (* 1/4 PI) (* 1/2 z0)), 18
(* (- (cos (* z1 -1/2)) (sin (* z1 -1/2))) z0), 18
(* (sqrt 1/2) (- (cos (* 1/2 z0)) (sin (* z0 -1/2)))), 18
(- (cos (* z1 -1/2)) z0), 18
(/ z0 (sin (- (* z1 1/2) (* 5/4 PI)))), 18
(- z0 (sin (* z1 -1/2))), 18
(log (* (* (sin (+ (* PI 1/4) 0)) (tan (* (+ (* PI 1/2) z0) 1/2))) (sqrt 2))), 18
(- (* -1/2 z0) (* -1/4 PI)), 17
(log (tan (* 1/4 (+ (+ z0 z0) PI)))), 17
(+ (/ z2 z0) z1), 17
(* z0 (- PI (+ z1 z1))), 17
(- z0 (+ z1 z1)), 17
(- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) z0), 17
(- PI (+ z0 z0)), 17
(- PI z0), 17
(- (* z0 z0) 1), 17
(* 1/4 (+ (+ z0 z0) PI)), 17
(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z0), 16
(* z0 (log (tan (- (* z1 -1/2) (* 3/4 PI))))), 16
(* z0 (log (/ (* (- (sin (* z1 -1/2)) (cos (* 1/2 z1))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z1 -1/2)))))), 16
(* (- PI (+ z0 z0)) 1/4), 16
(- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) z0), 16
(- z0 1/2), 16
(* (+ z2 z1) z0), 16
(/ (- z0 (log (tan (+ (* z2 1/2) (* 13/4 PI))))) z1), 15
(- 1 (* z0 (sin z1))), 15
(* (- z0 PI) 1/2), 15
(pow z1 z0), 15
(/ (- z1 (log (tan (+ (* z2 1/2) (* 13/4 PI))))) z0), 15
(tan (- (* 1/2 z0) (* -9/4 PI))), 15
(pow z0 (/ 1 z1)), 15
(tan (- (* -1/2 z0) (* 3/4 PI))), 15
(- (* PI 13/4) z0), 15
(- (* z0 (sin z1)) -1), 15
(- (cos (+ z1 z1)) z0), 15
(* z0 13/4), 15
(/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)), 15
(log (tan (- (* -1/2 z0) (* 3/4 PI)))), 15
(* (sin (* z2 z0)) z1), 15
(pow (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))) (* 1/2 z0)), 14
(* (* (- 1 (cos (+ z1 z1))) 1/2) z0), 14
(* (* (* z2 (* z1 (- 2 z0))) z1) z0), 14
(* z1 (- 2 z0)), 14
(- z0 (* (sin (* -4 z2)) z1)), 14
(- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1), 14
(* z2 (* z1 (- 2 z0))), 14
(* (* (- 2 z1) z2) z0), 14
(- z0 (* 1/4 PI)), 14
(* (* z2 (* z1 (- 2 z0))) z1), 14
(pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0), 14
(- z0 (* z2 z1)), 14
(* (* (cos z1) z2) z0), 14
(+ (* (sin (+ z2 z2)) z1) z0), 14
(- (* 1/4 PI) (* z0 -1/2)), 14
(* (* (* (* z2 (* z1 (- 2 z0))) z1) z0) z2), 14
(log (tan (- (* 5/4 PI) (* -1/2 z0)))), 13
(tan (- (* 5/4 PI) (* -1/2 z0))), 13
(+ (* (sin (+ z2 z2)) z0) (* (sin (* 4 z2)) z1)), 13
(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* z1 1/2)) z0), 13
(log (tan (- (* 1/2 z0) (* -9/4 PI)))), 13
(* (pow z2 (/ -1 z1)) z0), 13
(pow z0 (/ -1 z1)), 13
(pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2)), 13
(- (cos (+ z0 z0)) 1), 13
(sinh z0), 13
(pow z1 (/ -1 z0)), 13
(/ (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) z0), 12
(- (* 1/2 z0) (* PI 1/4)), 12
(tan (- (* 1/2 z0) (* 3/4 PI))), 12
(- (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0), 12
(* z1 (cos z0)), 12
(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z0 z0))))) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)))), 12
(* z0 (log (fabs (/ (* (- (sin (* z1 1/2)) (cos (* -1/2 z1))) (sqrt 1/2)) (sin (- (* PI -3/4) (* -1/2 z1))))))), 12
(- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))), 12
(* (- (cos (+ z1 z1)) 1) z0), 12
(- z0 (* (- z1 PI) 1/2)), 12
(- 27401669256311/40000000000000 z0), 12
(* z1 (* z2 (cos z0))), 12
(* (* (sin z2) z0) z1), 12
(- z0 (log (fabs (tan (+ (* z1 1/2) (* 1/4 PI)))))), 12
(* 13/4 z0), 12
(- (* 13/4 PI) z0), 12
(- (* -1/4 PI) z0), 12
(tan (* (- PI (+ z0 z0)) 1/4)), 12
(* z0 (log (fabs (tan (* -1/4 (- (+ z1 z1) PI)))))), 12
(* (- -1 z1) z0), 12
(- (log (tan (- (* 5/4 PI) (* z2 -1/2)))) (* (* 2 (atanh (* (sin z2) z0))) z1)), 12
(* (- z1 z2) z0), 12
(log (tan (* (- PI (+ z0 z0)) 1/4))), 12
(* (- -1 (* (* z2 1/2) (- 1 (cos (+ z1 z1))))) z0), 12
(- z0 (* (* z2 1/2) (- 1 (cos (+ z1 z1))))), 12
(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0), 11
(* (tan (* (+ (+ z1 PI) z1) 1/4)) z0), 11
(* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2)), 11
(- (* -1/4 PI) (* z0 -1/2)), 11
(pow (tan (* 1/4 (+ (+ PI z1) z1))) (- z0)), 11
(pow z0 (* 1/2 z1)), 11
(* (tan (* 1/4 (+ (+ PI z1) z1))) z0), 11
(cos (* z1 z0)), 11
(- (cos (* z0 1/2))), 11
(/ z0 (sin (- (* -1/4 PI) (* z1 -1/2)))), 11
(* (/ (sqrt 1/2) z0) (- (sin (* z1 -1/2)) (cos (* 1/2 z1)))), 11
(* (- 1 (* (* z2 z2) z1)) z0), 11
(pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) z0), 11
(* (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0), 11
(log (/ (* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z0 -1/2))))), 11
(sin (- (* -1/4 PI) (* z0 -1/2))), 11
(- (* -1/2 z1) z0), 11
(sin (* (+ (+ PI z0) z0) 1/4)), 11
(/ (* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z0 -1/2)))), 11
(* z0 3), 11
(* (cos z0) z1), 11
(* 1/2 (- 1 (cos (+ z0 z0)))), 10
(log (tan (- (* 1/2 z0) (* 3/4 PI)))), 10
(* (- z1 PI) z0), 10
(* 212097503/125000000000000000000000000 z0), 10
(pow (tan (* (+ (+ z1 PI) z1) 1/4)) (- z0)), 10
(* (sin (* z1 3)) z0), 10
(- (* PI 5/4) z0), 10
(* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0), 10
(* (cos z1) (cos z0)), 10
(/ z0 (* z1 z2)), 10
(cos (* (+ (+ PI z0) z0) -1/4)), 10
(* z0 5/4), 10
(* -4668270147/10000000000000000 z0), 10
(- z0 (log (tan (+ (* z1 1/2) (* 17/4 PI))))), 10
(* 3 (* z0 z0)), 10
(* (sin (* 1/4 (+ (+ PI z1) z1))) z0), 10
(pow (tan (- (* 17/4 PI) (* -1/2 z1))) z0), 10
(+ (* z0 z0) (* z1 z1)), 10
(/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))), 10
(- (* 1/2 (cos (+ z0 z0))) -1/2), 10
(* (+ (+ z0 PI) z0) 1/4), 10
(* (- (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2))) -1) z0), 10
(sqrt (- (* z0 z0) 1)), 9
(cos (* z0 -1/2)), 9
(+ (* 5/4 PI) z0), 9
(* (pow (tan (- (* z2 1/2) (* PI 7/4))) (- z0)) z1), 9
(* 1/4 (- (+ z0 z0) PI)), 9
(- z0 (* (sin (+ z2 z2)) z1)), 9
(* (- 1 (cos (+ z1 z1))) (* 1/2 z0)), 9
(sqrt (+ (* z0 z0) (* z1 z1))), 9
(sin (* 1/4 (- (+ z0 z0) PI))), 9
(pow (tan (- (* z1 1/2) (* 3/4 PI))) z0), 9
(tan (+ (* 9/4 PI) (* 1/2 z0))), 9
(- (* (* z1 z1) (- (* 1/2 (cos (+ z2 z2))) 1/2)) z0), 9
(tan (+ (* 1/2 z0) (* 17/4 PI))), 9
(* (* (cos z0) z1) z2), 9
(* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1), 9
(log (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0)))), 9
(* (pow (tan (- (* z2 1/2) (* PI 7/4))) (- z1)) z0), 9
(* (log (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1)))) z0), 9
(- (* (cos (+ z0 z0)) 1/2) 1/2), 9
(sqrt (+ (* z1 z1) (* z0 z0))), 9
(/ (sin (* (+ (+ PI z1) z1) -1/4)) z0), 9
(* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0), 9
(* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)), 9
(/ z0 (sin (* -1/4 (- PI (+ z1 z1))))), 9
(- z0 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))), 9
(pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) z0), 9
(+ (* z1 z1) (* z0 z0)), 9
(- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1), 9
(+ (* PI 5/4) z0), 9
(* (* z1 z0) z0), 8
(- z0 (* (sin (* 1/2 z1)) (sqrt 1/2))), 8
(sin (- (* -5/4 PI) (* -1/2 z0))), 8
(pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z1)))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1)))) z0), 8
(/ (sin (* (+ (+ z1 PI) z1) 1/4)) z0), 8
(log (tan (- (* z0 -1/2) (* 3/4 PI)))), 8
(* z0 (tan (* (- (* PI 1/2) z1) 1/2))), 8
(* (- (sqrt 1/2)) (cos (* z0 1/2))), 8
(* (* (- 1 (cos (+ z1 z1))) z0) 1/2), 8
(/ (* z1 z2) z0), 8
(* (tan (* (+ (+ z1 PI) z1) -1/4)) z0), 8
(* z1 (- z0)), 8
(/ (sin z1) z0), 8
(* z0 (- (* PI 1/2) z1)), 8
(/ (- z0) (cos (* (+ (+ z1 PI) z1) 1/4))), 8
(/ (sin (* (+ (+ z1 PI) z1) -1/4)) z0), 8
(+ (log (tan (* (+ (+ PI z1) z1) 1/4))) z0), 8
(+ z0 (+ PI PI)), 8
(* (sin (* z0 1/2)) (sqrt 1/2)), 8
(- z0 (+ PI PI)), 8
(* (- (* PI 1/2) z0) 1/2), 8
(- z0 (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2)))), 8
(tan (- (* z0 -1/2) (* 3/4 PI))), 8
(* -1/2 (- (* (- 1 (cos (+ z0 z0))) z1) -2)), 8
(* (- (* (* z1 z1) (- (* 1/2 (cos (+ z2 z2))) 1/2)) -1) z0), 8
(- (cos (* (+ (+ PI z0) z0) 1/4))), 8
(+ (* z1 1/2) z0), 8
(- (* (cos (+ z0 z0)) 1/2) -1/2), 8
(tan (- (* 1/2 z0) (* PI 3/4))), 8
(* (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2)) (tan (* (- (* PI 1/2) z1) 1/2))), 8
(/ (* z1 z2) (sqrt (+ (* z0 z0) (* z2 z2)))), 8
(- (pow (tan (* (+ (+ z1 PI) z1) 1/4)) (- z0))), 8
(- z0 (* (* z1 z1) z2)), 8
(tan (* (- (* PI 1/2) z0) 1/2)), 8
(* z0 (sin (* 1/2 z1))), 8
(* (- -1 (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2)))) z0), 8
(* (pow (tan (* 1/4 (+ (+ PI z2) z2))) (- z1)) (- z0)), 8
(- z0 (log (tan (+ (* 9/4 PI) (* z1 1/2))))), 8
(* (- z0) (cos (* 1/2 z1))), 8
(- (- z0) (* (cos (* 1/2 z1)) (sqrt 1/2))), 8
(* (- 1 (cos (+ z0 z0))) 1/2), 8
(* z2 (/ z0 z1)), 7
(* (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1) z0), 7
(sin (- (* PI 3/4) (* z0 1/2))), 7
(- z0 (cos (* -1/2 z1))), 7
(/ (sin (- (* -5/4 PI) (* z1 -1/2))) z0), 7
(* (* (cos z1) z0) z2), 7
(pow (cos z1) z0), 7
(- z0 (* (sin (* 4 z2)) z1)), 7
(atan2 z0 (cos (* z2 z1))), 7
(pow (cos z0) 4), 7
(* (* z1 z2) z0), 7
(- (* z1 z2) z0), 7
(- (- z0 -1/2) (* (cos (+ z1 z1)) 1/2)), 7
(/ (+ 2 (* (- 1 (cos (+ z1 z1))) z2)) (+ z0 z0)), 7
(+ (* z1 (tan z2)) z0), 7
(* (* z0 z0) z0), 7
(* (* z1 z0) z2), 7
(sin (* (+ (+ z0 z0) PI) 1/4)), 7
(* -881662847/200000000000000000000000000 z0), 7
(/ z0 (sqrt (+ (* z2 z2) (* z1 z1)))), 7
(pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2), 7
(* (/ (cos z1) z0) (cos z2)), 7
(/ (sin (* (+ (+ z1 z1) PI) 1/4)) z0), 7
(- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0))))), 7
(- (sin (* z1 1/2)) z0), 7
(* (tan (* -1/4 (+ (+ PI z2) z2))) (* z1 z0)), 7
(/ z1 (cos z0)), 7
(/ z0 (cos (* (+ (+ z1 PI) z1) -1/4))), 7
(/ z0 (sin (- (* -5/4 PI) (* z1 -1/2)))), 7
(* (/ z2 (cos z1)) z0), 7
(* (/ z0 (sin (- (* -5/4 PI) (* z1 -1/2)))) (sin (- (* -5/4 PI) (* z1 -1/2)))), 7
(- (sin (* z0 1/2)) (cos (* z0 -1/2))), 7
(sqrt (- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4)))), 6
(/ z0 (tan 27401669256311/20000000000000)), 6
(/ z0 (sin (- (* PI 3/4) (* z1 1/2)))), 6
(* (- (+ z0 z0) PI) 1/4), 6
(* z0 (cos (* (- PI (+ z1 z1)) -1/4))), 6
(/ (- z1 (log (fabs (tan (+ (* 1/2 z2) (* 1/4 PI)))))) z0), 6
(* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)), 6
(tan (+ (* 9/4 PI) (* z0 1/2))), 6
(- (log (fabs (tan (* -1/4 (- (+ z0 z0) PI)))))), 6
(log (tan (- (* 1/4 PI) (* -1/2 z0)))), 6
(- (+ z0 z0) PI), 6
(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z1)) z0), 6
1, 6
(fabs (sin (+ (/ z2 z0) z1))), 6
(fabs (tan (+ (* (- PI) 3/4) (* z0 1/2)))), 6
(- z0 (* (* z1 z1) 3)), 6
(cos (* (- PI (+ z0 z0)) -1/4)), 6
(- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4))), 6
(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z0), 6
(fabs (/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI -3/4) (* z0 -1/2))))), 6
(/ z0 (sqrt (- 1 (* (- (cos (+ z2 z2)) -1) (* (- 1 (cos (+ z1 z1))) 1/4))))), 6
(sin (* -1/2 z0)), 6
(* (pow (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) -2) z0), 6
(* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4)), 6
(* z0 (- (+ z1 z1) PI)), 6
(* (pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) -2) z0), 6
(- (+ z1 z1) z0), 6
(sqrt (- (* z0 z0) -1)), 6
(/ z0 (sqrt (- (* z1 z1) -1))), 6
(/ (- z0 (log (fabs (tan (+ (* 1/2 z2) (* 1/4 PI)))))) z1), 6
(- (* -1/2 z0) (* (- PI) 3/4)), 6
(- z0 (* (* z2 z2) z1)), 6
(sin (- (* -5/4 PI) (* z0 -1/2))), 6
(/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI 3/4) (* z0 1/2)))), 6
(* (+ z2 z0) z1), 6
(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (/ 1 z0)), 6
(- (* 1/2 (cos (+ z0 z0))) 1/2), 6
(log (fabs (tan (- (* 1/4 PI) (* z0 1/2))))), 6
(* (* 1/2 z0) (- 1 (cos (+ z1 z1)))), 6
(pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2), 6
(* (log (tan (+ (* 9/4 PI) (* 1/2 z1)))) z0), 6
(- z0 (* -1/2 (* (- (cos (+ z1 z1)) 1) z2))), 6
(- z0 (* (- (cos (+ z2 z2)) -1) (* (- 1 (cos (+ z1 z1))) 1/4))), 6
(* z0 -4616990181/250000000000000000000), 6
(- (* z0 z0) -1), 6
(log (fabs (tan (* -1/4 (- (+ z0 z0) PI))))), 6
(* z0 (log (tan (- (* 1/2 z1) (* -9/4 PI))))), 6
(* (* (- -1 z1) z0) z0), 6
(log (tan (* (+ (+ PI z0) z0) 1/4))), 6
(* (* (sin z0) z2) (cos z1)), 6
(- z0 (* (- (+ z1 z1) PI) 1/4)), 6
(tan (- (* -1/2 z0) (* (- PI) 3/4))), 6
(/ (* (cos z1) (cos z0)) (sqrt (- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4))))), 6
(pow (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0), 6
(- (* (* z2 1/2) (- 1 (cos (+ z1 z1)))) z0), 6
(- z0 -27401669256311/20000000000000), 6
(+ (+ z1 PI) z0), 6
(/ (- (* (- 1 (cos (+ z0 z0))) z1) -2) (- (* (- 1 (cos (+ z0 z0))) z2) -2)), 6
(* (* z0 (- (cos (+ z1 z1)) -1)) 1/2), 6
(tan (- (* 1/4 PI) (* z0 1/2))), 6
(- (log (tan (- (* 1/4 PI) (* z1 -1/2)))) z0), 6
(* -1/2 (- 2 (* (- (cos (+ z0 z0)) 1) z1))), 6
(* (/ (sqrt 1/2) z0) (- (sin (* z1 1/2)) (cos (* -1/2 z1)))), 6
(copysign 1 (+ (/ z2 z0) z1)), 6
(sqrt (/ (- (* (- 1 (cos (+ z0 z0))) z1) -2) (- (* (- 1 (cos (+ z0 z0))) z2) -2))), 6
(log (fabs (/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI -3/4) (* z0 -1/2)))))), 6
(* z0 (log (/ (* (sqrt 1/2) (- (sin (* z1 -1/2)) (cos (* 1/2 z1)))) (sin (- (* -1/4 PI) (* z1 -1/2)))))), 6
(* (* z0 z0) (* z0 z0)), 6
(/ z0 (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1)), 6
(/ (- (* z2 (- 1 (cos (+ z1 z1)))) -2) (+ z0 z0)), 6
(sin (+ (/ z2 z0) z1)), 6
(* z0 (- (sin (* z1 1/2)) (cos (* -1/2 z1)))), 6
(/ z0 (* z1 z1)), 6
(fabs (tan (- (* 1/4 PI) (* z0 1/2)))), 6
(+ (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) z0), 5
(/ z0 (cos (* (+ (+ z1 z1) PI) -1/4))), 5
(* (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2))) z0), 5
(- z0 (sin (* -1/2 z1))), 5
(* (/ z1 z0) (sin (* (+ (+ z2 PI) z2) 1/4))), 5
(/ (- -1 (* z1 (sin z2))) z0), 5
(cos (+ z1 (/ z2 z0))), 5
(* (- (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2) -1) (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2)), 5
(sin (- (* -1/2 z0) (* 9/4 PI))), 5
(- (* z1 (sin z2)) z0), 5
(- z0 (* z1 z1)), 5
(* (cos (* -1/4 (+ (+ z2 PI) z2))) (pow (tan (* 1/4 (+ (+ PI z1) z1))) z0)), 5
(/ z0 (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1)), 5
(/ (pow (tan (- (* 17/4 PI) (* z2 -1/2))) z0) z1), 5
(/ (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0), 5
(* (* z1 (- -1 z2)) z0), 5
(/ (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)), 5
(- (* 9/4 PI) (* -1/2 z0)), 5
(+ z1 (/ z2 z0)), 5
(tan (* (+ (+ z0 PI) z0) 1/4)), 5
(* (* (- (cos (+ z1 z1)) -1) (- (cos (+ z0 z0)) -1)) 1/4), 5
(* (* (* z0 z0) z0) z0), 5
(- (* -5/4 PI) (* 1/2 z0)), 5
(+ (+ z0 z1) PI), 5
(* z0 (- (* 1/2 PI) z1)), 5
(/ (pow (tan (- (* 17/4 PI) (* z2 -1/2))) z1) z0), 5
(* (pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)), 5
(* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1)))), 5
(/ (- z1 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z0), 5
(- -1 (* (* (- -1 z1) z0) z0)), 5
(* -9/4 z0), 5
(sin (- (* PI -15/4) (* 1/2 z0))), 5
(- (cos (* 1/2 z0)) (sin (* -1/2 z0))), 5
(/ (sin (- (* -1/2 z1) (* 9/4 PI))) z0), 5
(log (tan (+ (* 9/4 PI) (* 1/2 z0)))), 5
(+ z0 (* z1 (sin (* z2 3)))), 5
(cos (* -1/4 (+ (+ z0 PI) z0))), 5
(+ (+ z0 PI) z0), 5
(- z0 (* 6 (* z1 z1))), 5
(- z0 (* (* z1 (- -1 z2)) z1)), 5
(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0)), 5
(* 1/4 (- PI (+ z0 z0))), 5
(- z0 (* -9/4 PI)), 5
(/ (+ z0 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2)), 5
(* (cos (* -1/4 (+ (+ PI z1) z1))) z0), 5
(* (- (* z2 z2) (* 6 (* z1 z1))) z0), 5
(sin (* (+ (+ z0 PI) z0) 1/4)), 5
(/ z0 (- -1 (* (* z1 (- -1 z2)) z1))), 5
(* (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) z0), 5
(* (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2)) (tan (+ (* 9/4 PI) (* -1/2 z1)))), 5
(tan (- (* 17/4 PI) (* -1/2 z0))), 5
(sin (* z0 3)), 5
(sin (- (* 1/2 z0) (* -7/4 PI))), 5
(fabs (cos (+ z1 (/ z2 z0)))), 5
(sqrt (/ (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1))), 5
(+ (* (* (* z1 z1) z1) z1) z0), 5
(cos (+ (/ z2 z0) z1)), 5
(* -1/4 (- (+ z0 z0) PI)), 5
(atan2 z1 z0), 5
(* (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)), 5
(- z0 (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))), 5
(sin (* z0 z1)), 5
(- (cos (* 1/2 z1)) z0), 5
(/ (- z0 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z1), 5
(- (* -1/2 z0) (* 1/4 PI)), 5
(* (/ z2 (cos z0)) z1), 5
(pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) z0), 5
(/ z0 (- (* z1 (sin z2)) 1)), 5
(- z0 (* z1 (sin z2))), 5
(* (- (cos (* 1/2 z1)) (sin (* -1/2 z1))) z0), 5
(cos (* (+ (+ z0 z0) PI) -1/4)), 5
(/ z0 (sin (- (* 1/2 z1) (* -7/4 PI)))), 5
(* z0 (+ (+ PI z1) z1)), 5
(* 6 z0), 5
(log (tan (+ (* 1/2 z0) (* 17/4 PI)))), 5
(* z0 (tan (+ (* 9/4 PI) (* -1/2 z1)))), 5
(sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1))))), 5
(tan (+ (* 9/4 PI) (* -1/2 z0))), 5
(* z0 (- z1 PI)), 5
(+ (* z0 (sin z2)) (* z1 (sin (* z2 3)))), 5
(* (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* z1 1/2)) z0), 5
(- (* z1 z1) (* 3 (* z0 z0))), 5
(* z1 (* (- 2 z0) z0)), 4
(- (* (- -1 (cos (+ z2 z2))) (* (- -1 (cos (+ z1 z1))) 1/4)) z0), 4
(- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) z0), 4
(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2))), 4
(* (sin z2) (/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z2 z2)) 1/2) -1/2) (- (cos (+ z1 z1)) -1))))))), 4
(sin (- (* PI 7/4) (* -1/2 z0))), 4
(* (- (* z2 z2) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))), 4
(+ (* z2 z1) (* z0 z0)), 4
(/ (pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* z2 -1/2)))) (- (cos (* 1/2 z2)) (sin (* z2 -1/2)))) z1) z0), 4
(* z1 (/ z0 (tan 27401669256311/20000000000000))), 4
(/ z0 (sin 27401669256311/20000000000000)), 4
(+ (log (tan (* 1/4 (+ (+ PI z1) z1)))) z0), 4
(pow (tan (- (* 1/2 z1) (* PI 3/4))) (/ 1 z0)), 4
(/ (sqrt 1/2) (- z0)), 4
(* (* z2 (* z1 (* (- 2 z0) z0))) z1), 4
(sqrt (/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2)))), 4
(/ (sin (- (* PI -3/4) (* 1/2 z0))) (sin (- (* PI -3/4) (* 1/2 z0)))), 4
(* (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1)), 4
(/ z0 (sin (- (* 5/4 PI) (* 1/2 z1)))), 4
(/ z0 (sqrt (- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) -1))), 4
(fabs (tan (* -1/4 (+ (+ z0 z0) PI)))), 4
(* (- (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) (* z1 z1)) 1) z0), 4
(* (/ z1 (cos z2)) z0), 4
(* z0 (sqrt (fabs (/ (- z1 1) (- z1 -1))))), 4
(* (* (* z1 z2) z1) z0), 4
(* (tan (+ (* 9/4 PI) (* z1 1/2))) z0), 4
(* z0 (log (tan (* 1/4 (+ (+ z1 z1) PI))))), 4
(* (/ z0 z1) (pow (cos z2) 4)), 4
(* (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* 1/2 z1)) z0), 4
(/ (asin (* (* -1/2 (tan z2)) (- (/ 1 z1) z1))) z0), 4
(* (cos z1) (tan z0)), 4
(* (* z0 z0) (- 1/2 (* (cos (+ z1 z1)) 1/2))), 4
(- (* (* z0 z0) (- 1/2 (* (cos (+ z1 z1)) 1/2))) 1), 4
(cos (* (+ (+ PI z0) z0) 1/4)), 4
(* (sin (* z1 4)) z0), 4
(/ (- (* z0 z0) (* z2 z1)) (+ (* z2 z1) (* z0 z0))), 4
(/ (pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* z2 -1/2)))) (- (cos (* 1/2 z2)) (sin (* z2 -1/2)))) z0) z1), 4
(+ (+ PI z0) z1), 4
(- (sin z0)), 4
(- (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) (* z1 z1)) z0), 4
(+ (+ z1 z1) z0), 4
(/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z2 z2)) 1/2) -1/2) (- (cos (+ z1 z1)) -1)))))), 4
(/ (+ z0 z0) (- -2 (* (- 1 (cos (+ z1 z1))) z2))), 4
(pow (tan (- (* 1/2 z1) (* PI 3/4))) z0), 4
(+ (* 1/2 z1) z0), 4
(log (tan (- (* 1/2 z0) (* PI 3/4)))), 4
(* (sin (* z1 z0)) z2), 4
(- (log (fabs (tan (* -1/4 (+ (+ z1 z1) PI))))) z0), 4
(* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z0)))) (- (cos (* 1/2 z0)) (sin (* -1/2 z0)))), 4
(* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z1)))) z0), 4
(log (fabs (tan (* -1/4 (+ (+ z0 z0) PI))))), 4
(* (pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1)) z0), 4
(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1), 4
(/ z0 (sin (- (* PI 7/4) (* -1/2 z1)))), 4
(- (* (cos z2) (tan z1)) (* (sin z2) z0)), 4
(- z0 (* z1 (* -2 (+ (cos (+ z2 z2)) 1/2)))), 4
(/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z0)))), 4
(- (* z1 (* (* z0 z2) z0)) z2), 4
(sin (- (* 5/4 PI) (* 1/2 z0))), 4
(* (* 1/2 z0) (- (cos (+ z1 z1)) 1)), 4
(* (- (* z1 z1) 1) z0), 4
(* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))), 4
(- (* (cos z2) (tan z1)) z0), 4
(* (- 1 (cosh (+ z0 z0))) -1/2), 4
(* (* (* z2 (* z1 (* (- 2 z0) z0))) z1) z2), 4
(* (pow (tan (- (* 1/2 z2) (* PI 3/4))) (/ 1 z1)) z0), 4
(/ (* (cos z0) (sin z1)) (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1)))))), 4
(/ (pow (cos z1) 4) z0), 4
(* (* (- 2 z1) z1) z0), 4
(/ (sin z1) (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1)))))), 4
(* (sin (* z2 z0)) (- z1)), 4
(* (- 2 z0) z0), 4
(pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z0), 4
(/ (- z1 (log (tan (+ (* 9/4 PI) (* 1/2 z2))))) z0), 4
(* (pow (tan (- (* 1/2 z2) (* PI 3/4))) (/ 1 z0)) (pow z1 (/ -1 z0))), 4
(- (* z0 z0) (* z2 z1)), 4
(- (log (tan (- (* z1 1/2) (* PI 3/4)))) z0), 4
(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)), 4
(- (- z0 z1) (log (tan (* 1/4 (+ (+ PI z2) z2))))), 4
(* (* -2 (+ (cos (+ z1 z1)) 1/2)) z0), 4
(* z0 (pow (cos z1) 4)), 4
(* (* (* (- 2 z1) z1) z2) z0), 4
(- z0 2), 4
(* (tan (+ (* 1/2 z1) (* 17/4 PI))) z0), 4
(* (pow (cos z1) 4) z0), 4
(* (- -1 (* (* z2 1/2) (- 1 (cos (+ z0 z0))))) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))), 4
(* z2 (* z1 (* (- 2 z0) z0))), 4
(- (sqrt (- (* z0 z0) 1))), 4
(* z1 (* (* z0 z2) z0)), 4
(* 149230739/1250000000000000 z0), 4
(/ (- z0 (log (tan (+ (* 9/4 PI) (* 1/2 z2))))) z1), 4
(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (fabs (tan (* -1/4 (+ (+ z2 z2) PI)))))), 4
(pow (sinh z1) z0), 4
(pow (tan (- (* 1/2 z1) (* -9/4 PI))) z0), 4
(- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) z0), 3
(- z0 (* (- (cos (+ z1 z1)) 1) z2)), 3
(/ (- 1 z1) z0), 3
(- z0 (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2))))), 3
(* (- (* z2 z2) (* (* z1 z1) 3)) z0), 3
(* 2 (atan (exp (/ z1 z0)))), 3
(log (tan (- (* 1/2 z0) (* -1/4 PI)))), 3
(- (- 9827991/390625000 (* 4668270147/10000000000000000 z0)) (* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000))), 3
(* z1 (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)), 3
(* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))), 3
(* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2), 3
(* (* z1 (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0))) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)), 3
(- (* (* (- z1 z2) 304747143/200000000000000000000) (+ z2 z1)) z0), 3
(- (* z0 z0) (* (* z1 z1) 3)), 3
(- (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2) z0), 3
(* (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1))) 1/2), 3
(- (+ z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000))) (- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) (* (* (+ z2 z1) (- z1 z2)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)))), 3
(* (* z2 (- z1)) z0), 3
(* (fabs (- 2 (* (- (cos (+ z1 z1)) 1) z2))) z0), 3
(fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1))), 3
(* (pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)), 3
(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1), 3
(- (* (- (cos (+ z1 z1)) 1) (* 1/2 z2)) z0), 3
(* (- (cos (+ z0 z0)) 1) z1), 3
(/ (+ z0 z0) (- (* (- (cos (+ z1 z1)) 1) z2) 2)), 3
(* (* (cos z0) z2) (cos z1)), 3
(atan (exp (/ z1 z0))), 3
(- (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000)) z0), 3
(* (atan (exp (/ z2 z1))) z0), 3
(- (sin z1) z0), 3
(* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z1)) z0), 3
(+ (* 2644988541/200000000000000000000000000 (* z1 z1)) (* (* -881662847/200000000000000000000000000 z0) z0)), 3
(- z0 (* -4668270147/10000000000000000 z1)), 3
(/ (sin (* (+ (+ PI z1) z1) 1/4)) z0), 3
(* (* (* 3689471323/250000000000000000000000000000000 (+ z1 z0)) z1) (* (- z0 z1) z0)), 3
(* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z0), 3
(/ (- z0 1) (- -1 z0)), 3
(tan (- (* 1/2 z0) (* -1/4 PI))), 3
(fabs (* (/ 1/2 (* -1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))) (- (* (- 1 (cos (+ z0 z0))) z2) -2))), 3
(- (* (/ z0 (* z1 z1)) z0) -1), 3
(- 1 (* (* z1 z0) z1)), 3
(* (* (* z2 z1) 3689471323/250000000000000000000000000000000) z0), 3
(* (* z1 1/2) z0), 3
(* (* -881662847/200000000000000000000000000 z0) (- (* z1 z1) (* (* z2 z2) 3))), 3
(* (* (* z1 z0) z1) z1), 3
(/ z0 (+ z2 z1)), 3
(/ 2 z0), 3
(* (tan (* (+ (+ PI z1) z1) 1/4)) z0), 3
(log (tan (+ (* 9/4 PI) (* z0 1/2)))), 3
(pow (tan (- (* 21/4 PI) (* -1/2 z1))) (/ 1 z0)), 3
(- (- (- z0 (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* (* z2 z2) 3)))) (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000))) (- (* (* (+ z2 z1) (- z1 z2)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))), 3
(sqrt (/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z2))))), 3
(/ (+ z0 z0) (fabs (- 2 (* (- (cos (+ z1 z1)) 1) z2)))), 3
(* (tan (* (+ (+ z2 PI) z2) 1/4)) (pow (tan (* (+ (+ PI z1) z1) 1/4)) (- z0))), 3
(* (- (* z1 z1) (* (* z2 z2) 3)) z0), 3
(pow (tan (* (+ (+ PI z1) z1) 1/4)) (- z0)), 3
(- (log (tan (- (* 1/2 z1) (* -1/4 PI)))) z0), 3
(* 3689471323/250000000000000000000000000000000 z0), 3
(* (* 212097503/125000000000000000000000000 z0) z1), 3
(* z0 (cos 27401669256311/20000000000000)), 3
(* (- z1 (/ 1 z1)) z0), 3
(- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))) (* (* -3689471323/250000000000000000000000000000000 (* z1 z0)) (* (+ z1 z0) (- z0 z1)))), 3
(/ (- (* (- (cos (+ z1 z1)) 1) z2) 2) (+ z0 z0)), 3
(- z0 (* 1/2 (cos (+ z1 z1)))), 3
(* (pow (tan (* (+ (+ z2 PI) z2) 1/4)) (- z1)) z0), 3
(* (+ (+ z0 z0) PI) -1/4), 3
(- (sin z0) -1), 3
0, 3
(sqrt (- (* (/ z0 (* z1 z1)) z0) -1)), 3
(- (* (/ z1 (* z2 z2)) z1) z0), 3
(- (* (- (cos (+ z2 z2)) 1) (* 1/2 z1)) z0), 3
(log (tan (* (+ (+ z0 z0) PI) 1/4))), 3
(- 9827991/390625000 z0), 3
(- 2 (* (- (cos (+ z0 z0)) 1) z1)), 3
(* z0 (sin (* 1/2 (- (* 1/2 PI) z1)))), 3
(atan2 (sin z1) z0), 3
(* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000)), 3
(* (- z1) z0), 3
(* -4165541759/500000000000000000000000000000000 z0), 3
(- (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* (* z2 z2) 3))) z0), 3
(- (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1) -1), 3
(- (* 2 (atan (exp (/ z1 z0)))) (* 1/2 PI)), 3
(* (pow (tan (- (* 21/4 PI) (* z2 -1/2))) (/ 1 z1)) z0), 3
(- 1 (* (* z1 z1) z0)), 3
(* (tan (- (* 3/2 PI) 27401669256311/20000000000000)) (* z1 z0)), 3
(- (* 4668270147/10000000000000000 z0) (* (- 149230739/1250000000000000 (* z0 -4616990181/250000000000000000000)) z1)), 3
(- z0 (/ 1 z1)), 3
(- (- z0) (cos (* 1/2 z1))), 3
(- z0 (/ 1 z0)), 3
(/ (* z2 z1) z0), 3
(* (+ z1 z0) (- z0 z1)), 3
(tan (- (* 21/4 PI) (* -1/2 z0))), 3
(exp (/ z1 z0)), 3
(* (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) z0), 3
(* z0 (- (sin (* z1 -1/2)) (cos (* 1/2 z1)))), 3
(* (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)) -1)), 3
(- (* z1 (+ (* (* 3689471323/250000000000000000000000000000000 z0) (* (- z1 z0) (+ z1 z0))) (* (- (* z1 z1) (* 3 (* z0 z0))) 212097503/125000000000000000000000000))) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))), 3
(* (* 304747143/200000000000000000000 (- z0 z1)) (+ z1 z0)), 3
(* (cos z1) (sin z0)), 3
(tan (- (* -1/2 z0) (* 9/4 PI))), 3
(- (- z0 (* 4668270147/10000000000000000 z1)) (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2)), 3
(* (/ 1/2 (* -1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))) (- (* (- 1 (cos (+ z0 z0))) z2) -2)), 3
(- (- (- (* -4668270147/10000000000000000 z1) -9827991/390625000) z0) (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2)), 3
(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)))), 3
(+ (* (* (* z0 z0) z0) z0) (* (- (* z1 z1) (* 6 (* z0 z0))) (* z1 z1))), 3
(* (- 1 (cos (+ z0 z0))) 2), 3
(atanh z0), 3
(- (* (atan (exp (/ z2 z1))) 2) z0), 3
(* 304747143/100000000000000000000 z0), 3
(* 1/2 (- (* 1/2 PI) z0)), 3
(- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000), 3
(* z0 (tan (+ (* 9/4 PI) (* 1/2 z1)))), 3
(* (* z1 z0) 3689471323/250000000000000000000000000000000), 3
(* (- (* z1 z1) (* 6 (* z0 z0))) (* z1 z1)), 3
(- z0 (* 1/2 (- z1 PI))), 3
(- (+ (- (* z0 (+ -4668270147/10000000000000000 (* 881662847/200000000000000000000000000 (- (* z0 z0) (* (* z1 z1) 3))))) (- (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))) (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000)))) 9827991/390625000) (* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000))), 3
(* (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)) z0), 3
(- (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000)) (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))))), 3
(* 304747143/200000000000000000000 z0), 3
(- z0 (* (* -3689471323/250000000000000000000000000000000 (* z2 z1)) (* (+ z2 z1) (- z1 z2)))), 3
(* 1/2 (- -2 (* (- 1 (cos (+ z0 z0))) z1))), 3
(- (* PI 3) z0), 3
(- (- z0 (* z2 (+ (* (* 3689471323/250000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* (- (* z2 z2) (* (* z1 z1) 3)) 212097503/125000000000000000000000000)))) (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2))))), 3
(- (* z1 z1) (* 6 (* z0 z0))), 3
(/ z0 (cos (* (+ (+ PI z1) z1) -1/4))), 3
(- z0 (* (sin (* 3 z2)) z1)), 3
(* (tan (- (* -3/2 PI) -27401669256311/20000000000000)) z0), 3
(/ (sin (- (* PI -3/4) (* z0 1/2))) (sin (- (* PI -3/4) (* z0 1/2)))), 3
(- z0 149230739/1250000000000000), 3
(sin (* 1/2 (- (* 1/2 PI) z0))), 3
(* (- 1 (cos (+ z1 z1))) (* -1/2 z0)), 3
(* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)), 3
(- (- z0 (* (* (* (+ z2 z1) 3689471323/250000000000000000000000000000000) z2) (* (- z1 z2) z1))) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))), 3
(* (* -881662847/200000000000000000000000000 z0) (- (* z0 z0) (* (* z1 z1) 3))), 3
(- (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) 2)), 3
(/ z0 (- z1 -1)), 3
(* (/ z1 (* z2 z2)) z0), 3
(pow (tan (- (* 21/4 PI) (* -1/2 z1))) z0), 3
(* (* (+ z2 z1) z0) (- z1 z2)), 3
(- (sin (* z0 -1/2)) (cos (* z0 1/2))), 3
(tan (- (* 1/4 PI) (* -1/2 z0))), 3
(- z0 (* PI 5/4)), 3
(+ (* 1/2 PI) z0), 3
(* 304747143/200000000000000000000 (+ z1 z0)), 3
(* (* (- 1 (cos (+ z0 z0))) z1) 1/2), 3
(pow (tan (* (+ (+ PI z1) z1) 1/4)) z0), 3
(pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) 2), 3
(- z0 (log (tan (* (+ (+ z1 z1) PI) 1/4)))), 3
(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1)) z0), 3
(* (* (+ z2 z1) 304747143/200000000000000000000) z0), 3
(pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2), 3
(* (* z2 z0) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1)), 3
(* 6 (* z0 z0)), 3
(- (* z1 -4616990181/250000000000000000000) z0), 3
(- z2 (* (sin z1) z0)), 3
(- z0 (sin (* 1/2 z1))), 3
(* (/ z0 (* z1 z1)) z0), 3
(* (pow (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) -2) (- z0)), 3
(- (+ (* (* -881662847/200000000000000000000000000 z0) (- (* z0 z0) (* (* z1 z1) 3))) (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))))) (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000))), 3
(/ (* (cos z2) (sin z0)) (cos z1)), 2
(pow (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) z0), 2
(* -2 (+ (cos (+ z0 z0)) 1/2)), 2
(* (* z1 (sin z2)) z0), 2
(/ (fabs (- z0 1)) (- z0 -1)), 2
(* (* z0 z0) 6), 2
(- z0 (* 5/4 PI)), 2
(- (* (* 1/2 z1) (- (cos (+ z2 z2)) 1)) z0), 2
(* (cos z0) 1/2), 2
(log (/ (fabs (- 1 z0)) (- z0 -1))), 2
(* (- (* z2 z2) (* 3 (* z1 z1))) z0), 2
(pow z1 (- z0)), 2
(* (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) z0), 2
(/ (sin (+ (* z1 -1/2) (* -9/4 PI))) z0), 2
(* (/ z1 (- 1 z1)) z0), 2
(- (- (* (* (* z2 z1) -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))) z0) (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000)), 2
(- z0 (* (- (* (* z2 z2) 3) (* z1 z1)) (* 212097503/125000000000000000000000000 z1))), 2
(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (fabs (tan (- (* 1/4 PI) (* z2 -1/2)))))), 2
(pow (tan (- (* PI 5/4) -27401669256311/40000000000000)) z0), 2
(- (* z0 1/2) (* -5/4 PI)), 2
(sin (- (* PI -3/4) (* 1/2 z0))), 2
(/ (sqrt (- 1 z0)) (* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2)), 2
(pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0), 2
(* z0 (log (/ (* (* (cos (* (- PI (+ z1 z1)) -1/4)) (sqrt 2)) (- (cos (* -1/2 z1)) (sin (* z1 1/2)))) (- (cos (- (- z1) (* PI -1/2))) -1)))), 2
(* (* z1 z0) (tan (* 1/4 (+ (+ PI z2) z2)))), 2
(tan (+ (* 1/2 z0) (* 13/4 PI))), 2
(* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2), 2
(* (- (* (* z2 z2) 3) (* z1 z1)) z0), 2
(- z0 3), 2
(/ (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z1) z0), 2
(+ (cos (* z2 z1)) z0), 2
(pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z0), 2
(/ (fabs (- 1 z0)) (- z0 -1)), 2
(* (sin (* (+ (+ z1 PI) z1) -1/4)) z0), 2
(* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1)), 2
(* (* (+ z2 z1) z0) 4616990181/500000000000000000000), 2
(pow (tan (+ (* 1/2 z1) (* 17/4 PI))) (- z0)), 2
(- z0 (log (/ (fabs (- (cos (- (* z1 1/2) (* 1/2 (+ z1 PI)))) (cos (* z1 -1)))) (- (sin (* z1 -1)) -1)))), 2
(sqrt (- (* (/ z0 (- 1 z0)) (pow (cos z1) 4)) -1)), 2
(- (cos (* z0 -1/2)) (sin (* z0 1/2))), 2
(* (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z1)) z0), 2
(pow (/ z2 z1) z0), 2
(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z1)) z0), 2
(fabs (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1)), 2
(cos (* -1/4 (+ (+ z0 z0) PI))), 2
(- (* -4668270147/10000000000000000 z1) z0), 2
(/ z0 (- 1 z0)), 2
(/ (* z1 (cos z2)) (sqrt (- (* (* z0 1/2) (- (cos (+ z2 z2)) 1)) -1))), 2
(* (* (- z1 z2) z0) (+ z2 z1)), 2
(- z0 (* 3 (* z1 z1))), 2
(* (- z0 2) z0), 2
(* z0 (log (* (* (sin (- (* -1/2 z1) (* 1/4 PI))) (sqrt 2)) (/ (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (- -1 (sin z1)))))), 2
(- (* -2 (cos (+ z1 z1))) (- z0 2)), 2
(* (sqrt z1) z0), 2
(- (* (- z1 2) z1) z0), 2
(* (- (* z1 z1) (* (* z0 z0) 6)) (* z1 z1)), 2
(/ (sin (- (* z1 1/2) (* PI 3/4))) z0), 2
(* (* z0 z0) z1), 2
(* z0 (log (/ (fabs (cos z1)) (- 1 (sin z1))))), 2
(- 1 (* z1 (* z0 z0))), 2
(- (- (* z1 (+ (* (- (* z1 z1) (* (* z2 z2) 3)) 212097503/125000000000000000000000000) (* (* z2 -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))))) (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1)))))) z0), 2
(- z0 (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000)), 2
(+ (* z1 (* z2 z2)) z0), 2
(- (* (* (- 1 (cos (+ z1 z1))) z2) 1/2) z0), 2
(log (* (/ (sin (- (* -1/2 z2) (* PI 15/4))) (sin (+ (* -1/2 z2) (* -5/4 PI)))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) z1))), 2
(- 1 (* z0 z0)), 2
(/ (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0), 2
(- (* (/ z0 z1) (pow (cos z2) 4)) -1), 2
(* (* (cos z2) z0) (cos z1)), 2
(- z0 -2946529277/100000000000), 2
(- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) 3689471323/1000000000000000000000000000000000) (* (* 4165541759/125000000000000000000000000000000 (* z0 z1)) (* (+ z0 z1) (- z0 z1)))), 2
(* z1 (pow z2 (- z0))), 2
(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (tan (- (* z2 1/2) (* PI 3/4))))), 2
(* (tan (* 1/4 (+ (+ z2 z2) PI))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1))), 2
(/ z0 (cos (* -1/4 (+ (+ z1 z1) PI)))), 2
(sqrt (- (* (- (cos (+ z1 z1)) 1) (* z0 1/2)) -1)), 2
(* z0 (+ (+ z1 z1) PI)), 2
(* (+ z0 z1) (- z0 z1)), 2
(* (cos (* z1 z0)) 4), 2
(- (* (pow (cos z2) 4) (/ z1 (- 1 z1))) z0), 2
(/ (* z1 (cos z2)) z0), 2
(- z0 (atanh (sin (+ 0 z1)))), 2
(* (- (cos (+ z0 z0)) -1) 1/2), 2
(+ (* z1 (+ (* (- (* 3 (* z0 z0)) (* z1 z1)) -881662847/200000000000000000000000000) (* (* (- (* z1 z1) (* (* z0 z0) 6)) z1) -3689471323/1000000000000000000000000000000000))) (* z0 (+ (* (* z1 -4165541759/125000000000000000000000000000000) (* (+ z0 z1) (- z0 z1))) (* (* (* z0 z0) z0) -3689471323/1000000000000000000000000000000000)))), 2
(+ (* (* (* z0 z0) z0) z0) (* (- (* z1 z1) (* (* z0 z0) 6)) (* z1 z1))), 2
(* (- z2 (* z1 (* (* z0 z2) z0))) (- z2 (* z1 (* (* z0 z2) z0)))), 2
(/ z0 (cos (* (+ (+ z1 PI) z1) 1/4))), 2
(* z0 (log (* (/ (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (cos (* (- PI (+ z1 z1)) -1/4))) (sqrt 1/2)))), 2
(/ (- z1 z0) (+ z0 z1)), 2
(* (- 1 (* (* z1 z1) z2)) z0), 2
(pow (/ z2 z1) (/ 1 z0)), 2
(sqrt (* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2)), 2
(sin (* 1/4 (+ (+ z0 z0) PI))), 2
(atan2 (sinh z0) (cos z1)), 2
(- (* 3 (* z1 z1)) z0), 2
(* z1 (/ z0 (sin 27401669256311/20000000000000))), 2
(* z0 (- z1 2)), 2
(/ z0 (- 1 z1)), 2
(fabs (- 1 z0)), 2
(* (/ (sin z1) z0) (cos z2)), 2
(pow (tan (- (* 1/2 z1) (* 3/4 PI))) z0), 2
(* 4616990181/500000000000000000000 (+ z0 z1)), 2
(- z0 (* (- (* z2 z2) (* 3 (* z1 z1))) (* z2 -881662847/200000000000000000000000000))), 2
(* (* z0 z1) -4165541759/125000000000000000000000000000000), 2
(* (sin z0) (* (cos z1) (cos z2))), 2
(* (- z0 (/ 1 z0)) 1/2), 2
(* (tan (* (+ (+ z1 z1) PI) 1/4)) z0), 2
(- (* -149230739/1250000000000000 z0) (* 4668270147/10000000000000000 z1)), 2
(* (sin z1) (cos z0)), 2
(- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0) -1), 2
(+ (sin (* z2 z1)) z0), 2
(* (* z2 (cos z1)) z0), 2
(/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1)), 2
(* z0 (sin (* z1 4))), 2
(sin (+ (* z0 -1/2) (* -9/4 PI))), 2
(* (/ z0 (- (sin z2) -1)) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1))), 2
(/ (sin (* 1/4 (+ (+ z1 z1) PI))) z0), 2
(- (* 5/4 PI) z0), 2
(* (log (/ (- -1 (* (- z1 2) z1)) (* (- z1 -1) (- -1 z1)))) (* 1/4 z0)), 2
(pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1)), 2
(log (/ (sin (- (* -9/4 PI) (* 1/2 z0))) (sin (- (* PI 7/4) (* -1/2 z0))))), 2
(/ (sin (- (* 17/4 PI) (* z0 -1/2))) (sin (- (* PI 3/4) (* z0 -1/2)))), 2
(* (- (cos (+ z1 z1)) 1) (* z0 1/2)), 2
(sqrt (- 1 z0)), 2
(- z0 (* (* (- z1 z2) 4616990181/500000000000000000000) (+ z2 z1))), 2
(pow (tan (+ (* 1/2 z1) (* 17/4 PI))) z0), 2
(/ (sin (- (* 1/2 z1) (* -1/4 PI))) z0), 2
(* (- -1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z2)) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)))), 2
(* z2 (- 1 (* z1 (* z0 z0)))), 2
(* (* (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z1)) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1)) z0), 2
(- (+ (* z2 (+ (* (- (* 3 (* z1 z1)) (* z2 z2)) -881662847/200000000000000000000000000) (* (* (- (* z2 z2) (* 6 (* z1 z1))) z2) -3689471323/1000000000000000000000000000000000))) (* z1 (+ (* (* z2 -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))) (* (* (* z1 z1) z1) -3689471323/1000000000000000000000000000000000)))) z0), 2
(* (- z2 z1) z0), 2
(/ (sqrt (- 1 z1)) z0), 2
(sqrt (+ (* z1 z1) (* z0 (* z2 z2)))), 2
(- (* 1/2 z0) (* PI -1/4)), 2
(pow (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) z0), 2
(tan (+ (* PI -3/4) (* 1/2 z0))), 2
(- (* (- z2 (* z1 (* (* z0 z2) z0))) (- z2 (* z1 (* (* z0 z2) z0)))) 1), 2
(* -1/2 (- (- 1 (cosh (+ z0 z0))) 2)), 2
(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) (- z0)), 2
(+ (+ PI z1) z0), 2
(atan2 (sinh z1) z0), 2
(* (* 1/2 z0) (- (cos (+ z1 z1)) -1)), 2
(- (* (/ z0 (- 1 z0)) (pow (cos z1) 4)) -1), 2
(+ (* z1 (sin z2)) z0), 2
(- z0 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2)))), 2
(* (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1) (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2)), 2
(sin (+ (* -1/2 z0) (* -5/4 PI))), 2
(* (- -1 (sin z0)) -1/2), 2
(* (tan (- (* z1 1/2) (* 3/4 PI))) z0), 2
(fabs (tan (- (* -1/2 z0) (* 9/4 PI)))), 2
(/ z0 (- (* (- (cos (+ z2 z2)) 1) (* 1/2 z1)) -1)), 2
(/ (pow (tan (- (* 1/2 z2) (* -9/4 PI))) z1) z0), 2
(sqrt (* -1/2 (- (- 1 (cosh (+ z0 z0))) 2))), 2
(* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) 3689471323/1000000000000000000000000000000000), 2
(* z0 (log (/ (sqrt (- (* (- z1 2) z1) -1)) (fabs (- z1 -1))))), 2
(* E z0), 2
(- (- z0 (* -149230739/1250000000000000 z1)) (* z2 -4668270147/10000000000000000)), 2
(- (* z0 1/2) (* -1/4 PI)), 2
(* z0 (log (fabs (/ (sin (- (* PI -1/4) (* 1/2 z1))) (sin (* 1/2 (- (* 1/2 PI) z1))))))), 2
(asin (/ (* (cos z2) (sin z0)) (cos z1))), 2
(* (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1)), 2
(atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))), 2
(atan2 (sin z1) (sqrt (* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2))), 2
(* 9/4 z0), 2
(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) z0), 2
(atan2 z0 (sqrt (* (- (- (cosh (+ z1 z1)) 1) (- -1 (cos (+ z2 z2)))) 1/2))), 2
(* (/ z0 (tan 27401669256311/20000000000000)) z1), 2
(* (/ z1 (cos z0)) z2), 2
(sin (- (* -9/4 PI) (* 1/2 z0))), 2
(- (* 9/4 PI) z0), 2
(- (* (- (cos (+ z1 z1)) 1) (* z0 1/2)) -1), 2
(* (* (* z2 z1) -4165541759/125000000000000000000000000000000) z0), 2
(* (* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) z1), 2
(* z1 (* z0 z0)), 2
(* (pow (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) -2) z0), 2
(sqrt (fabs (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1))), 2
(/ z0 (- (sin z1) -1)), 2
(* (/ z0 z1) z2), 2
(/ z0 (sqrt (- (* (* 1/2 z1) (- (cos (+ z2 z2)) 1)) -1))), 2
(* (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1)), 2
(* 4616990181/500000000000000000000 z0), 2
(/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2))))), 2
(pow (tan (- (* z1 1/2) (* -1/4 PI))) z0), 2
(* (* -881662847/200000000000000000000000000 z0) z1), 2
(* (pow (tan (* 1/4 (+ (+ PI z2) z2))) (- z1)) z0), 2
(- (* 1/2 (cos (+ z1 z1))) z0), 2
(* (- (cos (+ z0 z0)) 1) (* -1/2 z1)), 2
(sqrt (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0) -1)), 2
(asin (* (* -1/2 (tan z1)) (- (/ 1 z0) z0))), 2
(pow (tan (- (* z1 1/2) (* -1/4 PI))) (- z0)), 2
(* (tan (/ (- (* PI 1/2) z1) 2)) (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0))), 2
(/ z0 (sqrt (- 1 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2)))))), 2
(pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0)), 2
(- (* 1/2 z0) (* -9/4 PI)), 2
(+ z0 (+ z1 z1)), 2
(cos (* 1/4 (+ (+ z0 z0) PI))), 2
(- (cos (+ z0 z0)) -1), 2
(* -3689471323/1000000000000000000000000000000000 z0), 2
(/ z0 (sin (- (* PI -3/4) (* 1/2 z1)))), 2
(- (cos (* -1/2 z1)) z0), 2
(sqrt (/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1))), 2
(* (* z0 z1) 1/2), 2
(* (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) z0), 2
(/ (+ z0 z0) (- (cos (- (- z1) (* PI -1/2))) -1)), 2
(* z0 (log (/ (cos (* 1 z1)) (- (- (sin (* 1 z1))) (sin (* (- (- z1 PI) z1) 1/2)))))), 2
(+ (* z1 z1) (* z0 (* z2 z2))), 2
(* (pow (tan (+ (* 1/2 z2) (* 17/4 PI))) (- z1)) z0), 2
(sqrt (- (* (/ z0 z1) (pow (cos z2) 4)) -1)), 2
(* (/ z0 (- 1 z0)) (pow (cos z1) 4)), 2
(* (* z0 1/2) z1), 2
(/ (sqrt (- (* z0 z0) 1)) (cos z1)), 2
(fabs (/ z0 (- -1 z1))), 2
(* (* 212097503/125000000000000000000000000 z1) z0), 2
(* (* (* z1 z1) z0) z1), 2
(atan2 z0 (cos z1)), 2
(- (log (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* (+ (+ PI z1) z1) 1/4)))) z0), 2
(log (/ (sin (- (* 1/2 z0) (* -1/4 PI))) (cos (* (+ (+ PI z0) z0) 1/4)))), 2
(* z0 -2), 2
(+ (* (* z0 z2) (* (- 1 (cos (+ z1 z1))) 1/2)) z0), 2
(- (* z1 z1) (* (* z0 z0) 6)), 2
(* (- 1 (* z1 z1)) z0), 2
(* (pow (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) -2) z0), 2
(- z0 (* (* 4165541759/125000000000000000000000000000000 (* z2 z1)) (* (- z1 z2) (+ z2 z1)))), 2
(* (pow (tan (- (* z1 1/2) (* -1/4 PI))) (- z0)) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z0)), 2
(/ (sin (- (* -9/4 PI) (* 1/2 z0))) (sin (- (* PI 7/4) (* -1/2 z0)))), 2
(/ (sqrt (- (* (- z1 2) z1) -1)) z0), 2
(* z0 (- (cos (* -1/2 z1)) (sin (* z1 1/2)))), 2
(tan (- (* z0 1/2) (* -1/4 PI))), 2
(* (tan (* 1/4 (+ (+ z1 PI) z1))) z0), 2
(* (tan (+ (* PI -3/4) (* z1 1/2))) z0), 2
(asin (/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2)))))), 2
(sin (- (* 1/2 z0) (* -1/4 PI))), 2
(log (/ (sin (- (* 17/4 PI) (* z0 -1/2))) (sin (- (* PI 3/4) (* z0 -1/2))))), 2
(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (/ (sin (- (* 1/2 z2) (* -1/4 PI))) (cos (* (+ (+ PI z2) z2) 1/4))))), 2
(sqrt (/ (fabs (- z0 1)) (- z0 -1))), 2
(* (sin z1) (/ z0 (cos z2))), 2
(* (* (+ z0 z1) (- z0 z1)) (* (* z0 z1) -4165541759/125000000000000000000000000000000)), 2
(- z0 (log (/ (sin (- (* -9/4 PI) (* z1 1/2))) (sin (- (* PI 7/4) (* -1/2 z1)))))), 2
(* (* 304747143/100000000000000000000 z0) z1), 2
(/ z0 (cos (* 1/4 (+ (+ z1 z1) PI)))), 2
(* (pow z2 (- z1)) z0), 2
(* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0)), 2
(* z0 -4165541759/125000000000000000000000000000000), 2
(/ (sin (- (* 1/2 z0) (* -1/4 PI))) (cos (* (+ (+ PI z0) z0) 1/4))), 2
(- (* (* z2 -1/2) (- 1 (cos (+ z1 z1)))) z0), 2
(* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) z0), 2
(* (- (cos (+ z1 z1)) -1) z0), 2
(/ (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0)) (- (sin z1) -1)), 2
(/ (- z2 z1) z0), 2
(- z0 (* z1 (sin (* 4 z2)))), 2
(asin (* (sin z1) (/ z0 (cos z2)))), 2
(* (sin z2) (- z0 (* z1 (* -2 (+ (cos (+ z2 z2)) 1/2))))), 2
(- (* 3 (* z1 z1)) (* z0 z0)), 2
(* (* z1 z0) (tan (+ (* 1/2 z2) (* 17/4 PI)))), 2
(* z0 4), 2
(- 1 (sin z0)), 2
(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z0)) z1), 2
(* (* z1 (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z0)) (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z0))), 2
(* (* -1/2 (tan z1)) (- (/ 1 z0) z0)), 2
(* (exp z1) z0), 2
(/ (sin (- (* -9/4 PI) (* z1 1/2))) z0), 2
(/ (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z0) z1), 2
(- z0 (* 149230739/1250000000000000 z1)), 2
(sin (- (* 1/2 z0) (* PI 3/4))), 2
(- (pow (sinh z1) 2) z0), 2
(/ z0 (cos (* (+ (+ PI z1) z1) 1/4))), 2
(/ (sqrt (- (* z1 z1) 1)) z0), 2
(- (log (tan (- (* 9/4 PI) (* z1 -1/2)))) z0), 2
(- (log (tan (* (+ (+ PI z2) z2) 1/4))) (- z0 z1)), 2
(- (* (- z0 2) z0) -1), 2
(- z0 (sin (* z1 1/2))), 2
(- (* z0 (+ (* (- (* z0 z0) (* 3 (* z1 z1))) 212097503/125000000000000000000000000) (* (* z1 -4165541759/125000000000000000000000000000000) (* (+ z0 z1) (- z0 z1))))) (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0)))))), 2
(* (* (- z1 (/ 1 z1)) z0) 1/2), 2
(* (- (* z1 z1) (* 3 (* z0 z0))) (* -881662847/200000000000000000000000000 z1)), 2
(+ z0 (* PI 5/4)), 2
(/ (pow (tan (- (* 1/2 z2) (* -9/4 PI))) z0) z1), 2
(/ z0 (sin -27401669256311/20000000000000)), 1
(* (sin (* -1/2 z0)) (sqrt 1/2)), 1
(/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (cos (* (- PI (+ z0 z0)) -1/4))), 1
(/ z0 (sqrt (- 1 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) 1) 1/4))))), 1
(pow (* 1/2 (- -2 (* z2 (- 1 (cos (+ z1 z1)))))) z0), 1
(- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) z0), 1
(tan (* 1/4 (+ PI (+ z0 z0)))), 1
(pow (tan (* 1/4 (+ (+ z1 z1) PI))) (- z0)), 1
(- z0 (* z1 E)), 1
(- (- (- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* 304747143/100000000000000000000 (* z0 z1))) (- (* -149230739/1250000000000000 z0) (* 4668270147/10000000000000000 z1))) -2946529277/100000000000), 1
(* z0 (sin (* 1/2 (+ (* 1/2 PI) z1)))), 1
(/ (* (cos z1) (cos z0)) (sqrt (- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4))))), 1
(/ z0 (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)))), 1
(- z0 (* (sin (+ 0 z1)) -1/2)), 1
(/ (fabs (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0))) (- 1 (sin z0))), 1
(log (/ (cos z0) (- (sin (* (- z0 (- z0 PI)) 1/2)) (sin z0)))), 1
(* z0 (- (sin z1) -1)), 1
(* (/ -2 (- -1 (sin z0))) (- (cos (* z0 -1/2)) (sin (* z0 1/2)))), 1
(fabs (* (cos z0) -1/2)), 1
(* (- z0 (* (- (* -2 (cos (+ z2 z2))) 1) z1)) (sin z2)), 1
(* (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (cos (* (- PI (+ z0 z0)) -1/4))) (sqrt 1/2)), 1
(* (+ z0 z0) (sin (* (* 1/2 z2) z1))), 1
(* (- -1 (cos (+ z1 z1))) z0), 1
(/ (- z0 (log (/ (fabs (- (cos (- (* 1/2 z2) (* 1/2 (+ z2 PI)))) (cos (* -1 z2)))) (- (sin (* -1 z2)) -1)))) z1), 1
(- 3 z0), 1
(* (pow (cos z2) 4) (* z0 z1)), 1
(* (* 1/4 z0) (- (cos (+ z1 z1)) -1)), 1
(sqrt (- (* (* z2 z0) (pow (cos z1) 4)) -1)), 1
(cos (* z0 1/2)), 1
(* (- 1 z0) E), 1
(cos (* 1/4 (+ (+ PI z0) z0))), 1
(sin (- (* 1/4 PI) (* -1/2 z0))), 1
(- (* (* -1/2 z0) (- (cos (+ z1 z1)) 1)) 1), 1
(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0), 1
(/ 1/2 z0), 1
(* (fabs (- z0 1)) E), 1
(- (* 304747143/100000000000000000000 (* z0 z1)) (* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1))), 1
(* z0 (sin (- (* PI 3/4) (* z1 1/2)))), 1
(* (- (* 1/2 PI) z0) 1/2), 1
(- (- (* 4668270147/10000000000000000 z1) (* -149230739/1250000000000000 z0)) (+ -2946529277/100000000000 (+ (+ (* (* (- z1 z0) (+ z0 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1)))), 1
(* (pow (tan (- (* PI 5/4) -27401669256311/40000000000000)) z1) z0), 1
(* z1 (+ z0 z2)), 1
(- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) z0), 1
(sqrt (- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4)))), 1
(- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2)))), 1
(fabs (cos (+ (* -1/2 z0) (* 3/4 PI)))), 1
(- (* 5/4 PI) (* -1/2 z0)), 1
(log (/ (fabs (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0))) (- 1 (sin z0)))), 1
(asin (/ (sin z1) z0)), 1
(* (tan (- (* z2 1/2) (* 3/4 PI))) (* z1 z0)), 1
(- (* (* 304747143/100000000000000000000 z1) z2) z0), 1
(* (cos (* (* 1/2 z2) z1)) z0), 1
(* (sin z0) z1), 1
(* (tan (* (+ (+ PI z2) z2) 1/4)) (* z1 z0)), 1
(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (* 1/4 (+ (+ z2 z2) PI))))), 1
(* (* (* z2 (- 1 (* z1 (* z0 z0)))) z2) (- 1 (* z1 (* z0 z0)))), 1
(+ (* (cos z1) (sin z2)) z0), 1
(/ (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))) z0), 1
(+ (* (pow (cos z2) 4) z1) z0), 1
(pow (tan (+ (* z1 1/2) (* 13/4 PI))) (- z0)), 1
(* (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)) z0), 1
(sin (* z0 4)), 1
(exp (* z0 -2)), 1
(- z0 (log (tan (+ (* 1/2 z1) (* 9/4 PI))))), 1
(- (log (/ (* (- (cos (* z1 -1/2)) (sin (* z1 -1/2))) (sqrt 1/2)) (sin (- (* PI 3/4) (* z1 -1/2))))) z0), 1
(* (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (* (cos (* (- PI (+ z1 z1)) -1/4)) (/ (sqrt 1/2) z0))), 1
(/ (sin (- (* PI 3/4) (* -1/2 z0))) (sin (- (* PI 3/4) (* 1/2 z0)))), 1
(* (* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z1)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1)) z0), 1
(- z0 (* (sin (* z1 -1/2)) (sqrt 1/2))), 1
(- z0 (* (- 1 (cosh (+ z1 z1))) 1/2)), 1
(- (* PI 1/4) (* z0 1/2)), 1
(/ (* (sqrt 1/2) z0) (cos (* 1/4 (+ (+ PI z1) z1)))), 1
(log (* (tan (- (* z2 -1/2) (* -1/4 PI))) (pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) z1))), 1
(/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z2 z2)) -1)))))), 1
(* (tan (- 27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0))), 1
(- z0 (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z2 z2))))), 1
(- (sin (* (- z0 (- z0 PI)) 1/2)) (sin z0)), 1
(- z0 -27401669256311/40000000000000), 1
(* (- (sin (* -1/2 (+ (- z1 PI) z1))) (cos (* -1/2 (+ (- PI z1) z1)))) (* z0 1/2)), 1
(- (* PI 3/4) (* -1/2 z0)), 1
(- (- z0 2) (* -2 (cos (+ z1 z1)))), 1
(sqrt (fabs (/ (+ (* (pow (cos z2) 4) z0) z1) (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))) z1)))), 1
(* 2 (atanh (* z0 (sin z1)))), 1
(* (- (sin (* -1/2 (- (- PI z0) z0))) (cos (* -1/2 (+ (- PI z0) z0)))) -1/2), 1
(* (tan (- 27401669256311/40000000000000 (* PI -1/4))) (pow (/ z2 z1) (/ 1 z0))), 1
(/ (* 1/2 z0) (cos (* 1/4 (+ (+ PI z1) z1)))), 1
(tan (+ (* z0 1/2) (* 13/4 PI))), 1
(* 2 (+ (cos (+ z0 z0)) 1/2)), 1
(* (sin z0) -1/2), 1
(* (- z0) (cos 27401669256311/20000000000000)), 1
(* z0 (sin (- (* 1/4 PI) (* z1 -1/2)))), 1
(* (* 2 (+ (cos (+ z1 z1)) 1/2)) (* (sin z1) z0)), 1
(+ (* z1 z0) PI), 1
(- (* (* (* z2 (- 1 (* z1 (* z0 z0)))) z2) (- 1 (* z1 (* z0 z0)))) 1), 1
(/ (- z0 -1) E), 1
(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2)))), 1
(* (atan z1) z0), 1
(* (* (fabs (- z1 1)) E) z0), 1
(/ z0 (sqrt (* 1/2 (- (* (- (cos (+ z2 z2)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (- (cos (+ z1 z1)) 1))))), 1
(/ 1/2 (cos (* 1/4 (+ (+ PI z0) z0)))), 1
(- (- (* 149230739/1250000000000000 z0) (+ (+ (* (* (- z1 z0) (+ z0 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1))) (* -4668270147/10000000000000000 z1)), 1
(* (/ (+ z0 z0) (- -1 (sin z1))) (- (sin (* z1 1/2)) (cos (* -1/2 z1)))), 1
(/ z0 (- (- (sin (* 1 z1))) (sin (* (- (- z1 PI) z1) 1/2)))), 1
(pow (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))) z0), 1
(* (* (cos (* (- PI (+ z0 z0)) -1/4)) (sqrt 1/2)) (- (cos (* z0 -1/2)) (sin (* z0 1/2)))), 1
(* (cos (+ z0 z0)) -1/2), 1
(* (* z1 (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z0))), 1
(* (* 2 (+ (cos (+ z1 z1)) 1/2)) z0), 1
(log (tan (+ (* 1/2 z0) (* 9/4 PI)))), 1
(* (tan (* (- (* 1/2 PI) z1) 1/2)) z0), 1
(- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1)), 1
(sin (- (* -1/2 z0) (* 1/4 PI))), 1
(sin (- (* 1/4 PI) (* z0 -1/2))), 1
(- (- 1/2 z0) (* (cos (+ z1 z1)) 1/2)), 1
(/ (* (- (cos (* z0 1/2)) (sin (* -1/2 z0))) (sqrt 1/2)) (sin (- (* PI 3/4) (* -1/2 z0)))), 1
(sin (* 1/2 (+ z0 (* 1/2 PI)))), 1
(- z0 (* (cos (+ z1 z1)) -1/2)), 1
(fabs (/ (- -1 z1) z0)), 1
(- (* -1/2 PI) (* -2 (atan (* (tan (- 27401669256311/40000000000000 (* PI -1/4))) (pow (/ z2 z1) (/ 1 z0)))))), 1
(atan2 z0 (* (cos z2) (cos z1))), 1
(* z0 (sin (- (* z1 -1/2) (* PI 3/4)))), 1
(* (pow (- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0))))) -2) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1)), 1
(- z0 (* (+ (+ z1 z1) PI) -1/4)), 1
(fabs (- (* z0 z0) 1)), 1
(+ (* (pow (cos z2) 4) z0) z1), 1
(pow (tan (* 1/4 (+ (+ z1 PI) z1))) (- z0)), 1
(* (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z0) z0))))), 1
(* (- (* (* (- -1 z2) z1) z1) -1) z0), 1
(* (* z0 (sqrt 1/2)) (- (cos (* -1/2 z1)) (sin (* z1 1/2)))), 1
(- z0 (log (tan (- (* -1/2 z1) (* PI 3/4))))), 1
(- 1/2 (* (sin z0) 1/2)), 1
(* (- -2 (* (- 1 (cos (+ z1 z1))) z2)) (/ 1/2 z0)), 1
(- (* z1 z0) (* -1/2 PI)), 1
(* (- (- (cosh (+ z0 z0)) 1) -1) 1/2), 1
(* (+ z0 z0) (sin (* z2 z1))), 1
(- z0 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) 1) 1/4))), 1
(/ z0 (fabs (cos (+ (* -1/2 z1) (* 3/4 PI))))), 1
(- z0 (* PI -1/2)), 1
(/ (+ (* z2 z2) (* z1 z1)) (+ z2 z0)), 1
(* (sin (- (* 1/4 PI) (* z1 -1/2))) z0), 1
(- (* z2 z0) (* z1 z1)), 1
(cosh z0), 1
(* -2 (atan (* (tan (- (* PI 3/4) 27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z0))))), 1
(sin (- (* -1/4 PI) (* -1/2 z0))), 1
(* z0 (sin (- (* 1/4 PI) (* 1/2 z1)))), 1
(log (/ (fabs (cos z0)) (- 1 (sin z0)))), 1
(- (* PI -1/2) z0), 1
(- (sin (* z1 -1)) z0), 1
(* (* (+ 2 (* z2 (- 1 (cos (+ z1 z1))))) 1/2) z0), 1
(asin (- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2))))), 1
(- (* (* z0 1/2) (- (cos (+ z1 z1)) 1)) -1), 1
(sin (- (* PI 3/4) (* -1/2 z0))), 1
(/ (* (pow (cos z2) 4) z0) z1), 1
(tan (* (- (* 1/2 PI) z0) 1/2)), 1
(/ (- z0 (log (tan (* 1/4 (+ PI (+ z2 z2)))))) z1), 1
(sin (- (* 1/4 PI) (* z0 1/2))), 1
(* (* (- -1 z2) z1) z0), 1
(/ 2 (sqrt (- (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1)))))), 1
(* (atanh z1) z0), 1
(* (- (cos (+ z0 z0)) 1) -1/2), 1
(/ 2 (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1)))))), 1
(- (- (- (* (* (- z2 z1) (+ z2 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))))) (* (* 304747143/100000000000000000000 z1) z2)) z0), 1
(* (- (sin (* z1 -1)) -1) z0), 1
(/ z0 (cos (* 1/4 (+ (+ PI z1) z1)))), 1
(* (tan (- (* -1/2 PI) 27401669256311/20000000000000)) (* z0 z1)), 1
(* (- (* PI 1/2) z0) -1/2), 1
(* 1/2 (- z0 (/ 1 z0))), 1
(fabs (cos z0)), 1
(* (- (* z2 z2) 1) (* (+ 2 (* z1 (- 1 (cos (+ z0 z0))))) -1/2)), 1
(/ z0 (sin (- (* PI 7/4) (* 1/2 z1)))), 1
(- E z0), 1
(* (+ (sin z0) -1) -1/2), 1
(log (fabs (/ (sin (- (* z0 -1/2) (* 1/4 PI))) (sin (* 1/2 (- (* 1/2 PI) z0)))))), 1
(/ (+ z0 z0) (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z1))))))), 1
(pow (tan (+ (* z1 1/2) (* 13/4 PI))) z0), 1
(- (log (tan (+ (* 9/4 PI) (* z1 1/2)))) z0), 1
(* (- (atan (* (tan (- 27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0)))) (* 1/4 PI)) 2), 1
(* -2 (atan (* (tan (+ -27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0))))), 1
(+ (* z2 z1) (* (sin (+ z2 z2)) z0)), 1
(* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1))), 1
(* (fabs z1) z0), 1
(* (pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2) (- (* (- 1 (cos (+ z0 z0))) (* z2 1/2)) -1)), 1
(* (/ z1 z0) (sin (* (+ (+ PI z2) z2) -1/4))), 1
(atan2 (sin z0) (* (cos z1) (cos z0))), 1
(* (* z0 1/2) (cos (* 1 z1))), 1
(* z0 (- (* 1/4 PI) (* z1 -1/2))), 1
(* (cos (* z1 z0)) 2), 1
(* z0 (- 1 (sin z1))), 1
(* (sqrt (fabs (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))) z0), 1
(* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4)), 1
(+ (+ PI (* z2 z1)) z0), 1
(sinh (/ z1 z0)), 1
(* (* (- 1 (cos (+ z0 z0))) 1/2) z1), 1
(/ (* (pow (cos z2) 4) z1) z0), 1
(* (* (sin (- (* z0 -1/2) (* 1/4 PI))) (sqrt 2)) (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (- -1 (sin z0)))), 1
(log (pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0)), 1
(- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4))), 1
(* (- (* -1/2 z1) (* 1/4 PI)) z0), 1
(asin (* z0 (sin z1))), 1
(- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z0)))))), 1
(fabs (* (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0)) -1/2)), 1
(sqrt (* 1/2 (+ (- (* (- (cos (+ z0 z0)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (cos (+ z0 z0))) 1))), 1
(* (- (* 1/2 PI) z1) z0), 1
(* (tan (- 27401669256311/40000000000000 (* PI 3/4))) z0), 1
(sin (* (- z0 (- z0 PI)) 1/2)), 1
(tan (- (* 13/4 PI) (* z0 -1/2))), 1
(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) z1), 1
(pow (tan (- (* z1 1/2) (* 3/4 PI))) (- z0)), 1
(/ (- z1 (log (tan (* 1/4 (+ PI (+ z2 z2)))))) z0), 1
(* (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (sqrt 1/2)), 1
(+ (* (sin z0) (* (cos z1) (cos z2))) (* (sin z2) (cos z0))), 1
(- 1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z0))), 1
(- (* 1/2 (cos (+ z1 z1))) (- -1/2 z0)), 1
(tan (+ (* 1/2 z0) (* 9/4 PI))), 1
(- (- z0 1/2) (* (sin (+ 0 z1)) 1/2)), 1
(atanh (sin z0)), 1
(* 304747143/100000000000000000000 (* z0 z1)), 1
(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (tan (- (* 5/4 PI) (* z2 -1/2))))), 1
(/ (- z0 (atanh (sin (+ 0 z2)))) z1), 1
(* (pow (tan (* (+ (+ PI z2) z2) 1/4)) (- z1)) z0), 1
(pow (- -1 (* (* (- 1 (cos (+ z1 z1))) 1/2) z2)) z0), 1
(sqrt (- (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1))))), 1
(* (* z2 z0) (pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z1)), 1
(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))) (fabs z1)), 1
(* (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)) -1) (pow (* 1/2 (- -2 (* (- 1 (cos (+ z0 z0))) z1))) -2)), 1
(* (- (sin z0) 1) -1/2), 1
(pow (- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0))))) -2), 1
(+ z0 (- (sin (* 1 z1)))), 1
(/ z0 (sqrt (- (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z2 z2))))))), 1
(* (- (sin z0) -1) -1/2), 1
(/ z0 (sqrt (fabs (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1)))), 1
(- (- (* 4668270147/10000000000000000 z2) (* -149230739/1250000000000000 z1)) (+ (+ z0 (* (* 304747143/100000000000000000000 z1) z2)) (+ (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))))))), 1
(asin (+ (* (sin z0) (* (cos z1) (cos z2))) (* (sin z2) (cos z0)))), 1
(* (/ (cos (* (- PI (+ z1 z1)) -1/4)) z0) (- (cos (* -1/2 z1)) (sin (* z1 1/2)))), 1
(pow (tan (* 1/4 (+ (+ z1 PI) z1))) z0), 1
(* z0 (sin (- (* -1/4 PI) (* z1 1/2)))), 1
(log (* (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z0) z0)))))), 1
(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2))), 1
(* (tan (- (* PI -3/4) (* -1/2 z2))) (* z1 z0)), 1
(- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)), 1
(- (* (* 304747143/100000000000000000000 z0) z1) (* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1))), 1
(pow (tan (* 1/4 (+ (+ z1 z1) PI))) z0), 1
(* (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1) z0), 1
(/ (sin (- (* -1/4 PI) (* -1/2 z1))) z0), 1
(* (sin (- 0 z1)) z0), 1
(- (log (tan (+ (* 1/2 z0) (* 9/4 PI))))), 1
(- (* (* (- z1 z2) 4616990181/500000000000000000000) (+ z2 z1)) (- (* (* z2 z1) 304747143/100000000000000000000) z0)), 1
(* (* z0 (cos 27401669256311/20000000000000)) z1), 1
(/ (* z1 (+ z0 z2)) (sqrt (+ (* z1 z1) (* z2 z2)))), 1
(sin (- (* z0 -1/2) (* PI 3/4))), 1
(* (tan (- (* 1/2 PI) 27401669256311/20000000000000)) (* z0 z1)), 1
(sqrt (/ (+ (* (pow (cos z2) 4) z0) z1) (* z1 (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2)))))))), 1
(/ (* 1/4 (- (sin (* -1/2 (+ (- z1 PI) z1))) (cos (* -1/2 (+ (- PI z1) z1))))) z0), 1
(pow (tan (+ (* PI -3/4) (* z1 1/2))) (- z0)), 1
(* z0 (- (* PI 1/4) (* z1 -1/2))), 1
(* (sin (- (* PI 3/4) (* z0 1/2))) (sqrt 1/2)), 1
(* (sin (* z1 -1/2)) z0), 1
(* (fabs (- z1 -1)) (/ z0 E)), 1
(* (* (cos (+ z1 z1)) (- 1 (cos (+ z0 z0)))) 1/2), 1
(fabs (sin (* (+ (* 1/2 PI) z0) 1/2))), 1
(- (* (cos z1) (sin z2)) z0), 1
(* (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z0)))))) 1/2), 1
(cos (* (* z1 z0) -1/2)), 1
(/ (cos (* 1 z1)) z0), 1
(* (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) (- z0)), 1
(- -1 (cos (+ z0 z0))), 1
(/ (+ z0 z0) (- 1 (sin z1))), 1
(* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/2)), 1
(* (/ (sqrt 2) (- (sin z0) -1)) (* (cos (* (- PI (+ z0 z0)) -1/4)) (- (cos (* z0 -1/2)) (sin (* z0 1/2))))), 1
(fabs (+ (* (pow (cos z2) 4) z0) z1)), 1
(* (* z0 (cos 27401669256311/20000000000000)) (- z1)), 1
(- z0 (* (- (* -2 (cos (+ z2 z2))) 1) (* z1 (sin z2)))), 1
(/ (sqrt (+ (* z2 z2) (* z1 z1))) z0), 1
(- (- (- (* (* (- z2 z1) (+ z2 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))))) (* (* z2 z1) 304747143/100000000000000000000)) z0), 1
(* (- z1 (/ -1 z1)) z0), 1
(/ (sin (- (* z0 -1/2) (* 1/4 PI))) (sin (* 1/2 (- z0 (* 1/2 PI))))), 1
(* (- (cos (* z0 1/2)) (sin (* -1/2 z0))) (sqrt 1/2)), 1
(* z0 (/ (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (cos (* (- PI (+ z1 z1)) -1/4)))), 1
(* (- (* 4 (atan z0)) PI) 1/2), 1
(pow (tan (+ (* PI -3/4) (* z1 1/2))) z0), 1
(/ (+ z2 z0) (sqrt (+ (* z2 z2) (* z1 z1)))), 1
(* (cos (* z1 -1/2)) z0), 1
(* z0 (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z1))))))), 1
(* (- (sin z0) -1) 1/2), 1
(- (* -1/2 PI) z0), 1
(/ z0 (sin (- (* PI 3/4) (* z1 -1/2)))), 1
(/ (fabs (cos z1)) (+ z0 z0)), 1
(- (- 1/2 z0) (* (- 1 (cosh (+ z1 z1))) 1/2)), 1
(* (pow (tan (- (* z2 1/2) (* 3/4 PI))) (- z1)) z0), 1
(* (* z2 (/ z1 (sin 27401669256311/20000000000000))) z0), 1
(* 1/2 (+ z0 (* 1/2 PI))), 1
(fabs (tan (* (+ (* 1/2 PI) z0) 1/2))), 1
(/ z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) 1)), 1
(* (/ z1 (sin 27401669256311/20000000000000)) z0), 1
(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (tan (- (* 9/4 PI) (* z2 -1/2))))), 1
(- z0 (/ -1 z0)), 1
(* -1/4 (- -1 (cos (+ z0 z0)))), 1
(* (sin (* (* z1 z0) 1/2)) 2), 1
(* (cos (* (- PI (+ z0 z0)) -1/4)) (- (cos (* z0 -1/2)) (sin (* z0 1/2)))), 1
(- (- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* 304747143/100000000000000000000 (* z0 z1))) (- (* -149230739/1250000000000000 z0) (* 4668270147/10000000000000000 z1))), 1
(log (/ (* (- (cos (* z0 1/2)) (sin (* -1/2 z0))) (sqrt 1/2)) (sin (- (* PI 3/4) (* -1/2 z0))))), 1
(- z0 (* -1/2 PI)), 1
(- (- (* 4668270147/10000000000000000 z2) (* -149230739/1250000000000000 z1)) (+ (+ z0 (* (* z2 z1) 304747143/100000000000000000000)) (+ (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))))))), 1
(* (tan (- (* -1/2 PI) 27401669256311/20000000000000)) (* z1 z0)), 1
(* (* 2 (atanh z1)) (- z0)), 1
(* (atanh (- z1)) z0), 1
(* 1/4 (- (sin (* -1/2 (+ (- z0 PI) z0))) (cos (* -1/2 (+ (- PI z0) z0))))), 1
(- (log (* (/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z1) z1)))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1))))) z0), 1
(- z0 (cos (* z2 z1))), 1
(- (* (* (cos (+ z2 z2)) (- 1 (cos (+ z1 z1)))) 1/2) z0), 1
(- (* (cos (* z1 -1/2)) (sqrt 1/2)) z0), 1
(* 1/4 (+ PI (+ z0 z0))), 1
(* (sin (* (* 1/2 z2) z1)) z0), 1
(log (* (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (cos (* (- PI (+ z0 z0)) -1/4))) (sqrt 1/2))), 1
(* 2 (sin (* z1 z0))), 1
(* (- (* (* (- -1 z2) z1) z1) -1) (cos z0)), 1
(* (- (cos (+ z0 z0)) 1) 1/2), 1
(/ 2 (sqrt (* 1/2 (+ (- (* (- (cos (+ z0 z0)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (cos (+ z0 z0))) 1)))), 1
(sqrt (/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2)))), 1
(* (cos (* z2 z1)) (+ z0 z0)), 1
(exp (* z1 (- z0))), 1
(sin (- (* z0 -1/2) (* PI 1/4))), 1
(- (* -2 (atan (* (tan (+ -27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0))))) (* 1/4 PI)), 1
(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (tan (+ (* 9/4 PI) (* z2 1/2))))), 1
(- (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1)))), 1
(* (* z0 1/2) (- (cos (+ z1 z1)) 1)), 1
(- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* 304747143/100000000000000000000 (* z0 z1))), 1
(/ (+ (* z2 z2) (* z1 z1)) z0), 1
(* (* -1/2 z0) (- (cos (+ z1 z1)) 1)), 1
(sin (* (* z1 z0) 1/2)), 1
(exp (+ z0 z0)), 1
(* (pow (* 1/2 (- -2 (* z2 (- 1 (cos (+ z1 z1)))))) -2) z0), 1
(sqrt (fabs (- (* z0 z0) 1))), 1
(* 1/2 (exp (* z0 -2))), 1
(* (tan (* (- (* 1/2 PI) z1) 1/2)) (pow (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))) (* 1/2 z0))), 1
(cosh (+ z0 z0)), 1
(- (* (* (- -1 z1) z0) z0) -1), 1
(/ (cos z0) (- (sin (* (- z0 (- z0 PI)) 1/2)) (sin z0))), 1
(* (atanh (- z0)) 2), 1
(* 1/2 (- z0 (/ -1 z0))), 1
(- (log (tan (* (+ (+ z1 z1) PI) 1/4))) z0), 1
(- (- (* 1/2 z1) z0) (* -3/4 PI)), 1
(atan (* (tan (- 27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0)))), 1
(- (* z1 z0) (* -3/2 PI)), 1
(* 2 (atan z0)), 1
(sin (- (* 1/4 PI) (* 1/2 z0))), 1
(/ (pow (tan (- (* 1/2 z2) (* 3/4 PI))) z1) z0), 1
(pow z0 4), 1
(* (exp (* z1 -2)) z0), 1
(- (log (tan (- (* 5/4 PI) (* z1 -1/2)))) z0), 1
(/ (+ z0 z0) (- (sin (* z1 -1)) -1)), 1
(* z1 (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0))), 1
(- (* (* (- (cos (+ z1 z1)) -1) (- (cos (+ z2 z2)) -1)) 1/4) z0), 1
(* z1 (pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z0)), 1
(- (- z0) (sin z1)), 1
(* (* z1 z0) (tan (* (+ (+ PI z2) z2) -1/4))), 1
(* (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)) -1) (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2)), 1
(* z0 (- (cos (+ z1 z1)) 1)), 1
(* (- z0 (- z0 PI)) 1/2), 1
(* (+ z1 z2) z0), 1
(* (pow (tan (+ (* z1 1/2) (* 13/4 PI))) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)), 1
(* (+ 2 (* z1 (- 1 (cos (+ z0 z0))))) 1/2), 1
(/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z0) z0)))), 1
(* (* z2 z0) (pow (cos z1) 4)), 1
(pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) (* (* z0 1/2) z1)), 1
(/ (* (sqrt z2) z1) z0), 1
(- (* (* (- (cos (+ z2 z2)) -1) (- (cos (+ z1 z1)) -1)) 1/4) z0), 1
(fabs (/ (sin (- (* z0 -1/2) (* 1/4 PI))) (sin (* 1/2 (- (* 1/2 PI) z0))))), 1
(/ (- z1 (log (/ (fabs (- (cos (- (* 1/2 z2) (* 1/2 (+ z2 PI)))) (cos (* -1 z2)))) (- (sin (* -1 z2)) -1)))) z0), 1
(* (- 1 (* z2 z2)) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)), 1
(* (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1) (pow (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)) -2)), 1
(- (* z0 -1/2) (* PI 1/4)), 1
(- (* (* z2 z0) (pow (cos z1) 4)) -1), 1
(- z0 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))), 1
(pow (* 1/2 (- -2 (* (- 1 (cos (+ z0 z0))) z1))) -2), 1
(fabs (/ (+ (* (pow (cos z2) 4) z0) z1) (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))) z1))), 1
(atan (* (tan (- 27401669256311/40000000000000 (* PI -1/4))) (pow (/ z2 z1) (/ 1 z0)))), 1
(atanh (* z0 (sin z1))), 1
(/ (fabs (- (cos (- (* z1 1/2) (* 1/2 (+ z1 PI)))) (cos (* z1 -1)))) (+ z0 z0)), 1
(pow (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)) -2), 1
(* (* (sin z1) z0) z2), 1
(log (* (/ (sqrt 2) (- (sin z0) -1)) (* (cos (* (- PI (+ z0 z0)) -1/4)) (- (cos (* z0 -1/2)) (sin (* z0 1/2)))))), 1
(- (* (cos (* z2 z1)) 4) z0), 1
(* (* z1 z0) -1/2), 1
(* (pow (tan (- (* PI -3/4) (* -1/2 z2))) (- z1)) z0), 1
(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (tan (* 1/4 (+ (+ z2 z2) PI))))), 1
(* (* z0 (sqrt 1/2)) (sin (- (* PI 3/4) (* z1 1/2)))), 1
(- -1 (/ (* (pow (cos z2) 4) z0) z1)), 1
(/ (+ z0 z0) (- -1 (sin z1))), 1
(/ (- (* z2 z0) (* z1 z1)) (sqrt (+ (* z2 z2) (* z1 z1)))), 1
(* (/ (- z2) z0) (* z1 (cos 27401669256311/20000000000000))), 1
(/ z0 E), 1
(/ (fabs (sin (* (+ (* 1/2 PI) z1) 1/2))) z0), 1
(/ (+ (* (pow (cos z2) 4) z0) z1) (* z1 (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))))), 1
(* 1/2 (+ (- (* (- (cos (+ z0 z0)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (cos (+ z0 z0))) 1)), 1
(sin (- (* PI 7/4) (* 1/2 z0))), 1
(* (- 1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))) z0), 1
(* (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0), 1
(- (cos (* z2 z1)) z0), 1
(- (* (- 1 (cosh (+ z1 z1))) -1/2) z0), 1
(- (* (* (- z1 z2) 4616990181/500000000000000000000) (+ z2 z1)) (- (* (* 304747143/100000000000000000000 z1) z2) z0)), 1
(* (pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z1) z0), 1
(* (- (cos (+ z2 z2)) -1) (* (- 1 (cos (+ z1 z1))) (* 1/2 z0))), 1
(* (pow (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))) -2) z0), 1
(* (pow (- -1 (* (* (- 1 (cos (+ z1 z1))) 1/2) z2)) -2) z0), 1
(* (+ z1 z1) z0), 1
(* (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0)) -1/2), 1
(/ (pow (tan (- (* 1/2 z2) (* 3/4 PI))) z0) z1), 1
(- (* -1/4 PI) (* 1/2 z0)), 1
(- z0 (/ -1 z1)), 1
(- (sin (* (- z1 (- z1 PI)) 1/2)) z0), 1
(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0)) (pow (tan (- (* PI 5/4) -27401669256311/40000000000000)) z0)) z1), 1
(* (* (cos (* z2 z1)) 4) z0), 1
(log (* (* (sin (- (* z0 -1/2) (* 1/4 PI))) (sqrt 2)) (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (- -1 (sin z0))))), 1
(/ (- (sin (* z1 1/2)) (cos (* -1/2 z1))) z0), 1
(- (* (* z2 z1) 304747143/100000000000000000000) z0), 1
(* (* 1/4 (- -1 (cos (+ z0 z0)))) (- -1 (cos (+ z1 z1)))), 1
(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0)) z1) (pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z0)), 1
(* (sin (- (* 1/4 PI) (* z1 1/2))) z0), 1
(* (- (* z1 -1/2) (* 1/4 PI)) z0), 1
(pow z0 -2), 1
(pow z0 (* (* 1/2 z1) z2)), 1
(/ z0 (- (* (* z1 z1) (- (* 1/2 (cos (+ z2 z2))) 1/2)) -1)), 1
(sqrt (* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2)), 1
(- (* (* (- -1 z2) z1) z1) z0), 1
(/ (- z1 (atanh (sin (+ 0 z2)))) z0), 1
(/ (- (cos (+ z1 z1)) -1) (+ z0 z0)), 1
(* (+ z1 z1) (atanh z0)), 1
(/ (fabs (cos z0)) (- 1 (sin z0))), 1
(fabs (tan (- (* 1/4 PI) (* -1/2 z0)))), 1
(* (cos (* z0 1/2)) (sqrt 1/2)), 1
(* (atanh (* (sin z2) z1)) z0), 1
(- (* (atan z1) 2) z0), 1