{"(* (* (* (* (* z1 z2) z1) z2) z1) (- 2 z1))":1856,"(* (* (* (* (- 2 z1) z1) z2) z1) z1)":1536,"(* (* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1) z1)":1344,"(* (* (* (- 2 z1) z1) z2) z1)":1216,"(* (* (* (- 2 z1) z2) z2) z1)":1216,"(* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1))))":7808,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) (- (* (* 6 z1) z1) (* z1 z1)))":2176,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1)":1024,"(* (* (* z1 z2) z1) z1)":1024,"(* (* (* z1 z2) z1) z2)":1024,"(* (* (* z2 z2) (- (* (* z1 z1) z1) 1)) (- (* (* z1 z1) z1) 1))":2688,"(* (* (- (cos (- -1 z1)) -1) (- (cos (- -1 z1)) -1)) 1/2)":14272,"(* (* (- 2 z1) z1) z2)":896,"(* (* (cos z1) (sin (- z1 -1))) 1/2)":13696,"(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z1) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1))":27776,"(* (* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) z1) (pow (tan (- (* 29/4 PI) (* -1/2 z2))) (- z1)))":27904,"(* (* (sin (- z1 -1)) 1/2) z2)":7296,"(* (* (sin z2) z1) z1)":7104,"(* (* (tan z1) 1/2) (- (/ 1 z1) z1))":8000,"(* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":1856,"(* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1))))":1856,"(* (* -3689471323/1000000000000000000000000000000000 z1) z1)":704,"(* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":1856,"(* (* 6 z1) z1)":704,"(* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":1856,"(* (* z1 z2) z1)":704,"(* (* z2 (- (cos (- -1 z1)) -1)) 1/2)":7488,"(* (- (* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1)))) -1) (cos z1))":14720,"(* (- (* (* (- -1 z2) z1) z1) -1) (cos z1))":7808,"(* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))":1856,"(* (- (* (* z1 z1) z1) 1) z2)":1216,"(* (- (* (- (cos (- -1 z1)) 1) 2) -3) (* (sin z1) z1))":14400,"(* (- (* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1) z1) (sin z2))":14592,"(* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1)":8000,"(* (- (* z2 z2) 1) (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1))":8512,"(* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4))":14272,"(* (- (cos (- -1 z1)) 1) 2)":7168,"(* (- (cos (- -1 z1)) 1) z1)":7168,"(* (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)) 2)":20544,"(* (- -1 (cos (- -1 z1))) -1/2)":7168,"(* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1)":7680,"(* (- 1 (* (* 1/2 z2) (- (cos (- -1 z1)) 1))) (- 1 (* (- 1 (cos (- -1 z1))) (* -1/2 z1))))":15616,"(* (- 1 (* (* 1/2 z2) (- (cos (- -1 z1)) 1))) (pow (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1) -2))":22080,"(* (- 1 (cos (- -1 z1))) (* -1/2 z1))":7488,"(* (- 1 (cos (- -1 z1))) (* 1/2 z1))":7488,"(* (- 1 (cos (- -1 z1))) -1/2)":7168,"(* (- 1 (cos (- -1 z1))) 1/2)":7168,"(* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z1)":896,"(* (- z1 -1) (cos z1))":6976,"(* (/ z1 (cos z1)) z2)":7488,"(* (/ z1 (tan 27401669256311/20000000000000)) z1)":7488,"(* (atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))) 2)":21888,"(* (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1))) z1)":15040,"(* (cos z1) z1)":6784,"(* (fabs (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1)))) (- z1))":15296,"(* (fabs (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1)))) z1)":15168,"(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z1)":21312,"(* (log (/ (- -1 z1) (- 1 z1))) z1)":7872,"(* (log (tan (* (+ PI (- z1 -1)) 1/4))) z1)":13888,"(* (log (tan (* (- PI (- z1 -1)) 1/4))) z1)":13888,"(* (log (tan (- (* -1/2 z1) (* PI -29/4)))) z1)":14016,"(* (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)) (cos z1))":28096,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2))))":28736,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1) (fabs (cos (* -1/4 (+ (+ z2 z2) PI)))))":28608,"(* (pow (/ (sin (- (* -1/2 z2) (* -3/4 PI))) (cos (* -1/4 (+ (+ z2 z2) PI)))) (- z1)) z1)":22016,"(* (pow (cos z1) 4) (* z1 z2))":13568,"(* (pow (cos z1) 4) (/ z1 (- 1 z1)))":14144,"(* (pow (cos z1) 4) z1)":13248,"(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z1)":14080,"(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (/ 1 z1)) (pow z1 (/ -1 z1)))":21824,"(* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) (pow (tan (* (+ PI (- z1 -1)) 1/4)) (- z1)))":27456,"(* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) (pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1)))":27584,"(* (sin (* 3 z1)) z1)":7104,"(* (sin (* 4 z1)) (- z1))":7232,"(* (sin (* 4 z1)) z1)":7104,"(* (sin (* z1 z1)) z2)":7104,"(* (sin (* z1 z2)) z1)":7104,"(* (sin (- z1 -1)) 1/2)":6976,"(* (sin (- z1 -1)) z1)":6976,"(* (sin z1) z1)":6784,"(* (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)) z2)":8640,"(* (sqrt z1) z1)":1024,"(* (tan (* (+ PI (- z1 -1)) 1/4)) z1)":7488,"(* (tan (* (- PI (- z1 -1)) 1/4)) (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)))":28800,"(* (tan (- (* -1/2 z1) (* PI -29/4))) (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)))":28928,"(* (tan (- (* 21/4 PI) (* -1/2 z2))) (pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1)))":21440,"(* (tan (- (* 29/4 PI) (* -1/2 z1))) z1)":7616,"(* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))":15168,"(* (tan z1) (cos z1))":13184,"(* (tan z1) z1)":6784,"(* -1/2 (+ PI (* (atan E) -4)))":7296,"(* -1/2 (- (cos (- -1 z1)) -1))":7168,"(* -212097503/125000000000000000000000000 z1)":384,"(* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))":3328,"(* -4165541759/125000000000000000000000000000000 (* z1 z1))":704,"(* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))":3328,"(* -4616990181/250000000000000000000 (* z1 z1))":704,"(* -4668270147/10000000000000000 z1)":384,"(* -881662847/200000000000000000000000000 z1)":384,"(* 1/4 (- (cos (- -1 z1)) -1))":7168,"(* 149230739/1250000000000000 z1)":384,"(* 212097503/125000000000000000000000000 z1)":384,"(* 3 (* z1 z1))":704,"(* 3689471323/250000000000000000000000000000000 (* z1 z1))":704,"(* 4616990181/250000000000000000000 (* z1 z1))":704,"(* 881662847/200000000000000000000000000 z1)":384,"(* z1 (+ 4668270147/10000000000000000 (* -4616990181/250000000000000000000 z1)))":896,"(* z1 (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000))":896,"(+ (* (* (cos z1) (sin (- z1 -1))) 1/2) (* (+ (sin (+ z2 z2)) 0) 1/2))":20992,"(+ (* (* z2 z2) z1) (* z1 z1))":1216,"(+ (* (pow (cos z1) 4) z1) z1)":13440,"(+ (* (sin (* 3 z2)) z1) (* (sin z2) z1))":14016,"(+ (* (sin (+ z2 z2)) z1) (* z1 z2))":7488,"(+ (* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (- 0 (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))))":5504,"(+ (* z1 z1) (* z1 z2))":896,"(+ (- (* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1))))) (* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))))":7296,"(+ (log (fabs (sin (* (+ PI (- z1 -1)) 1/4)))) z1)":13888,"(+ (log (tan (- (* 29/4 PI) (* -1/2 z1)))) z1)":13888,"(- (* (* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1) z1) 0)":1536,"(- (* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1)))) -1)":8000,"(- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))":3008,"(- (* (* (* z2 z2) (- (* (* z1 z1) z1) 1)) (- (* (* z1 z1) z1) 1)) 1)":2880,"(- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (- -2946529277/100000000000 (* 149230739/1250000000000000 z1)))":2560,"(- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) 0)":2048,"(- (* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1)))))":3840,"(- (* (* 6 z1) z1) (* z1 z1))":1216,"(- (* (+ (sin (+ z2 z2)) 0) 1/2) (* (* (cos z1) (sin (- z1 -1))) 1/2))":20992,"(- (* (- (cos (- -1 z1)) 1) 2) -3)":7360,"(- (* (- (cos (- -1 z1)) 1) z1) 2)":7360,"(- (* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1) z1)":7872,"(- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)":7680,"(- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1)":7680,"(- (* (- 1 (cos (- -1 z1))) z1) -2)":7360,"(- (* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z1) 0)":1088,"(- (* (atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))) 2) (* PI 1/2))":22400,"(- (* (pow (cos z1) 4) (* z1 z2)) -1)":13760,"(- (* (pow (cos z1) 4) (/ z1 (- 1 z1))) -1)":14336,"(- (* (sin z1) z1) -1)":6976,"(- (* (sin z1) z1) 1)":6976,"(- (* (tan z1) (cos z1)) (* (sin z2) z1))":20096,"(- (* 149230739/1250000000000000 z1) -2946529277/100000000000)":576,"(- (* 149230739/1250000000000000 z1) -9827991/390625000)":576,"(- (* 3 (* z1 z1)) (* z1 z1))":1216,"(- (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) 0)":3520,"(- (* z1 (+ (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) (* -881662847/200000000000000000000000000 (- (* 3 (* z1 z1)) (* z1 z1))))) (- (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) 0))":6208,"(- (* z1 (+ (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) (* -881662847/200000000000000000000000000 (- (* 3 (* z1 z1)) (* z1 z1))))) (- (- (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) 0) (- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (- -2946529277/100000000000 (* 149230739/1250000000000000 z1)))))":8896,"(- (* z1 z1) (* 3 (* z1 z1)))":1216,"(- (+ (* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (- (* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))))) 0)":7488,"(- (+ (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))) 0)":5504,"(- (+ (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))) 0)":5504,"(- (+ (- (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) 0) (* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1))))) (* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))))":7488,"(- (+ (- (- (* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))) 0) (- (* 149230739/1250000000000000 z1) -9827991/390625000)) (* z1 (+ (- (* -4616990181/250000000000000000000 z1) -4668270147/10000000000000000) (* 881662847/200000000000000000000000000 (- (* 3 (* z1 z1)) (* z1 z1))))))":8896,"(- (- (- (* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))) (- (* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1)))) (- (* 149230739/1250000000000000 z1) -2946529277/100000000000))))":8128,"(- (- 1 (* (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)) 2)))":20864,"(- (- 9827991/390625000 (* z1 (+ -149230739/1250000000000000 (* -4616990181/250000000000000000000 z1)))) (* z1 (+ 4668270147/10000000000000000 (* 881662847/200000000000000000000000000 (- (* 3 (* z1 z1)) (* z1 z1))))))":3264,"(- (cos (- -1 z1)) -1)":6848,"(- (cos (- -1 z1)) 1)":6848,"(- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))":20224,"(- (pow (cos z1) 4) -1)":13120,"(- (sin z1) -1)":6656,"(- (sqrt (- (* z2 z2) 1)))":1344,"(- -1 (* (sin z1) z1))":6976,"(- -1 (cos (- -1 z1)))":6848,"(- -2946529277/100000000000 (* 149230739/1250000000000000 z1))":576,"(- -3 (* (- (cos (- -1 z1)) 1) 2))":7360,"(- 0 (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))))":2048,"(- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))":14464,"(- 1 (* (- 1 (cos (- -1 z1))) (* -1/2 z1)))":7680,"(- 1 (* (sin z1) z1))":6976,"(- 1 (cos (- -1 z1)))":6848,"(- z1 (log (tan (* (+ PI (- z1 -1)) 1/4))))":13760,"(- z1 (log (tan (* (- PI (- z1 -1)) 1/4))))":13760,"(- z1 (log (tan (- (* 29/4 PI) (* -1/2 z1)))))":13888,"(- z2 (* (sin (- z1 -1)) z1))":7168,"(/ (* (- -1 (cos (- -1 z1))) -1/2) (sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))))":22912,"(/ (* (- z1 z2) z1) (+ (* z1 z1) (* z1 z2)))":2112,"(/ (* (- z2 z1) z1) (sqrt (+ (* z2 z2) (* z1 z1))))":2752,"(/ (* (cos z1) z1) (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)))":15744,"(/ (* (sin (- z1 -1)) 1/2) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":28480,"(/ (* z1 z1) (sqrt (+ (* z2 z2) (* z1 z1))))":2560,"(/ (* z1 z1) (tan (- (* PI 4) -27401669256311/20000000000000)))":8000,"(/ (* z1 z2) (sqrt (+ (* z2 z2) (* z1 z1))))":2560,"(/ (+ (* (pow (cos z1) 4) z1) z1) (* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1))":22080,"(/ (+ z1 z2) (sqrt (+ (* z2 z2) (* z1 z1))))":2432,"(/ (- (* (- (cos (- -1 z1)) 1) z1) 2) (- (* (- (cos (- -1 z1)) 1) z2) 2))":15360,"(/ (- z1 (log (tan (* 1/4 (+ (+ z2 z2) PI))))) z1)":14464,"(/ (- z1 (log (tan (- (* 29/4 PI) (* -1/2 z2))))) z1)":14592,"(/ (asin (* (* (tan z2) 1/2) (- (/ 1 z1) z1))) z1)":15104,"(/ (cos z1) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":27968,"(/ (cos z1) (sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))))":22208,"(/ (pow (cos z1) 4) z1)":13632,"(/ (sin z1) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":27968,"(/ (sin z1) z1)":7168,"(/ (sqrt (- (* z2 z2) 1)) (cos z1))":8320,"(/ (sqrt (- 1 z1)) (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1))":9216,"(/ 2 (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":21568,"(/ z1 (cos z1))":7168,"(/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))":2240,"(/ z1 (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)))":9024,"(/ z1 (tan (- (* PI 4) -27401669256311/20000000000000)))":7680,"(/ z1 (tan 27401669256311/20000000000000))":7168,"(/ z2 (sqrt (+ (* (* z2 z2) z1) (* z1 z1))))":2560,"(asin (* (* (tan z1) 1/2) (- (/ 1 z1) z1)))":14400,"(asin (* (tan z1) (cos z1)))":19584,"(asin (+ (* (* (cos z1) (sin (- z1 -1))) 1/2) (* (+ (sin (+ z2 z2)) 0) 1/2)))":27392,"(asin (- (* (+ (sin (+ z2 z2)) 0) 1/2) (* (* (cos z1) (sin (- z1 -1))) 1/2)))":27392,"(asin (/ (sin z1) z1))":13568,"(asin (/ z2 (sqrt (+ (* (* z2 z2) z1) (* z1 z1)))))":8960,"(atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1))))":21568,"(atan2 (sin z1) (* (- -1 (cos (- -1 z1))) -1/2))":20032,"(atan2 (sin z1) (sqrt (- (pow (sinh z1) 2) (* -1/2 (- (cos (- -1 z1)) -1)))))":33728,"(cos (* -1/4 (+ PI (- z1 -1))))":7168,"(cos (* z1 z1))":6784,"(cos (+ (/ z2 z1) z1))":7360,"(cos (- -1 z1))":6656,"(fabs (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2)))))":28864,"(fabs (sin (* (+ PI (- z1 -1)) 1/4)))":7296,"(fabs (sin (* (- (- z1 -1) PI) 1/4)))":7296,"(fabs (tan (* (- (- z1 -1) PI) 1/4)))":7296,"(fabs (tan (* -1/4 (+ PI (- z1 -1)))))":7296,"(log (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2)))))":35136,"(log (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))))":20992,"(log (/ (- -1 z1) (- 1 z1)))":7552,"(log (fabs (* (cos (* -1/4 (+ (+ z2 z2) PI))) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1))))":35008,"(log (fabs (sin (* (+ PI (- z1 -1)) 1/4))))":13696,"(log (tan (* (+ PI (- z1 -1)) 1/4)))":13568,"(log (tan (* (- PI (- z1 -1)) 1/4)))":13568,"(log (tan (- (* -1/2 z1) (* PI -29/4))))":13696,"(log (tan (- (* 29/4 PI) (* -1/2 z1))))":13696,"(pow (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1) -2)":14144,"(pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1))":21376,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* (* 1/2 z1) z1))":21696,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1))":21184,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1)":21056,"(pow (/ z2 z1) (/ 1 z1))":7936,"(pow (cos z1) 4)":12928,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) (- z1))":13760,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) (/ 1 z1))":14336,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) z1)":13632,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1))":13888,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) (/ 1 z1))":14464,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) z1)":13760,"(sin (* (+ PI (- z1 -1)) 1/4))":7168,"(sin (* (- (- z1 -1) PI) 1/4))":7168,"(sin (* -1/4 (+ PI (- z1 -1))))":7168,"(sin (* 3 z1))":6784,"(sin (* z1 z1))":6784,"(sin (+ (/ z2 z1) z1))":7360,"(sin (- z1 -1))":6656,"(sqrt (* 2 (* z1 z1)))":1344,"(sqrt (+ (* (* z2 z2) z1) (* z1 z1)))":1856,"(sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1))":8320,"(sqrt (- (* (pow (cos z1) 4) (* z1 z2)) -1))":14400,"(sqrt (- (* (pow (cos z1) 4) (/ z1 (- 1 z1))) -1))":14976,"(sqrt (- (* z1 z1) -1))":1216,"(sqrt (- (* z2 z2) 1))":1216,"(sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)))":20864,"(sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4))))":15104,"(sqrt (/ (+ (* (pow (cos z1) 4) z1) z1) (* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1)))":22720,"(sqrt (/ (- (* (- (cos (- -1 z1)) 1) z1) 2) (- (* (- (cos (- -1 z1)) 1) z2) 2)))":16000,"(tan (* (+ PI (- z1 -1)) 1/4))":7168,"(tan (* (- (if (< (- z1 z2) (- PI)) (+ (+ PI PI) z2) (if (> (- z1 z2) PI) (- z2 (+ PI PI)) z2)) z1) (* 1/2 z1)))":8962,"(tan (* (- PI (- z1 -1)) 1/4))":7168,"(tan (* -1/4 (+ PI (- z1 -1))))":7168,"(tan (- (* -1/2 z1) (* PI -29/4)))":7296,"(tan (- (* 29/4 PI) (* -1/2 z1)))":7296}