{"(* (* (* (* (* z1 z2) z1) z2) z1) (- 2 z1))":11,"(* (* (* (* (- 2 z1) z1) z2) z1) z1)":1,"(* (* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1) z1)":1,"(* (* (* (- 2 z1) z1) z2) z1)":1,"(* (* (* (- 2 z1) z2) z2) z1)":2,"(* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1))))":11,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) (- (* (* 6 z1) z1) (* z1 z1)))":1,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1)":1,"(* (* (* z1 z2) z1) z1)":2,"(* (* (* z1 z2) z1) z2)":1,"(* (* (* z2 z2) (- (* (* z1 z1) z1) 1)) (- (* (* z1 z1) z1) 1))":1,"(* (* (- (cos (- -1 z1)) -1) (- (cos (- -1 z1)) -1)) 1/2)":2,"(* (* (- 2 z1) z1) z2)":5,"(* (* (cos z1) (sin (- z1 -1))) 1/2)":4,"(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z1) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1))":7,"(* (* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) z1) (pow (tan (- (* 29/4 PI) (* -1/2 z2))) (- z1)))":3,"(* (* (sin (- z1 -1)) 1/2) z2)":6,"(* (* (sin z2) z1) z1)":6,"(* (* (tan z1) 1/2) (- (/ 1 z1) z1))":1,"(* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":7,"(* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1))))":1,"(* (* -3689471323/1000000000000000000000000000000000 z1) z1)":1,"(* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":4,"(* (* 6 z1) z1)":8,"(* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))":4,"(* (* z1 z2) z1)":36,"(* (* z2 (- (cos (- -1 z1)) -1)) 1/2)":2,"(* (- (* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1)))) -1) (cos z1))":5,"(* (- (* (* (- -1 z2) z1) z1) -1) (cos z1))":3,"(* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))":7,"(* (- (* (* z1 z1) z1) 1) z2)":2,"(* (- (* (- (cos (- -1 z1)) 1) 2) -3) (* (sin z1) z1))":1,"(* (- (* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1) z1) (sin z2))":2,"(* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1)":4,"(* (- (* z2 z2) 1) (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1))":5,"(* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4))":5,"(* (- (cos (- -1 z1)) 1) 2)":3,"(* (- (cos (- -1 z1)) 1) z1)":72,"(* (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)) 2)":2,"(* (- -1 (cos (- -1 z1))) -1/2)":12,"(* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1)":2,"(* (- 1 (* (* 1/2 z2) (- (cos (- -1 z1)) 1))) (- 1 (* (- 1 (cos (- -1 z1))) (* -1/2 z1))))":33,"(* (- 1 (* (* 1/2 z2) (- (cos (- -1 z1)) 1))) (pow (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1) -2))":18,"(* (- 1 (cos (- -1 z1))) (* -1/2 z1))":78,"(* (- 1 (cos (- -1 z1))) (* 1/2 z1))":40,"(* (- 1 (cos (- -1 z1))) -1/2)":19,"(* (- 1 (cos (- -1 z1))) 1/2)":11,"(* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z1)":4,"(* (- z1 -1) (cos z1))":1,"(* (/ z1 (cos z1)) z2)":4,"(* (/ z1 (tan 27401669256311/20000000000000)) z1)":5,"(* (atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))) 2)":1,"(* (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1))) z1)":2,"(* (cos z1) z1)":15,"(* (fabs (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1)))) (- z1))":1,"(* (fabs (atan (/ (sqrt (- (* z2 z2) 1)) (cos z1)))) z1)":2,"(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z1)":52,"(* (log (/ (- -1 z1) (- 1 z1))) z1)":7,"(* (log (tan (* (+ PI (- z1 -1)) 1/4))) z1)":42,"(* (log (tan (* (- PI (- z1 -1)) 1/4))) z1)":29,"(* (log (tan (- (* -1/2 z1) (* PI -29/4)))) z1)":2,"(* (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)) (cos z1))":2,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2))))":7,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1) (fabs (cos (* -1/4 (+ (+ z2 z2) PI)))))":1,"(* (pow (/ (sin (- (* -1/2 z2) (* -3/4 PI))) (cos (* -1/4 (+ (+ z2 z2) PI)))) (- z1)) z1)":1,"(* (pow (cos z1) 4) (* z1 z2))":2,"(* (pow (cos z1) 4) (/ z1 (- 1 z1)))":1,"(* (pow (cos z1) 4) z1)":7,"(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z1)":9,"(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (/ 1 z1)) (pow z1 (/ -1 z1)))":2,"(* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) (pow (tan (* (+ PI (- z1 -1)) 1/4)) (- z1)))":5,"(* (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1) (pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1)))":3,"(* (sin (* 3 z1)) z1)":25,"(* (sin (* 4 z1)) (- z1))":16,"(* (sin (* 4 z1)) z1)":3,"(* (sin (* z1 z1)) z2)":1,"(* (sin (* z1 z2)) z1)":5,"(* (sin (- z1 -1)) 1/2)":9,"(* (sin (- z1 -1)) z1)":19,"(* (sin z1) z1)":228,"(* (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)) z2)":1,"(* (sqrt z1) z1)":1,"(* (tan (* (+ PI (- z1 -1)) 1/4)) z1)":15,"(* (tan (* (- PI (- z1 -1)) 1/4)) (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)))":20,"(* (tan (- (* -1/2 z1) (* PI -29/4))) (pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1)))":1,"(* (tan (- (* 21/4 PI) (* -1/2 z2))) (pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1)))":3,"(* (tan (- (* 29/4 PI) (* -1/2 z1))) z1)":5,"(* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))":1,"(* (tan z1) (cos z1))":4,"(* (tan z1) z1)":8,"(* -1/2 (+ PI (* (atan E) -4)))":2,"(* -1/2 (- (cos (- -1 z1)) -1))":2,"(* -212097503/125000000000000000000000000 z1)":1,"(* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))":3,"(* -4165541759/125000000000000000000000000000000 (* z1 z1))":4,"(* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))":4,"(* -4616990181/250000000000000000000 (* z1 z1))":3,"(* -4668270147/10000000000000000 z1)":4,"(* -881662847/200000000000000000000000000 z1)":4,"(* 1/4 (- (cos (- -1 z1)) -1))":1,"(* 149230739/1250000000000000 z1)":8,"(* 212097503/125000000000000000000000000 z1)":7,"(* 3 (* z1 z1))":16,"(* 3689471323/250000000000000000000000000000000 (* z1 z1))":4,"(* 4616990181/250000000000000000000 (* z1 z1))":1,"(* 881662847/200000000000000000000000000 z1)":4,"(* z1 (+ 4668270147/10000000000000000 (* -4616990181/250000000000000000000 z1)))":3,"(* z1 (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000))":1,"(+ (* (* (cos z1) (sin (- z1 -1))) 1/2) (* (+ (sin (+ z2 z2)) 0) 1/2))":3,"(+ (* (* z2 z2) z1) (* z1 z1))":2,"(+ (* (pow (cos z1) 4) z1) z1)":4,"(+ (* (sin (* 3 z2)) z1) (* (sin z2) z1))":19,"(+ (* (sin (+ z2 z2)) z1) (* z1 z2))":3,"(+ (* -3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (- 0 (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))))":2,"(+ (* z1 z1) (* z1 z2))":3,"(+ (- (* (* -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)))))":1,"(+ (log (fabs (sin (* (+ PI (- z1 -1)) 1/4)))) z1)":1,"(+ (log (tan (- (* 29/4 PI) (* -1/2 z1)))) z1)":2,"(- (* (* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1) z1) 0)":1,"(- (* (* (* -1/2 z1) z1) (- 1 (cos (- -1 z1)))) -1)":11,"(- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))":7,"(- (* (* (* z2 z2) (- (* (* z1 z1) z1) 1)) (- (* (* z1 z1) z1) 1)) 1)":1,"(- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (- -2946529277/100000000000 (* 149230739/1250000000000000 z1)))":2,"(- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) 0)":4,"(- (* (* -881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (* (* -212097503/125000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z1 z1)))))":1,"(- (* (* 6 z1) z1) (* z1 z1))":8,"(- (* (+ (sin (+ z2 z2)) 0) 1/2) (* (* (cos z1) (sin (- z1 -1))) 1/2))":1,"(- (* (- (cos (- -1 z1)) 1) 2) -3)":1,"(- (* (- (cos (- -1 z1)) 1) z1) 2)":18,"(- (* (- -3 (* (- (cos (- -1 z1)) 1) 2)) z1) z1)":2,"(- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)":14,"(- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1)":56,"(- (* (- 1 (cos (- -1 z1))) z1) -2)":54,"(- (* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z1) 0)":1,"(- (* (atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1)))) 2) (* PI 1/2))":1,"(- (* (pow (cos z1) 4) (* z1 z2)) -1)":2,"(- (* (pow (cos z1) 4) (/ z1 (- 1 z1))) -1)":1,"(- (* (sin z1) z1) -1)":54,"(- (* (sin z1) z1) 1)":39,"(- (* (tan z1) (cos z1)) (* (sin z2) z1))":2,"(- (* 149230739/1250000000000000 z1) -2946529277/100000000000)":4,"(- (* 149230739/1250000000000000 z1) -9827991/390625000)":4,"(- (* 3 (* z1 z1)) (* z1 z1))":8,"(- (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) 0)":1,"(- (* 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))":2,"(- (* 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)))))":4,"(- (* z1 z1) (* 3 (* z1 z1)))":8,"(- (+ (* (* -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)":1,"(- (+ (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1))))) 0)":1,"(- (+ (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* (* 6 z1) z1) (* z1 z1)) (* z1 z1)))) (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1)))) 0)":4,"(- (+ (- (* 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))))":2,"(- (+ (- (- (* -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))))))":7,"(- (- (- (* -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))))":1,"(- (- 1 (* (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)) 2)))":2,"(- (- 9827991/390625000 (* z1 (+ -149230739/1250000000000000 (* -4616990181/250000000000000000000 z1)))) (* z1 (+ 4668270147/10000000000000000 (* 881662847/200000000000000000000000000 (- (* 3 (* z1 z1)) (* z1 z1))))))":3,"(- (cos (- -1 z1)) -1)":15,"(- (cos (- -1 z1)) 1)":161,"(- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))":5,"(- (pow (cos z1) 4) -1)":2,"(- (sin z1) -1)":2,"(- (sqrt (- (* z2 z2) 1)))":5,"(- -1 (* (sin z1) z1))":39,"(- -1 (cos (- -1 z1)))":2,"(- -2946529277/100000000000 (* 149230739/1250000000000000 z1))":3,"(- -3 (* (- (cos (- -1 z1)) 1) 2))":2,"(- 0 (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z1 z1)) (* z1 z1))))":3,"(- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))":5,"(- 1 (* (- 1 (cos (- -1 z1))) (* -1/2 z1)))":120,"(- 1 (* (sin z1) z1))":54,"(- 1 (cos (- -1 z1)))":51,"(- z1 (log (tan (* (+ PI (- z1 -1)) 1/4))))":7,"(- z1 (log (tan (* (- PI (- z1 -1)) 1/4))))":7,"(- z1 (log (tan (- (* 29/4 PI) (* -1/2 z1)))))":21,"(- z2 (* (sin (- z1 -1)) z1))":16,"(/ (* (- -1 (cos (- -1 z1))) -1/2) (sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))))":5,"(/ (* (- z1 z2) z1) (+ (* z1 z1) (* z1 z2)))":3,"(/ (* (- z2 z1) z1) (sqrt (+ (* z2 z2) (* z1 z1))))":1,"(/ (* (cos z1) z1) (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)))":1,"(/ (* (sin (- z1 -1)) 1/2) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":3,"(/ (* z1 z1) (sqrt (+ (* z2 z2) (* z1 z1))))":3,"(/ (* z1 z1) (tan (- (* PI 4) -27401669256311/20000000000000)))":1,"(/ (* z1 z2) (sqrt (+ (* z2 z2) (* z1 z1))))":6,"(/ (+ (* (pow (cos z1) 4) z1) z1) (* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1))":4,"(/ (+ z1 z2) (sqrt (+ (* z2 z2) (* z1 z1))))":1,"(/ (- (* (- (cos (- -1 z1)) 1) z1) 2) (- (* (- (cos (- -1 z1)) 1) z2) 2))":18,"(/ (- z1 (log (tan (* 1/4 (+ (+ z2 z2) PI))))) z1)":7,"(/ (- z1 (log (tan (- (* 29/4 PI) (* -1/2 z2))))) z1)":19,"(/ (asin (* (* (tan z2) 1/2) (- (/ 1 z1) z1))) z1)":1,"(/ (cos z1) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":2,"(/ (cos z1) (sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4)))))":5,"(/ (pow (cos z1) 4) z1)":2,"(/ (sin z1) (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":1,"(/ (sin z1) z1)":2,"(/ (sqrt (- (* z2 z2) 1)) (cos z1))":2,"(/ (sqrt (- 1 z1)) (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1))":1,"(/ 2 (sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2))))":2,"(/ z1 (cos z1))":12,"(/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))":3,"(/ z1 (sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1)))":1,"(/ z1 (tan (- (* PI 4) -27401669256311/20000000000000)))":1,"(/ z1 (tan 27401669256311/20000000000000))":5,"(/ z2 (sqrt (+ (* (* z2 z2) z1) (* z1 z1))))":2,"(asin (* (* (tan z1) 1/2) (- (/ 1 z1) z1)))":1,"(asin (* (tan z1) (cos z1)))":2,"(asin (+ (* (* (cos z1) (sin (- z1 -1))) 1/2) (* (+ (sin (+ z2 z2)) 0) 1/2)))":3,"(asin (- (* (+ (sin (+ z2 z2)) 0) 1/2) (* (* (cos z1) (sin (- z1 -1))) 1/2)))":1,"(asin (/ (sin z1) z1))":1,"(asin (/ z2 (sqrt (+ (* (* z2 z2) z1) (* z1 z1)))))":2,"(atan (* (tan (- (* 9/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z1))))":1,"(atan2 (sin z1) (* (- -1 (cos (- -1 z1))) -1/2))":1,"(atan2 (sin z1) (sqrt (- (pow (sinh z1) 2) (* -1/2 (- (cos (- -1 z1)) -1)))))":2,"(cos (* -1/4 (+ PI (- z1 -1))))":29,"(cos (* z1 z1))":13,"(cos (+ (/ z2 z1) z1))":19,"(cos (- -1 z1))":231,"(fabs (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2)))))":4,"(fabs (sin (* (+ PI (- z1 -1)) 1/4)))":1,"(fabs (sin (* (- (- z1 -1) PI) 1/4)))":1,"(fabs (tan (* (- (- z1 -1) PI) 1/4)))":4,"(fabs (tan (* -1/4 (+ PI (- z1 -1)))))":10,"(log (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1)) (tan (- (* 21/4 PI) (* -1/2 z2)))))":43,"(log (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))))":55,"(log (/ (- -1 z1) (- 1 z1)))":7,"(log (fabs (* (cos (* -1/4 (+ (+ z2 z2) PI))) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1))))":1,"(log (fabs (sin (* (+ PI (- z1 -1)) 1/4))))":1,"(log (tan (* (+ PI (- z1 -1)) 1/4)))":112,"(log (tan (* (- PI (- z1 -1)) 1/4)))":25,"(log (tan (- (* -1/2 z1) (* PI -29/4))))":2,"(log (tan (- (* 29/4 PI) (* -1/2 z1))))":107,"(pow (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) 1) -2)":18,"(pow (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))) (* 1/2 z1))":29,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* (* 1/2 z1) z1))":1,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (- z1))":7,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z1)":1,"(pow (/ z2 z1) (/ 1 z1))":1,"(pow (cos z1) 4)":14,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) (- z1))":31,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) (/ 1 z1))":4,"(pow (tan (* (+ PI (- z1 -1)) 1/4)) z1)":17,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) (- z1))":12,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) (/ 1 z1))":4,"(pow (tan (- (* 29/4 PI) (* -1/2 z1))) z1)":10,"(sin (* (+ PI (- z1 -1)) 1/4))":18,"(sin (* (- (- z1 -1) PI) 1/4))":9,"(sin (* -1/4 (+ PI (- z1 -1))))":20,"(sin (* 3 z1))":25,"(sin (* z1 z1))":6,"(sin (+ (/ z2 z1) z1))":8,"(sin (- z1 -1))":18,"(sqrt (* 2 (* z1 z1)))":11,"(sqrt (+ (* (* z2 z2) z1) (* z1 z1)))":2,"(sqrt (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1))":8,"(sqrt (- (* (pow (cos z1) 4) (* z1 z2)) -1))":2,"(sqrt (- (* (pow (cos z1) 4) (/ z1 (- 1 z1))) -1))":1,"(sqrt (- (* z1 z1) -1))":8,"(sqrt (- (* z2 z2) 1))":12,"(sqrt (- (pow (cos z1) 4) (* (- 1 (cos (- -1 z1))) -1/2)))":5,"(sqrt (- 1 (* (- (cos (- -1 z1)) 1) (* (- -1 (cos (- -1 z1))) 1/4))))":5,"(sqrt (/ (+ (* (pow (cos z1) 4) z1) z1) (* (- (* (- 1 (cos (- -1 z1))) (* -1/2 z1)) -1) z1)))":4,"(sqrt (/ (- (* (- (cos (- -1 z1)) 1) z1) 2) (- (* (- (cos (- -1 z1)) 1) z2) 2)))":18,"(tan (* (+ PI (- z1 -1)) 1/4))":178,"(tan (* (- (if (< (- z1 z2) (- PI)) (+ (+ PI PI) z2) (if (> (- z1 z2) PI) (- z2 (+ PI PI)) z2)) z1) (* 1/2 z1)))":2,"(tan (* (- PI (- z1 -1)) 1/4))":42,"(tan (* -1/4 (+ PI (- z1 -1))))":10,"(tan (- (* -1/2 z1) (* PI -29/4)))":3,"(tan (- (* 29/4 PI) (* -1/2 z1)))":161}