((* z0 50813/6250), 2494
 (* (/ z1 z0) (/ z1 z0)), 404
 (+ 1/2 (* 1/2 (cos (+ z0 z0)))), 398
 (pow (cos z0) 2), 397
 (* z0 223577/50000), 356
 (pow (cos z0) 4), 349
 (* z0 50813/62500), 190
 (* (sin z1) z0), 178
 (* (* (* z0 (floor z1)) z0) (floor z1)), 177
 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))), 176
 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))), 173
 (* z0 (sin z1)), 154
 (* 5 (pow (cos z0) 2)), 143
 (* z0 284553/100000), 142
 (- 1 (* 5 (pow (cos z0) 2))), 139
 (* (cos z1) z0), 136
 (* 40 (pow (cos z0) 4)), 127
 (* z0 223577/100000), 118
 (- (* (cos (+ z0 z0)) 1/2) -1/2), 116
 (* -40 (pow (cos z0) 4)), 113
 (* z0 50813/25000), 112
 (- 1 (* 11 (pow (cos z0) 2))), 108
 (* 11 (pow (cos z0) 2)), 108
 (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))), 103
 (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))), 103
 (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))), 103
 (cos (+ (* 2 z1) (* 3 z0))), 100
 (* 1/180 z0), 100
 (* z0 (cos (+ (* 2 z2) (* 3 z1)))), 100
 (* (- (* z1 z1) 1) z0), 99
 (- 1 (pow (cos z0) 2)), 97
 (cos (+ (* 2 z1) z0)), 97
 (* (* 3 z0) (cos (+ (* 2 z2) z1))), 97
 (* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (+ z1 z1))), 94
 (* (* 1/90 PI) z0), 93
 (- 1/2 (* -1/2 (cos (+ z0 z0)))), 93
 (cos (+ (* 2 z1) (* 2 z0))), 93
 (* (* 1/180 z0) PI), 90
 (* PI z0), 83
 (sin (- (+ z1 z1) (* -3 z0))), 83
 (sqrt (- 1 (pow (cos z0) 2))), 80
 (cos (- z1 z0)), 79
 (* z0 50813/12500), 78
 (pow (cos z0) 3), 78
 (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))), 78
 (+ (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1))))), 78
 (* 3 (cos (+ (* 2 z1) (* 2 z0)))), 78
 (* z0 PI), 77
 (* (* (* 1/180 z0) PI) 2), 76
 (cos (* (* 1/90 PI) z0)), 76
 (* (* z1 z0) z2), 75
 (/ z1 (* z0 z0)), 72
 (* z0 182927/100000), 72
 (* (sin (- (+ z2 z2) (* -3 z1))) z0), 70
 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2), 68
 (sin (* (+ z0 z1) 2)), 68
 (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))), 68
 (cos (* (* (* 1/180 z0) PI) 2)), 68
 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0)), 68
 (cbrt z0), 68
 (* (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) z0), 67
 (- 1/2 (* 1/2 (cos (+ z0 z0)))), 66
 (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1), 66
 (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11), 66
 (* z0 108401/20000), 66
 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5), 65
 (/ (* (/ z2 z0) (/ z2 z0)) (* (- 1 (* z1 z1)) (- 1 (* z1 z1)))), 64
 (* (pow (cos z1) 3) z0), 61
 (- 1/2 (* (cos (+ z0 z0)) 1/2)), 61
 (* z1 (* z0 z2)), 61
 (tan (* (+ (+ z0 z0) PI) 1/4)), 60
 (log (- 1 z0)), 60
 (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))), 60
 (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)), 60
 (* z0 105691/20000), 60
 (* -200 (pow (cos z0) 4)), 59
 (* (* z0 z0) (* (floor z1) (floor z1))), 57
 (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)), 55
 (sin (- (* z0 1/2) (* 1/4 PI))), 55
 (* (cos (- z1 z0)) 1/2), 55
 (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))), 55
 (tanh (* z1 (* z0 z2))), 54
 (sin (+ z0 (+ z1 z1))), 54
 (* z0 121951/100000), 54
 (/ z0 (* z1 z1)), 52
 (* (- (* z0 z0) 1) (tan z1)), 51
 (- 1 (cos (+ z0 z0))), 51
 (cos (+ z0 (+ z1 z1))), 49
 (* (cos (+ z1 (+ z2 z2))) z0), 49
 (* (sin (* (+ z0 z1) 2)) 3), 48
 (- 1/2 (fabs (- z0 1/2))), 48
 (/ z2 (* (- (* z1 z1) 1) z0)), 48
 (tan (+ (/ PI 4) (* 1/2 z0))), 48
 (* (* PI z0) 1/90), 48
 (tan (+ (* 1/2 z0) (/ PI 4))), 47
 (* (sin z0) (sin z1)), 47
 (log (tan (+ (/ PI 4) (* 1/2 z0)))), 47
 (* (/ z0 z1) (/ z0 z1)), 46
 (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0))))), 42
 (* (* 3 z0) z0), 42
 (+ 153/40 (* z0 50813/6250)), 41
 (log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1))))), 41
 (cos (* -2 (+ z0 z1))), 40
 (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2), 40
 (* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2)))))), 40
 (* (- (+ (* (sin z2) z1) z2) z0) 6), 39
 (* (* -3 z0) (sin (+ z1 (+ z2 z2)))), 39
 (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)), 39
 (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11), 38
 (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))), 38
 (* (* (cos z1) (* z0 z0)) (- (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2)))), 38
 (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))), 38
 (- (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))), 38
 (* (* z1 z2) z0), 37
 (* z0 (cos z1)), 37
 (* z0 (- (* z1 z1) 1)), 37
 (* (sin (+ z0 z0)) (sin (+ z1 z1))), 37
 (cos (* (* PI z0) 1/90)), 36
 (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)), 36
 (- 1/2 (* (cos (- z1 z0)) 1/2)), 36
 (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)), 36
 (* (* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))) (cos (+ z2 z2))), 36
 (cos (- (* -3 z0) (+ z1 z1))), 36
 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0), 36
 (+ 41/10 (* z0 50813/6250)), 36
 (* (cos (* (* 1/90 PI) z0)) 1/2), 36
 (pow (+ 153/40 (* z0 50813/6250)) 2), 36
 (* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))), 36
 (* (cos (- (* -3 z1) (+ z2 z2))) z0), 36
 (cos (+ (+ z0 z0) (+ z1 z1))), 36
 (* (cos (+ z0 z0)) (cos (+ z1 z1))), 36
 (- (* z0 50813/6250) 111/40), 36
 (* (cos (* (* PI z0) 1/90)) 1/2), 36
 (* -3 (* z0 z0)), 35
 (- (* z0 50813/6250) 23/40), 35
 (* (* z0 z2) z1), 34
 (/ PI z0), 34
 (tanh (* (* z1 z0) z2)), 34
 (- (* z0 50813/6250) 199/40), 33
 (pow (- (* z0 50813/6250) 111/40) 2), 32
 (- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2), 32
 (- (cos (* (* 1/90 PI) z0)) -1), 32
 (+ (* z0 223577/100000) (* z1 50813/12500)), 32
 (pow (- (* z0 50813/6250) 23/40) 2), 32
 (- (+ 41/10 (* z0 50813/6250))), 32
 (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) 8) z0), 31
 (/ (* z1 z1) z0), 31
 (- (* (* z2 z0) 4) (* z1 z1)), 31
 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11), 30
 (pow (- (* z0 50813/6250) 199/40) 2), 30
 (+ 4/5 (* z0 50813/6250)), 30
 (* z0 7259/3125), 30
 (sin (/ (- z0 z1) 2)), 29
 (+ 197/40 (* z0 50813/6250)), 29
 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5), 29
 (+ 19/10 (* z0 50813/6250)), 29
 (* (/ z0 (* z1 z1)) z0), 29
 (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)), 28
 (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3), 28
 (sin (+ (+ z0 z1) z1)), 28
 (+ (* (cos (- (* -3 z1) (+ z2 z2))) z0) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))))), 28
 (* (/ PI z1) z0), 28
 (+ (* z1 50813/25000) (* z0 223577/50000)), 28
 (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))), 28
 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z0))), 28
 (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))), 28
 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))), 28
 (pow (* (- 1 z1) (- 1 z1)) z0), 28
 (+ 63/10 (* z0 50813/6250)), 28
 (+ (* z1 284553/100000) (* z0 223577/50000)), 28
 (* (pow (* (- 1 z2) (- 1 z2)) z1) z0), 28
 (* (sin z0) z1), 27
 (* (/ z0 z1) z0), 27
 (* (* 1/2 (/ z2 z1)) z0), 27
 (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)), 27
 (* (* (- (* z1 z1) 1) z0) z0), 26
 (- (* z0 50813/6250) 31/8), 26
 (+ 109/40 (* z0 50813/6250)), 26
 (* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1)), 26
 (* (cos z0) z1), 26
 (* 3 (cos (+ (+ z0 z0) (+ z1 z1)))), 25
 (* (* z0 z0) z1), 25
 (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0), 25
 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)), 25
 (* (/ z1 (* z0 z0)) z1), 25
 (* (* (pow (cos z1) 3) z0) z0), 25
 (* 3 (* z0 z0)), 25
 (* z0 (pow (* (- z2 1) (- z2 1)) (/ 1 (* 2 z1)))), 25
 (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))), 25
 (+ 1 (* (/ z0 z1) (/ z0 z1))), 24
 (/ (- z0 z1) (* z2 z2)), 24
 (sin (* 3 z0)), 24
 (pow (- (* z0 50813/6250) 31/8) 2), 24
 (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2), 24
 (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))), 24
 (cos (* (+ z0 z1) -2)), 24
 (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))), 24
 (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)), 24
 (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)), 24
 (- (* z0 50813/6250) 243/40), 24
 (* z1 (- 1 (cos (+ z0 z0)))), 24
 (- (+ 4/5 (* z0 50813/6250))), 24
 (pow (+ 197/40 (* z0 50813/6250)) 2), 24
 (sqrt (* (+ z1 z0) (- z0 z1))), 24
 (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0), 23
 (* (/ z1 z0) z1), 23
 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0))))), 23
 (- (log (- 1 z0))), 23
 (+ 3 (* z0 50813/6250)), 23
 (- 29/5 (* z0 50813/6250)), 23
 (* (+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))) (cos (+ z1 z1))), 23
 (- (sin (* (+ (+ z0 z0) PI) 1/4))), 23
 (+ 26/5 (* z0 50813/6250)), 23
 (* (/ z0 180) PI), 23
 (sqrt (- 1/2 (* (cos (+ z0 z0)) 1/2))), 23
 (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))), 23
 (- (cos (+ z0 z0)) -1), 23
 (+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))), 23
 (- (+ 19/10 (* z0 50813/6250))), 23
 (* (* (floor z1) z0) (* (floor z1) z0)), 23
 (cos (* 2 (* 1/2 (- z0 z1)))), 22
 (* z0 361337/100000), 22
 (- (* z2 (* z0 4)) (* z1 z1)), 22
 (* (+ PI PI) z0), 22
 (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1), 22
 (- 47/10 (* z0 50813/6250)), 22
 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1))))), 22
 (- (* z1 z1) (* (* z2 z0) 4)), 22
 (log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1))), 22
 (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))), 22
 (pow (+ 109/40 (* z0 50813/6250)) 2), 22
 (* (* 1/180 PI) z0), 22
 (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0), 22
 (- 3/10 (* z0 50813/6250)), 22
 (cbrt (- -1 z0)), 21
 (* (cos (* z0 1/2)) (sin (* z1 1/2))), 21
 (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))), 21
 (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))), 21
 (* (sin z0) (cos z1)), 21
 (* (fabs z0) 3275911/10000000), 21
 (* (sin (* z0 1/2)) (cos (* z1 1/2))), 21
 (log (fabs (tan (* (+ (+ z0 z0) PI) 1/4)))), 21
 (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1)), 21
 (sin (- (* z0 1/2) (* z1 1/2))), 21
 (/ z1 (* z0 z2)), 21
 (sin (- (* -1/4 PI) (* z0 1/2))), 21
 (fabs (tan (* (+ (+ z0 z0) PI) 1/4))), 21
 (sin (+ (* 2 z1) z0)), 21
 (- (+ 26/5 (* z0 50813/6250))), 21
 (- (+ 3 (* z0 50813/6250))), 21
 (* 5/2 (cos (+ z0 z0))), 21
 (* (sin z1) (sin z0)), 21
 (sin (+ (* 2 z1) (* 3 z0))), 21
 (cos (* (/ PI z1) z0)), 20
 (* (/ z2 (* z1 z1)) z0), 20
 (* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1), 20
 (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)), 20
 (pow (- (* z0 50813/6250) 243/40) 2), 20
 (* -1/50000 z0), 20
 (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3), 20
 (+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))), 20
 (- (cbrt z0) (cbrt (- -1 z0))), 20
 (+ (sin (* z0 1/2)) (cos (* -1/2 z0))), 20
 (* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0)))), 20
 (* (sin (+ (+ z1 z2) z2)) z0), 19
 (* 11/2 (- (cos (+ z0 z0)) -1)), 19
 (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))), 19
 (sqrt (+ (* z0 z0) (* z1 z1))), 19
 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))), 19
 (- -1 (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2)), 19
 (+ (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1))))), 19
 (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)), 19
 (/ -269813/62500 (- (fabs z0) -269813/62500)), 19
 (* (sin (+ z1 z1)) z0), 19
 (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))), 19
 (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3), 19
 (- -3/2 (* 5/2 (cos (+ z0 z0)))), 19
 (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))), 19
 (- (sqrt (+ z0 1)) (sqrt z0)), 19
 (sin (- (* z0 1/2) (* -1/4 PI))), 19
 (- 5/2 (* z0 50813/6250)), 19
 (+ (* (sin (- (+ z2 z2) (* -3 z1))) z0) (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3)), 19
 (/ (* z0 PI) z1), 19
 (sqrt (+ (* z1 z1) (* z0 z0))), 19
 (- (+ 63/10 (* z0 50813/6250))), 19
 (tan (- (* z0 1/2) (* -1/4 PI))), 18
 (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))), 18
 (+ 71/20 (* z0 50813/6250)), 18
 (cos (+ z1 z0)), 18
 (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1), 18
 (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3), 18
 (- (* z1 z1) (* z2 (* z0 4))), 18
 (* (sin (* 4 z1)) z0), 18
 (cos (- (* -1/4 PI) (* z0 1/2))), 18
 (- (* (cos (* (* PI z0) 1/90)) 1/2) -1/2), 18
 (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0), 18
 (- 1/2 (* (cos (* (* PI z0) 1/90)) 1/2)), 18
 (* (tan z1) z0), 18
 (* (atan2 z0 z1) z2), 18
 (sqrt (fabs (* z1 z0))), 18
 (- 18/5 (* z0 50813/6250)), 18
 (* (cos z0) (sin z1)), 18
 (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2), 18
 (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))), 18
 (* 3 (cos z0)), 17
 (+ 1 (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))), 17
 (* (sin (* 1/4 PI)) (cos (* -1/2 z0))), 17
 (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0))))), 17
 (fabs (sin (- (* z0 1/2) (* 1/4 PI)))), 17
 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2))), 17
 (- 7/5 (* z0 50813/6250)), 17
 (+ (cos (+ z0 z0)) 1), 17
 (* (* 3 z0) (pow (cos z1) 2)), 17
 (- (* z0 50813/6250) 67/40), 17
 (* (* 3 z0) (sin (+ (* 2 z2) z1))), 17
 (* (* z0 z0) (pow (cos z1) 3)), 17
 (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)), 17
 (pow (- (* z0 50813/6250) 67/40) 2), 17
 (* 3 (- 1 (pow (cos z0) 2))), 17
 (* z0 7259/500), 17
 (sin (* (* 1/90 PI) z0)), 17
 (* (cos z1) (sin z0)), 17
 (* z0 (sin (+ (* 2 z2) (* 3 z1)))), 17
 (- (cos (* -1/2 z0)) (sin (* z0 1/2))), 17
 (sin (* z0 z1)), 17
 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)), 17
 (/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1)), 17
 (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2), 16
 (pow (cos z0) 6), 16
 (- (* z1 z1) (* z2 (* z0 3))), 16
 (* z1 (* z0 3)), 16
 (pow (tan (* (+ (+ z0 z0) PI) 1/4)) 1), 16
 (pow (tan (* (+ (+ z0 z0) PI) 1/4)) -1), 16
 (* z1 (* (* 1/2 z0) z2)), 16
 (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))), 16
 (* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0))), 16
 (sqrt (- (* z1 z1) (* z2 (* z0 3)))), 16
 (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)), 16
 (* (* z1 z1) z0), 16
 (- (* (pow (cos z1) 3) z0) -1), 16
 (sqrt (- (log (- 1 z0)))), 16
 (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)), 16
 (* (* z2 z0) z1), 16
 (+ 21/40 (* z0 50813/6250)), 16
 (/ (+ PI PI) z0), 16
 (* (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (cos z0)), 16
 (+ 1 (pow (/ (- z0 z1) z2) 2)), 16
 (* (tan (+ (* 1/2 z1) (/ PI 4))) z0), 16
 (* (/ z0 z1) z2), 16
 (pow (/ (- z0 z1) z2) 2), 16
 (* (* z0 z1) z1), 16
 (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0)), 16
 (/ (* z1 z1) (* z0 z0)), 16
 (* (+ (cos (+ z0 z0)) 1) 1/2), 16
 (pow (- 1 (* 5 (pow (cos z0) 2))) 2), 16
 (- (* z0 50813/6250) 17/20), 15
 (* 3 (sin (+ (* 2 z1) (* 2 z0)))), 15
 (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)), 15
 (+ 13/8 (* z0 50813/6250)), 15
 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))), 15
 (tanh (* (* z1 z2) z0)), 15
 (sin (+ (* 2 z1) (* 2 z0))), 15
 (sin (- (* 1/4 PI) (* z0 1/2))), 15
 (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1)))))), 15
 (sqrt (- (* z1 z1) (* z2 (* z0 4)))), 15
 (* (* (* 1/180 PI) z0) 2), 15
 (* (* (pow (- 1 (* z0 z0)) -3) 3) (- 1/2 (* (cos (+ z1 z1)) 1/2))), 15
 (sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1))), 15
 (pow (/ 1 z0) 2), 15
 (* (* z1 z0) z0), 15
 (- (cos (* -1/2 z0)) (sin (* -1/2 z0))), 15
 (* (+ z0 z0) PI), 15
 (pow (tanh (* z1 (* z0 z2))) -2), 15
 (- (* z0 50813/6250) 21/4), 15
 (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))), 14
 (+ 97/20 (* z0 50813/6250)), 14
 (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))), 14
 (+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))), 14
 (+ (* (sin (* 3 z2)) z1) (* (sin z2) z0)), 14
 (* (* (- 1 (* z1 z1)) z0) z0), 14
 (+ 49/20 (* z0 50813/6250)), 14
 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1))), 14
 (+ 1/4 (* z0 50813/6250)), 14
 (* (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))) z2), 14
 (cos (- (- (* -3 z0) z1) z1)), 14
 (+ 63/100 (* z0 50813/62500)), 14
 (log (sqrt (+ (* z1 z1) (* z0 z0)))), 14
 (sin (* (+ (+ z0 z0) PI) 1/4)), 14
 (* (cos (* (* (* 1/180 PI) z0) 2)) 1/2), 14
 (sqrt (* (- z0 z1) (+ z1 z0))), 14
 (* (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) (* 3 (pow (- 1 (* z0 z0)) -3))), 14
 (/ (sin (* (* 1/90 PI) z0)) z1), 14
 (* (- 1 (* z1 z1)) z0), 14
 (* (sin z1) (cos z0)), 14
 (sin (- PI (* z1 z0))), 14
 (* (sin (* 3 z1)) z0), 14
 (+ (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))) (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))), 14
 (* (+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))) (* (- 1 (+ 1/2 (* 1/2 (cos (+ z2 z2))))) (* 3 (pow (- 1 (* z0 z0)) -3)))), 14
 (cos (* (* (* 1/180 PI) z0) 2)), 14
 (log (- z0 -1)), 13
 (+ 31/10 (* z0 50813/6250)), 13
 (- (* z0 (sin (+ (* 2 z2) (* 3 z1))))), 13
 (* (cos (* -1/4 PI)) (sin (* z0 1/2))), 13
 (- (* 3 (pow (cos z0) 2)) 1), 13
 (cos (+ z0 z1)), 13
 (* (log (sqrt (+ (* z1 z1) (* z0 z0)))) z2), 13
 (- (exp (* z0 z1)) 1), 13
 (pow (+ 241/40 (* z0 50813/6250)) 2), 13
 (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))), 13
 (- (* (* 3 z0) (sin (+ (* 2 z2) z1)))), 13
 (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))), 13
 (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)), 13
 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))), 13
 (- (* (cos (- (- (* -3 z1) z2) z2)) z0) (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))))), 13
 (/ (* z1 z0) z2), 13
 (* z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))), 13
 (+ 11/4 (* z0 50813/6250)), 13
 (* (* z1 z1) (* (* 1/2 z0) z2)), 13
 (* 3 (pow (cos z0) 2)), 13
 (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2), 13
 (- (cos (+ z0 z0)) 1), 13
 (- -1 (* (fabs z0) 3275911/10000000)), 13
 (* (sin (- PI (* z1 z0))) z2), 13
 (+ 241/40 (* z0 50813/6250)), 13
 (pow (+ 13/8 (* z0 50813/6250)) 2), 13
 (* 6 (+ (- z2 z0) (* z1 (sin z2)))), 13
 (sin (* (/ z0 180) PI)), 13
 (+ 27/20 (* z0 50813/6250)), 13
 (- (* z0 50813/6250) 127/20), 13
 (cbrt (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2)), 13
 (* (cos (- (- (* -3 z1) z2) z2)) z0), 13
 (fabs (sin (- (* -1/4 PI) (* z0 1/2)))), 13
 (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))), 13
 (- (exp z0) 1), 13
 (cos (* (+ (+ z0 z0) PI) 1/4)), 12
 (/ z0 (* (tan z2) z1)), 12
 (sin (* z0 30)), 12
 (* 200 (pow (cos z0) 4)), 12
 (/ 1 (sqrt (fabs (- z1 z0)))), 12
 (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))), 12
 (* z0 (/ (+ PI PI) z1)), 12
 (* z0 31831/400000), 12
 (- (* 3 (sin (+ (* 2 z1) (* 2 z0))))), 12
 (sin (fabs (remainder z0 (+ PI PI)))), 12
 (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0)), 12
 (* (- z0 -15234687407/1000000000) z0), 12
 (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0)), 12
 (- (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)) -1), 12
 (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1), 12
 (- (* z0 50813/6250) 57/10), 12
 (+ 93/20 (* z0 50813/6250)), 12
 (* (+ 1 (* z0 10)) (+ 1 (* z0 10))), 12
 (* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)), 12
 (sin (* z0 PI)), 12
 (pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0), 12
 (+ 23/40 (* z0 50813/62500)), 12
 (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3)), 12
 (* (sin (+ z1 (+ z2 z2))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))), 12
 (/ 1/3 z0), 12
 (remainder z0 (+ PI PI)), 12
 (* z0 27439/12500), 12
 (/ (* PI z0) z1), 12
 (fabs (remainder z0 (+ PI PI))), 12
 (- (sqrt (* (- z0 z1) (+ z1 z0))) z0), 12
 (* (* (/ z2 z1) z2) z0), 12
 (cos (/ (* z0 PI) z1)), 12
 (- -1 (* (/ (- z0 z1) (* z2 z2)) (- z0 z1))), 12
 (pow (+ 21/40 (* z0 50813/6250)) 2), 12
 (* (sin z1) (* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))), 12
 (+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0))), 12
 (/ (* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2))) (* (- (* z0 z0) 1) (tan z1))), 12
 (cos (* z0 (/ (+ PI PI) z1))), 12
 (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))), 12
 (sin (* (* PI z0) 1/90)), 12
 (* z0 50813/50000), 12
 (* 80 (pow (cos z0) 2)), 12
 (+ (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))) (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0))), 12
 (* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2))), 12
 (+ 19/100 (* z0 50813/62500)), 12
 (* (- (* z0 z0) 1) z1), 12
 (/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1)))), 12
 (/ (/ z1 z0) z2), 12
 (* (* (* z1 z1) z0) z0), 12
 (* (* (* z0 z0) (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))) (sin (* 2 z2))), 11
 (- 1 (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))), 11
 (* (cos z0) (+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2)))), 11
 (- (* z0 50813/6250) 61/20), 11
 (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z0 z0)), 11
 (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))), 11
 (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2)), 11
 (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))), 11
 (- 1/2 (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2)), 11
 (remainder z0 (* 2 PI)), 11
 (/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) (sin (- (* z0 1/2) (* 1/4 PI)))), 11
 (+ (+ (* (* (pow (cos z1) 3) z0) z0) (* (sqrt (- 1 (* z0 z0))) z0)) (+ (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))), 11
 (* (sqrt 2) z0), 11
 (* (* (sqrt 2) 1/2) (sin (* z0 1/2))), 11
 (* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) (* z1 z1)), 11
 (cos (- (* z0 1/2) (* -1/4 PI))), 11
 (* (- 1 (* z0 z0)) (tan z1)), 11
 (* (- (* 10 z0) -63/20) (- (* 10 z0) -63/20)), 11
 (+ (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))), 11
 (cos (* (+ PI PI) z0)), 11
 (* (sin (- (+ z2 z2) (* -3 z1))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))), 11
 (fabs (tan (- (* z0 1/2) (* -1/4 PI)))), 11
 (- (* z0 50813/62500) 1/4), 11
 (* (cos (* 1/4 PI)) (cos (* -1/2 z0))), 11
 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2)))), 11
 (/ z0 (* z1 3)), 11
 (* (* z0 z0) (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))), 11
 (- (sqrt (- (* z1 z1) (* z2 (* z0 4)))) z1), 11
 (- (* z1 z1) (* (* z0 4) z2)), 11
 (* (/ z0 z1) (+ PI PI)), 11
 (+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))), 11
 (sin (fabs (remainder z0 (* 2 PI)))), 11
 (- 1/4 (* z0 50813/62500)), 11
 (* 1/90 z0), 11
 (/ z2 (* (* (- (* z1 z1) 1) z0) (- (* z1 z1) 1))), 11
 (* (* 1/90 z0) PI), 11
 (+ (* (sin (- (+ z2 z2) (* -3 z1))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))) (* (sin (+ z1 (+ z2 z2))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)))), 11
 (pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* z0 1/2)), 11
 (fabs (remainder z0 (* 2 PI))), 11
 (cos (* (/ z0 z1) (+ PI PI))), 11
 (- (sqrt (- (* z1 z1) (* z2 (* z0 3)))) z1), 11
 (tan (- (* 5/4 PI) (* -1/2 z0))), 10
 (- (log (tan (+ (/ PI 4) (* 1/2 z2)))) (* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2))))))), 10
 (cos (+ (* PI 1/2) z0)), 10
 (* (* (* (- z0) z1) z1) z0), 10
 (/ z0 (+ (* z0 z0) (* z1 z1))), 10
 (- (* z1 z1) (* 3 (* z0 z0))), 10
 (- 61/200 (* z0 50813/62500)), 10
 (cos (* (/ z0 180) PI)), 10
 (fmax (+ 31/10 (* z0 50813/6250)) (- (+ 41/10 (* z0 50813/6250)))), 10
 (- (* z0 50813/62500) 61/200), 10
 (- 1 (* (pow (tanh (* z1 (* z0 z2))) -2) 4)), 10
 (+ (+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))) (* (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0)))) z0)), 10
 (/ (tan z1) z0), 10
 (* 200 (* z0 z0)), 10
 (* 33 (* z0 z0)), 10
 (* (- (* (- (* (- z0 -15234687407/1000000000) z0) -314690115749/10000000000) z0) -119400905721/10000000000) z0), 10
 (+ 27/200 (* z0 50813/62500)), 10
 (* (sin (* 1/4 PI)) (sin (* z0 1/2))), 10
 (* z0 113821/50000), 10
 (* (* (- z0) z1) z1), 10
 (cbrt (/ 1/2 z0)), 10
 (* (- (* (cos (* (* PI z1) 1/90)) 1/2) -1/2) (* z0 z0)), 10
 (sin (- (* z1 z0) (* -1/2 PI))), 10
 (- (- 1 z0) 1), 10
 (* (/ z0 z2) z1), 10
 (- (- 1 (* (pow (tanh (* z1 (* z0 z2))) -2) 4)) (* (pow (tanh (* z1 (* z0 z2))) -4) -3)), 10
 (pow (tanh (* z1 (* z0 z2))) -4), 10
 (- 3 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)), 10
 (* (pow (cos z0) 6) 400), 10
 (pow (sin (/ (- z0 z1) 2)) 2), 10
 (/ 1 (* z0 PI)), 10
 (* -1/3 (* z0 z1)), 10
 (* (- (* (- z0 -15234687407/1000000000) z0) -314690115749/10000000000) z0), 10
 (pow (* (- 1 z1) (- 1 z1)) (/ (- 1/2 z0) z0)), 10
 (* (sqrt (- 1/2 (* (cos (+ z0 z0)) 1/2))) (cos z0)), 10
 (pow (/ z0 z1) 1/2), 10
 (* (* z0 z0) (* z0 z0)), 10
 (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))), 10
 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)), 10
 (- (* z0 50813/6250) 83/20), 10
 (* (+ z0 z1) 223577/100000), 10
 (* (* z0 z1) z2), 10
 (* (sin (fabs (remainder z0 (+ PI PI)))) (cos z0)), 10
 (* (- (* 313060547623/100000000000 z0) -55833770631/5000000000) z0), 10
 (* (* (/ z2 (* z1 z1)) z2) z0), 10
 (pow (* z0 30) 2), 10
 (* (pow (tanh (* z1 (* z0 z2))) -2) 4), 10
 (* (pow (tanh (* z1 (* z0 z2))) -4) -3), 10
 (* (- (* (sin z2) z1) (- z0 z2)) 6), 10
 (* z0 (sin (* (/ z1 180) PI))), 9
 (* -6 (- (* (sin z2) z1) (- z0 z2))), 9
 (cos (* -30 z0)), 9
 (+ 53/20 (* z0 50813/6250)), 9
 (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (* (sqrt 2) 1/2) (sin (* z0 1/2)))), 9
 (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))), 9
 (pow (* z0 (sin (* (/ z1 180) PI))) 2), 9
 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11), 9
 (- (cos (* (/ z0 z1) (+ PI PI))) -1), 9
 (/ 1 (* z0 z0)), 9
 (* (- (cos (* (/ z0 z1) (+ PI PI))) -1) 1/2), 9
 (- (* z0 50813/6250) 11/20), 9
 (log (fabs (/ (+ z1 z0) (- -7071/2500 (+ z1 z0))))), 9
 (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))) (- (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11) 1)), 9
 (+ (* z1 z0) (* (+ (+ z1 z0) z2) z2)), 9
 (/ (+ z1 z0) (- -7071/2500 (+ z1 z0))), 9
 (* (* -1/2 (* z1 z1)) (- (cos (* (* 1/90 PI) z0)) -1)), 9
 (* (sqrt (- (log (- 1 z0)))) (sin (/ 1 (* (/ (sqrt 2) (+ PI PI)) (/ (sqrt 1/2) z1))))), 9
 (/ (/ (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))) (* (sqrt 2) 1/2)) (- (cos (* -1/2 z0)) (sin (* z0 1/2)))), 9
 (* (/ z2 z0) z1), 9
 (* 5 (* z0 z0)), 9
 (- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1)))))), 9
 (fabs (- (* (cos (* -1/4 PI)) (sin (* z0 1/2))) (* (sin (* 1/4 PI)) (cos (* -1/2 z0))))), 9
 (* (* (- 2 z0) z2) z1), 9
 (acos (- 1 z0)), 9
 (* (* (pow (cos z1) 6) 400) z0), 9
 (fabs (/ (+ z1 z0) (- -7071/2500 (+ z1 z0)))), 9
 (* (+ z0 z0) (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) 8) z0)), 9
 (* (/ (tan z2) z1) z0), 9
 (log (- (/ (+ z1 (/ z0 (* z2 z2))) (* z2 z2)) -1)), 9
 (pow (sin (- (* z0 1/2) (* z1 1/2))) 2), 9
 (/ (sqrt 1/2) z0), 9
 (* (/ z1 z0) z2), 9
 (- (/ 358925334511777/62500000000000 (- (fabs z0) -269813/62500)) 1821255987/1000000000), 9
 (- (- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1)))))) (- (* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)))) (* (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0)))), 9
 (* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)))), 9
 (+ 9/10 (* z0 50813/6250)), 9
 (+ z1 (/ z0 (* z2 z2))), 9
 (* -80 (- 1/2 (* -1/2 (cos (+ z0 z0))))), 9
 (sin (/ 1 (* (/ (sqrt 2) (+ PI PI)) (/ (sqrt 1/2) z0)))), 9
 (+ 9/20 (* z0 50813/6250)), 9
 (* (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0)), 9
 (- (* z0 50813/6250) 34/5), 9
 (* (log z0) z0), 9
 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z0 z0)), 9
 (* (* -3 z0) (sin (+ (+ z1 z2) z2))), 9
 (+ z0 (* (- (* 313060547623/100000000000 z1) -55833770631/5000000000) z1)), 9
 (/ (* z2 z0) z1), 9
 (/ 1 (* (/ (sqrt 2) (+ PI PI)) (/ (sqrt 1/2) z0))), 9
 (pow (/ (/ (* (* (sqrt 2) 1/2) (+ (sin (* z1 1/2)) (cos (* -1/2 z1)))) (* (sqrt 2) 1/2)) (- (cos (* -1/2 z1)) (sin (* z1 1/2)))) z0), 9
 (- (* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)))) (* (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0))), 9
 (+ (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)) (/ (* -80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)))), 9
 (+ 31/20 (* z0 50813/6250)), 9
 (sqrt (- (* z1 z1) (* (* z2 z0) 4))), 9
 (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 5))) (- (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 11) 1)) (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))), 9
 (/ (+ z1 (/ z0 (* z2 z2))) (* z2 z2)), 9
 (* (/ (sqrt 2) (+ PI PI)) (/ (sqrt 1/2) z0)), 9
 (pow (pow (tan (* (+ (+ z1 z1) PI) 1/4)) 1) z0), 9
 (+ 253/40 (* z0 50813/6250)), 9
 (pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0)), 9
 (pow (/ (* z1 z0) (* 2 z2)) 2), 9
 (+ 53/10 (* z0 50813/6250)), 9
 (/ (- (+ (* (* 3 z0) z0) (* 2 z1)) z0) (+ (* z0 z0) 1)), 9
 (/ (pow (cos z0) 4) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))), 9
 (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)), 9
 (/ (* -80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))), 9
 (- (* (cos (* -1/4 PI)) (sin (* z0 1/2))) (* (sin (* 1/4 PI)) (cos (* -1/2 z0)))), 9
 (* -6 (- (+ (* (sin z2) z1) z2) z0)), 9
 (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))), 9
 (* 6 (* z0 z0)), 9
 (* (* (* z1 z0) z0) z1), 9
 (- 11 (+ (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)) (/ (* -80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))))), 9
 (- (* z0 50813/62500) 39/200), 9
 (- (* (cos z0) (cos z1)) (* (sin z1) (sin z0))), 9
 (- 39/200 (* z0 50813/62500)), 9
 (cos (* z0 30)), 9
 (- (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z2 z2)) (* (* -1/2 (* z0 z0)) (- (cos (* (* 1/90 PI) z1)) -1))), 9
 (* z0 (sin (* 3 z1))), 9
 (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1))))), 9
 (* (* (- (cos (* (/ z1 z2) (+ PI PI))) -1) 1/2) (* z0 z0)), 9
 (+ (* z0 (sin z2)) (* z1 (sin (* 3 z2)))), 9
 (- (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11) 1), 9
 (pow (/ z0 (+ z1 z0)) z0), 9
 (* (* (* (pow (cos z1) 6) 400) z0) z0), 9
 (/ (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))) (* (sqrt 2) 1/2)), 9
 (- (/ (+ z1 (/ z0 (* z2 z2))) (* z2 z2)) -1), 9
 (* (/ (+ z1 z1) z0) z1), 9
 (+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (* z0 z0) (pow (cos z1) 3))), 9
 (* (* -1/2 (* z0 z0)) (- (cos (* (* 1/90 PI) z1)) -1)), 9
 (/ (* z1 z0) (* 2 z2)), 9
 (* (- 11 (+ (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)) (/ (* -80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))))) (sin (+ z1 z1))), 9
 (pow (* (- z1 1) (- z1 1)) z0), 9
 (+ (* z0 (sqrt (- 1 (* z0 z0)))) (/ z0 (+ 1 (sqrt (- 1 (* z0 z0)))))), 8
 (* z1 (/ z2 z0)), 8
 (/ 72799054969/3906250000 (- (fabs z0) -269813/62500)), 8
 (* (* -4/5 z1) (exp (* -1/50000 z0))), 8
 (/ (sin (* (* (* 1/180 z0) PI) 2)) (* z2 z1)), 8
 (* (/ z0 z1) (/ z0 (+ z1 (* (/ z0 z1) z0)))), 8
 (* z0 (cos (* (/ PI z2) z1))), 8
 (* (* (- (cos (+ z1 z1)) 1) 1/2) z0), 8
 (- (* z0 50813/6250) 1/5), 8
 (/ (* 3 (- 1 (pow (cos z1) 2))) (pow (sqrt (- 1 (* z0 z0))) 6)), 8
 (- (* (cos (* (* (* 1/180 PI) z0) 2)) 1/2) -1/2), 8
 (* (/ (* 3 (- 1 (pow (cos z2) 2))) (pow (sqrt (- 1 (* z0 z0))) 6)) (+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (* z0 z0) (pow (cos z1) 3)))), 8
 (* (/ z0 z1) PI), 8
 (* -4/5 z0), 8
 (* (- (/ 1 (tanh (* (* z1 z0) z2))) (pow (tanh (* (* z1 z0) z2)) -3)) (* z0 z2)), 8
 (* (- (cos (+ z0 z0)) 1) 1/2), 8
 (* (- 1/2 (* (cos (* (* PI z0) 1/90)) 1/2)) (* z1 z1)), 8
 (/ z2 (* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1))), 8
 (* (log z1) z0), 8
 (+ 309/40 (* z0 50813/6250)), 8
 (* (- 1/2 (* (cos (* (* PI z1) 1/90)) 1/2)) (* z0 z0)), 8
 (* (* (* (- (/ 1 (tanh (* (* z1 z0) z2))) (pow (tanh (* (* z1 z0) z2)) -3)) (* z0 z2)) z0) (* z0 z2)), 8
 (+ (* z0 182927/100000) (* z1 50813/12500)), 8
 (/ 1 (tanh (* (* z1 z0) z2))), 8
 (/ 883075145810703/5000000000000 (- (- 1 z0) -3)), 8
 (pow (tanh (* (* z1 z0) z2)) -2), 8
 (+ 1989/800 (* z0 105691/20000)), 8
 (/ z0 (+ z1 (* (/ z0 z1) z0))), 8
 (* (- (* (cos (* (* PI z0) 1/90)) 1/2) -1/2) (* z1 z1)), 8
 (- (* z0 50813/62500) 7/50), 8
 (/ z0 (* (- z1 -1) z1)), 8
 (sin (* (* (* 1/180 z0) PI) 2)), 8
 (+ (* (cos (- (* -3 z1) (+ z2 z2))) z0) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (+ (+ z1 z1) (+ z2 z2)))))), 8
 (+ z1 (sqrt (- (* z1 z1) (* (* z2 z0) 4)))), 8
 (* z1 (sin z0)), 8
 (pow (tanh (* (* z1 z0) z2)) -3), 8
 (/ 1 (+ (sqrt z0) (sqrt (- z0 -1)))), 8
 (* (pow (cos z0) 4) 40), 8
 (* (* (* z0 z0) z2) z1), 8
 (* (* z1 27) z0), 8
 (- (* (/ z0 (* z1 z1)) z0) -1), 8
 (* 1/2 (cos (* (* 1/90 z0) PI))), 8
 (+ 13/2 (* z0 50813/6250)), 8
 (pow (+ 309/40 (* z0 50813/6250)) 2), 8
 (+ (+ (+ (* z0 (sqrt (- 1 (* z0 z0)))) (/ z0 (+ 1 (sqrt (- 1 (* z0 z0)))))) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (* z0 z0) (pow (cos z1) 3))), 8
 (- (sin (- (* 1/4 PI) (* z0 1/2)))), 8
 (- 1 (pow (tanh (* (* z1 z0) z2)) -2)), 8
 (pow (* (- 1 z1) (- 1 z1)) (- z0 1)), 8
 (+ (+ (* z0 (sqrt (- 1 (* z0 z0)))) (/ z0 (+ 1 (sqrt (- 1 (* z0 z0)))))) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))), 8
 (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3), 8
 (+ 77/20 (* z0 50813/6250)), 8
 (+ 23/20 (* z0 50813/6250)), 8
 (- z0 (* (* z1 z0) z2)), 8
 (+ (* (- 1/2 (* (cos (* (* PI z1) 1/90)) 1/2)) (* z2 z2)) (* (- (* (cos (* (* PI z1) 1/90)) 1/2) -1/2) (* z0 z0))), 8
 (- (* (- (* (pow (cos z1) 3) z0) -1) z0) (* -3 (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)))), 8
 (+ (* (* -4/5 z1) (exp (* -1/50000 z0))) z1), 8
 (pow (* z0 z1) 4), 8
 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (+ (+ z1 z1) (+ z2 z2)))), 8
 (- (* (/ z0 (* z1 z1)) z0) -2), 8
 (- (* z0 50813/6250) 23/5), 8
 (cos (* (* 1/90 z0) PI)), 8
 (- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) 1/2), 8
 (+ 33/20 (* z0 50813/6250)), 8
 (sqrt (- (* z1 z1) z0)), 8
 (* -3 (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1))), 8
 (* z0 (* z1 31831/400000)), 8
 (pow z1 (- z0 3)), 8
 (* (* z1 z1) (- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2)), 8
 (+ (* (- (* (pow (cos z1) 3) z0) -1) z0) (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3)), 8
 (* (* (- (/ 1 (tanh (* (* z1 z0) z2))) (pow (tanh (* (* z1 z0) z2)) -3)) (* z0 z2)) z0), 8
 (sin (* (* 1/180 z0) PI)), 8
 (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)), 8
 (* z2 (* (* (* (- (/ 1 (tanh (* (* z1 z0) z2))) (pow (tanh (* (* z1 z0) z2)) -3)) (* z0 z2)) z0) (* z0 z2))), 8
 (+ (* (- (* (cos (* (* PI z1) 1/90)) 1/2) -1/2) (* z2 z2)) (* (- 1/2 (* (cos (* (* PI z1) 1/90)) 1/2)) (* z0 z0))), 8
 (* (- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2) (* z1 z1)), 8
 (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (+ (+ z1 z1) (+ z2 z2))))), 8
 (* (* z1 3) z0), 8
 (sin (* (/ PI z1) z0)), 8
 (- (/ 1 (tanh (* (* z1 z0) z2))) (pow (tanh (* (* z1 z0) z2)) -3)), 8
 (- (* z0 50813/6250) 39/20), 8
 (pow (tanh (* (* z1 z2) z0)) -2), 8
 (* (+ (* z1 z1) (* z0 z0)) (+ (* z1 z1) (* z0 z0))), 8
 (* (cos (/ (* z1 PI) z2)) z0), 8
 (pow (+ 97/20 (* z0 50813/6250)) 2), 8
 (* (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)) z1), 8
 (- 7/50 (* z0 50813/62500)), 8
 (- (/ -2 (- z0 -1)) -2), 8
 (* (pow (* (- 1 z2) (- 1 z2)) (/ (- 1/2 z1) z1)) z0), 7
 (* (* (- (+ (+ (+ (+ (+ (- (+ (* (* 90 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* 3 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (+ (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (- (+ (* (* -115 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -18 (sqrt E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* 340 (sqrt E)))))) (* 10 (* E E))) (+ (* (* 3 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 20 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -390 E) (* (* (exp 3/2) -116) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* -530 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 60 (exp 3/2)))) (+ (* (* (exp 5/2) -18) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -15 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (pow (log (- 1 (/ 1 (sqrt E)))) 2) (* 10 (log (- 1 (/ 1 (sqrt E))))))) -60) (sqrt E)) (* (- 1/2 z0) (- 1/2 z0))), 7
 (* z0 (sin (* 4 z1))), 7
 (log (fabs (tan (- (* z0 1/2) (* -1/4 PI))))), 7
 (* z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))), 7
 (* -1/6 (- -1 z0)), 7
 (pow (* z0 (sin z1)) 2), 7
 (- (* z0 50813/6250) 13/10), 7
 (* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0)))), 7
 (+ 23/4 (* z0 50813/6250)), 7
 (* z0 (pow (/ 1 z1) 2)), 7
 (pow (- 1 z1) z0), 7
 (/ (- z0 -7071/5000) z0), 7
 (* (- (+ (+ (+ (+ (- (+ (* (* 30 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (- (+ (* (* 15 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 156 (sqrt E))) (+ (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* -16 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2))))) (* 6 (* E E))) (+ (* (* -9 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -70 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -126 E) (* (* -16 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* -180 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 24 (exp 3/2)))) (+ (* (* -9 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -7 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))))) 12) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))), 7
 (* (/ (- (sin (* (+ (+ z1 z1) PI) 1/4))) (sin (- (* z1 1/2) (* 1/4 PI)))) z0), 7
 (cbrt (/ (+ (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0))), 7
 (* z0 (pow (* (- z2 1) (- z2 1)) z1)), 7
 (/ (+ (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0)), 7
 (* (- -1 (* z2 z1)) (* (+ z0 z0) PI)), 7
 (- 21/40 (* z0 50813/6250)), 7
 (- (+ 63/100 (* z0 50813/62500))), 7
 (* (- 1 (pow (* z0 (sin z1)) 2)) (* (cos z1) z2)), 7
 (- (* z0 50813/6250) 79/20), 7
 (* (* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) z1) z1), 7
 (cos (* (* z0 PI) 1/90)), 7
 (- 1 (pow (* z0 (sin z1)) 2)), 7
 (- (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))) z2), 7
 (fabs (sin (* (+ (+ z0 z0) PI) 1/4))), 7
 (+ (* z0 (pow (/ 1 z2) 2)) z1), 7
 (fmax (- 3/10 (* z0 50813/6250)) (- (* z0 50813/6250) 17/20)), 7
 (* (+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0))) 1/2), 7
 (+ 119/20 (* z0 50813/6250)), 7
 (* z2 (* (/ z1 z0) (/ z1 z0))), 7
 (/ (- (- (* (* 3 z0) z0) (* 2 z1)) z0) (+ (* z0 z0) 1)), 7
 (* 10000/2928563 (- z0 2634/5)), 7
 (/ (* (* (- (+ (+ (+ (+ (+ (- (+ (* (* 90 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* 3 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (+ (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (- (+ (* (* -115 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -18 (sqrt E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* 340 (sqrt E)))))) (* 10 (* E E))) (+ (* (* 3 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 20 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -390 E) (* (* (exp 3/2) -116) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* -530 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 60 (exp 3/2)))) (+ (* (* (exp 5/2) -18) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -15 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (pow (log (- 1 (/ 1 (sqrt E)))) 2) (* 10 (log (- 1 (/ 1 (sqrt E))))))) -60) (sqrt E)) (* (- 1/2 z0) (- 1/2 z0))) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (* (- (sqrt E) 1) (- (sqrt E) 1)) 30))), 7
 (sqrt (- (* z1 z1) (* (* z0 4) z2))), 7
 (+ 1/2 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1)))))), 7
 (fmax (- (+ 41/10 (* z0 50813/6250))) (+ 71/20 (* z0 50813/6250))), 7
 (/ (- (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0)), 7
 (* 3 (/ (- (- (* (* 3 z0) z0) (* 2 z1)) z0) (+ (* z0 z0) 1))), 7
 (fabs (log (- 1 z0))), 7
 (* (* z0 PI) 1/90), 7
 (* 1/2 (cos (* (* z0 PI) 1/90))), 7
 (- (* (* (- (cos (+ z1 z1)) 1) 1/2) z0) -1), 7
 (* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) z1), 7
 (- (cbrt (/ (- (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0))) (cbrt (/ (+ (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0)))), 7
 (* (* (* z1 z1) 1/2) (- (cos (* (* 1/90 PI) z0)) -1)), 7
 (- (* (fabs z0) 3275911/10000000) -1), 7
 (* 2 (/ (* z1 z1) z0)), 7
 (+ (+ 1 (* (/ z0 z1) (/ z0 z1))) 1), 7
 (+ (* (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) z0) z0) (* (* (* z2 z2) 1/2) (- (cos (* (* 1/90 PI) z1)) -1))), 7
 (tan (- (/ PI 4) (* 1/2 z0))), 7
 (* z2 (/ z0 z1)), 7
 (cbrt (/ (- (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1) (+ z0 z0))), 7
 (+ 39/8 (* z0 50813/6250)), 7
 (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) z0), 7
 (/ z1 (* -3 z0)), 7
 (- z2 (* 2 (/ (* z1 z1) z0))), 7
 (- (* z0 50813/6250) 57/20), 7
 (* (+ (* z0 (pow (/ 1 z2) 2)) z1) (pow (/ 1 z2) 2)), 7
 (* (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) z0) z0), 7
 (tan (+ PI z0)), 7
 (* 1 (log (fabs (tan (- (* z0 1/2) (* -1/4 PI)))))), 7
 (log (tan (- (/ PI 4) (* 1/2 z0)))), 7
 (* z0 149230739/1250000000000000), 7
 (+ (cos (+ z1 z0)) (cos (- z1 z0))), 7
 (cos (+ (- (* z0 1/2) (* -1/4 PI)) (* PI 1/2))), 7
 (sin (/ (* PI z0) z1)), 7
 (* (* (floor z1) (floor z1)) (* z0 z0)), 7
 (* PI (* 1/180 z0)), 7
 (log (fabs (sin (* (+ (+ z0 z0) PI) 1/4)))), 7
 (* z0 (sin (* 2 z1))), 7
 (sin (/ (* z0 PI) z1)), 7
 (* (* z0 z0) (* (- (* z1 z1) 1) (- (* z1 z1) 1))), 7
 (* 2 (* PI (* 1/180 z0))), 7
 (- (* z0 50813/6250) 123/20), 7
 (/ z0 (* z2 z1)), 7
 (+ (* z0 (+ (* (pow (cos z1) 3) z0) (sqrt (- 1 (* z0 z0))))) (+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))), 7
 (/ -2496092394504893/250000000000000000000 (- (- 1 z0) -6)), 7
 (* (tanh (* z1 (* z0 z2))) (tanh (* z1 (* z0 z2)))), 7
 (pow (tan (+ (* 1/2 z1) (/ PI 4))) z0), 7
 (log (tan (* (+ (+ z0 z0) PI) 1/4))), 7
 (* z0 (+ PI PI)), 7
 (- (- (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))) z2) z0), 7
 (- 1 (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))), 7
 (* z1 (tan z0)), 7
 (* (* z1 (tan z0)) (- (* (/ z0 (* z1 z1)) z0) -2)), 7
 (sqrt (fabs (log (- 1 z0)))), 7
 (* (/ z0 (+ (* z0 z0) (* z1 z1))) z0), 7
 (* (* 1/2 z2) (* z0 z1)), 7
 (- (* 3 (* z1 z1)) (* z0 z0)), 7
 (* 8 (* (* (* (- z0) z1) z1) z0)), 7
 (/ -80 (- (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)) 1)), 6
 (- (+ 19/100 (* z0 50813/62500))), 6
 (- (+ 23/40 (* z0 50813/62500))), 6
 (* (* z0 z0) (* (* 8 (- 1 (* z1 z1))) (- 1 (* z1 z1)))), 6
 (* -1/2 (/ (* (sqrt 2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))) (sin (- (* z0 1/2) (* 1/4 PI))))), 6
 (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)), 6
 (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))), 6
 (* (/ z1 z2) (/ z0 (* (- z2 -1) z2))), 6
 (* (/ z2 (* (- (* z1 z1) 1) z0)) 1/16), 6
 (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)), 6
 (tan (* (- PI (+ z0 z0)) -1/4)), 6
 (* (sin (* z0 30)) (cos (* z1 30))), 6
 (* (* (- (- (* (/ -80 (- (* 5 (- (* (cos (+ z1 z1)) 1/2) -1/2)) 1)) (- (* (cos (+ z1 z1)) 1/2) -1/2)) -11) (* (pow (- 1 (* 5 (- (* (cos (+ z1 z1)) 1/2) -1/2))) -2) (* -200 (pow (cos z1) 4)))) (* (* (cos z1) z0) z0)) (sin (+ z2 z2))), 6
 (* (sqrt (fabs (- 2 (+ z0 z0)))) (sqrt (fabs (- 2 (+ z0 z0))))), 6
 (* 304747143/100000000000000000000 (* z1 z0)), 6
 (fabs (- (* (* z2 z0) 4) (* z1 z1))), 6
 (- 1 (exp (* z0 z1))), 6
 (* -1/2 (cos (- z1 z0))), 6
 (- (* z0 50813/6250) 121/20), 6
 (* 1/2 (+ (* (cos z1) (cos z0)) (* (sin z0) (sin z1)))), 6
 (- (* (/ z1 (* z0 z0)) z1) -1), 6
 (* (sqrt (fabs (* -2 (- z0 1)))) (sqrt (fabs (* -2 (- z0 1))))), 6
 (- (* z0 50813/6250) 12/5), 6
 (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z0) z1), 6
 (/ (sqrt (fabs (+ z1 z0))) (/ 1 (sqrt (fabs (- z1 z0))))), 6
 (* (/ -80 (- (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)) 1)) (- (* (cos (+ z0 z0)) 1/2) -1/2)), 6
 (+ 2 (* z0 50813/6250)), 6
 (+ 67/40 (* z0 50813/6250)), 6
 (pow (* (/ 1 z1) (+ z1 z0)) z1), 6
 (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0)), 6
 (/ (sin z0) z0), 6
 (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) 1/2) (* z0 z0)), 6
 (/ (/ z0 z1) z1), 6
 (/ 1 (sin z0)), 6
 (* -881662847/200000000000000000000000000 z0), 6
 (* (- 1 (pow (tanh (* (* z1 z0) z2)) -2)) z0), 6
 (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))), 6
 (+ 2/25 (* z0 50813/62500)), 6
 (- (* z0 50813/6250) 5/8), 6
 (* (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)) (* z1 z1)), 6
 (sin (* (+ (* z0 2) PI) -1/4)), 6
 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))), 6
 (cos (* 2 (+ z0 z1))), 6
 (* 4 (/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1))), 6
 (* z0 341463/100000), 6
 (sqrt (log (/ 2 (* (sqrt (fabs (* -2 (- z0 1)))) (sqrt (fabs (* -2 (- z0 1)))))))), 6
 (- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))))), 6
 (* (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)), 6
 (log (/ 2 (* (sqrt (fabs (* -2 (- z0 1)))) (sqrt (fabs (* -2 (- z0 1))))))), 6
 (* (* 400 (* z0 z0)) (pow (cos z1) 6)), 6
 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z0 z0))), 6
 (* z0 (cos (+ z1 z1))), 6
 (- (* (/ -80 (- (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)) 1)) (- (* (cos (+ z0 z0)) 1/2) -1/2)) -11), 6
 (* (* z0 z2) (* (- 1 (pow (tanh (* (* z1 z0) z2)) -2)) z0)), 6
 (pow (- (* z0 50813/6250) 11/20) 2), 6
 (- (log (/ (fabs (sin (- (* z0 1/2) (* 1/4 PI)))) (fabs (sin (- (* -1/4 PI) (* z0 1/2))))))), 6
 (+ 107/40 (* z0 50813/6250)), 6
 (fabs (sin (- (* z0 1/2) (* -1/4 PI)))), 6
 (* z0 271003/100000), 6
 (* 400 (* z0 z0)), 6
 (* -4668270147/10000000000000000 z0), 6
 (/ (- (- z1 z0) (- (* -3 (* z0 z0)) z1)) (- (* z0 z0) -1)), 6
 (- (sinh z0) (- 1 (cosh z0))), 6
 (+ 111/40 (* z0 50813/6250)), 6
 (cos (* (- (+ z0 z0) PI) -1/2)), 6
 (/ 2 (* z0 z0)), 6
 (/ z1 (* (sin z0) z2)), 6
 (pow (* -1/2 (/ (* (sqrt 2) (+ (sin (* z1 1/2)) (cos (* -1/2 z1)))) (sin (- (* z1 1/2) (* 1/4 PI))))) z0), 6
 (log (/ 2 (* (sqrt (fabs (- 2 (+ z0 z0)))) (sqrt (fabs (- 2 (+ z0 z0))))))), 6
 (* (/ (- z1 z0) z2) (/ (- z1 z0) z2)), 6
 (* (/ z2 z1) z0), 6
 (log (* (sqrt (fabs (- 2 (+ z0 z0)))) (sqrt (fabs (- 2 (+ z0 z0)))))), 6
 (* (+ (+ z1 z0) z2) (/ z2 (+ (+ (+ z1 z0) z2) z2))), 6
 (+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) (pow (sin z1) 2)), 6
 (- (cos (* (+ (+ z0 z0) PI) 1/4))), 6
 (+ (* (+ (+ z1 z0) z2) z2) (* z1 z0)), 6
 (cbrt (* (- -1 z0) (- -1 z0))), 6
 (/ (* z0 z0) (* z1 z1)), 6
 (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))), 6
 (* (- (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)) 31938153/100000000) (exp (* (* z0 z0) -1/2))), 6
 (* (- 2 (+ z2 (* z0 z1))) (* (- (+ z2 (* z0 z1)) 1) (+ z2 (* z0 z1)))), 6
 (- (cos (* z0 (/ (+ PI PI) z1))) -1), 6
 (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)), 6
 (- (- (cos (* -1/2 z0))) (sin (* z0 1/2))), 6
 (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000), 6
 (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000), 6
 (log (fabs (sin (- (* z0 1/2) (* 1/4 PI))))), 6
 (/ (fabs (sin (- (* z0 1/2) (* 1/4 PI)))) (fabs (sin (- (* -1/4 PI) (* z0 1/2))))), 6
 (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -1), 6
 (* 1/2 (cos (* 2 (* PI (* 1/180 z0))))), 6
 (- (* (/ (- z1 z0) z2) (/ (- z1 z0) z2)) -1), 6
 (* (+ z0 z1) 50813/12500), 6
 (fabs (+ (+ (* z2 z2) z1) (/ z0 (* z2 z2)))), 6
 (* (/ (sqrt 2) 2) (cos (* -1/2 z0))), 6
 (+ 2561/800 (* z0 105691/20000)), 6
 (* (* 1/2 (* z0 z0)) (- (cos (* z1 (/ (+ PI PI) z2))) -1)), 6
 (pow (+ 11/4 (* z0 50813/6250)) 2), 6
 (* 1/8 (/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))))), 6
 (- (* z0 149230739/1250000000000000) -2946529277/100000000000), 6
 (- (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)) 31938153/100000000), 6
 (* (+ z0 15234687407/1000000000) z0), 6
 (cos (- z0 z1)), 6
 (- (sqrt (* (+ z1 z0) (- z0 z1))) z0), 6
 (* z1 (cos (* (/ z0 180) PI))), 6
 (log (sqrt (+ (* z0 z0) (* z1 z1)))), 6
 (* -802853/1000000 (sqrt (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) -2))), 6
 (pow (+ 253/40 (* z0 50813/6250)) 2), 6
 (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))), 6
 (* (* z0 (floor z1)) (* z0 (floor z1))), 6
 (- (pow (* (/ 1 z1) (+ z1 z0)) z1) 1), 6
 (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)), 6
 (+ (* (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2)) (* z2 z2)) (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0))), 6
 (pow (+ 19/10 (* z0 50813/6250)) 2), 6
 (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))), 6
 (- (* z0 50813/6250) 7/4), 6
 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0), 6
 (* z0 260163/100000), 6
 (/ z2 (tanh (* (* z1 z0) z2))), 6
 (/ (* (pow (cos z0) 4) 40) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))), 6
 (+ 51/20 (* z0 50813/6250)), 6
 (- (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)) (/ (* (pow (cos z0) 4) 40) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)))), 6
 (cos (* (* 1/180 z0) PI)), 6
 (fabs (tan (* (- PI (+ z0 z0)) -1/4))), 6
 (* z1 (* (* z0 z2) z1)), 6
 (* (pow (- 1 (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))) -2) (* -200 (pow (cos z0) 4))), 6
 (* (+ (cos (* (- (+ z0 z0) PI) -1/2)) 1) 1/2), 6
 (* z0 (log (fabs (tan (* (- PI (+ z1 z1)) -1/4))))), 6
 (- (* z1 z1) (* 6 (* z0 z0))), 6
 (* (/ 1 z1) (+ z1 z0)), 6
 (pow (- 1 (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))) -2), 6
 (* (* (sqrt 2) 1/2) (- (- (cos (* -1/2 z0))) (sin (* z0 1/2)))), 6
 (+ 1/2 (* 1/2 (cos (* (* z0 PI) 1/90)))), 6
 (* (* z0 z1) PI), 6
 (sin (+ (- (* z0 1/2) (* -1/4 PI)) (* PI 1/2))), 6
 (+ (+ 2 (* z0 z0)) (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)))), 6
 (* (* 31831/400000 z1) z0), 6
 (pow (+ 63/10 (* z0 50813/6250)) 2), 6
 (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2))), 6
 (cos (* z1 z0)), 6
 (- 1 (cosh z0)), 6
 (sqrt (log (/ 2 (* (sqrt (fabs (- 2 (+ z0 z0)))) (sqrt (fabs (- 2 (+ z0 z0)))))))), 6
 (pow (* z1 (cos (* (/ z0 180) PI))) 2), 6
 (log (/ (fabs (sin (- (* z0 1/2) (* 1/4 PI)))) (fabs (sin (- (* -1/4 PI) (* z0 1/2)))))), 6
 (fmax (- (+ 19/10 (* z0 50813/6250))) (+ 27/20 (* z0 50813/6250))), 6
 (log (* (sqrt (fabs (* -2 (- z0 1)))) (sqrt (fabs (* -2 (- z0 1)))))), 6
 (sin (- z0 z1)), 6
 (log (fabs (+ (+ (* z2 z2) z1) (/ z0 (* z2 z2))))), 6
 (* (- (- (* (/ -80 (- (* 5 (- (* (cos (+ z1 z1)) 1/2) -1/2)) 1)) (- (* (cos (+ z1 z1)) 1/2) -1/2)) -11) (* (pow (- 1 (* 5 (- (* (cos (+ z1 z1)) 1/2) -1/2))) -2) (* -200 (pow (cos z1) 4)))) (* (* (cos z1) z0) z0)), 6
 (/ (* (sqrt 2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))) (sin (- (* z0 1/2) (* 1/4 PI)))), 6
 (log (fabs (tan (* (- PI (+ z0 z0)) -1/4)))), 6
 (+ (/ (* (* (- (+ (+ (+ (+ (+ (- (+ (* (* 90 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* 3 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (+ (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (- (+ (* (* -115 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -18 (sqrt E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* 340 (sqrt E)))))) (* 10 (* E E))) (+ (* (* 3 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 20 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -390 E) (* (* (exp 3/2) -116) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* -530 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 60 (exp 3/2)))) (+ (* (* (exp 5/2) -18) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -15 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (pow (log (- 1 (/ 1 (sqrt E)))) 2) (* 10 (log (- 1 (/ 1 (sqrt E))))))) -60) (sqrt E)) (* (- 1/2 z0) (- 1/2 z0))) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (* (- (sqrt E) 1) (- (sqrt E) 1)) 30))) (* (- (+ (+ (+ (+ (- (+ (* (* 30 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (- (+ (* (* 15 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 156 (sqrt E))) (+ (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* -16 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2))))) (* 6 (* E E))) (+ (* (* -9 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -70 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -126 E) (* (* -16 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* -180 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 24 (exp 3/2)))) (+ (* (* -9 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -7 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))))) 12) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))))), 6
 (+ (cos (* (- (+ z0 z0) PI) -1/2)) 1), 6
 (* (sqrt 2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))), 6
 (+ (* (cos z1) (cos z0)) (* (sin z0) (sin z1))), 6
 (* z1 (* z0 z0)), 6
 (sqrt (fabs (- (* (* z2 z0) 4) (* z1 z1)))), 6
 (* (+ (* (+ (* (+ z0 15234687407/1000000000) z0) 314690115749/10000000000) z0) 119400905721/10000000000) z0), 6
 (cos (* 2 (* PI (* 1/180 z0)))), 6
 (- (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)) 1), 6
 (pow (+ 4/5 (* z0 50813/6250)) 2), 6
 (* (* 10 z0) z0), 6
 (/ (+ z1 (sqrt (- (* z1 z1) (* (* z2 z0) 4)))) (* -2 z0)), 6
 (+ (+ (* z2 z2) z1) (/ z0 (* z2 z2))), 6
 (- (- (* (/ -80 (- (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)) 1)) (- (* (cos (+ z0 z0)) 1/2) -1/2)) -11) (* (pow (- 1 (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))) -2) (* -200 (pow (cos z0) 4)))), 6
 (* (* (- z1 z0) (+ z1 z0)) 4616990181/500000000000000000000), 6
 (* 2690995334841/1562500000000 (/ (* (- (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)) 31938153/100000000) (exp (* (* z0 z0) -1/2))) (- -269813/62500 (fabs z0)))), 6
 (+ (* (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2)) (* z0 z0)) (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z2 z2))), 6
 (- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -1) (* 11/2 (- (cos (+ z0 z0)) -1))), 6
 (cos (* (/ z0 z1) PI)), 6
 (* 1/2 (/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))))), 6
 (+ (* (sin (* 4 z2)) z1) (* (sin (+ z2 z2)) z0)), 6
 (+ (pow (* z0 (sin (* (/ z1 180) PI))) 2) (pow (* z2 (cos (* (/ z1 180) PI))) 2)), 6
 (tan (+ (* 13/4 PI) (* z0 1/2))), 6
 (tan (* (+ (+ z0 z0) PI) -1/4)), 6
 (* 212097503/125000000000000000000000000 z0), 6
 (log (- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))))), 6
 (* (* (* z0 z0) z1) z2), 6
 (* (+ (* (+ z0 15234687407/1000000000) z0) 314690115749/10000000000) z0), 6
 (* (* 2 PI) z0), 6
 (cbrt (* -1/6 (- -1 z0))), 6
 (* (* (* z0 z0) 1/2) (- (cos (* (* 1/90 PI) z1)) -1)), 6
 (* (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2)) (* z0 z0)), 6
 (+ (* (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) z2) z2) (* (* (* z0 z0) 1/2) (- (cos (* (* 1/90 PI) z1)) -1))), 6
 (* (- (* (cos (* (* (* 1/180 PI) z1) 2)) 1/2) -1/2) (* z0 z0)), 6
 (* 31831/400000 z0), 6
 (/ (* (- (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)) 31938153/100000000) (exp (* (* z0 z0) -1/2))) (- -269813/62500 (fabs z0))), 6
 (fmax (- 5/2 (* z0 50813/6250)) (- (* z0 50813/6250) 61/20)), 5
 (- (* (+ z1 z1) (- (exp z0) 1)) -2), 5
 (- (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))), 5
 (+ 283/250 (* z0 50813/6250)), 5
 (/ -80 (- (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)) 1)), 5
 (* (- (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z2 z2)) (* (* -1/2 (* z0 z0)) (- (cos (* (* 1/90 PI) z1)) -1))) 4), 5
 (* -1/2 (+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0)))), 5
 (* (pow (* (- z2 1) (- z2 1)) (/ 1/2 z1)) z0), 5
 (sin (* (+ PI PI) z0)), 5
 (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1), 5
 (- (sqrt (- (* z1 z1) (* (* z0 4) z2))) z1), 5
 (- (* z0 z1) (* z2 z1)), 5
 (- (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2) -1), 5
 (- (pow (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2)) 3) (pow (sqrt (- 1 (* z0 z0))) -3)), 5
 (- (/ (- (- z1 z0) (- (* -3 (* z0 z0)) z1)) (- (* z0 z0) -1)) 3), 5
 (* (fabs (- (* (+ z1 z1) (- (exp z0) 1)) -2)) 1/8), 5
 (fmax (- 29/5 (* z0 50813/6250)) (- (* z0 50813/6250) 127/20)), 5
 (tan (* -1/4 (+ (+ z0 z0) PI))), 5
 (sin (+ z0 (* PI 1/2))), 5
 (sin (* PI z0)), 5
 (pow (* 1/16 (+ (* (* -4/5 z1) (exp (* -1/50000 z0))) z1)) 1/4), 5
 (log (- (* -4 z0) -1)), 5
 (* (/ -80 (- (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)) 1)) (* (+ (cos (+ z0 z0)) 1) 1/2)), 5
 (+ 129/20 (* z0 50813/6250)), 5
 (* 1/3 (* z0 z1)), 5
 (/ z0 (* z0 z0)), 5
 (/ (+ z0 z0) (- (* z0 z0) -1)), 5
 (sqrt (fabs (/ z0 z1))), 5
 (log (* (fabs (- (* (+ z1 z1) (- (exp z0) 1)) -2)) 1/8)), 5
 (* (* z1 (* z2 31831/400000)) (* z1 z0)), 5
 (* 2532017/5000000000 (* z0 z0)), 5
 (sin (* (* 1/180 PI) z0)), 5
 (+ 2457/1000 (* z0 50813/6250)), 5
 (+ (sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1))) z0), 5
 (* (* (pow (sqrt (- 1 (* z0 z0))) 3) (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))) (sin (* 2 z2))), 5
 (* (- (* -313060547623/100000000000 z0) 55833770631/5000000000) z0), 5
 (fabs (cos (* (+ (+ z0 z0) PI) 1/4))), 5
 (log (fabs (tan (* -1/4 (+ (+ z0 z0) PI))))), 5
 (* z2 (* (* (* (* (- 2 z0) z2) z1) z0) z1)), 5
 (* (sqrt (pow (sqrt (fabs (log (- 1 z0)))) 2)) (cos (* (+ PI PI) z1))), 5
 (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))), 5
 (+ 29/20 (* z0 50813/6250)), 5
 (/ (/ z0 z1) z2), 5
 (* (+ 1/2 (* 1/2 (cos (* (* z1 PI) 1/90)))) (* z0 z0)), 5
 (* (sin (* -1/3 (* z0 z2))) (sin z1)), 5
 (/ (+ z0 z1) (- 1 (/ z1 z2))), 5
 (/ (- (sqrt (- (* z1 z1) (* z2 (* z0 4)))) z1) (+ z0 z0)), 5
 (/ 1 (* z1 z0)), 5
 (+ 281/40 (* z0 50813/6250)), 5
 (fabs (* (+ z0 z0) PI)), 5
 (* 1/2 (* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0)))), 5
 (* (* (cos (* -2 (+ z2 z1))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) 3), 5
 (pow (+ 281/40 (* z0 50813/6250)) 2), 5
 (* (* (* (* z2 z2) z0) z0) (- (- 1 (* (pow (tanh (* z1 (* z0 z2))) -2) 4)) (* (pow (tanh (* z1 (* z0 z2))) -4) -3))), 5
 (pow (* (/ z0 z1) (/ z0 z2)) 1/2), 5
 (- (* (cos z0) 1/2) -1/2), 5
 (pow (/ (- (sin (* (+ (+ z1 z1) PI) 1/4))) (- (cos (* (+ (+ z1 z1) PI) 1/4)))) z0), 5
 (+ (sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1))) (+ z2 z0)), 5
 (* (* (- z0 -3) z1) z1), 5
 (pow z0 (+ -1 z1)), 5
 (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)), 5
 (* (/ (- z1 (/ z0 z1)) z2) 1/3), 5
 (* z1 (- 1 (* z0 z0))), 5
 (- 153/40 (* z0 50813/6250)), 5
 (- (* (- (* -313060547623/100000000000 z1) 55833770631/5000000000) z1) z0), 5
 (* (* (* z0 z0) z0) 70002721/5000000000), 5
 (cbrt (+ z0 z0)), 5
 (tan (- (* -1/4 PI) (* z0 1/2))), 5
 (+ 143/40 (* z0 50813/6250)), 5
 (* (/ (sqrt 2) 2) (sin (* z0 1/2))), 5
 (- 1/2 (* (cos (+ z0 z0)) -1/2)), 5
 (* (* z0 (cos (+ z2 z2))) (- (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -1) (* 11/2 (- (cos (+ z1 z1)) -1)))), 5
 (* z1 (cos z0)), 5
 (* (+ (+ (+ 2 (* z0 z0)) (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)))) (- (- (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))) (sin (* 2 z2))), 5
 (- 109/40 (* z0 50813/6250)), 5
 (/ (- z1 (/ z0 z1)) z2), 5
 (* (pow (sqrt (- 1 (* z0 z0))) 3) (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))), 5
 (* z2 (/ z2 (* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1)))), 5
 (* 1/8 (* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0)))), 5
 (* z0 (- 1 (* z1 z1))), 5
 (* z2 (* (* 1/2 z0) z1)), 5
 (/ z0 (* -3 z1)), 5
 (sqrt (/ (/ z0 z1) z2)), 5
 (+ (* (+ (* z0 (pow (/ 1 z2) 2)) z1) (pow (/ 1 z2) 2)) 1), 5
 (/ (* z0 z1) z2), 5
 (/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) (- (cos (* (+ (+ z0 z0) PI) 1/4)))), 5
 (* 1/2 (pow (/ (* z1 z0) (* 2 z2)) 2)), 5
 (- (* (/ -80 (- (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)) 1)) (* (+ (cos (+ z0 z0)) 1) 1/2)) -11), 5
 (* (pow (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2)) 3) (cos (+ (* 2 z2) (* 2 z1)))), 5
 (log (tan (- (* 5/4 PI) (* -1/2 z0)))), 5
 (+ (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))) z0), 5
 (+ (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))) (+ z2 z0)), 5
 (- (* (* (- z0 1) z0) z0) (* (* (- z0 -3) z1) z1)), 5
 (* (+ z1 z1) (- (exp z0) 1)), 5
 (+ (+ (sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1))) z0) z2), 5
 (* (sqrt (fabs (+ z0 z0))) (sqrt (fabs z0))), 5
 (/ (* (* (* z0 z2) z2) (* (* z0 z2) (* (- 1 (pow (tanh (* (* z1 z0) z2)) -2)) z0))) (tanh (* z1 (* z0 z2)))), 5
 (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2))) -2)), 5
 (fmax (- (+ 19/10 (* z0 50813/6250))) (+ 9/10 (* z0 50813/6250))), 5
 (* 3 (- 1/2 (* 1/2 (cos (+ z0 z0))))), 5
 (+ (+ (+ 2 (* z0 z0)) (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)))) (- (- (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))), 5
 (sqrt (- (* (* (- (cos (+ z1 z1)) 1) 1/2) z0) -1)), 5
 (+ 147/40 (* z0 50813/6250)), 5
 (+ 1/2 (* 1/2 (cos (* 2 (+ (* PI 1/2) z0))))), 5
 (fabs (- (* (+ z1 z1) (- (exp z0) 1)) -2)), 5
 (* (log 1/4) z0), 5
 (- (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2) 1/2), 5
 (* z2 (* (cos z1) (sin z0))), 5
 (* 1/2 (* z0 PI)), 5
 (* (- (- (- z0 (* (* 3 z0) z0)) z1) z1) (* (* 3 z0) z0)), 5
 (* (* (* (* (- 2 z0) z2) z1) z0) z1), 5
 (+ (* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0)))) (cbrt (* (- -1 z0) (- -1 z0)))), 5
 (sqrt (* (* z0 z0) (* z0 z0))), 5
 (* (pow (cos z1) 4) z0), 5
 (* (- z0 -6012459259764103/1000000000000000) z0), 5
 (cos (* -2 (+ z1 z0))), 5
 (pow (sqrt (fabs (log (- 1 z0)))) 2), 5
 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1), 5
 (- (* (/ (- -1 z2) (- 1 z2)) (+ (* (+ z1 z1) z1) (* z0 z0))) (* z0 z0)), 5
 (- (* (* -1/2 (* z2 z2)) (- (cos (* (* 1/90 PI) z1)) -1)) (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z0 z0))), 5
 (- (pow E z0) 1), 5
 (* z1 (/ z1 (* z0 z0))), 5
 (* (- (sin (* (+ (+ z1 z1) PI) 1/4))) z0), 5
 (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))), 5
 (log (fabs (- (* (cos (* -1/4 PI)) (sin (* z0 1/2))) (* (sin (* 1/4 PI)) (cos (* -1/2 z0)))))), 5
 (- (* z0 z0) (* (+ 1 z1) (+ 1 z1))), 5
 (/ (sin z1) z0), 5
 (pow (sin z0) 3), 5
 (* z0 (log (tan (- (/ PI 4) (* 1/2 z1))))), 5
 (+ 69/10 (* z0 50813/6250)), 5
 (fmax (- (+ 26/5 (* z0 50813/6250))) (+ 93/20 (* z0 50813/6250))), 5
 (* (cos (* -2 (+ z2 z1))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)), 5
 (+ 2487/1000 (* z0 50813/6250)), 5
 (- 1 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2))), 5
 (- (+ 27/200 (* z0 50813/62500))), 5
 (* 1/16 (+ (* (* -4/5 z1) (exp (* -1/50000 z0))) z1)), 5
 (- z0 (sin z0)), 5
 (/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)), 5
 (* (* z1 z0) (* (* z1 z0) (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1))), 5
 (* (/ (pow z2 3) (* z1 z1)) (sin z0)), 5
 (log (- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))))), 5
 (* (* (cos (+ z2 z2)) z0) (- 1 (- (* 11/2 (- (cos (+ z1 z1)) -1)) (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))), 5
 (* (sin (* z0 z2)) z1), 5
 (/ (* (* z1 z1) z1) (* z0 z0)), 5
 (* (sin (- (* z0 1/2) (* -1/4 PI))) (* (sqrt 2) 1/2)), 5
 (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))), 5
 (* (* -2 z1) (* (* z2 z0) (* (* z2 z0) (* (* (sqrt (* (* z0 z0) (* z0 z0))) z2) z2)))), 5
 (- (+ 51/20 (* z0 50813/6250))), 5
 (+ 150001/1000000 (* z0 50813/6250)), 5
 (pow (- 1 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2))) -2), 5
 (* (* (* (* z2 z2) z0) z0) (* (* (* (* z2 z2) z0) z0) (- (- 1 (* (pow (tanh (* z1 (* z0 z2))) -2) 4)) (* (pow (tanh (* z1 (* z0 z2))) -4) -3)))), 5
 (asinh (/ z0 (* (tan z2) z1))), 5
 (- 1/2 (* 1/2 (cos (* (* 1/90 z0) PI)))), 5
 (- (+ 13/2 (* z0 50813/6250))), 5
 (pow z0 (- z1 3)), 5
 (- 1 (if (>= (fabs z0) 10) 0 (* 2690995334841/1562500000000 (/ (* (- (/ (+ (* (- (* (- (/ -358925334511777/62500000000000 (- -269813/62500 (fabs z0))) 1821255987/1000000000) (/ -269813/62500 (- (fabs z0) -269813/62500))) 1781477937/1000000000) (/ 72799054969/3906250000 (- (fabs z0) -269813/62500))) 48102771856383/31250000000000) (- (fabs z0) -269813/62500)) 31938153/100000000) (exp (* (* z0 z0) -1/2))) (- -269813/62500 (fabs z0)))))), 5
 (log (+ (* (+ (* z0 (pow (/ 1 z2) 2)) z1) (pow (/ 1 z2) 2)) 1)), 5
 (- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))))), 5
 (log (fabs (sin (- (* z0 1/2) (* -1/4 PI))))), 5
 (* (pow (pow (tan (* (+ (+ z2 z2) PI) 1/4)) 1) z0) z1), 5
 (- z0 (tan (+ PI z0))), 5
 (* (* (* z0 z2) z2) (* (* z0 z2) (* (- 1 (pow (tanh (* (* z1 z0) z2)) -2)) z0))), 5
 (- (- (* (/ -80 (- (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)) 1)) (* (+ (cos (+ z0 z0)) 1) 1/2)) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2))) -2))), 5
 (- (- (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))), 5
 (* (* z1 z0) (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1)), 5
 (* (sqrt 2) (fabs z0)), 5
 (* (/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1)) (+ z0 z0)), 5
 (+ 59/20 (* z0 50813/6250)), 5
 (sin (* -1/3 (* z0 z1))), 5
 (fabs (tan (* -1/4 (+ (+ z0 z0) PI)))), 5
 (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/4 PI) (* z0 1/2)))), 5
 (- (* -4/5 (exp (* -1/50000 z0))) -1), 5
 (- (log (- (/ (* (cos (* -1/2 z2)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z2))) (* (sin (* 1/4 PI)) (sin (* z2 1/2))))) (/ (* (sin (* -1/2 z2)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z2))) (* (sin (* 1/4 PI)) (sin (* z2 1/2))))))) (* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2))))))), 5
 (/ 1 (/ z0 z1)), 5
 (* (- (* 3 (pow (cos z2) 2)) 1) (- (pow (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2)) 3) (pow (sqrt (- 1 (* z0 z0))) -3))), 5
 (- (* (log (* (fabs (- (* (+ z2 z2) (- (exp z1) 1)) -2)) 1/8)) z0) (* (log 1/4) z0)), 5
 (* (sqrt (* (* z0 z0) (* z0 z0))) z1), 5
 (* (* (* (cos z1) z0) z0) (- (- (* (/ -80 (- (* 5 (* (+ (cos (+ z1 z1)) 1) 1/2)) 1)) (* (+ (cos (+ z1 z1)) 1) 1/2)) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5 (* (+ (cos (+ z1 z1)) 1) 1/2))) -2)))), 5
 (* (* (sqrt 2) 1/2) (sin (* -1/2 z0))), 5
 (* (sin (* z0 1/2)) (cos (* -1/4 PI))), 5
 (pow (sqrt (fabs (log (- 1 z0)))) -2), 5
 (* (cos (+ z1 z1)) z0), 5
 (cos (/ (* PI z0) z1)), 5
 (* z0 (* z1 z1)), 5
 (pow (* (- z1 1) (- z1 1)) (/ 1/2 z0)), 5
 (* (* (* (- 2 z0) z2) z1) z0), 5
 (* (- (* (- z0 -216700011257/5000000000) z0) -263505074721/1000000000) z0), 5
 (log (fabs (cos (* (+ (+ z0 z0) PI) 1/4)))), 5
 (* (sqrt 1/2) z0), 5
 (/ z2 (* (* z0 z0) (* (- (* z1 z1) 1) (- (* z1 z1) 1)))), 5
 (sin (* 1/2 (- z0 z1))), 5
 (* (tan z0) z0), 5
 (* (log (* (fabs (- (* (+ z2 z2) (- (exp z1) 1)) -2)) 1/8)) z0), 5
 (* (- z0 -216700011257/5000000000) z0), 5
 (* 4343/1000 (log (+ (* (+ (* z0 (pow (/ 1 z2) 2)) z1) (pow (/ 1 z2) 2)) 1))), 5
 (/ 1 (+ (* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0)))) (cbrt (* (- -1 z0) (- -1 z0))))), 5
 (* (* (* (/ (pow z2 3) (* z1 z1)) (sin z0)) (tan z0)) (+ (+ 1 (* (/ z0 z2) (/ z0 z2))) 1)), 5
 (- (/ (* z1 z1) (* z0 z0)) -1), 5
 (- (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)) 1), 5
 (* (cbrt (/ 1/2 z0)) (+ (- (cbrt (+ (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1))) (cbrt (- (* (sqrt (fabs (- z2 z1))) (sqrt (fabs (+ z2 z1)))) z1)))), 5
 (* z1 (pow (/ (- (sin (* (+ (+ z2 z2) PI) 1/4))) (- (cos (* (+ (+ z2 z2) PI) 1/4)))) z0)), 5
 (sqrt (pow (sqrt (fabs (log (- 1 z0)))) 2)), 5
 (* (sin (- (* z2 1/2) (* 1/4 PI))) (pow (* -1/2 (/ (* (sqrt 2) (+ (sin (* z1 1/2)) (cos (* -1/2 z1)))) (sin (- (* z1 1/2) (* 1/4 PI))))) z0)), 5
 (* (* (/ (pow z2 3) (* z1 z1)) (sin z0)) (tan z0)), 5
 (* (pow z1 (- z2 3)) z0), 4
 (+ 1047/400 (* z0 284553/100000)), 4
 (* (* z1 z2) (* z0 z2)), 4
 (pow (/ 1 (sin z0)) -2), 4
 (log (tan (+ (* z0 1/2) (+ (* 5/4 PI) PI)))), 4
 (/ (* (- (pow (* (/ 1 z1) (+ z1 z0)) z1) 1) z1) z0), 4
 (pow (+ 53/20 (* z0 50813/6250)) 2), 4
 (* (+ (cos (* (* 1/90 PI) z0)) 1) 1/2), 4
 (- (- z0) (* (- (sqrt 2)) (sqrt 1/2))), 4
 (- (cos (+ z1 z0))), 4
 (- (* z0 50813/6250) 3931/1000), 4
 (- (* z0 50813/6250) 9771/2000), 4
 (- (* z0 50813/6250) 3401/1000), 4
 (+ 277/125 (* z0 284553/100000)), 4
 (* (log (- z0 -1)) 1), 4
 (+ (* (sin z1) (- (sin (/ z2 z0)))) (* (sin (+ (* PI 1/2) (/ z2 z0))) (cos z1))), 4
 (- z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))), 4
 (- (tan (* (+ (+ z0 z0) PI) -1/4))), 4
 (- (/ (* (/ z0 z1) z0) z1) -2), 4
 (* (* z1 z1) (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2))), 4
 (+ (* (* z2 z2) (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2))) (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0))), 4
 (* (cos (* -1/2 z0)) (sin (* -1/4 PI))), 4
 (* (- (pow (* (/ 1 z1) (+ z1 z0)) z1) 1) z1), 4
 (cos (* (+ (+ z0 z0) PI) -1/4)), 4
 (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1), 4
 (sin (+ (/ z2 z0) z1)), 4
 (- (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) 1/2) (* z0 z0)) (* (* z2 z2) (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2))), 4
 (- (+ (pow (+ (* z0 z0) (* z1 z1)) 2) (* 4 (+ (* (* z0 z0) (- 1 z0)) (* (* z1 z1) (+ 3 z0))))) 1), 4
 (sqrt (/ z0 (* z1 z2))), 4
 (sqrt (- (log (- (- z0) (* (- (sqrt 2)) (sqrt 1/2)))))), 4
 (- (* z0 50813/6250) 150499/1000000), 4
 (- 1 (pow (- 1 z1) z0)), 4
 (+ 775551/1000000 (* z0 284553/100000)), 4
 (- (+ 33/5 (* z0 50813/6250))), 4
 (cos (* z0 (+ PI PI))), 4
 (- (* z0 50813/6250) 18/5), 4
 (* (* z0 3) z1), 4
 (* (pow (tanh (* (* z1 z2) z0)) -2) 3), 4
 (log (/ 2 (* (sqrt (fabs (/ -4 (* (- z0 -1) (- -1 z0))))) (fabs z0)))), 4
 (/ (exp (* z0 (log (/ (fabs z0) (fabs (+ z1 z0)))))) z0), 4
 (pow (+ 33/20 (* z0 50813/6250)) 2), 4
 (+ 13/25 (* z0 50813/62500)), 4
 (+ 151/40 (* z0 50813/6250)), 4
 (+ 318501/1000000 (* z0 284553/100000)), 4
 (* (log (sqrt (+ (* z0 z0) (* z1 z1)))) z2), 4
 (+ 33/5 (* z0 50813/6250)), 4
 (sqrt (+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) (pow (sin z1) 2))), 4
 (+ (* z0 182927/100000) 25769/10000), 4
 (pow (+ 77/20 (* z0 50813/6250)) 2), 4
 (/ (- z0 2634/5) 2928563/10000), 4
 (+ 73/10 (* z0 50813/6250)), 4
 (+ (* (- (- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2)) (sqrt (- 1 (* z0 z0)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2))) -1) (sin (+ (* 2 z2) z1))) (* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2)) (sqrt (- 1 (* z0 z0)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (* z0 z0))) 2))) 1/3) (sin (+ (* 2 z2) (* 3 z1))))), 4
 (pow (* (sin (* (* 1/180 z1) PI)) z0) 2), 4
 (* (sin (* z0 z1)) z2), 4
 (- (+ 199/40 (* z0 50813/6250))), 4
 (* (sin z1) (- (sin (/ z2 z0)))), 4
 (* (* (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)) z1) z1), 4
 (fmax (- (* z0 50813/6250) 563/200) (- 109/40 (* z0 50813/6250))), 4
 (* z0 (+ 2909738639/10000000000 (* (- (* (* (* z0 z0) z0) 70002721/5000000000) (* -694555761/10000000000 z0)) z0))), 4
 (- 1443/800 (* z0 105691/20000)), 4
 (fabs (/ -4 (* (- z0 -1) (- -1 z0)))), 4
 (sqrt (- (* z0 z0) 1)), 4
 (/ -4 (* (- z0 -1) (- -1 z0))), 4
 (- (* (- (* (cos (* (* (* 1/180 PI) z1) 2)) 1/2) -1/2) (* z0 z0)) (* (* (- (* (cos (* (* (* 1/180 PI) z1) 2)) 1/2) 1/2) z2) z2)), 4
 (* (pow z2 (- z0 3)) z1), 4
 (fabs (sin (+ (/ z2 z0) z1))), 4
 (pow (- (* z0 50813/6250) 121/20) 2), 4
 (* (/ z0 z1) (/ (+ z1 z0) z0)), 4
 (+ 199/40 (* z0 50813/6250)), 4
 (- (* (cos (* (* (* 1/180 PI) z0) 2)) 1/2) 1/2), 4
 (/ (* (/ z1 (* (sin z0) z2)) (/ -1 (* (- -2 (* (/ z0 (* z2 z2)) z0)) (* (tan z0) z2)))) z2), 4
 (* 1/3 z0), 4
 (+ 36213/20000 (* z0 284553/100000)), 4
 (pow (+ 41/10 (* z0 50813/6250)) 2), 4
 (cos (+ (+ z1 z1) z0)), 4
 (* 100 (/ (* (- (pow (* (/ 1 z1) (+ z1 z0)) z1) 1) z1) z0)), 4
 (+ (pow (* z0 (cos (* (/ z1 180) PI))) 2) (pow (* z2 (sin (* (/ z1 180) PI))) 2)), 4
 (sin (* (- z1 z0) -1/2)), 4
 (/ 269813/62500 (- (fabs z0) -269813/62500)), 4
 (pow (- (* z0 50813/6250) 79/20) 2), 4
 (* (/ z1 (* (sin z0) z2)) (/ -1 (* (- -2 (* (/ z0 (* z2 z2)) z0)) (* (tan z0) z2)))), 4
 (* (* z0 z0) (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2))), 4
 (cos (* 2 (+ z0 (/ PI 2)))), 4
 (+ (* (* z2 z2) (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2)) (* (* z0 z0) (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2)))), 4
 (/ (/ z1 z0) z0), 4
 (log (+ z0 1)), 4
 (- (* z0 50813/6250) 1183/1000), 4
 (+ 149/20 (* z0 50813/6250)), 4
 (+ 1/2 (* 1/2 (cos (* 2 (* PI (* 1/180 z0)))))), 4
 (* (sin (- z0 z1)) (cos z2)), 4
 (- (pow (* (/ z0 z1) (/ (+ z1 z0) z0)) z1) 1), 4
 (- (+ 73/10 (* z0 50813/6250))), 4
 (log (fabs (sin (- (* z0 1/2) (* -9/4 PI))))), 4
 (cos (+ z1 (/ z2 z0))), 4
 (+ (+ (* z1 284553/100000) 413/100) (* z0 223577/50000)), 4
 (log (+ 1 z0)), 4
 (* (- (* (* (- z0 1) z0) z0) (* (* (- z0 -3) z1) z1)) 4), 4
 (* 6 (- 1 (* 5 (pow (cos z0) 2)))), 4
 (/ (sqrt z0) (+ z2 z1)), 4
 (+ 433/250 (* z0 50813/6250)), 4
 (+ 127/80 (* z0 108401/20000)), 4
 (* 104109730557/25000000000 z0), 4
 (* z0 (* (pow z2 (- z0 3)) z1)), 4
 (+ (+ 277/125 (* z1 284553/100000)) (* z0 223577/50000)), 4
 (- 648101/100000 (* z0 50813/6250)), 4
 (* (- 1/2 (* (cos (* z0 (/ (+ PI PI) z1))) 1/2)) z1), 4
 (exp (* z0 (log (/ (fabs z0) (fabs (+ z1 z0)))))), 4
 (sin (+ (* PI 1/2) (/ z1 z0))), 4
 (/ (* (sqrt 2) z1) (sqrt (- (* (/ (- -1 z2) (- 1 z2)) (+ (* (+ z1 z1) z1) (* z0 z0))) (* z0 z0)))), 4
 (* 3 (* z0 z1)), 4
 (* 1/2 (cos (* 2 (+ z0 (/ PI 2))))), 4
 (- (* z0 50813/6250) 8251/2000), 4
 (sin (- (* z0 1/2) (* -9/4 PI))), 4
 (* 1/2 (cos (* (* 1/90 PI) z0))), 4
 (- (/ (* z0 z0) (* z1 z1)) -1), 4
 (* (* z0 (* (- z1) (pow z2 z0))) (/ 1 z2)), 4
 (cos (* (- (+ z1 z1) -1) (* (* z0 z2) 1/16))), 4
 (- (* z0 50813/6250) 7/2), 4
 (/ (sin z1) (sqrt (+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) (pow (sin z1) 2)))), 4
 (- (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0)) (* (- (* (- 1/2 (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2)) z2)) z2)), 4
 (* (log (- z0 -1)) z0), 4
 (+ 33/80 (* z0 50813/6250)), 4
 (- 735601/100000 (* z0 50813/6250)), 4
 (+ 132319/50000 (* z0 284553/100000)), 4
 (* z0 (log (/ z0 z1))), 4
 (* (* (sin z0) z1) z1), 4
)