{"(* (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (sin (+ (* z0 1/2) (* 1/4 PI))))":15616,"(* (* (* (sqrt 2) 1/2) (sin (- (* -1/2 z0) (* -1/4 PI)))) (cos (* -1/2 z0)))":15616,"(* (* (* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))) z1) 1/2)":18624,"(* (* (* 2 z0) (sin z1)) (cos z1))":13824,"(* (* (* z0 z0) (sqrt z1)) (- -1/2 (* -1/2 (cos (+ z2 z2)))))":8768,"(* (* (+ (cos (+ z0 z0)) 1) 1/2) (- 1/2 (* (cos (+ z1 z1)) -1/2)))":14592,"(* (* (+ z0 z0) (sin z1)) (cos z1))":13696,"(* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2)":14592,"(* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":14592,"(* (* (- (cos (+ z0 z0)) 1) 1/2) z1)":7488,"(* (* (- (cos (+ z0 z0)) 1) z1) 1/2)":7488,"(* (* (- 1 (cos (+ z0 z0))) 1/2) z1)":7488,"(* (* (- 1 (cos (+ z0 z0))) z1) 1/2)":7488,"(* (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1)) 1/2)":14592,"(* (* (- z0 (/ 1 z0)) 1/2) (tan z1))":8000,"(* (* (- z0) z1) (sqrt (+ (* z2 z2) (* z0 z0))))":2304,"(* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))))":17408,"(* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (sin (+ (* -1/2 z0) (* 1/4 PI))))":16000,"(* (* (cos z0) (cos z1)) (sin z2))":19904,"(* (* (cos z0) (sin z1)) (cos z2))":19904,"(* (* (cos z0) z1) (cos z2))":13504,"(* (* (cos z0) z1) (sin z2))":13504,"(* (* (sin (* -1/2 z0)) (sin (- (* -1/2 z0) (* -1/4 PI)))) (sqrt 2))":15296,"(* (* (sin (* -1/4 PI)) (sin (* z0 1/2))) (sin (- (* -1/4 PI) (* (- z0 PI) 1/2))))":21568,"(* (* (sin z0) (cos z1)) (cos z2))":19904,"(* (* (sin z0) z1) (- 1 (* (sin z0) z1)))":14016,"(* (* (sin z0) z1) (cos z2))":13504,"(* (* (sin z0) z1) (sin z0))":13504,"(* (* (sin z0) z1) -1)":7104,"(* (* (sin z0) z1) 1)":7104,"(* (* (sin z0) z1) 2)":7104,"(* (* (sin z0) z1) z2)":7104,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (/ 1 (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1))))))))":6400,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (sqrt (sqrt (fabs (- 1 z0)))))":4864,"(* (* (sqrt 2) 1/2) (* (cos (* -1/2 z0)) (/ 1 (cos (* (+ (+ z0 z0) PI) -1/4)))))":16192,"(* (* (sqrt 2) 1/2) (+ (cos (* -1/2 z0)) (sin (* z0 1/2))))":14976,"(* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* z0 1/2))))":14976,"(* (* (sqrt 2) 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))":14976,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":8064,"(* (* (sqrt 2) 1/2) (sin (* -1/2 z0)))":8064,"(* (* (sqrt 2) 1/2) (sin (* z0 1/2)))":8064,"(* (* (sqrt 2) 1/2) (sin (- (* -1/2 z0) (* -1/4 PI))))":8576,"(* (* (tan z0) 1/2) (- z1 (/ 1 z1)))":8000,"(* (* -1/2 (- (/ 1 z0) z0)) (tan z1))":8000,"(* (* 1 (sin (* z0 z1))) 2)":7424,"(* (* 1/2 (sin z0)) z1)":7104,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":7488,"(* (* 1/2 z0) (- (cos (+ z1 z1))))":7424,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":7488,"(* (* 1/2 z0) (pow (- (cos (+ z1 z1)) -1) 2))":13952,"(* (* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))) z1)":18304,"(* (* 2 z0) (sin z1))":7104,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":7488,"(* (* z0 (sin z1)) (* z0 (sin z1)))":13824,"(* (* z0 (sin z1)) (sin z1))":13504,"(* (* z0 z0) (sqrt z1))":1344,"(* (* z0 z1) (sin z2))":7104,"(* (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":2176,"(* (+ (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) (/ 1 (pow z1 -4))) -4165541759/500000000000000000000000000000000)":9536,"(* (+ (* 1/2 (cos (+ z0 z0))) -1/2) z1)":7488,"(* (+ (* z0 1) (* z0 (- (cos (+ z1 z1))))) 1/2)":7936,"(* (+ (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) 1) 1/2)":8128,"(* (+ (cos (+ z0 z0)) 1) 1/2)":7168,"(* (+ (cos z0) (sin z0)) (- (cos z0) (sin z0)))":26368,"(* (+ (sin (- z0 (- (/ z1 z2) (* -1/2 PI)))) (cos (+ (/ z1 z2) z0))) 1/2)":15680,"(* (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z0 (* (sin z1) (sin z1)))))":27648,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (- 1/2 (* -1/2 (cos (+ z1 z1)))))":14592,"(* (+ z0 z0) (sin z1))":6976,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- (* (* (- 1 (cos (+ z1 z1))) z2) 1/2) -1))":15616,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- -1 (* (* (- 1 (cos (+ z1 z1))) z2) 1/2)))":15616,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- 1 (* z2 z2)))":8512,"(* (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3) z1)":8000,"(* (- (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)) -1) (sqrt z2))":8960,"(* (- (* (- 1 (cos (+ z0 z0))) z1) -2) 1/2)":7680,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1))":7808,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4)":7488,"(* (- (* (sin z0) z1) 1) (* (sin z0) z1))":14016,"(* (- (* (sin z0) z1) 1) (- 1 (* (sin z0) z1)))":14208,"(* (- (* -1/2 (cos (+ z0 z0))) -1/2) 4)":7488,"(* (- (* 1/2 (cos (+ z0 z0))) 1/2) z1)":7488,"(* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8512,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) 2)":2176,"(* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2))":14976,"(* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))))":22784,"(* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2)))":14272,"(* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":14272,"(* (- (cos (+ z0 z0)) -1) 1/2)":7168,"(* (- (cos (+ z0 z0)) -1) z1)":7168,"(* (- (cos (+ z0 z0)) 1) -1/2)":7168,"(* (- (cos (+ z0 z0)) 1) 1/2)":7168,"(* (- (cos (+ z0 z0)) 1) z1)":7168,"(* (- (sin (* -1/2 z0)) (cos (* -1/2 z0))) (* (sqrt 2) 1/2))":14976,"(* (- (sin z0)) (cos z1))":13312,"(* (- (sin z0)) (sin z0))":13312,"(* (- (sin z0)) z1)":6912,"(* (- (sqrt (fabs z0))) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":15936,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2))":15616,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* z2 z2) 1))":8512,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))))":15616,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":15616,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* z2 z2) 1))":8512,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":15616,"(* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1))":7808,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))":8128,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":8000,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) (* (cos z1) z2))":21056,"(* (- 1 (* z0 (* z1 z1))) (tan z2))":7616,"(* (- 1 (* z0 z0)) (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1))":8512,"(* (- 1 (cos (+ z0 z0))) 1/2)":7168,"(* (- 1 (cos (+ z0 z0))) z1)":7168,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1))":14272,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 1/2)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2))":14592,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2))":14400,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))":7808,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":7488,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":14592,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (- z1))":7616,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7488,"(* (- z0) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":15168,"(* (- z0) (cos z1))":6912,"(* (- z0) (log (/ (- -1 (* (sin z1) z2)) (- (* (sin z1) z2) 1))))":21440,"(* (- z0) (pow (cos z1) 4))":13376,"(* (- z0) (sin (* 3 z1)))":7232,"(* (- z0) (sin (* 4 z1)))":7232,"(* (- z0) (sin z1))":6912,"(* (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))":22784,"(* (/ (pow (cos z0) 4) z1) z2)":13952,"(* (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (* (sqrt 2) 1/2)) (/ z1 (- (sin (* z0 1/2)) (cos (* -1/2 z0)))))":23488,"(* (/ (sin z0) (cos z0)) z1)":13888,"(* (/ (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1))))))) (- (sqrt (fabs (- z0 -1)))))":6208,"(* (/ (sqrt 2) 2) (cos (* -1/2 z0)))":8448,"(* (/ (sqrt 2) 2) (sin (* z0 1/2)))":8448,"(* (/ -2 (asin (* (sin z0) z1))) (/ 2 (asin (* (sin z0) z1))))":28032,"(* (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))":17408,"(* (/ 1 (cos (- (* z0 1/2) (* -1/4 PI)))) (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)))":16320,"(* (/ 1 (pow (sin (* 4 z0)) -1)) z1)":14272,"(* (/ 1 (pow (sin z0) -1)) z1)":13952,"(* (/ 1 (sin z0)) (/ z1 (sin z0)))":14592,"(* (/ 1 z0) (/ z0 (sin z1)))":8192,"(* (/ 2 (asin (* (sin z0) z1))) (/ -2 (asin (* (sin z0) z1))))":28032,"(* (/ z0 (cos z1)) z2)":7488,"(* (/ z0 (sin 27401669256311/20000000000000)) z1)":7488,"(* (/ z0 (sin z1)) (/ z0 (sin z1)))":14592,"(* (/ z0 (sin z1)) 1)":7488,"(* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2)))":15808,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)":15040,"(* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4)))":14016,"(* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2)":7936,"(* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))":8064,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":8448,"(* (cos (* -1/2 z0)) (/ 1 (cos (* (+ (+ z0 z0) PI) -1/4))))":14912,"(* (cos (* -1/2 z0)) (sqrt 2))":7744,"(* (cos (* -1/4 PI)) (cos (* -1/2 z0)))":13824,"(* (cos (* -1/4 PI)) (sin (* -1/2 z0)))":13824,"(* (cos (* -2 (+ (/ z0 z1) z2))) 1/2)":8000,"(* (cos (* 1/2 PI)) (sin (+ (/ z0 z1) z2)))":14400,"(* (cos (* 1/4 PI)) (cos (* -1/2 z0)))":13824,"(* (cos (* z0 z1)) 2)":7104,"(* (cos -27401669256311/20000000000000) z0)":6784,"(* (cos z0) (* (cos z0) (* (cos z1) (cos z1))))":26624,"(* (cos z0) (* (cos z1) (cos z1)))":19904,"(* (cos z0) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))))":14720,"(* (cos z0) (cos z0))":13184,"(* (cos z0) (sin (- (- z0) (* PI 1/2))))":13824,"(* (cos z0) (sin (- (/ (- z1) z2) (* 1/2 PI))))":14528,"(* (cos z0) (sin z0))":13184,"(* (cos z0) (sin z1))":13184,"(* (cos z0) (tan z1))":13184,"(* (cos z0) z1)":6784,"(* (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 1/2)":15488,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":21312,"(* (log (fabs (- -1 z0))) z1)":7104,"(* (log (fabs (- z0 1))) z1)":7104,"(* (pow (- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) -2) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":22080,"(* (pow (- (cos (+ z0 z0)) -1) 2) (* 1/2 z1))":13952,"(* (pow (- (cos (+ z0 z0)) -1) 2) z1)":13632,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":22080,"(* (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2)) (tan (* (+ (+ z0 z0) PI) 1/4)))":28608,"(* (pow (asin (* (sin z0) z1)) 2) 2)":19968,"(* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)":21504,"(* (pow (cos z0) -4) z1)":13248,"(* (pow (cos z0) 4) z1)":13248,"(* (pow (sin z0) 1) z1)":13248,"(* (pow (sin z0) 3) 4)":13248,"(* (pow (tan (* (+ (+ z0 z0) PI) 1/4)) (/ 1 z1)) (pow z2 (/ -1 z1)))":21824,"(* (sin (* (+ (* 2 z0) PI) -1/4)) z1)":7616,"(* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4)))":14016,"(* (sin (* -1/2 z0)) (* (sqrt 2) 1/2))":8064,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":8448,"(* (sin (* -1/2 z0)) (sin (* -1/4 PI)))":13824,"(* (sin (* -1/2 z0)) (sin (- (* -1/2 z0) (* -1/4 PI))))":14336,"(* (sin (* -1/2 z0)) (sqrt 2))":7744,"(* (sin (* -1/4 PI)) (cos (* -1/2 z0)))":13824,"(* (sin (* -1/4 PI)) (sin (* z0 1/2)))":13824,"(* (sin (* -3 z0)) z1)":7104,"(* (sin (* 1/2 (* z0 z1))) (sin (* 1/2 (* z0 z1))))":14464,"(* (sin (* 1/4 PI)) (cos (* -1/2 z0)))":13824,"(* (sin (* 1/4 PI)) (sin (* z0 1/2)))":13824,"(* (sin (* 3 z0)) z1)":7104,"(* (sin (* 4 z0)) (/ z1 z2))":7808,"(* (sin (* 4 z0)) z1)":7104,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":8064,"(* (sin (* z0 1/2)) (cos (* -1/4 PI)))":13824,"(* (sin (* z0 1/2)) (sqrt 2))":7744,"(* (sin (* z0 z1)) 2)":7104,"(* (sin (* z0 z1)) z2)":7104,"(* (sin (+ (* -1/2 z0) (* 1/4 PI))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))":16000,"(* (sin (+ (* z0 1/2) (* 1/4 PI))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":15616,"(* (sin (+ (- z0) PI)) (sin PI))":13504,"(* (sin (+ z0 z0)) (cos (* PI 1/2)))":13696,"(* (sin (+ z0 z0)) z1)":6976,"(* (sin (- (* -1/2 z0) (* -1/4 PI))) (- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))))":23808,"(* (sin (- (* -3 z0) PI)) z1)":7296,"(* (sin (- (* z0 1/2) (* -1/4 PI))) (- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))))":23808,"(* (sin (- z0 (* -1/2 PI))) (sin (- (/ (- z1) z2) (* 1/2 PI))))":15040,"(* (sin (/ (+ z0 z0) 4)) (sin (/ (- PI) 4)))":14912,"(* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))":17664,"(* (sin (/ (- 0 (+ (+ z0 z0) PI)) 2)) (cos (/ (+ 0 (+ (+ z0 z0) PI)) 2)))":15744,"(* (sin (/ z0 z1)) (sin z2))":13888,"(* (sin z0) (* (sin z0) z1))":13504,"(* (sin z0) (+ z1 (* (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3) z2)))":14912,"(* (sin z0) (- (sin z0)))":13312,"(* (sin z0) (cos (* 1/2 PI)))":13504,"(* (sin z0) (cos (+ (- z1) (* PI 1/2))))":13824,"(* (sin z0) (cos (- (- z0) (* PI 1/2))))":13824,"(* (sin z0) (cos (- (/ z1 z2) (* -1/2 PI))))":14400,"(* (sin z0) (cos z1))":13184,"(* (sin z0) (sin z0))":13184,"(* (sin z0) z1)":6784,"(* (sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))) (cos z1))":15488,"(* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) (sqrt (sqrt (fabs (- 1 z0)))))":4224,"(* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2)))":3328,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) (cos z0))":15040,"(* (sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))) (sqrt (fabs z2)))":23360,"(* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0))))":2304,"(* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1)))))":2432,"(* (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))) (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))))":16384,"(* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":15808,"(* (sqrt (fabs z0)) (fabs z0))":1280,"(* (sqrt (fabs z0)) z0)":1152,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1))))":2944,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1))))":2944,"(* (sqrt (sqrt (fabs z0))) (fabs z0))":1920,"(* (sqrt (sqrt (fabs z0))) z0)":1792,"(* (sqrt (sqrt (sqrt (fabs (- z0 1))))) (sqrt (sqrt (sqrt (fabs (- z0 1))))))":4864,"(* (sqrt z0) z1)":1024,"(* (tan (* (+ (+ z0 z0) PI) 1/4)) (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2)))":28608,"(* (tan (+ (* 1/2 z0) (/ PI 4))) z1)":8000,"(* (tan (+ (+ (* (+ (+ z0 z0) PI) 1/4) PI) PI)) z1)":7872,"(* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z0 z1) (/ 1 z2)))":15168,"(* (tan z0) (/ z1 (cos z2)))":13888,"(* (tan z0) (cos z1))":13184,"(* (tan z0) z1)":6784,"(* -1 (* (sin z0) z1))":7104,"(* -1/2 (cos (* -2 (acos (* (sin z0) (cos z1))))))":26624,"(* -1/2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15488,"(* -2 (* (sin z0) z1))":7104,"(* -2 (acos (* (sin z0) (cos z1))))":19904,"(* -2 (pow (asin (* (sin z0) z1)) 2))":19968,"(* -3689471323/1000000000000000000000000000000000 (+ (* (* z0 z0) (* z0 z0)) (+ (pow z1 4) (* -6 (* (* z0 z0) (* z1 z1))))))":9472,"(* -4 (- (* -1/2 (cos (+ z0 z0))) -1/2))":7488,"(* 1 (- (sqrt (fabs (- (* z0 z0) 1)))))":1792,"(* 1 (log (fabs (tan (- (* 1/4 PI) (* -1/2 z0))))))":14144,"(* 1 (sin (* z0 z1)))":7104,"(* 1/2 (* (sin z0) z1))":7104,"(* 1/2 (+ (* (- 1 (cos (+ z0 z0))) z1) 2))":7680,"(* 1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))":7680,"(* 1/2 (- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2))))":14784,"(* 1/2 (- 1 (cos (+ z0 z0))))":7168,"(* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))":14784,"(* 1/2 (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":7680,"(* 1/2 (asin (* (sin z0) z1)))":13504,"(* 1/2 (cos (* 2 (* (- PI (* z0 2)) -1/4))))":7936,"(* 1/2 (cos (* 2 (- (* -1/4 PI) (* z0 1/2)))))":7936,"(* 1/2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15488,"(* 1/2 (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1))))":7808,"(* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))))":17984,"(* 2 (* (sin (/ (- 0 (+ (+ z0 z0) PI)) 2)) (cos (/ (+ 0 (+ (+ z0 z0) PI)) 2))))":16064,"(* 2 (* (sin z0) z1))":7104,"(* 2 (+ (cos (* z0 z1)) (- (cos (* z0 z1)))))":14144,"(* 2 (- (cos (- z0 z0)) (cos (+ z0 z0))))":13760,"(* 2 (/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16192,"(* 2 (/ 1 (sin z0)))":7488,"(* 2 (/ 2 (asin (* (sin z0) z1))))":14208,"(* 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16192,"(* 2 (asin (* (sin z0) z1)))":13504,"(* 2 (asin (- (* (sin z0) z1))))":13632,"(* 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15488,"(* 2 (log (fabs (- -1 z0))))":7104,"(* 2 (pow (asin (* (sin z0) z1)) -2))":19968,"(* 3 (sin z0))":6784,"(* 3/2 (* (sin z0) z1))":7104,"(* 3/4 (asin (* (sin z0) z1)))":13504,"(* 4 (pow (asin (* (sin z0) z1)) -2))":19968,"(* z0 (* (- 1/2 (* 1/2 (cos (+ z1 z1)))) z0))":7808,"(* z0 (* (cos z1) (sin z2)))":13504,"(* z0 (* (sin z1) (sin z1)))":13504,"(* z0 (* 2 (* (sin (/ (- 0 (+ (+ z1 z1) PI)) 2)) (cos (/ (+ 0 (+ (+ z1 z1) PI)) 2)))))":16384,"(* z0 (* z1 (cos (- (- z2) (* PI -1/2)))))":7744,"(* z0 (* z1 (sin z2)))":7104,"(* z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) 1))":8000,"(* z0 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4)))":20480,"(* z0 (- (cos (+ z1 z1))))":7104,"(* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":7680,"(* z0 (- 1 (cos (+ z1 z1))))":7168,"(* z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":7488,"(* z0 (/ 1 (pow (sin z1) -1)))":13952,"(* z0 (/ 1 (pow (sin z1) -2)))":13952,"(* z0 (/ z1 (sin -27401669256311/20000000000000)))":7488,"(* z0 (/ z1 (sqrt (+ (* z0 z0) (* z2 z2)))))":2560,"(* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":2560,"(* z0 (cos (- (- z1) (* PI -1/2))))":7424,"(* z0 (cos z1))":6784,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":21312,"(* z0 (pow (sin z1) 1))":13248,"(* z0 (pow (sin z1) 2))":13248,"(* z0 (sin (* 2 (- (+ z1 (* PI 1/2))))))":7744,"(* z0 (sin (* 2 z1)))":7104,"(* z0 (sin (* 3 z1)))":7104,"(* z0 (sin (* 4 z1)))":7104,"(* z0 (sin (* z1 z2)))":7104,"(* z0 (sin (+ (- (* 3 z1)) PI)))":7424,"(* z0 (sin (+ (- (+ (* PI 1/2) (+ z1 (* PI 1/2))) (- (+ z1 (* PI 1/2)))) (* PI 1/2))))":9152,"(* z0 (sin (+ (- z1) PI)))":7104,"(* z0 (sin (- (+ (* PI 1/2) (- (+ (* PI 1/2) z1) (* -1/2 PI))) (- (* -1/2 PI) z1))))":9024,"(* z0 (sin z1))":6784,"(* z0 (sqrt z1))":1024,"(* z0 (tan z1))":6784,"(+ (* (* 1/2 z0) 1) (* (* 1/2 z0) (- (cos (+ z1 z1)))))":8256,"(+ (* (* z0 z0) (* z0 z0)) (+ (pow z1 4) (* -6 (* (* z0 z0) (* z1 z1)))))":9152,"(+ (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) (/ 1 (pow z1 -4)))":9216,"(+ (* (- 1 (cos (+ z0 z0))) z1) 2)":7360,"(+ (* (/ 1 z0) (/ z0 (sin z1))) (/ 0 (sin z1)))":15488,"(+ (* (pow (cos z0) 4) z1) z2)":13440,"(+ (* (sin (* 3 z0)) z1) (* (sin z0) z2))":14016,"(+ (* (sin (+ z0 z0)) (cos (* PI 1/2))) (* (cos (+ z0 z0)) (sin (* PI 1/2))))":27520,"(+ (* 0 z0) (* (sin z1) z0))":7296,"(+ (* 1/2 (cos (+ z0 z0))) -1/2)":7168,"(+ (* z0 (sin z1)) (* z2 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4))))":27392,"(+ (* z0 (sin z1)) (* z2 (sin (* 3 z1))))":14016,"(+ (* z0 (sin z1)) (* z2 (sin (+ (- (* 3 z1)) PI))))":14336,"(+ (* z0 1) (* z0 (- (cos (+ z1 z1)))))":7616,"(+ (* z0 z1) (* (sin (* 4 z0)) z2))":7616,"(+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))":2560,"(+ (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) 1/2))":20224,"(+ (/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4))) (/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* 2 z0) PI) -1/4))))":32896,"(+ (/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4))) (/ (/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2) (cos (* (+ (* 2 z0) PI) -1/4))))":39872,"(+ (/ 3/2 (sin z0)) (/ 1/2 (sin z0)))":14464,"(+ (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) 1)":7808,"(+ (cos (* -1/2 z0)) (sin (* z0 1/2)))":13696,"(+ (cos (* z0 z1)) (- (cos (* z0 z1))))":13824,"(+ (cos (+ (- z0) (fabs z0))) (cos (- (- z0) (fabs z0))))":13952,"(+ (cos (+ (- z0) z0)) (cos (+ z0 z0)))":13568,"(+ (cos (+ (fabs z0) (- z0))) (cos (- (fabs z0) (- z0))))":13952,"(+ (cos (+ (fabs z0) z0)) (cos (- (fabs z0) z0)))":13696,"(+ (cos (+ z0 (fabs z0))) (cos (- z0 (fabs z0))))":13696,"(+ (cos (+ z0 z0)) (cos (- z0 z0)))":13440,"(+ (cos (+ z0 z0)) 1)":6848,"(+ (cos (+ z0 z1)) (cos (- z1 z0)))":13440,"(+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI))))":14720,"(+ (cos (- z0 z1)) (cos (+ z0 z1)))":13440,"(+ (cos z0) (sin z0))":13056,"(+ (fabs (- (* z0 1/2) (* -1/4 PI))) (- (* -1/4 PI) (* 1/2 (- z0 PI))))":2240,"(+ (log (tan (* (+ (+ z0 PI) z0) 1/4))) z1)":13760,"(+ (log (tan (* (+ (+ z0 z0) PI) 1/4))) z1)":13760,"(+ (pow z0 4) (* -6 (* (* z1 z1) (* z0 z0))))":8000,"(+ (sin (* z0 1/2)) (cos (* z0 1/2)))":13696,"(+ (sin (+ z0 z1)) (sin (- z0 z1)))":13440,"(+ (sin (- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))) (sin (+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))))":18048,"(+ (sin (- z0 (- (/ z1 z2) (* -1/2 PI)))) (cos (+ (/ z1 z2) z0)))":15360,"(+ (sin (- z0 z1)) (sin (+ z0 z1)))":13440,"(+ (sin (- z0 z1)) (sin (+ z1 z0)))":13440,"(+ 1 (* (* z0 (sin z1)) (sin z1)))":13696,"(+ 1 (* (- (sin z0)) (sin z0)))":13504,"(+ 1 (* z0 (* (sin z1) (sin z1))))":13696,"(+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":7872,"(+ 1 (* z0 (- 1/2 (* 1/2 (cos (+ z1 z1))))))":7680,"(+ 1 (* z0 (/ 1 (pow (sin z1) -2))))":14144,"(+ 1 (* z0 (pow (sin z1) 2)))":13440,"(+ 1 (sin z0))":6656,"(+ 1/2 (* (cos (+ z0 z0)) 1/2))":7168,"(+ 1/2 (* 1/2 (cos (* 2 (* (- PI (* z0 2)) -1/4)))))":8128,"(+ 1/2 (* 1/2 (cos (* 2 (- (* -1/4 PI) (* z0 1/2))))))":8128,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":7296,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(+ z0 (* (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) 4) -3) z2))":8192,"(+ z0 (* (pow (cos z1) 4) z2))":13440,"(+ z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":14272,"(- (* (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (sin (+ (* z0 1/2) (* 1/4 PI)))) (* (sin (+ (* z0 1/2) (* 1/4 PI))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))))":31360,"(- (* (* (* (sqrt 2) 1/2) (sin (- (* -1/2 z0) (* -1/4 PI)))) (cos (* -1/2 z0))) (* (sin (+ (* -1/2 z0) (* 1/4 PI))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2))))":31744,"(- (* (* (* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))) z1) 1/2) 1)":18816,"(- (* (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) -3689471323/1000000000000000000000000000000000) (* (pow (- z1) 3) (* z1 -3689471323/1000000000000000000000000000000000)))":9600,"(- (* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2) (- (* (cos (+ z0 z0)) 1/2) 1/2))":21888,"(- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1)":7680,"(- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1)":7680,"(- (* (* (- 1 (cos (+ z0 z0))) z1) 1/2) -1)":7680,"(- (* (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1)) 1/2) (- -1/2 (* -1/2 (cos (+ z1 z1)))))":21888,"(- (* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0)))))) (* (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2))))":34944,"(- (* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (sin (+ (* -1/2 z0) (* 1/4 PI)))) (* (sin (+ (* -1/2 z0) (* 1/4 PI))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2))))":32128,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":7680,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1)":7680,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1)":7680,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1)":7680,"(- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1)":7680,"(- (* (+ (* 1/2 (cos (+ z0 z0))) -1/2) z1) 1)":7680,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1)":8000,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3)":7680,"(- (* (- (cos (+ z0 z0)) 1) z1) 2)":7360,"(- (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)) -1)":8000,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":7360,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)) 1/2)":14784,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1)) 1)":8000,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)":7680,"(- (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) -1)":7680,"(- (* (- z0) (sin z1)))":7040,"(- (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (* (/ (sqrt 2) 2) (cos (* -1/2 z0))))":17024,"(- (* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4))) (* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4))))":28160,"(- (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2) 1/2)":8128,"(- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":16256,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))":27776,"(- (* (cos (+ z0 z0)) -1/2) 1/2)":7168,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":7168,"(- (* (cos z0) (tan z1)) (* (sin z0) z2))":20096,"(- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)))":16256,"(- (* (sin (* -1/4 PI)) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (cos (* -1/4 PI))))":27776,"(- (* (sin (* -3 z0)) z1) (* (sin z0) z2))":14016,"(- (* (sin z0) (cos (- (- z0) (* PI 1/2)))) (* (cos z0) (sin (- (- z0) (* PI 1/2)))))":27776,"(- (* (sin z0) (cos z1)))":13312,"(- (* (sin z0) z1) (* (cos z0) (tan z2)))":20096,"(- (* (sin z0) z1) (* (sin (* -3 z0)) z2))":14016,"(- (* (sin z0) z1))":6912,"(- (* (tan z0) (cos z1)) (* (sin z1) z2))":20096,"(- (* -1/2 (cos (+ z0 z0))) -1/2)":7168,"(- (* -4 (- (* -1/2 (cos (+ z0 z0))) -1/2)) -3)":7680,"(- (* 1 (log (fabs (tan (- (* 1/4 PI) (* -1/2 z0)))))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":35584,"(- (* 1/2 (cos (+ z0 z0))) 1/2)":7168,"(- (* 3 (sin z0)) (* (pow (sin z0) 3) 4))":20160,"(- (* 4 (atan (exp (/ z0 z1)))) PI)":14080,"(- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))))":2688,"(- (* z0 (sin z1)) (* (sin z1) 0))":13696,"(- (+ (* (pow (cos z0) 4) z1) z2))":13568,"(- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))":2560,"(- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2)))":14464,"(- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (fabs (- (* z0 1/2) (* -1/4 PI))))":2240,"(- (- (pow (asin (* (sin z0) z1)) 2)))":19904,"(- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2))":20224,"(- (- (sin (* (- (* PI 1/2) z0) 1/2))))":7552,"(- (- (sin (fabs (* z0 z1)))))":7168,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":1792,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2)))":22208,"(- (- z0 (* (pow (cos z1) 4) z0)) 1)":13632,"(- (/ (* (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))))))":73856,"(- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4))))":32640,"(- (/ (* (pow (cos z0) 4) z1) z2) -1)":14144,"(- (/ -2 (* (sin z0) z1)))":7616,"(- (/ 1 (sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2)))))":21696,"(- (/ 1 (sqrt (fabs (- z0 1)))))":1856,"(- (cos (* (+ (+ z0 z0) PI) -1/4)))":7296,"(- (cos (* (+ (+ z0 z0) PI) 1/4)))":7296,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":13696,"(- (cos (* 1/2 (- z0 (* PI 1/2)))))":7424,"(- (cos (* z0 1/2)) (sin (* -1/2 z0)))":13696,"(- (cos (* z0 z1)))":6912,"(- (cos (+ (/ z0 z1) z2)))":7488,"(- (cos (+ z0 z0)) -1)":6848,"(- (cos (+ z0 z0)) 1)":6848,"(- (cos (- (* z0 1/2) (* -1/4 PI))))":7424,"(- (cos (- z0 z0)) (cos (+ z0 z0)))":13440,"(- (cos 0) (cos (+ z0 z0)))":13248,"(- (cos z0) (sin z0))":13056,"(- (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15296,"(- (log (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))))) (* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2))":50624,"(- (log (* (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))) (* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2))":50624,"(- (log (tan (+ (* PI 1/4) (* 1/2 z0)))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":35136,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":35520,"(- (pow (- (cos (+ z0 z0)) -1) -2))":13440,"(- (pow (asin (* (sin z0) z1)) 2))":19776,"(- (pow (cos z0) 4))":13056,"(- (sin (* (- (* PI 1/2) z0) 1/2)))":7424,"(- (sin (* -1/2 z0)) (cos (* -1/2 z0)))":13696,"(- (sin (* z0 1/2)) (cos (* -1/2 z0)))":13696,"(- (sin (* z0 z1)))":6912,"(- (sin (fabs (* z0 z1))))":7040,"(- (sin z0) -1)":6656,"(- (sqrt (* (sqrt (fabs (- z0 1))) (fabs (- z0 -1)))))":2432,"(- (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1))))))":3712,"(- (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":1984,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":1664,"(- (sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)))":8448,"(- (sqrt (- (* z0 z0) 1)))":1344,"(- (sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":15936,"(- (sqrt (fabs (- (* z0 z0) 1))))":1472,"(- (sqrt (fabs (- 1 (* z0 z0)))))":1472,"(- (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":2624,"(- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":2304,"(- (sqrt (sqrt (fabs z0))))":1600,"(- -1 (* (* (- 1 (cos (+ z0 z0))) z1) 1/2))":7680,"(- -1 (* (* (sin z0) z1) (sin z0)))":13696,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":7680,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":7680,"(- -1 (* (+ (* z0 1) (* z0 (- (cos (+ z1 z1))))) 1/2))":8128,"(- -1 (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)))":8000,"(- -1 (/ (* (pow (cos z0) 4) z1) z2))":14144,"(- -1 (cos (+ z0 z0)))":6848,"(- -1/2 (* -1/2 (cos (+ z0 z0))))":7168,"(- -1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2))))":14784,"(- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))":7680,"(- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":7680,"(- 1 (* (* z0 (sin z1)) (* z0 (sin z1))))":14016,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))":14784,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1)))":8000,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2))":7680,"(- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":14784,"(- 1 (* z0 (* (sin z1) (sin z1))))":13696,"(- 1 (* z0 (pow (sin z1) 2)))":13440,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":7360,"(- 1 (- 1/2 (* (cos (+ z0 z0)) 1/2)))":7360,"(- 1 (cos (+ z0 z0)))":6848,"(- 1/2 (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2))":8128,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7168,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":7168,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":7168,"(- 1/2 (* 1/2 (- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2)))))":14976,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))":14464,"(- 2 (* (- (cos (+ z0 z0)) 1) z1))":7360,"(- PI (* 4 (atan (exp (/ z0 z1)))))":14080,"(- z0 (* (pow (cos z1) 4) z0))":13440,"(/ (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* z0 1/2)))) (cos (* (+ (+ z0 z0) PI) 1/4)))":22784,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* 2 z0) PI) -1/4)))":16384,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* z0 2) PI) -1/4)))":16384,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4)))":16384,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* z0 2) PI) -1/4)))":16384,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))))":36864,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4)))":16256,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/4 PI) (* z0 1/2))))":16384,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (sin (+ (* PI 1/2) (- (* -1/2 z0) (* 1/4 PI)))))":16896,"(/ (* (pow (cos z0) 4) z1) z2)":13952,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))))":36864,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4)))":16256,"(/ (* (sin z0) z1) z2)":7488,"(/ (* (sqrt (fabs (- z0 -1))) 2) (* (- (/ 1 (sqrt (fabs (- z0 1))))) 2))":4160,"(/ (* (sqrt 2) 1/2) (- (* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4))) (* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4)))))":29824,"(/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4)))":8832,"(/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) 1/4)))":8832,"(/ (* (sqrt 2) 1/2) (cos (* -1/4 (+ (+ z0 z0) PI))))":8832,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":2560,"(/ (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":2560,"(/ (+ (* (pow (cos z0) 4) z1) z2) z2)":14144,"(/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2)":15424,"(/ (+ (sin (- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))) (sin (+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2)))))) 2)":18752,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z2 (* (sin z1) (sin z1)))))":28032,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":22016,"(/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) (+ 1 (* z2 (* (sin z1) (sin z1)))))":22016,"(/ (- (sqrt (- (* z0 z0) 1))) (cos z1))":8448,"(/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))":16000,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":16000,"(/ (- z0) (sin z1))":7296,"(/ (/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2) (cos (* (+ (* 2 z0) PI) -1/4)))":23360,"(/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4)))":15232,"(/ (cos (- z0)) (+ 1 (sin z0)))":13888,"(/ (cos z0) (cos z1))":13568,"(/ (cos z0) (sin z1))":13568,"(/ (cos z0) z1)":7168,"(/ (fabs z0) (/ -1 (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":16384,"(/ (fabs z0) (/ 1 (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":16384,"(/ (pow (cos z0) 4) z1)":13632,"(/ (sin (* (+ (+ z0 z0) PI) -1/4)) (* (sqrt 2) 1/2))":8832,"(/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI))))":15104,"(/ (sin z0) (cos z0))":13568,"(/ (sin z0) (cos z1))":13568,"(/ (sin z0) z1)":7168,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":2240,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":8320,"(/ (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1)))))))":4800,"(/ (sqrt z0) (- 1 (* (sin z1) z2)))":8320,"(/ -1 (* (cos z0) (cos z1)))":13888,"(/ -1 (* (sin z0) z1))":7488,"(/ -1 (* -2 (pow (asin (* (sin z0) z1)) 2)))":20672,"(/ -1 (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1))":8384,"(/ -1 (- (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2) 1/2))":8832,"(/ -1 (- (* (sin z0) z1) -1))":7680,"(/ -1 (- (* (sin z0) z1) 1))":7680,"(/ -1 (- -1 (* (sin z0) z1)))":7680,"(/ -1 (- 1 (* (sin z0) z1)))":7680,"(/ -1 (asin (* (sin z0) z1)))":13888,"(/ -1 (cos z0))":7168,"(/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ -1 (sin (+ (* -1/2 z0) (* 1/4 PI))))":8000,"(/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))":8000,"(/ -1 (sin (- (* z0 1/2) (* 1/4 PI))))":8000,"(/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1))))":15168,"(/ -1 (sin z0))":7168,"(/ -1 (sqrt (sqrt (fabs (- z0 1)))))":2368,"(/ -1/2 (- (* (sin z0) z1) 1))":7680,"(/ -1/2 (- -1 (* (sin z0) z1)))":7680,"(/ -1/2 (/ -1 (cos z0)))":7872,"(/ -2 (* (sin z0) z1))":7488,"(/ -2 (- (* (sin z0) z1) -1))":7680,"(/ -2 (- -1 (* (sin z0) z1)))":7680,"(/ -2 (asin (* (sin z0) z1)))":13888,"(/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ 0 (* (sin z0) z1))":7488,"(/ 0 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":7872,"(/ 1 (* (* (cos z0) z1) (cos z2)))":14208,"(/ 1 (* (cos z0) (- (* (* (- -1 z1) z2) z2) -1)))":8512,"(/ 1 (* (cos z0) (cos z1)))":13888,"(/ 1 (* (sin z0) z1))":7488,"(/ 1 (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":8384,"(/ 1 (- (* (sin z0) z1) 1))":7680,"(/ 1 (- -1 (* (sin z0) z1)))":7680,"(/ 1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":7872,"(/ 1 (/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4))))":15936,"(/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0)))))":8704,"(/ 1 (/ 1 (cos z0)))":7872,"(/ 1 (asin (* (sin z0) z1)))":13888,"(/ 1 (cos (* (+ (+ z0 z0) PI) -1/4)))":7872,"(/ 1 (cos (- (* -1/4 PI) (* z0 1/2))))":8000,"(/ 1 (cos (- (* z0 1/2) (* -1/4 PI))))":8000,"(/ 1 (cos z0))":7168,"(/ 1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ 1 (fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":16640,"(/ 1 (pow (* (sin z0) z1) -1))":13952,"(/ 1 (pow (* z0 z0) -1))":7552,"(/ 1 (pow (* z0 z1) -1))":7552,"(/ 1 (pow (+ z0 z0) -1))":7424,"(/ 1 (pow (- z0) -2))":7360,"(/ 1 (pow (cos (+ z0 z0)) -1))":13824,"(/ 1 (pow (cos z0) -1))":13632,"(/ 1 (pow (fabs (- z0 1)) -1/2))":7552,"(/ 1 (pow (fabs z0) -2))":7360,"(/ 1 (pow (sin (* 4 z0)) -1))":13952,"(/ 1 (pow (sin z0) -1))":13632,"(/ 1 (pow (sin z0) -2))":13632,"(/ 1 (pow z0 -2))":7232,"(/ 1 (pow z0 -4))":7232,"(/ 1 (sin z0))":7168,"(/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":2560,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ 1 (sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2))))":21568,"(/ 1 (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))))":16128,"(/ 1 (sqrt (fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))))":9152,"(/ 1 (sqrt (fabs (- z0 1))))":1728,"(/ 1 (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1)))))))":3200,"(/ 1 (sqrt (fabs z0)))":1536,"(/ 1 (sqrt (sqrt (fabs (- z0 1)))))":2368,"(/ 1 (sqrt z0))":1408,"(/ 1/2 (asin (* (sin z0) z1)))":13888,"(/ 1/2 (cos z0))":7168,"(/ 1/2 (fabs (- (* (sin z0) z1) 1)))":7808,"(/ 1/2 (sin z0))":7168,"(/ 2 (* (sin z0) z1))":7488,"(/ 2 (- (cos (+ z0 z0)) -1))":7552,"(/ 2 (/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16576,"(/ 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16576,"(/ 2 (asin (* (sin z0) z1)))":13888,"(/ 2 (cos z0))":7168,"(/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ 2 (sin z0))":7168,"(/ 3/2 (sin z0))":7168,"(/ z0 (- (sin (* z1 1/2)) (cos (* -1/2 z1))))":14400,"(/ z0 (- 1 (* (sin z1) z0)))":7680,"(/ z0 (/ 1 (sin z1)))":7872,"(/ z0 (cos z1))":7168,"(/ z0 (sin (+ (* PI 1/2) z1)))":7680,"(/ z0 (sin -27401669256311/20000000000000))":7168,"(/ z0 (sin 27401669256311/20000000000000))":7168,"(/ z0 (sin z1))":7168,"(/ z0 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ z0 (sqrt (+ (* z1 z1) (* z0 z0))))":2240,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":2240,"(acos (* (sin z0) (cos z1)))":19584,"(asin (* (* (- z0 (/ 1 z0)) 1/2) (tan z1)))":14400,"(asin (* (* (tan z0) 1/2) (- z1 (/ 1 z1))))":14400,"(asin (* (* -1/2 (- (/ 1 z0) z0)) (tan z1)))":14400,"(asin (* (sin z0) (cos z1)))":19584,"(atan (* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z0 z1) (/ 1 z2))))":21568,"(cos (* (+ (* 2 z0) PI) -1/4))":7296,"(cos (* (+ (* z0 2) PI) -1/4))":7296,"(cos (* (+ (+ z0 z0) PI) -1/4))":7168,"(cos (* (+ (+ z0 z0) PI) 1/4))":7168,"(cos (* (- (* -1/4 PI) (* z0 1/2)) 2))":7616,"(cos (* (- PI (+ z0 z0)) -1/2))":7168,"(cos (* -1/4 (+ (+ z0 z0) PI)))":7168,"(cos (* -2 (+ (/ z0 z1) z2)))":7680,"(cos (* -2 (- (* -1/4 PI) (* z0 1/2))))":7616,"(cos (* -2 (acos (* (sin z0) (cos z1)))))":26304,"(cos (* 1/2 (* z0 z1)))":7104,"(cos (* 1/2 (- z0 (* PI 1/2))))":7296,"(cos (* 2 (* (- PI (* z0 2)) -1/4)))":7616,"(cos (* 2 (+ (* PI 1/2) z0)))":7296,"(cos (* 2 (+ (/ z0 z1) z2)))":7680,"(cos (* 2 (- (* -1/4 PI) (* z0 1/2))))":7616,"(cos (* z0 z1))":6784,"(cos (+ (* -1/2 PI) z0))":6976,"(cos (+ (* PI 1/2) (fabs (* z0 z1))))":7424,"(cos (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI))":7872,"(cos (+ (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) (* PI 1/2)) (* PI 1/2)))":8704,"(cos (+ (- (* -1/2 z0) (* 1/4 PI)) (* PI 1/2)))":7808,"(cos (+ (- z0) (* PI 1/2)))":7104,"(cos (+ (/ z0 z1) z2))":7360,"(cos (+ (fabs z0) (fabs z1)))":6912,"(cos (+ (fabs z0) z1))":6784,"(cos (+ z0 z1))":6656,"(cos (- (* -1/2 z0) (* 5/4 PI)))":7296,"(cos (- (* -1/4 PI) (* z0 1/2)))":7296,"(cos (- (* 5/4 PI) (* -1/2 z0)))":7296,"(cos (- (* z0 1/2) (* -1/4 PI)))":7296,"(cos (- (* z0 1/2) (* 1/4 PI)))":7296,"(cos (- (- z0) (* PI -1/2)))":7104,"(cos (- (- z0) (* PI 1/2)))":7104,"(cos (- (/ z0 z1) (* -1/2 PI)))":7680,"(cos (- (fabs z0) (fabs z1)))":6912,"(cos (- (fabs z0) z1))":6784,"(cos (- z0 (* 1/2 PI)))":6976,"(cos (- z0 (fabs z1)))":6784,"(cos (- z0 z1))":6656,"(cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))":8704,"(cos (/ (+ 0 (+ (+ z0 z0) PI)) 2))":7744,"(cos (/ 1 (pow (+ z0 z0) -1)))":13824,"(cos (/ z0 z1))":7168,"(cosh (asinh z0))":12864,"(fabs (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2)))":15104,"(fabs (* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2)))":15744,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2))))":15936,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))":15168,"(fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))":21632,"(fabs (* (sin (- (* -1/2 z0) (* -1/4 PI))) (- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)))))":23936,"(fabs (* (sin z0) z1))":6912,"(fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))))":15936,"(fabs (+ (* (pow (cos z0) 4) z1) z2))":13568,"(fabs (+ z0 (* (pow (cos z1) 4) z2)))":13568,"(fabs (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1))":7808,"(fabs (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1))":7808,"(fabs (- (* (- 1 (cos (+ z0 z0))) z1) -2))":7488,"(fabs (- (* (sin (* z0 1/2)) (sin (* PI 1/4))) (* (sin (* -1/4 PI)) (cos (* 1/2 z0)))))":27904,"(fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":7808,"(fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))":7808,"(fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":7488,"(fabs (/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1)))":16128,"(fabs (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2))))":16128,"(fabs (/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1)))))":15296,"(fabs (/ 1 (sqrt (fabs (- z0 1)))))":1856,"(fabs (asin (* (sin z0) (cos z1))))":19712,"(fabs (asin (* (sin z0) z1)))":13312,"(fabs (cos (* (+ (+ z0 z0) PI) -1/4)))":7296,"(fabs (cos (+ (/ z0 z1) z2)))":7488,"(fabs (sin (* (- (* -2 z0) PI) -1/4)))":7424,"(fabs (sin (* (- PI (* z0 2)) -1/4)))":7424,"(fabs (sin (* (- PI (+ z0 z0)) 1/4)))":7296,"(fabs (sin (+ (/ z0 z1) z2)))":7488,"(fabs (sin (- (* -1/2 z0) (* -1/4 PI))))":7424,"(fabs (sin (- (* -1/2 z0) (* 1/4 PI))))":7424,"(fabs (sin (- (* -1/4 PI) (* z0 1/2))))":7424,"(fabs (sin (- (* z0 1/2) (* -1/4 PI))))":7424,"(fabs (sin (- (* z0 1/2) (* 1/4 PI))))":7424,"(fabs (tan (* (+ (+ z0 z0) PI) 1/4)))":7296,"(fabs (tan (* -1/4 (+ (+ z0 z0) PI))))":7296,"(fabs (tan (- (* -1/2 z0) (* 5/4 PI))))":7424,"(fabs (tan (- (* 1/4 PI) (* -1/2 z0))))":7424,"(log (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4)))))":29184,"(log (* (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) (- (cos (* -1/2 z0)) (sin (* -1/2 z0)))))":29184,"(log (* (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))) (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI)))))))":22784,"(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)))))))":80256,"(log (- (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4))) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4)))))":39040,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":20992,"(log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)))":20992,"(log (/ (- -1 z0) (- z0 1)))":7552,"(log (/ 1 (/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4)))))":22336,"(log (fabs (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2))))":21504,"(log (fabs (- (* (sin (* -1/4 PI)) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (cos (* -1/4 PI))))))":34304,"(log (fabs (- (* (sin z0) z1) -1)))":13504,"(log (fabs (- (* (sin z0) z1) 1)))":13504,"(log (fabs (- -1 (* (sin z0) z1))))":13504,"(log (fabs (- -1 z0)))":6784,"(log (fabs (- z0 1)))":6784,"(log (fabs (/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1))))))":21696,"(log (fabs (cos (* (+ (+ z0 z0) PI) -1/4))))":13696,"(log (fabs (sin (* (- (* -2 z0) PI) -1/4))))":13824,"(log (fabs (sin (* (- PI (* z0 2)) -1/4))))":13824,"(log (fabs (sin (- (* -1/4 PI) (* z0 1/2)))))":13824,"(log (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))":13696,"(log (fabs (tan (* -1/4 (+ (+ z0 z0) PI)))))":13696,"(log (fabs (tan (- (* 1/4 PI) (* -1/2 z0)))))":13824,"(log (tan (* (+ (+ z0 PI) z0) 1/4)))":13568,"(log (tan (* (+ (+ z0 z0) PI) 1/4)))":13568,"(log (tan (+ (* PI 1/4) (* 1/2 z0))))":13696,"(log (tan (+ (+ (* z0 1/2) (+ (* 13/4 PI) PI)) PI)))":14080,"(log (tan (+ (+ (* z0 1/2) (+ (* 5/4 PI) PI)) PI)))":14080,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":14080,"(log (tan (- (* 5/4 PI) (* -1/2 z0))))":13696,"(log (tan (- (* z0 1/2) (* -1/4 PI))))":13696,"(log (tan (- (* z0 1/2) (* -13/4 PI))))":13696,"(pow (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) 2)":13952,"(pow (* (sin z0) z1) -1)":13248,"(pow (* (sin z0) z1) 1)":13248,"(pow (* 1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2)) -2)":14144,"(pow (* z0 z0) -1)":6848,"(pow (* z0 z1) -1)":6848,"(pow (+ (/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4))) (/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* 2 z0) PI) -1/4)))) z1)":39360,"(pow (+ (/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4))) (/ (/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2) (cos (* (+ (* 2 z0) PI) -1/4)))) z1)":46336,"(pow (- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) -2)":14144,"(pow (- (* (sin z0) z1) 1) 2)":13440,"(pow (- (cos (+ z0 z0)) -1) -2)":13312,"(pow (- (cos (+ z0 z0)) -1) 2)":13312,"(pow (- -1 (* (* (sin z0) z1) (sin z0))) -2)":20160,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2)":14144,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) 2)":14144,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":21376,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2))":21376,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2))":21184,"(pow (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI)))) (/ 1 z1))":22272,"(pow (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI)))) z1)":21568,"(pow (/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))) -1)":22336,"(pow (/ z0 z1) (/ 1 z2))":7936,"(pow (asin (* (sin z0) z1)) -2)":19648,"(pow (asin (* (sin z0) z1)) -3)":19648,"(pow (asin (* (sin z0) z1)) 2)":19648,"(pow (asin (* (sin z0) z1)) 3)":19648,"(pow (asin (- (* (sin z0) z1))) 3)":19776,"(pow (cos (+ z0 z0)) -1)":13120,"(pow (cos z0) -1)":12928,"(pow (cos z0) -4)":12928,"(pow (cos z0) 2)":12928,"(pow (cos z0) 4)":12928,"(pow (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 3/2)":21632,"(pow (sin (* 4 z0)) -1)":13248,"(pow (sin z0) -1)":12928,"(pow (sin z0) -2)":12928,"(pow (sin z0) 2)":12928,"(pow (sin z0) 3)":12928,"(pow (sqrt (sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))))) 2)":22528,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) (/ 1 z1))":14336,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":13632,"(pow (tan (+ (* 1/2 z0) (/ PI 4))) z1)":14144,"(pow (tan (+ (* 13/4 PI) (* z0 1/2))) (/ 1 z1))":14464,"(pow (tan (+ (* 13/4 PI) (* z0 1/2))) z1)":13760,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) (- z1))":13888,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) (/ 1 z1))":14464,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1)":13760,"(pow (tan (/ 1 (/ 4 (+ (* z0 2) PI)))) (/ 1 z1))":15552,"(sin (* (+ (* 2 z0) PI) -1/4))":7296,"(sin (* (+ (* z0 2) PI) -1/4))":7296,"(sin (* (+ (+ z0 z0) PI) -1/4))":7168,"(sin (* (+ (+ z0 z0) PI) 1/4))":7168,"(sin (* (- (* -2 z0) PI) -1/4))":7296,"(sin (* (- (* PI 1/2) z0) 1/2))":7296,"(sin (* (- (* z0 -2) PI) -1/4))":7296,"(sin (* (- PI (* z0 2)) -1/4))":7296,"(sin (* (- PI (+ z0 z0)) 1/4))":7168,"(sin (* -3 z0))":6784,"(sin (* 1/2 (* z0 z1)))":7104,"(sin (* 2 (- (+ z0 (* PI 1/2)))))":7424,"(sin (* 3 z0))":6784,"(sin (* z0 z1))":6784,"(sin (+ (* (+ (+ z0 z0) PI) 1/4) PI))":7360,"(sin (+ (* -1/2 z0) (* 1/4 PI)))":7296,"(sin (+ (* -2 z0) (* PI 1/2)))":7296,"(sin (+ (* 1/2 PI) z0))":6976,"(sin (+ (* PI 1/2) (+ z0 z0)))":7168,"(sin (+ (* PI 1/2) (- (* -1/2 z0) (* 1/4 PI))))":7808,"(sin (+ (* PI 1/2) z0))":6976,"(sin (+ (* z0 1/2) (* 1/4 PI)))":7296,"(sin (+ (+ (* PI 1/2) z0) z0))":7168,"(sin (+ (+ (* PI 1/2) z0) z1))":7168,"(sin (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI))":7872,"(sin (+ (+ (+ (* PI 1/2) (+ z0 z0)) PI) PI))":7552,"(sin (+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2)))))":8960,"(sin (+ (+ (- (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI) (* -1/2 PI)) PI) PI))":8768,"(sin (+ (- (* -1/4 PI) (* 1/2 (- z0 PI))) (- (* z0 1/2) (* -1/4 PI))))":8512,"(sin (+ (- (* 3 z0)) PI))":7104,"(sin (+ (- (+ (* PI 1/2) (+ z0 (* PI 1/2))) (- (+ z0 (* PI 1/2)))) (* PI 1/2)))":8832,"(sin (+ (- (- z0)) (* PI 1/2)))":7232,"(sin (+ (- (fabs (+ z0 z0))) (* PI 1/2)))":7424,"(sin (+ (- (fabs z0)) (* PI 1/2)))":7232,"(sin (+ (- z0) (* PI 1/2)))":7104,"(sin (+ (- z0) PI))":6784,"(sin (+ (/ z0 z1) z2))":7360,"(sin (+ (fabs (+ z0 z0)) (* PI 1/2)))":7296,"(sin (+ (fabs (- (* z0 1/2) (* -1/4 PI))) (- (* -1/4 PI) (* 1/2 (- z0 PI)))))":8640,"(sin (+ (fabs z0) (* PI 1/2)))":7104,"(sin (+ z0 (fabs z1)))":6784,"(sin (+ z0 z1))":6656,"(sin (- (* (+ (+ z0 z0) PI) 1/4) (* -1/2 PI)))":7680,"(sin (- (* (+ (+ z0 z0) PI) 1/4) PI))":7360,"(sin (- (* -1/2 PI) (/ z0 z1)))":7680,"(sin (- (* -1/2 z0) (* -1/4 PI)))":7296,"(sin (- (* -1/2 z0) (* 1/4 PI)))":7296,"(sin (- (* -1/2 z0) (* 5/4 PI)))":7296,"(sin (- (* -1/4 PI) (* (- z0 PI) 1/2)))":7488,"(sin (- (* -1/4 PI) (* -1/2 z0)))":7296,"(sin (- (* -1/4 PI) (* z0 1/2)))":7296,"(sin (- (* -3 z0) PI))":6976,"(sin (- (* 1/2 PI) (fabs (* z0 z1))))":7424,"(sin (- (* 1/4 PI) (* z0 1/2)))":7296,"(sin (- (* 1/4 PI) (- (* -1/2 z0) PI)))":7488,"(sin (- (* PI 1/2) (* z0 z1)))":7296,"(sin (- (* z0 1/2) (* -1/4 PI)))":7296,"(sin (- (* z0 1/2) (* 1/4 PI)))":7296,"(sin (- (* z0 z1) (* -1/2 PI)))":7296,"(sin (- (+ (* PI 1/2) (- (+ (* PI 1/2) z0) (* -1/2 PI))) (- (* -1/2 PI) z0)))":8704,"(sin (- (+ (* PI 1/2) z0) (- z0)))":7296,"(sin (- (+ (* PI 1/2) z0) z1))":7168,"(sin (- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2)))))":8960,"(sin (- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (- (* z0 1/2) (* -1/4 PI))))":8512,"(sin (- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (fabs (- (* z0 1/2) (* -1/4 PI)))))":8640,"(sin (- (- (* 1/2 PI) (* (- (+ z0 z0) PI) -1/4)) (* (- PI (+ z0 z0)) -1/4)))":8576,"(sin (- (- (* 1/2 PI) (* (- (+ z0 z0) PI) -1/4)) (* (- PI (+ z0 z0)) 1/4)))":8576,"(sin (- (- z0) (* PI 1/2)))":7104,"(sin (- (/ (- z0) z1) (* 1/2 PI)))":7808,"(sin (- z0 (* -1/2 PI)))":6976,"(sin (- z0 (- (/ z1 z2) (* -1/2 PI))))":7872,"(sin (- z0 (fabs z1)))":6784,"(sin (- z0 z1))":6656,"(sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))":8704,"(sin (/ (- 0 (+ (+ z0 z0) PI)) 2))":7744,"(sin (/ (- z0) z1))":7296,"(sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1)))":14464,"(sin (/ z0 z1))":7168,"(sin (fabs (* z0 z1)))":6912,"(sqrt (* (* (fabs (- 1 (* z0 z0))) (fabs (- z0 -1))) (sqrt (fabs (- z0 1)))))":3264,"(sqrt (* (* z0 z0) (* z0 z0)))":1664,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)))":8768,"(sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0))))":2304,"(sqrt (* (sqrt (fabs (- z0 1))) (fabs (- z0 -1))))":2304,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":1920,"(sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1)))))":3584,"(sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))))":15424,"(sqrt (* 1/2 (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1)))))":8448,"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))":1856,"(sqrt (+ (* z0 z0) (* z1 z1)))":1536,"(sqrt (+ (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) 1/2)))":20864,"(sqrt (+ 1 (/ (* z0 z0) (* z1 z1))))":2240,"(sqrt (- (* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2) (- (* (cos (+ z0 z0)) 1/2) 1/2)))":22528,"(sqrt (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":8320,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":8320,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":2240,"(sqrt (- (* z0 z0) -1))":1216,"(sqrt (- (* z0 z0) 1))":1216,"(sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2)))":20864,"(sqrt (- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2))))":22848,"(sqrt (- (/ (* (pow (cos z0) 4) z1) z2) -1))":14784,"(sqrt (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))":15424,"(sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1)))":8320,"(sqrt (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":8320,"(sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2))))":15424,"(sqrt (- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":15424,"(sqrt (/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1)))":22656,"(sqrt (/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) (+ 1 (* z2 (* (sin z1) (sin z1))))))":22656,"(sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15808,"(sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)))":22272,"(sqrt (fabs (+ (* (pow (cos z0) 4) z1) z2)))":14208,"(sqrt (fabs (+ z0 (* (pow (cos z1) 4) z2))))":14208,"(sqrt (fabs (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1)))":8448,"(sqrt (fabs (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1)))":8448,"(sqrt (fabs (- (* z0 z0) 1)))":1344,"(sqrt (fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))))":8448,"(sqrt (fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))))":8448,"(sqrt (fabs (- 1 (* z0 z0))))":1344,"(sqrt (fabs (/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))))":16768,"(sqrt (fabs (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))))":16768,"(sqrt (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1)))))":15488,"(sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI)))))":8064,"(sqrt (pow (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 3/2))":22272,"(sqrt (sqrt (* (* (fabs (- 1 (* z0 z0))) (fabs (- z0 -1))) (sqrt (fabs (- z0 1))))))":3904,"(sqrt (sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))))":16064,"(sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":2496,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":2176,"(sqrt (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))))":16064,"(sqrt (sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16448,"(sqrt (sqrt (fabs z0)))":1472,"(sqrt (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":2816,"(sqrt (sqrt (sqrt (fabs z0))))":2112,"(sqrt (sqrt z0))":1344,"(tan (* (+ (+ z0 PI) z0) 1/4))":7168,"(tan (* (+ (+ z0 z0) PI) 1/4))":7168,"(tan (* (- (* PI 1/2) z0) 1/2))":7296,"(tan (* -1/4 (+ (+ z0 z0) PI)))":7168,"(tan (* 1/2 (- (/ PI 2) z0)))":7680,"(tan (+ (* (- (* PI 1/2) z0) 1/2) PI))":7488,"(tan (+ (* 1/2 z0) (/ PI 4)))":7680,"(tan (+ (* 13/4 PI) (* z0 1/2)))":7296,"(tan (+ (* PI 1/2) z0))":6976,"(tan (+ (* PI 1/4) (* 1/2 z0)))":7296,"(tan (+ (+ (* (+ (+ z0 z0) PI) 1/4) PI) PI))":7552,"(tan (+ (+ (* z0 1/2) (+ (* 13/4 PI) PI)) PI))":7680,"(tan (+ (+ (* z0 1/2) (+ (* 5/4 PI) PI)) PI))":7680,"(tan (+ (/ PI 4) (* 1/2 z0)))":7680,"(tan (- (* -1/2 z0) (* 5/4 PI)))":7296,"(tan (- (* 1/4 PI) (* -1/2 z0)))":7296,"(tan (- (* 13/4 PI) (* -1/2 z0)))":7296,"(tan (- (* 5/4 PI) (* -1/2 z0)))":7296,"(tan (- (* z0 1/2) (* -1/4 PI)))":7296,"(tan (- (* z0 1/2) (* -13/4 PI)))":7296,"(tan (/ 1 (/ 4 (+ (* z0 2) PI))))":8384}