{"(* (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (sin (+ (* z0 1/2) (* 1/4 PI))))":308,"(* (* (* (sqrt 2) 1/2) (sin (- (* -1/2 z0) (* -1/4 PI)))) (cos (* -1/2 z0)))":411,"(* (* (* 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)":190,"(* (* (* 2 z0) (sin z1)) (cos z1))":219,"(* (* (* z0 z0) (sqrt z1)) (- -1/2 (* -1/2 (cos (+ z2 z2)))))":221,"(* (* (+ (cos (+ z0 z0)) 1) 1/2) (- 1/2 (* (cos (+ z1 z1)) -1/2)))":255,"(* (* (+ z0 z0) (sin z1)) (cos z1))":176,"(* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2)":283,"(* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":287,"(* (* (- (cos (+ z0 z0)) 1) 1/2) z1)":1529,"(* (* (- (cos (+ z0 z0)) 1) z1) 1/2)":1834,"(* (* (- 1 (cos (+ z0 z0))) 1/2) z1)":594,"(* (* (- 1 (cos (+ z0 z0))) z1) 1/2)":1180,"(* (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1)) 1/2)":251,"(* (* (- z0 (/ 1 z0)) 1/2) (tan z1))":349,"(* (* (- z0) z1) (sqrt (+ (* z2 z2) (* z0 z0))))":185,"(* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))))":404,"(* (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (sin (+ (* -1/2 z0) (* 1/4 PI))))":1568,"(* (* (cos z0) (cos z1)) (sin z2))":449,"(* (* (cos z0) (sin z1)) (cos z2))":480,"(* (* (cos z0) z1) (cos z2))":931,"(* (* (cos z0) z1) (sin z2))":561,"(* (* (sin (* -1/2 z0)) (sin (- (* -1/2 z0) (* -1/4 PI)))) (sqrt 2))":167,"(* (* (sin (* -1/4 PI)) (sin (* z0 1/2))) (sin (- (* -1/4 PI) (* (- z0 PI) 1/2))))":229,"(* (* (sin z0) (cos z1)) (cos z2))":185,"(* (* (sin z0) z1) (- 1 (* (sin z0) z1)))":165,"(* (* (sin z0) z1) (cos z2))":559,"(* (* (sin z0) z1) (sin z0))":430,"(* (* (sin z0) z1) -1)":400,"(* (* (sin z0) z1) 1)":205,"(* (* (sin z0) z1) 2)":184,"(* (* (sin z0) z1) z2)":1053,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (/ 1 (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1))))))))":200,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (sqrt (sqrt (fabs (- 1 z0)))))":410,"(* (* (sqrt 2) 1/2) (* (cos (* -1/2 z0)) (/ 1 (cos (* (+ (+ z0 z0) PI) -1/4)))))":200,"(* (* (sqrt 2) 1/2) (+ (cos (* -1/2 z0)) (sin (* z0 1/2))))":242,"(* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* z0 1/2))))":861,"(* (* (sqrt 2) 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))":188,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":1188,"(* (* (sqrt 2) 1/2) (sin (* -1/2 z0)))":240,"(* (* (sqrt 2) 1/2) (sin (* z0 1/2)))":271,"(* (* (sqrt 2) 1/2) (sin (- (* -1/2 z0) (* -1/4 PI))))":463,"(* (* (tan z0) 1/2) (- z1 (/ 1 z1)))":852,"(* (* -1/2 (- (/ 1 z0) z0)) (tan z1))":204,"(* (* 1 (sin (* z0 z1))) 2)":236,"(* (* 1/2 (sin z0)) z1)":176,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":2827,"(* (* 1/2 z0) (- (cos (+ z1 z1))))":193,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":12847,"(* (* 1/2 z0) (pow (- (cos (+ z1 z1)) -1) 2))":240,"(* (* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))) z1)":190,"(* (* 2 z0) (sin z1))":245,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":11157,"(* (* z0 (sin z1)) (* z0 (sin z1)))":1771,"(* (* z0 (sin z1)) (sin z1))":586,"(* (* z0 z0) (sqrt z1))":232,"(* (* z0 z1) (sin z2))":560,"(* (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":416,"(* (+ (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) (/ 1 (pow z1 -4))) -4165541759/500000000000000000000000000000000)":210,"(* (+ (* 1/2 (cos (+ z0 z0))) -1/2) z1)":215,"(* (+ (* z0 1) (* z0 (- (cos (+ z1 z1))))) 1/2)":212,"(* (+ (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) 1) 1/2)":416,"(* (+ (cos (+ z0 z0)) 1) 1/2)":3083,"(* (+ (cos z0) (sin z0)) (- (cos z0) (sin z0)))":304,"(* (+ (sin (- z0 (- (/ z1 z2) (* -1/2 PI)))) (cos (+ (/ z1 z2) z0))) 1/2)":298,"(* (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z0 (* (sin z1) (sin z1)))))":411,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (- 1/2 (* -1/2 (cos (+ z1 z1)))))":211,"(* (+ z0 z0) (sin z1))":230,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- (* (* (- 1 (cos (+ z1 z1))) z2) 1/2) -1))":414,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- -1 (* (* (- 1 (cos (+ z1 z1))) z2) 1/2)))":314,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- 1 (* z2 z2)))":359,"(* (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3) z1)":180,"(* (- (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)) -1) (sqrt z2))":203,"(* (- (* (- 1 (cos (+ z0 z0))) z1) -2) 1/2)":337,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1))":337,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4)":241,"(* (- (* (sin z0) z1) 1) (* (sin z0) z1))":243,"(* (- (* (sin z0) z1) 1) (- 1 (* (sin z0) z1)))":266,"(* (- (* -1/2 (cos (+ z0 z0))) -1/2) 4)":165,"(* (- (* 1/2 (cos (+ z0 z0))) 1/2) z1)":190,"(* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":489,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) 2)":471,"(* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2))":326,"(* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))))":435,"(* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2)))":305,"(* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":673,"(* (- (cos (+ z0 z0)) -1) 1/2)":1648,"(* (- (cos (+ z0 z0)) -1) z1)":339,"(* (- (cos (+ z0 z0)) 1) -1/2)":191,"(* (- (cos (+ z0 z0)) 1) 1/2)":1725,"(* (- (cos (+ z0 z0)) 1) z1)":3392,"(* (- (sin (* -1/2 z0)) (cos (* -1/2 z0))) (* (sqrt 2) 1/2))":228,"(* (- (sin z0)) (cos z1))":334,"(* (- (sin z0)) (sin z0))":909,"(* (- (sin z0)) z1)":201,"(* (- (sqrt (fabs z0))) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":288,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2))":236,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* z2 z2) 1))":303,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))))":232,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":195,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* z2 z2) 1))":1542,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":306,"(* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1))":1769,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))":927,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":194,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) (* (cos z1) z2))":1357,"(* (- 1 (* z0 (* z1 z1))) (tan z2))":242,"(* (- 1 (* z0 z0)) (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1))":214,"(* (- 1 (cos (+ z0 z0))) 1/2)":796,"(* (- 1 (cos (+ z0 z0))) z1)":3019,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1))":251,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 1/2)":428,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2))":1244,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2))":218,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))":2241,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)":298,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":511,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":466,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (- z1))":925,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":2092,"(* (- z0) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":214,"(* (- z0) (cos z1))":313,"(* (- z0) (log (/ (- -1 (* (sin z1) z2)) (- (* (sin z1) z2) 1))))":248,"(* (- z0) (pow (cos z1) 4))":244,"(* (- z0) (sin (* 3 z1)))":197,"(* (- z0) (sin (* 4 z1)))":395,"(* (- z0) (sin z1))":2966,"(* (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))":420,"(* (/ (pow (cos z0) 4) z1) z2)":165,"(* (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (* (sqrt 2) 1/2)) (/ z1 (- (sin (* z0 1/2)) (cos (* -1/2 z0)))))":332,"(* (/ (sin z0) (cos z0)) z1)":202,"(* (/ (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1))))))) (- (sqrt (fabs (- z0 -1)))))":374,"(* (/ (sqrt 2) 2) (cos (* -1/2 z0)))":1148,"(* (/ (sqrt 2) 2) (sin (* z0 1/2)))":1999,"(* (/ -2 (asin (* (sin z0) z1))) (/ 2 (asin (* (sin z0) z1))))":212,"(* (/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))":420,"(* (/ 1 (cos (- (* z0 1/2) (* -1/4 PI)))) (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)))":563,"(* (/ 1 (pow (sin (* 4 z0)) -1)) z1)":211,"(* (/ 1 (pow (sin z0) -1)) z1)":214,"(* (/ 1 (sin z0)) (/ z1 (sin z0)))":402,"(* (/ 1 z0) (/ z0 (sin z1)))":194,"(* (/ 2 (asin (* (sin z0) z1))) (/ -2 (asin (* (sin z0) z1))))":212,"(* (/ z0 (cos z1)) z2)":333,"(* (/ z0 (sin 27401669256311/20000000000000)) z1)":191,"(* (/ z0 (sin z1)) (/ z0 (sin z1)))":214,"(* (/ z0 (sin z1)) 1)":212,"(* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":896,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2)))":423,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)":10816,"(* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4)))":201,"(* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2)":409,"(* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))":1301,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":4372,"(* (cos (* -1/2 z0)) (/ 1 (cos (* (+ (+ z0 z0) PI) -1/4))))":218,"(* (cos (* -1/2 z0)) (sqrt 2))":248,"(* (cos (* -1/4 PI)) (cos (* -1/2 z0)))":312,"(* (cos (* -1/4 PI)) (sin (* -1/2 z0)))":336,"(* (cos (* -2 (+ (/ z0 z1) z2))) 1/2)":181,"(* (cos (* 1/2 PI)) (sin (+ (/ z0 z1) z2)))":168,"(* (cos (* 1/4 PI)) (cos (* -1/2 z0)))":1328,"(* (cos (* z0 z1)) 2)":303,"(* (cos -27401669256311/20000000000000) z0)":213,"(* (cos z0) (* (cos z0) (* (cos z1) (cos z1))))":215,"(* (cos z0) (* (cos z1) (cos z1)))":215,"(* (cos z0) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))))":937,"(* (cos z0) (cos z0))":776,"(* (cos z0) (sin (- (- z0) (* PI 1/2))))":201,"(* (cos z0) (sin (- (/ (- z1) z2) (* 1/2 PI))))":446,"(* (cos z0) (sin z0))":303,"(* (cos z0) (sin z1))":5826,"(* (cos z0) (tan z1))":1303,"(* (cos z0) z1)":6355,"(* (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 1/2)":208,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":4497,"(* (log (fabs (- -1 z0))) z1)":169,"(* (log (fabs (- z0 1))) z1)":173,"(* (pow (- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) -2) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":648,"(* (pow (- (cos (+ z0 z0)) -1) 2) (* 1/2 z1))":294,"(* (pow (- (cos (+ z0 z0)) -1) 2) z1)":376,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":863,"(* (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2)) (tan (* (+ (+ z0 z0) PI) 1/4)))":284,"(* (pow (asin (* (sin z0) z1)) 2) 2)":1065,"(* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)":535,"(* (pow (cos z0) -4) z1)":200,"(* (pow (cos z0) 4) z1)":5157,"(* (pow (sin z0) 1) z1)":194,"(* (pow (sin z0) 3) 4)":652,"(* (pow (tan (* (+ (+ z0 z0) PI) 1/4)) (/ 1 z1)) (pow z2 (/ -1 z1)))":201,"(* (sin (* (+ (* 2 z0) PI) -1/4)) z1)":337,"(* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4)))":366,"(* (sin (* -1/2 z0)) (* (sqrt 2) 1/2))":1697,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":4552,"(* (sin (* -1/2 z0)) (sin (* -1/4 PI)))":234,"(* (sin (* -1/2 z0)) (sin (- (* -1/2 z0) (* -1/4 PI))))":206,"(* (sin (* -1/2 z0)) (sqrt 2))":296,"(* (sin (* -1/4 PI)) (cos (* -1/2 z0)))":811,"(* (sin (* -1/4 PI)) (sin (* z0 1/2)))":268,"(* (sin (* -3 z0)) z1)":990,"(* (sin (* 1/2 (* z0 z1))) (sin (* 1/2 (* z0 z1))))":166,"(* (sin (* 1/4 PI)) (cos (* -1/2 z0)))":235,"(* (sin (* 1/4 PI)) (sin (* z0 1/2)))":1531,"(* (sin (* 3 z0)) z1)":4039,"(* (sin (* 4 z0)) (/ z1 z2))":184,"(* (sin (* 4 z0)) z1)":4441,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":1212,"(* (sin (* z0 1/2)) (cos (* -1/4 PI)))":503,"(* (sin (* z0 1/2)) (sqrt 2))":199,"(* (sin (* z0 z1)) 2)":310,"(* (sin (* z0 z1)) z2)":1221,"(* (sin (+ (* -1/2 z0) (* 1/4 PI))) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))":1902,"(* (sin (+ (* z0 1/2) (* 1/4 PI))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":331,"(* (sin (+ (- z0) PI)) (sin PI))":346,"(* (sin (+ z0 z0)) (cos (* PI 1/2)))":274,"(* (sin (+ z0 z0)) z1)":4430,"(* (sin (- (* -1/2 z0) (* -1/4 PI))) (- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))))":230,"(* (sin (- (* -3 z0) PI)) z1)":171,"(* (sin (- (* z0 1/2) (* -1/4 PI))) (- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))))":197,"(* (sin (- z0 (* -1/2 PI))) (sin (- (/ (- z1) z2) (* 1/2 PI))))":294,"(* (sin (/ (+ z0 z0) 4)) (sin (/ (- PI) 4)))":201,"(* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)))":190,"(* (sin (/ (- 0 (+ (+ z0 z0) PI)) 2)) (cos (/ (+ 0 (+ (+ z0 z0) PI)) 2)))":174,"(* (sin (/ z0 z1)) (sin z2))":830,"(* (sin z0) (* (sin z0) z1))":346,"(* (sin z0) (+ z1 (* (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3) z2)))":175,"(* (sin z0) (- (sin z0)))":699,"(* (sin z0) (cos (* 1/2 PI)))":182,"(* (sin z0) (cos (+ (- z1) (* PI 1/2))))":249,"(* (sin z0) (cos (- (- z0) (* PI 1/2))))":201,"(* (sin z0) (cos (- (/ z1 z2) (* -1/2 PI))))":238,"(* (sin z0) (cos z1))":8702,"(* (sin z0) (sin z0))":6382,"(* (sin z0) z1)":85735,"(* (sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))) (cos z1))":199,"(* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) (sqrt (sqrt (fabs (- 1 z0)))))":1008,"(* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2)))":188,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) (cos z0))":181,"(* (sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))) (sqrt (fabs z2)))":430,"(* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0))))":587,"(* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1)))))":835,"(* (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))) (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))))":209,"(* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":766,"(* (sqrt (fabs z0)) (fabs z0))":628,"(* (sqrt (fabs z0)) z0)":220,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1))))":1432,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1))))":592,"(* (sqrt (sqrt (fabs z0))) (fabs z0))":188,"(* (sqrt (sqrt (fabs z0))) z0)":224,"(* (sqrt (sqrt (sqrt (fabs (- z0 1))))) (sqrt (sqrt (sqrt (fabs (- z0 1))))))":805,"(* (sqrt z0) z1)":584,"(* (tan (* (+ (+ z0 z0) PI) 1/4)) (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2)))":177,"(* (tan (+ (* 1/2 z0) (/ PI 4))) z1)":815,"(* (tan (+ (+ (* (+ (+ z0 z0) PI) 1/4) PI) PI)) z1)":225,"(* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z0 z1) (/ 1 z2)))":222,"(* (tan z0) (/ z1 (cos z2)))":361,"(* (tan z0) (cos z1))":434,"(* (tan z0) z1)":2302,"(* -1 (* (sin z0) z1))":337,"(* -1/2 (cos (* -2 (acos (* (sin z0) (cos z1))))))":328,"(* -1/2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":184,"(* -2 (* (sin z0) z1))":1396,"(* -2 (acos (* (sin z0) (cos z1))))":349,"(* -2 (pow (asin (* (sin z0) z1)) 2))":1523,"(* -3689471323/1000000000000000000000000000000000 (+ (* (* z0 z0) (* z0 z0)) (+ (pow z1 4) (* -6 (* (* z0 z0) (* z1 z1))))))":227,"(* -4 (- (* -1/2 (cos (+ z0 z0))) -1/2))":266,"(* 1 (- (sqrt (fabs (- (* z0 z0) 1)))))":328,"(* 1 (log (fabs (tan (- (* 1/4 PI) (* -1/2 z0))))))":515,"(* 1 (sin (* z0 z1)))":258,"(* 1/2 (* (sin z0) z1))":396,"(* 1/2 (+ (* (- 1 (cos (+ z0 z0))) z1) 2))":441,"(* 1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))":668,"(* 1/2 (- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2))))":269,"(* 1/2 (- 1 (cos (+ z0 z0))))":377,"(* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))":597,"(* 1/2 (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":179,"(* 1/2 (asin (* (sin z0) z1)))":383,"(* 1/2 (cos (* 2 (* (- PI (* z0 2)) -1/4))))":299,"(* 1/2 (cos (* 2 (- (* -1/4 PI) (* z0 1/2)))))":1142,"(* 1/2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":338,"(* 1/2 (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1))))":294,"(* 2 (* (sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2)) (cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))))":190,"(* 2 (* (sin (/ (- 0 (+ (+ z0 z0) PI)) 2)) (cos (/ (+ 0 (+ (+ z0 z0) PI)) 2))))":174,"(* 2 (* (sin z0) z1))":282,"(* 2 (+ (cos (* z0 z1)) (- (cos (* z0 z1)))))":259,"(* 2 (- (cos (- z0 z0)) (cos (+ z0 z0))))":222,"(* 2 (/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":318,"(* 2 (/ 1 (sin z0)))":223,"(* 2 (/ 2 (asin (* (sin z0) z1))))":326,"(* 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":741,"(* 2 (asin (* (sin z0) z1)))":1388,"(* 2 (asin (- (* (sin z0) z1))))":251,"(* 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":446,"(* 2 (log (fabs (- -1 z0))))":364,"(* 2 (pow (asin (* (sin z0) z1)) -2))":414,"(* 3 (sin z0))":1001,"(* 3/2 (* (sin z0) z1))":384,"(* 3/4 (asin (* (sin z0) z1)))":339,"(* 4 (pow (asin (* (sin z0) z1)) -2))":404,"(* z0 (* (- 1/2 (* 1/2 (cos (+ z1 z1)))) z0))":182,"(* z0 (* (cos z1) (sin z2)))":1273,"(* z0 (* (sin z1) (sin z1)))":4268,"(* z0 (* 2 (* (sin (/ (- 0 (+ (+ z1 z1) PI)) 2)) (cos (/ (+ 0 (+ (+ z1 z1) PI)) 2)))))":174,"(* z0 (* z1 (cos (- (- z2) (* PI -1/2)))))":394,"(* z0 (* z1 (sin z2)))":935,"(* z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) 1))":226,"(* z0 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4)))":604,"(* z0 (- (cos (+ z1 z1))))":345,"(* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":175,"(* z0 (- 1 (cos (+ z1 z1))))":11375,"(* z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":683,"(* z0 (/ 1 (pow (sin z1) -1)))":186,"(* z0 (/ 1 (pow (sin z1) -2)))":409,"(* z0 (/ z1 (sin -27401669256311/20000000000000)))":276,"(* z0 (/ z1 (sqrt (+ (* z0 z0) (* z2 z2)))))":269,"(* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":839,"(* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":879,"(* z0 (cos (- (- z1) (* PI -1/2))))":397,"(* z0 (cos z1))":1577,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":5384,"(* z0 (pow (sin z1) 1))":173,"(* z0 (pow (sin z1) 2))":1034,"(* z0 (sin (* 2 (- (+ z1 (* PI 1/2))))))":223,"(* z0 (sin (* 2 z1)))":2451,"(* z0 (sin (* 3 z1)))":1665,"(* z0 (sin (* 4 z1)))":4518,"(* z0 (sin (* z1 z2)))":211,"(* z0 (sin (+ (- (* 3 z1)) PI)))":329,"(* z0 (sin (+ (- (+ (* PI 1/2) (+ z1 (* PI 1/2))) (- (+ z1 (* PI 1/2)))) (* PI 1/2))))":217,"(* z0 (sin (+ (- z1) PI)))":190,"(* z0 (sin (- (+ (* PI 1/2) (- (+ (* PI 1/2) z1) (* -1/2 PI))) (- (* -1/2 PI) z1))))":224,"(* z0 (sin z1))":34044,"(* z0 (sqrt z1))":436,"(* z0 (tan z1))":1146,"(+ (* (* 1/2 z0) 1) (* (* 1/2 z0) (- (cos (+ z1 z1)))))":176,"(+ (* (* z0 z0) (* z0 z0)) (+ (pow z1 4) (* -6 (* (* z0 z0) (* z1 z1)))))":228,"(+ (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) (/ 1 (pow z1 -4)))":210,"(+ (* (- 1 (cos (+ z0 z0))) z1) 2)":574,"(+ (* (/ 1 z0) (/ z0 (sin z1))) (/ 0 (sin z1)))":186,"(+ (* (pow (cos z0) 4) z1) z2)":2727,"(+ (* (sin (* 3 z0)) z1) (* (sin z0) z2))":2890,"(+ (* (sin (+ z0 z0)) (cos (* PI 1/2))) (* (cos (+ z0 z0)) (sin (* PI 1/2))))":183,"(+ (* 0 z0) (* (sin z1) z0))":283,"(+ (* 1/2 (cos (+ z0 z0))) -1/2)":276,"(+ (* z0 (sin z1)) (* z2 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4))))":590,"(+ (* z0 (sin z1)) (* z2 (sin (* 3 z1))))":1041,"(+ (* z0 (sin z1)) (* z2 (sin (+ (- (* 3 z1)) PI))))":324,"(+ (* z0 1) (* z0 (- (cos (+ z1 z1)))))":339,"(+ (* z0 z1) (* (sin (* 4 z0)) z2))":182,"(+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))":849,"(+ (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) 1/2))":188,"(+ (/ (* (/ (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))))":253,"(+ (/ (* (/ (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))))":236,"(+ (/ 3/2 (sin z0)) (/ 1/2 (sin z0)))":464,"(+ (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) 1)":433,"(+ (cos (* -1/2 z0)) (sin (* z0 1/2)))":505,"(+ (cos (* z0 z1)) (- (cos (* z0 z1))))":271,"(+ (cos (+ (- z0) (fabs z0))) (cos (- (- z0) (fabs z0))))":246,"(+ (cos (+ (- z0) z0)) (cos (+ z0 z0)))":242,"(+ (cos (+ (fabs z0) (- z0))) (cos (- (fabs z0) (- z0))))":246,"(+ (cos (+ (fabs z0) z0)) (cos (- (fabs z0) z0)))":297,"(+ (cos (+ z0 (fabs z0))) (cos (- z0 (fabs z0))))":246,"(+ (cos (+ z0 z0)) (cos (- z0 z0)))":235,"(+ (cos (+ z0 z0)) 1)":3185,"(+ (cos (+ z0 z1)) (cos (- z1 z0)))":180,"(+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI))))":464,"(+ (cos (- z0 z1)) (cos (+ z0 z1)))":519,"(+ (cos z0) (sin z0))":320,"(+ (fabs (- (* z0 1/2) (* -1/4 PI))) (- (* -1/4 PI) (* 1/2 (- z0 PI))))":206,"(+ (log (tan (* (+ (+ z0 PI) z0) 1/4))) z1)":165,"(+ (log (tan (* (+ (+ z0 z0) PI) 1/4))) z1)":473,"(+ (pow z0 4) (* -6 (* (* z1 z1) (* z0 z0))))":253,"(+ (sin (* z0 1/2)) (cos (* z0 1/2)))":940,"(+ (sin (+ z0 z1)) (sin (- z0 z1)))":286,"(+ (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))))))":737,"(+ (sin (- z0 (- (/ z1 z2) (* -1/2 PI)))) (cos (+ (/ z1 z2) z0)))":304,"(+ (sin (- z0 z1)) (sin (+ z0 z1)))":187,"(+ (sin (- z0 z1)) (sin (+ z1 z0)))":178,"(+ 1 (* (* z0 (sin z1)) (sin z1)))":382,"(+ 1 (* (- (sin z0)) (sin z0)))":284,"(+ 1 (* z0 (* (sin z1) (sin z1))))":3573,"(+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":169,"(+ 1 (* z0 (- 1/2 (* 1/2 (cos (+ z1 z1))))))":631,"(+ 1 (* z0 (/ 1 (pow (sin z1) -2))))":405,"(+ 1 (* z0 (pow (sin z1) 2)))":841,"(+ 1 (sin z0))":476,"(+ 1/2 (* (cos (+ z0 z0)) 1/2))":792,"(+ 1/2 (* 1/2 (cos (* 2 (* (- PI (* z0 2)) -1/4)))))":299,"(+ 1/2 (* 1/2 (cos (* 2 (- (* -1/4 PI) (* z0 1/2))))))":1140,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":179,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":4495,"(+ z0 (* (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) 4) -3) z2))":177,"(+ z0 (* (pow (cos z1) 4) z2))":406,"(+ z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":393,"(- (* (* (* (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))))":260,"(- (* (* (* (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))))":239,"(- (* (* (* 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)":190,"(- (* (* (* z0 z0) (+ (* -6 (* z1 z1)) (* z0 z0))) -3689471323/1000000000000000000000000000000000) (* (pow (- z1) 3) (* z1 -3689471323/1000000000000000000000000000000000)))":235,"(- (* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2) (- (* (cos (+ z0 z0)) 1/2) 1/2))":225,"(- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1)":1390,"(- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1)":1681,"(- (* (* (- 1 (cos (+ z0 z0))) z1) 1/2) -1)":528,"(- (* (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (cos (+ z1 z1)) -1)) 1/2) (- -1/2 (* -1/2 (cos (+ z1 z1)))))":170,"(- (* (* (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))))":296,"(- (* (* (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))))":1161,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":1824,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1)":622,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1)":4633,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1)":983,"(- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1)":4097,"(- (* (+ (* 1/2 (cos (+ z0 z0))) -1/2) z1) 1)":185,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1)":171,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) 4) -3)":229,"(- (* (- (cos (+ z0 z0)) 1) z1) 2)":688,"(- (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)) -1)":821,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":702,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)) 1/2)":213,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1)) 1)":395,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)":258,"(- (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) -1)":179,"(- (* (- z0) (sin z1)))":448,"(- (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (* (/ (sqrt 2) 2) (cos (* -1/2 z0))))":182,"(- (* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4))) (* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4))))":182,"(- (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2) 1/2)":217,"(- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":235,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2))))":1088,"(- (* (cos (+ z0 z0)) -1/2) 1/2)":308,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":1512,"(- (* (cos z0) (tan z1)) (* (sin z0) z2))":422,"(- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)))":311,"(- (* (sin (* -1/4 PI)) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (cos (* -1/4 PI))))":328,"(- (* (sin (* -3 z0)) z1) (* (sin z0) z2))":390,"(- (* (sin z0) (cos (- (- z0) (* PI 1/2)))) (* (cos z0) (sin (- (- z0) (* PI 1/2)))))":201,"(- (* (sin z0) (cos z1)))":233,"(- (* (sin z0) z1) (* (cos z0) (tan z2)))":229,"(- (* (sin z0) z1) (* (sin (* -3 z0)) z2))":377,"(- (* (sin z0) z1))":2773,"(- (* (tan z0) (cos z1)) (* (sin z1) z2))":185,"(- (* -1/2 (cos (+ z0 z0))) -1/2)":1119,"(- (* -4 (- (* -1/2 (cos (+ z0 z0))) -1/2)) -3)":238,"(- (* 1 (log (fabs (tan (- (* 1/4 PI) (* -1/2 z0)))))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":462,"(- (* 1/2 (cos (+ z0 z0))) 1/2)":394,"(- (* 3 (sin z0)) (* (pow (sin z0) 3) 4))":617,"(- (* 4 (atan (exp (/ z0 z1)))) PI)":300,"(- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))))":866,"(- (* z0 (sin z1)) (* (sin z1) 0))":217,"(- (+ (* (pow (cos z0) 4) z1) z2))":299,"(- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))":861,"(- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2)))":296,"(- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (fabs (- (* z0 1/2) (* -1/4 PI))))":266,"(- (- (pow (asin (* (sin z0) z1)) 2)))":228,"(- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2))":758,"(- (- (sin (* (- (* PI 1/2) z0) 1/2))))":166,"(- (- (sin (fabs (* z0 z1)))))":196,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":357,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2)))":177,"(- (- z0 (* (pow (cos z1) 4) z0)) 1)":231,"(- (/ (* (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))))))":222,"(- (/ (* (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))))":184,"(- (/ (* (pow (cos z0) 4) z1) z2) -1)":572,"(- (/ -2 (* (sin z0) z1)))":390,"(- (/ 1 (sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2)))))":243,"(- (/ 1 (sqrt (fabs (- z0 1)))))":717,"(- (cos (* (+ (+ z0 z0) PI) -1/4)))":310,"(- (cos (* (+ (+ z0 z0) PI) 1/4)))":567,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":3146,"(- (cos (* 1/2 (- z0 (* PI 1/2)))))":176,"(- (cos (* z0 1/2)) (sin (* -1/2 z0)))":167,"(- (cos (* z0 z1)))":547,"(- (cos (+ (/ z0 z1) z2)))":302,"(- (cos (+ z0 z0)) -1)":7169,"(- (cos (+ z0 z0)) 1)":8756,"(- (cos (- (* z0 1/2) (* -1/4 PI))))":400,"(- (cos (- z0 z0)) (cos (+ z0 z0)))":514,"(- (cos 0) (cos (+ z0 z0)))":226,"(- (cos z0) (sin z0))":328,"(- (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":989,"(- (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))":262,"(- (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))":274,"(- (log (tan (+ (* PI 1/4) (* 1/2 z0)))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":203,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":1527,"(- (pow (- (cos (+ z0 z0)) -1) -2))":190,"(- (pow (asin (* (sin z0) z1)) 2))":863,"(- (pow (cos z0) 4))":322,"(- (sin (* (- (* PI 1/2) z0) 1/2)))":209,"(- (sin (* -1/2 z0)) (cos (* -1/2 z0)))":340,"(- (sin (* z0 1/2)) (cos (* -1/2 z0)))":588,"(- (sin (* z0 z1)))":293,"(- (sin (fabs (* z0 z1))))":343,"(- (sin z0) -1)":218,"(- (sqrt (* (sqrt (fabs (- z0 1))) (fabs (- z0 -1)))))":231,"(- (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1))))))":264,"(- (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":447,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":2598,"(- (sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)))":302,"(- (sqrt (- (* z0 z0) 1)))":729,"(- (sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":329,"(- (sqrt (fabs (- (* z0 z0) 1))))":350,"(- (sqrt (fabs (- 1 (* z0 z0)))))":334,"(- (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":214,"(- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":224,"(- (sqrt (sqrt (fabs z0))))":187,"(- -1 (* (* (- 1 (cos (+ z0 z0))) z1) 1/2))":547,"(- -1 (* (* (sin z0) z1) (sin z0)))":396,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":4568,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":6814,"(- -1 (* (+ (* z0 1) (* z0 (- (cos (+ z1 z1))))) 1/2))":195,"(- -1 (* (- -1/2 (* -1/2 (cos (+ z0 z0)))) (* z1 z1)))":583,"(- -1 (/ (* (pow (cos z0) 4) z1) z2))":180,"(- -1 (cos (+ z0 z0)))":766,"(- -1/2 (* -1/2 (cos (+ z0 z0))))":3911,"(- -1/2 (* 1/2 (cos (+ z0 z0))))":228,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2))))":220,"(- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))":533,"(- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":1779,"(- 1 (* (* z0 (sin z1)) (* z0 (sin z1))))":1768,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))":1021,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1)))":1788,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2))":216,"(- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":461,"(- 1 (* z0 (* (sin z1) (sin z1))))":695,"(- 1 (* z0 (pow (sin z1) 2)))":193,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":240,"(- 1 (- 1/2 (* (cos (+ z0 z0)) 1/2)))":264,"(- 1 (cos (+ z0 z0)))":29710,"(- 1/2 (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2))":171,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":2253,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":8413,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":1734,"(- 1/2 (* 1/2 (- (+ 1/2 (* (cos (+ z0 z0)) 1/2)) (- 1/2 (* (cos (+ z0 z0)) 1/2)))))":267,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":9101,"(- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))":631,"(- 2 (* (- (cos (+ z0 z0)) 1) z1))":476,"(- PI (* 4 (atan (exp (/ z0 z1)))))":342,"(- z0 (* (pow (cos z1) 4) z0))":339,"(/ (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* z0 1/2)))) (cos (* (+ (+ z0 z0) PI) 1/4)))":212,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* 2 z0) PI) -1/4)))":445,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) (cos (* (+ (* z0 2) PI) -1/4)))":212,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* 2 z0) PI) -1/4)))":1113,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) (cos (* (+ (* z0 2) PI) -1/4)))":248,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))))":351,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4)))":246,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/4 PI) (* z0 1/2))))":377,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (sin (+ (* PI 1/2) (- (* -1/2 z0) (* 1/4 PI)))))":266,"(/ (* (pow (cos z0) 4) z1) z2)":808,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) (sin (* z0 1/2)))))":402,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (* (+ (+ z0 z0) PI) 1/4)))":487,"(/ (* (sin z0) z1) z2)":212,"(/ (* (sqrt (fabs (- z0 -1))) 2) (* (- (/ 1 (sqrt (fabs (- z0 1))))) 2))":357,"(/ (* (sqrt 2) 1/2) (- (* (cos (* (+ z0 z0) 1/4)) (cos (* PI 1/4))) (* (sin (* (+ z0 z0) 1/4)) (sin (* PI 1/4)))))":169,"(/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4)))":1148,"(/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) 1/4)))":447,"(/ (* (sqrt 2) 1/2) (cos (* -1/4 (+ (+ z0 z0) PI))))":206,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":462,"(/ (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":534,"(/ (+ (* (pow (cos z0) 4) z1) z2) z2)":235,"(/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2)":464,"(/ (+ (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)":737,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z2 (* (sin z1) (sin z1)))))":227,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":251,"(/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) (+ 1 (* z2 (* (sin z1) (sin z1)))))":201,"(/ (- (sqrt (- (* z0 z0) 1))) (cos z1))":260,"(/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))":448,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":461,"(/ (- z0) (sin z1))":414,"(/ (/ (+ (cos (- (* z0 1/2) (* 1/4 PI))) (cos (- (* z0 1/2) (* -1/4 PI)))) 2) (cos (* (+ (* 2 z0) PI) -1/4)))":373,"(/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4)))":239,"(/ (cos (- z0)) (+ 1 (sin z0)))":370,"(/ (cos z0) (cos z1))":281,"(/ (cos z0) (sin z1))":211,"(/ (cos z0) z1)":390,"(/ (fabs z0) (/ -1 (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":233,"(/ (fabs z0) (/ 1 (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":203,"(/ (pow (cos z0) 4) z1)":367,"(/ (sin (* (+ (+ z0 z0) PI) -1/4)) (* (sqrt 2) 1/2))":380,"(/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI))))":731,"(/ (sin z0) (cos z0))":302,"(/ (sin z0) (cos z1))":492,"(/ (sin z0) z1)":730,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":265,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":17410,"(/ (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1)))))))":454,"(/ (sqrt z0) (- 1 (* (sin z1) z2)))":164,"(/ -1 (* (cos z0) (cos z1)))":369,"(/ -1 (* (sin z0) z1))":303,"(/ -1 (* -2 (pow (asin (* (sin z0) z1)) 2)))":491,"(/ -1 (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1))":627,"(/ -1 (- (* (cos (* (- (* -1/4 PI) (* z0 1/2)) 2)) -1/2) 1/2))":164,"(/ -1 (- (* (sin z0) z1) -1))":337,"(/ -1 (- (* (sin z0) z1) 1))":1094,"(/ -1 (- -1 (* (sin z0) z1)))":263,"(/ -1 (- 1 (* (sin z0) z1)))":271,"(/ -1 (asin (* (sin z0) z1)))":345,"(/ -1 (cos z0))":1023,"(/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":630,"(/ -1 (sin (+ (* -1/2 z0) (* 1/4 PI))))":167,"(/ -1 (sin (- (* -1/4 PI) (* -1/2 z0))))":1034,"(/ -1 (sin (- (* z0 1/2) (* 1/4 PI))))":433,"(/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1))))":367,"(/ -1 (sin z0))":1384,"(/ -1 (sqrt (sqrt (fabs (- z0 1)))))":379,"(/ -1/2 (- (* (sin z0) z1) 1))":184,"(/ -1/2 (- -1 (* (sin z0) z1)))":174,"(/ -1/2 (/ -1 (cos z0)))":178,"(/ -2 (* (sin z0) z1))":1311,"(/ -2 (- (* (sin z0) z1) -1))":170,"(/ -2 (- -1 (* (sin z0) z1)))":206,"(/ -2 (asin (* (sin z0) z1)))":2780,"(/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":1611,"(/ 0 (* (sin z0) z1))":323,"(/ 0 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":318,"(/ 1 (* (* (cos z0) z1) (cos z2)))":226,"(/ 1 (* (cos z0) (- (* (* (- -1 z1) z2) z2) -1)))":483,"(/ 1 (* (cos z0) (cos z1)))":1651,"(/ 1 (* (sin z0) z1))":885,"(/ 1 (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":249,"(/ 1 (- (* (sin z0) z1) 1))":495,"(/ 1 (- -1 (* (sin z0) z1)))":299,"(/ 1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":437,"(/ 1 (/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4))))":239,"(/ 1 (/ -1 (sin (- (* -1/4 PI) (* -1/2 z0)))))":1022,"(/ 1 (/ 1 (cos z0)))":383,"(/ 1 (asin (* (sin z0) z1)))":1839,"(/ 1 (cos (* (+ (+ z0 z0) PI) -1/4)))":339,"(/ 1 (cos (- (* -1/4 PI) (* z0 1/2))))":165,"(/ 1 (cos (- (* z0 1/2) (* -1/4 PI))))":834,"(/ 1 (cos z0))":4136,"(/ 1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":960,"(/ 1 (fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))))":254,"(/ 1 (pow (* (sin z0) z1) -1))":310,"(/ 1 (pow (* z0 z0) -1))":313,"(/ 1 (pow (* z0 z1) -1))":447,"(/ 1 (pow (+ z0 z0) -1))":291,"(/ 1 (pow (- z0) -2))":291,"(/ 1 (pow (cos (+ z0 z0)) -1))":283,"(/ 1 (pow (cos z0) -1))":275,"(/ 1 (pow (fabs (- z0 1)) -1/2))":317,"(/ 1 (pow (fabs z0) -2))":291,"(/ 1 (pow (sin (* 4 z0)) -1))":225,"(/ 1 (pow (sin z0) -1))":1018,"(/ 1 (pow (sin z0) -2))":418,"(/ 1 (pow z0 -2))":295,"(/ 1 (pow z0 -4))":286,"(/ 1 (sin z0))":3887,"(/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":265,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":544,"(/ 1 (sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2))))":450,"(/ 1 (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))))":228,"(/ 1 (sqrt (fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))))":167,"(/ 1 (sqrt (fabs (- z0 1))))":3096,"(/ 1 (sqrt (fabs (/ 1 (sqrt (fabs (- z0 1)))))))":481,"(/ 1 (sqrt (fabs z0)))":503,"(/ 1 (sqrt (sqrt (fabs (- z0 1)))))":235,"(/ 1 (sqrt z0))":225,"(/ 1/2 (asin (* (sin z0) z1)))":179,"(/ 1/2 (cos z0))":458,"(/ 1/2 (fabs (- (* (sin z0) z1) 1)))":190,"(/ 1/2 (sin z0))":1078,"(/ 2 (* (sin z0) z1))":960,"(/ 2 (- (cos (+ z0 z0)) -1))":211,"(/ 2 (/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":251,"(/ 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":262,"(/ 2 (asin (* (sin z0) z1)))":3180,"(/ 2 (cos z0))":170,"(/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":2182,"(/ 2 (sin z0))":553,"(/ 3/2 (sin z0))":482,"(/ z0 (- (sin (* z1 1/2)) (cos (* -1/2 z1))))":432,"(/ z0 (- 1 (* (sin z1) z0)))":169,"(/ z0 (/ 1 (sin z1)))":189,"(/ z0 (cos z1))":3685,"(/ z0 (sin (+ (* PI 1/2) z1)))":242,"(/ z0 (sin -27401669256311/20000000000000))":319,"(/ z0 (sin 27401669256311/20000000000000))":315,"(/ z0 (sin z1))":3180,"(/ z0 (sqrt (+ (* z0 z0) (* z1 z1))))":1948,"(/ z0 (sqrt (+ (* z1 z1) (* z0 z0))))":941,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":618,"(acos (* (sin z0) (cos z1)))":787,"(asin (* (* (- z0 (/ 1 z0)) 1/2) (tan z1)))":305,"(asin (* (* (tan z0) 1/2) (- z1 (/ 1 z1))))":745,"(asin (* (* -1/2 (- (/ 1 z0) z0)) (tan z1)))":186,"(asin (* (sin z0) (cos z1)))":435,"(atan (* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z0 z1) (/ 1 z2))))":210,"(cos (* (+ (* 2 z0) PI) -1/4))":2842,"(cos (* (+ (* z0 2) PI) -1/4))":703,"(cos (* (+ (+ z0 z0) PI) -1/4))":2600,"(cos (* (+ (+ z0 z0) PI) 1/4))":3848,"(cos (* (- (* -1/4 PI) (* z0 1/2)) 2))":1155,"(cos (* (- PI (+ z0 z0)) -1/2))":264,"(cos (* -1/4 (+ (+ z0 z0) PI)))":550,"(cos (* -2 (+ (/ z0 z1) z2)))":292,"(cos (* -2 (- (* -1/4 PI) (* z0 1/2))))":207,"(cos (* -2 (acos (* (sin z0) (cos z1)))))":347,"(cos (* 1/2 (* z0 z1)))":164,"(cos (* 1/2 (- z0 (* PI 1/2))))":270,"(cos (* 2 (* (- PI (* z0 2)) -1/4)))":299,"(cos (* 2 (+ (* PI 1/2) z0)))":286,"(cos (* 2 (+ (/ z0 z1) z2)))":334,"(cos (* 2 (- (* -1/4 PI) (* z0 1/2))))":1145,"(cos (* z0 z1))":4637,"(cos (+ (* -1/2 PI) z0))":187,"(cos (+ (* PI 1/2) (fabs (* z0 z1))))":195,"(cos (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI))":169,"(cos (+ (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) (* PI 1/2)) (* PI 1/2)))":198,"(cos (+ (- (* -1/2 z0) (* 1/4 PI)) (* PI 1/2)))":298,"(cos (+ (- z0) (* PI 1/2)))":309,"(cos (+ (/ z0 z1) z2))":1838,"(cos (+ (fabs z0) (fabs z1)))":167,"(cos (+ (fabs z0) z1))":240,"(cos (+ z0 z1))":1911,"(cos (- (* -1/2 z0) (* 5/4 PI)))":177,"(cos (- (* -1/4 PI) (* z0 1/2)))":1314,"(cos (- (* 5/4 PI) (* -1/2 z0)))":174,"(cos (- (* z0 1/2) (* -1/4 PI)))":3678,"(cos (- (* z0 1/2) (* 1/4 PI)))":566,"(cos (- (- z0) (* PI -1/2)))":538,"(cos (- (- z0) (* PI 1/2)))":207,"(cos (- (/ z0 z1) (* -1/2 PI)))":242,"(cos (- (fabs z0) (fabs z1)))":167,"(cos (- (fabs z0) z1))":180,"(cos (- z0 (* 1/2 PI)))":182,"(cos (- z0 (fabs z1)))":180,"(cos (- z0 z1))":1445,"(cos (/ (+ (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))":226,"(cos (/ (+ 0 (+ (+ z0 z0) PI)) 2))":242,"(cos (/ 1 (pow (+ z0 z0) -1)))":216,"(cos (/ z0 z1))":800,"(cosh (asinh z0))":213,"(fabs (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2)))":210,"(fabs (* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2)))":236,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2))))":417,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))":10416,"(fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))":527,"(fabs (* (sin (- (* -1/2 z0) (* -1/4 PI))) (- (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)))))":186,"(fabs (* (sin z0) z1))":338,"(fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))))":546,"(fabs (+ (* (pow (cos z0) 4) z1) z2))":1786,"(fabs (+ z0 (* (pow (cos z1) 4) z2)))":367,"(fabs (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1))":241,"(fabs (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1))":280,"(fabs (- (* (- 1 (cos (+ z0 z0))) z1) -2))":325,"(fabs (- (* (sin (* z0 1/2)) (sin (* PI 1/4))) (* (sin (* -1/4 PI)) (cos (* 1/2 z0)))))":325,"(fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":869,"(fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))":702,"(fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":297,"(fabs (/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1)))":349,"(fabs (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2))))":314,"(fabs (/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1)))))":367,"(fabs (/ 1 (sqrt (fabs (- z0 1)))))":1426,"(fabs (asin (* (sin z0) (cos z1))))":173,"(fabs (asin (* (sin z0) z1)))":521,"(fabs (cos (* (+ (+ z0 z0) PI) -1/4)))":219,"(fabs (cos (+ (/ z0 z1) z2)))":208,"(fabs (sin (* (- (* -2 z0) PI) -1/4)))":223,"(fabs (sin (* (- PI (* z0 2)) -1/4)))":220,"(fabs (sin (* (- PI (+ z0 z0)) 1/4)))":181,"(fabs (sin (+ (/ z0 z1) z2)))":677,"(fabs (sin (- (* -1/2 z0) (* -1/4 PI))))":243,"(fabs (sin (- (* -1/2 z0) (* 1/4 PI))))":169,"(fabs (sin (- (* -1/4 PI) (* z0 1/2))))":805,"(fabs (sin (- (* z0 1/2) (* -1/4 PI))))":693,"(fabs (sin (- (* z0 1/2) (* 1/4 PI))))":315,"(fabs (tan (* (+ (+ z0 z0) PI) 1/4)))":358,"(fabs (tan (* -1/4 (+ (+ z0 z0) PI))))":275,"(fabs (tan (- (* -1/2 z0) (* 5/4 PI))))":169,"(fabs (tan (- (* 1/4 PI) (* -1/2 z0))))":515,"(log (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4)))))":418,"(log (* (/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) (- (cos (* -1/2 z0)) (sin (* -1/2 z0)))))":416,"(log (* (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI))))) (sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI)))))))":205,"(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)))))))":222,"(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)))))":184,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":5385,"(log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)))":4966,"(log (/ (- -1 z0) (- z0 1)))":359,"(log (/ 1 (/ (cos (- (* -1/4 PI) (* z0 1/2))) (sin (* (- (* z0 -2) PI) -1/4)))))":239,"(log (fabs (* (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (* (sqrt 2) 1/2))))":209,"(log (fabs (- (* (sin (* -1/4 PI)) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (cos (* -1/4 PI))))))":185,"(log (fabs (- (* (sin z0) z1) -1)))":177,"(log (fabs (- (* (sin z0) z1) 1)))":1622,"(log (fabs (- -1 (* (sin z0) z1))))":413,"(log (fabs (- -1 z0)))":1245,"(log (fabs (- z0 1)))":520,"(log (fabs (/ -1 (sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1))))))":367,"(log (fabs (cos (* (+ (+ z0 z0) PI) -1/4))))":215,"(log (fabs (sin (* (- (* -2 z0) PI) -1/4))))":219,"(log (fabs (sin (* (- PI (* z0 2)) -1/4))))":220,"(log (fabs (sin (- (* -1/4 PI) (* z0 1/2)))))":565,"(log (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))":346,"(log (fabs (tan (* -1/4 (+ (+ z0 z0) PI)))))":270,"(log (fabs (tan (- (* 1/4 PI) (* -1/2 z0)))))":515,"(log (tan (* (+ (+ z0 PI) z0) 1/4)))":165,"(log (tan (* (+ (+ z0 z0) PI) 1/4)))":701,"(log (tan (+ (* PI 1/4) (* 1/2 z0))))":418,"(log (tan (+ (+ (* z0 1/2) (+ (* 13/4 PI) PI)) PI)))":180,"(log (tan (+ (+ (* z0 1/2) (+ (* 5/4 PI) PI)) PI)))":187,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":3154,"(log (tan (- (* 5/4 PI) (* -1/2 z0))))":817,"(log (tan (- (* z0 1/2) (* -1/4 PI))))":521,"(log (tan (- (* z0 1/2) (* -13/4 PI))))":238,"(pow (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) 2)":254,"(pow (* (sin z0) z1) -1)":312,"(pow (* (sin z0) z1) 1)":353,"(pow (* 1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2)) -2)":204,"(pow (* z0 z0) -1)":314,"(pow (* z0 z1) -1)":452,"(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)":251,"(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)":236,"(pow (- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) -2)":942,"(pow (- (* (sin z0) z1) 1) 2)":556,"(pow (- (cos (+ z0 z0)) -1) -2)":563,"(pow (- (cos (+ z0 z0)) -1) 2)":1384,"(pow (- -1 (* (* (sin z0) z1) (sin z0))) -2)":209,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2)":1079,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) 2)":223,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":2755,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2))":2369,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2))":710,"(pow (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI)))) (/ 1 z1))":397,"(pow (/ (sin (* (+ (+ z0 z0) PI) -1/4)) (sin (- (* z0 1/2) (* 1/4 PI)))) z1)":280,"(pow (/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))) -1)":409,"(pow (/ z0 z1) (/ 1 z2))":502,"(pow (asin (* (sin z0) z1)) -2)":1073,"(pow (asin (* (sin z0) z1)) -3)":920,"(pow (asin (* (sin z0) z1)) 2)":4890,"(pow (asin (* (sin z0) z1)) 3)":756,"(pow (asin (- (* (sin z0) z1))) 3)":725,"(pow (cos (+ z0 z0)) -1)":283,"(pow (cos z0) -1)":292,"(pow (cos z0) -4)":344,"(pow (cos z0) 2)":683,"(pow (cos z0) 4)":7083,"(pow (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 3/2)":307,"(pow (sin (* 4 z0)) -1)":225,"(pow (sin z0) -1)":1107,"(pow (sin z0) -2)":420,"(pow (sin z0) 2)":2065,"(pow (sin z0) 3)":808,"(pow (sqrt (sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))))) 2)":174,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) (/ 1 z1))":322,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":400,"(pow (tan (+ (* 1/2 z0) (/ PI 4))) z1)":254,"(pow (tan (+ (* 13/4 PI) (* z0 1/2))) (/ 1 z1))":221,"(pow (tan (+ (* 13/4 PI) (* z0 1/2))) z1)":261,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) (- z1))":215,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) (/ 1 z1))":251,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1)":942,"(pow (tan (/ 1 (/ 4 (+ (* z0 2) PI)))) (/ 1 z1))":214,"(sin (* (+ (* 2 z0) PI) -1/4))":574,"(sin (* (+ (* z0 2) PI) -1/4))":242,"(sin (* (+ (+ z0 z0) PI) -1/4))":1692,"(sin (* (+ (+ z0 z0) PI) 1/4))":570,"(sin (* (- (* -2 z0) PI) -1/4))":397,"(sin (* (- (* PI 1/2) z0) 1/2))":431,"(sin (* (- (* z0 -2) PI) -1/4))":630,"(sin (* (- PI (* z0 2)) -1/4))":223,"(sin (* (- PI (+ z0 z0)) 1/4))":261,"(sin (* -3 z0))":1217,"(sin (* 1/2 (* z0 z1)))":371,"(sin (* 2 (- (+ z0 (* PI 1/2)))))":223,"(sin (* 3 z0))":6114,"(sin (* z0 z1))":3515,"(sin (+ (* (+ (+ z0 z0) PI) 1/4) PI))":510,"(sin (+ (* -1/2 z0) (* 1/4 PI)))":4549,"(sin (+ (* -2 z0) (* PI 1/2)))":382,"(sin (+ (* 1/2 PI) z0))":296,"(sin (+ (* PI 1/2) (+ z0 z0)))":174,"(sin (+ (* PI 1/2) (- (* -1/2 z0) (* 1/4 PI))))":379,"(sin (+ (* PI 1/2) z0))":622,"(sin (+ (* z0 1/2) (* 1/4 PI)))":806,"(sin (+ (+ (* PI 1/2) z0) z0))":176,"(sin (+ (+ (* PI 1/2) z0) z1))":166,"(sin (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI))":637,"(sin (+ (+ (+ (* PI 1/2) (+ z0 z0)) PI) PI))":187,"(sin (+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2)))))":849,"(sin (+ (+ (- (+ (+ (+ (* (- (* PI 1/2) z0) 1/2) PI) PI) PI) (* -1/2 PI)) PI) PI))":172,"(sin (+ (- (* -1/4 PI) (* 1/2 (- z0 PI))) (- (* z0 1/2) (* -1/4 PI))))":168,"(sin (+ (- (* 3 z0)) PI))":329,"(sin (+ (- (+ (* PI 1/2) (+ z0 (* PI 1/2))) (- (+ z0 (* PI 1/2)))) (* PI 1/2)))":217,"(sin (+ (- (- z0)) (* PI 1/2)))":237,"(sin (+ (- (fabs (+ z0 z0))) (* PI 1/2)))":169,"(sin (+ (- (fabs z0)) (* PI 1/2)))":284,"(sin (+ (- z0) (* PI 1/2)))":340,"(sin (+ (- z0) PI))":684,"(sin (+ (/ z0 z1) z2))":1133,"(sin (+ (fabs (+ z0 z0)) (* PI 1/2)))":277,"(sin (+ (fabs (- (* z0 1/2) (* -1/4 PI))) (- (* -1/4 PI) (* 1/2 (- z0 PI)))))":194,"(sin (+ (fabs z0) (* PI 1/2)))":353,"(sin (+ z0 (fabs z1)))":164,"(sin (+ z0 z1))":944,"(sin (- (* (+ (+ z0 z0) PI) 1/4) (* -1/2 PI)))":295,"(sin (- (* (+ (+ z0 z0) PI) 1/4) PI))":168,"(sin (- (* -1/2 PI) (/ z0 z1)))":168,"(sin (- (* -1/2 z0) (* -1/4 PI)))":2772,"(sin (- (* -1/2 z0) (* 1/4 PI)))":322,"(sin (- (* -1/2 z0) (* 5/4 PI)))":188,"(sin (- (* -1/4 PI) (* (- z0 PI) 1/2)))":670,"(sin (- (* -1/4 PI) (* -1/2 z0)))":1207,"(sin (- (* -1/4 PI) (* z0 1/2)))":1418,"(sin (- (* -3 z0) PI))":173,"(sin (- (* 1/2 PI) (fabs (* z0 z1))))":286,"(sin (- (* 1/4 PI) (* z0 1/2)))":443,"(sin (- (* 1/4 PI) (- (* -1/2 z0) PI)))":189,"(sin (- (* PI 1/2) (* z0 z1)))":205,"(sin (- (* z0 1/2) (* -1/4 PI)))":1888,"(sin (- (* z0 1/2) (* 1/4 PI)))":3624,"(sin (- (* z0 z1) (* -1/2 PI)))":197,"(sin (- (+ (* PI 1/2) (- (+ (* PI 1/2) z0) (* -1/2 PI))) (- (* -1/2 PI) z0)))":223,"(sin (- (+ (* PI 1/2) z0) (- z0)))":173,"(sin (- (+ (* PI 1/2) z0) z1))":166,"(sin (- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2)))))":861,"(sin (- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (- (* z0 1/2) (* -1/4 PI))))":173,"(sin (- (- (* -1/4 PI) (* 1/2 (- z0 PI))) (fabs (- (* z0 1/2) (* -1/4 PI)))))":186,"(sin (- (- (* 1/2 PI) (* (- (+ z0 z0) PI) -1/4)) (* (- PI (+ z0 z0)) -1/4)))":196,"(sin (- (- (* 1/2 PI) (* (- (+ z0 z0) PI) -1/4)) (* (- PI (+ z0 z0)) 1/4)))":181,"(sin (- (- z0) (* PI 1/2)))":210,"(sin (- (/ (- z0) z1) (* 1/2 PI)))":860,"(sin (- z0 (* -1/2 PI)))":470,"(sin (- z0 (- (/ z1 z2) (* -1/2 PI))))":494,"(sin (- z0 (fabs z1)))":204,"(sin (- z0 z1))":950,"(sin (/ (- (+ (* -2 z0) (* PI 1/2)) (+ 0 (* PI 1/2))) 2))":234,"(sin (/ (- 0 (+ (+ z0 z0) PI)) 2))":263,"(sin (/ (- z0) z1))":170,"(sin (/ 1 (pow (- (* -1/2 z0) (* -1/4 PI)) -1)))":374,"(sin (/ z0 z1))":1350,"(sin (fabs (* z0 z1)))":626,"(sqrt (* (* (fabs (- 1 (* z0 z0))) (fabs (- z0 -1))) (sqrt (fabs (- z0 1)))))":191,"(sqrt (* (* z0 z0) (* z0 z0)))":294,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)))":745,"(sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0))))":1700,"(sqrt (* (sqrt (fabs (- z0 1))) (fabs (- z0 -1))))":572,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":528,"(sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 1)))))":576,"(sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2))))))":553,"(sqrt (* 1/2 (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1)))))":191,"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))":2432,"(sqrt (+ (* z0 z0) (* z1 z1)))":16271,"(sqrt (+ (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) 1/2)))":165,"(sqrt (+ 1 (/ (* z0 z0) (* z1 z1))))":185,"(sqrt (- (* (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) -1/2))) 1/2) (- (* (cos (+ z0 z0)) 1/2) 1/2)))":211,"(sqrt (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":996,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":1627,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":514,"(sqrt (- (* z0 z0) -1))":702,"(sqrt (- (* z0 z0) 1))":20057,"(sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2)))":722,"(sqrt (- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 1/2)) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (cos (+ z1 z1)) 1/2))))":177,"(sqrt (- (/ (* (pow (cos z0) 4) z1) z2) -1))":431,"(sqrt (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))":204,"(sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1)))":381,"(sqrt (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":279,"(sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2))))":1015,"(sqrt (- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":454,"(sqrt (/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1)))":251,"(sqrt (/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) (+ 1 (* z2 (* (sin z1) (sin z1))))))":201,"(sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":1349,"(sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)))":527,"(sqrt (fabs (+ (* (pow (cos z0) 4) z1) z2)))":1281,"(sqrt (fabs (+ z0 (* (pow (cos z1) 4) z2))))":363,"(sqrt (fabs (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) 1)))":177,"(sqrt (fabs (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) 1)))":212,"(sqrt (fabs (- (* z0 z0) 1)))":422,"(sqrt (fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))))":578,"(sqrt (fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))))":534,"(sqrt (fabs (- 1 (* z0 z0))))":764,"(sqrt (fabs (/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))))":250,"(sqrt (fabs (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))))":314,"(sqrt (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1)))))":178,"(sqrt (fabs (sin (- (* z0 1/2) (* -1/4 PI)))))":432,"(sqrt (pow (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) 3/2))":289,"(sqrt (sqrt (* (* (fabs (- 1 (* z0 z0))) (fabs (- z0 -1))) (sqrt (fabs (- z0 1))))))":180,"(sqrt (sqrt (* 1/2 (- 2 (* (- (cos (+ z0 z0)) -1) (- 1/2 (* (cos (+ z1 z1)) 1/2)))))))":368,"(sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":757,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":1600,"(sqrt (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (+ (cos (+ z1 z1)) 1) 1/2)))))":326,"(sqrt (sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":323,"(sqrt (sqrt (fabs z0)))":1559,"(sqrt (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":582,"(sqrt (sqrt (sqrt (fabs z0))))":405,"(sqrt (sqrt z0))":783,"(tan (* (+ (+ z0 PI) z0) 1/4))":174,"(tan (* (+ (+ z0 z0) PI) 1/4))":2973,"(tan (* (- (* PI 1/2) z0) 1/2))":408,"(tan (* -1/4 (+ (+ z0 z0) PI)))":278,"(tan (* 1/2 (- (/ PI 2) z0)))":402,"(tan (+ (* (- (* PI 1/2) z0) 1/2) PI))":241,"(tan (+ (* 1/2 z0) (/ PI 4)))":1242,"(tan (+ (* 13/4 PI) (* z0 1/2)))":629,"(tan (+ (* PI 1/2) z0))":345,"(tan (+ (* PI 1/4) (* 1/2 z0)))":418,"(tan (+ (+ (* (+ (+ z0 z0) PI) 1/4) PI) PI))":251,"(tan (+ (+ (* z0 1/2) (+ (* 13/4 PI) PI)) PI))":187,"(tan (+ (+ (* z0 1/2) (+ (* 5/4 PI) PI)) PI))":377,"(tan (+ (/ PI 4) (* 1/2 z0)))":3154,"(tan (- (* -1/2 z0) (* 5/4 PI)))":195,"(tan (- (* 1/4 PI) (* -1/2 z0)))":619,"(tan (- (* 13/4 PI) (* -1/2 z0)))":226,"(tan (- (* 5/4 PI) (* -1/2 z0)))":2595,"(tan (- (* z0 1/2) (* -1/4 PI)))":763,"(tan (- (* z0 1/2) (* -13/4 PI)))":249,"(tan (/ 1 (/ 4 (+ (* z0 2) PI))))":299}