{"(* (* (* (* (- 2 z1) z2) z1) z2) z0)":2,"(* (* (* (* z1 (* (- 2 z0) z0)) z2) z2) z1)":2,"(* (* (* (* z1 z2) z1) z2) z0)":2,"(* (* (* (* z2 (* z1 (- 2 z0))) z1) z2) z0)":5,"(* (* (* (- 2 z0) z1) z0) (* (* z1 z2) z2))":1,"(* (* (* (- 2 z1) z2) z1) z0)":2,"(* (* (* (cos (* -1/4 (+ (+ z1 z1) PI))) (sqrt 2)) (/ z0 (- 1 (sin z1)))) (- (cos (* 1/2 z1)) (sin (* z1 -1/2))))":10,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) (- (* z1 z1) (* (* z0 z0) 6)))":1,"(* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z0)":1,"(* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1))))":5,"(* (* (* z0 z0) 1/2) (- 1 (cos (+ z1 z1))))":3,"(* (* (* z1 (- 2 z0)) z0) z1)":2,"(* (* (* z1 z0) z0) z1)":2,"(* (* (* z1 z0) z1) (- 1 (cos (+ z2 z2))))":1,"(* (* (* z1 z0) z1) z1)":1,"(* (* (* z1 z0) z2) z1)":2,"(* (* (* z1 z1) 1/2) z0)":4,"(* (* (* z1 z1) z0) z2)":1,"(* (* (* z1 z2) z1) z0)":2,"(* (* (* z2 (* z1 (- 2 z0))) z1) z2)":5,"(* (* (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1) 1/2) (- (* (- 1 (cos (+ z0 z0))) z1) -2))":11,"(* (* (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) 1/2) (- (* (- 1 (cos (+ z0 z0))) z1) -2))":11,"(* (* (- (* (sin z1) z0) 2) z0) (sin z1))":1,"(* (* (- (* (sin z2) z1) 2) z0) z1)":2,"(* (* (- (* z0 (sin z1)) 2) z0) (sin z1))":1,"(* (* (- (cos (+ z1 z1)) -1) z0) 1/2)":4,"(* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2)":4,"(* (* (- -1 z2) z1) z0)":3,"(* (* (- 1 (cos (+ z2 z2))) (* z1 z1)) z0)":2,"(* (* (- 1 z1) E) z0)":5,"(* (* (- 2 z1) z1) z0)":2,"(* (* (- 2 z1) z2) z0)":8,"(* (* (- z0 z1) z1) -3689471323/250000000000000000000000000000000)":2,"(* (* (- z1 z2) z0) (+ z2 z1))":1,"(* (* (- z1 z2) z0) -304747143/200000000000000000000)":2,"(* (* (- z1 z2) z0) z2)":1,"(* (* (- z2 z1) z0) 3689471323/250000000000000000000000000000000)":1,"(* (* (/ (sqrt 2) z0) (cos (* -1/4 (+ (+ z1 z1) PI)))) (- (cos (* 1/2 z1)) (sin (* z1 -1/2))))":10,"(* (* (atanh (* (sin z2) z0)) 2) z1)":6,"(* (* (atanh (* (sin z2) z1)) 2) z0)":6,"(* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0)))":6,"(* (* (cos z0) z1) z2)":12,"(* (* (cos z0) z2) (cos z1))":1,"(* (* (cos z1) z0) z2)":8,"(* (* (cos z1) z2) (cos z0))":2,"(* (* (cos z1) z2) z0)":13,"(* (* (cos z2) z0) (cos z1))":3,"(* (* (cos z2) z1) z0)":1,"(* (* (pow (tan (* (+ (* 1/2 PI) z2) 1/2)) (- z0)) (pow (tan (- (* PI 1/4) -27401669256311/40000000000000)) z0)) z1)":1,"(* (* (pow (tan (* (+ PI (+ z2 z2)) 1/4)) (- z1)) (pow (tan (- (* PI 1/4) -27401669256311/40000000000000)) z1)) z0)":4,"(* (* (sin z0) z2) (cos z1))":5,"(* (* (sin z2) z0) z1)":10,"(* (* (sin z2) z1) z0)":3,"(* (* (sqrt 1/2) z0) (- (cos (* z1 1/2)) (sin (* -1/2 z1))))":4,"(* (* (sqrt 2) (cos (* -1/4 (+ PI (+ z0 z0))))) (- (cos (* 1/2 z0)) (sin (* z0 -1/2))))":10,"(* (* (sqrt 2) z0) (- (sin (- (* z1 -1/2) (* (+ (+ z1 z1) PI) -1/4))) (sin (- (* 3/4 PI) z1))))":2,"(* (* (sqrt 2) z0) (- (sin (- z1 (* 3/4 PI))) (sin (* -1/4 PI))))":4,"(* (* (sqrt 2) z0) (cos (* -1/4 (+ (+ z1 z1) PI))))":10,"(* (* (tan z2) z1) z0)":2,"(* (* -1/2 z0) (- 1 (cos (+ z1 z1))))":4,"(* (* -1/2 z1) (- (cos (+ z0 z0)) 1))":17,"(* (* -1/4 (- (cos (+ z1 z1)) -1)) (- 1 (cos (+ z0 z0))))":3,"(* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z0 z0)) (* z1 z1)))":2,"(* (* -3689471323/1000000000000000000000000000000000 z0) z0)":1,"(* (* -4165541759/500000000000000000000000000000000 z0) z0)":2,"(* (* 1/2 (* z0 z0)) (- 1 (cos (+ z1 z1))))":2,"(* (* 1/2 z0) (- (* (* z1 z1) (- 1 (cos (+ z2 z2)))) 2))":1,"(* (* 1/2 z0) (- (* (- (cos (+ z1 z1)) 1) z2) 2))":2,"(* (* 1/2 z0) (- (* (- 1 (cos (+ z2 z2))) (* z1 z1)) 2))":2,"(* (* 1/2 z0) (- (cos (+ z1 z1)) -1))":4,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":8,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":41,"(* (* 1/2 z1) (- (cos (+ z0 z0)) 1))":6,"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))":86,"(* (* 1/4 (- (cos (+ z1 z1)) -1)) (- (cos (+ z0 z0)) -1))":2,"(* (* 2 (+ (cos (+ z1 z1)) 1/2)) z0)":6,"(* (* 3689471323/1000000000000000000000000000000000 (* z0 z0)) z0)":1,"(* (* z0 1/2) (- (cos (+ z1 z1)) -1))":2,"(* (* z0 z0) (* z0 z0))":5,"(* (* z0 z0) (- 1 (cos (+ z1 z1))))":3,"(* (* z0 z0) 6)":1,"(* (* z0 z0) z1)":5,"(* (* z0 z1) (tan (- -27401669256311/20000000000000 (* 3/2 PI))))":2,"(* (* z0 z1) -4165541759/500000000000000000000000000000000)":2,"(* (* z0 z1) z0)":2,"(* (* z0 z1) z1)":7,"(* (* z1 (- -1 z2)) z0)":3,"(* (* z1 (pow (tan (* (+ PI (+ z2 z2)) 1/4)) (- z0))) (pow (tan (- (* PI 1/4) -27401669256311/40000000000000)) z0))":4,"(* (* z1 z0) (tan (* 1/4 (+ PI (+ z2 z2)))))":3,"(* (* z1 z0) (tan (- (* 1/2 z2) (* 3/4 PI))))":8,"(* (* z1 z0) z0)":7,"(* (* z1 z0) z1)":23,"(* (* z1 z0) z2)":5,"(* (* z1 z1) z0)":43,"(* (* z1 z2) z0)":10,"(* (* z2 (* (* (* z1 (- 2 z0)) z0) z1)) z2)":2,"(* (* z2 (* z1 (- 2 z0))) z1)":5,"(* (* z2 (cos z1)) (- (* (- (cos (+ z1 z1)) 1) (* 1/2 (* z0 z0))) -1))":3,"(* (* z2 (cos z1)) z0)":12,"(* (* z2 (sin z1)) z0)":1,"(* (* z2 z0) (pow (cos z1) 4))":2,"(* (* z2 z0) (pow (tan (- (* PI 1/4) -27401669256311/40000000000000)) z1))":2,"(* (* z2 z1) z0)":21,"(* (+ (* (* (* -4165541759/500000000000000000000000000000000 z1) z1) z1) (* (* z2 3689471323/250000000000000000000000000000000) (* (+ z2 z1) (- z1 z2)))) z0)":1,"(* (+ (* (* 2 (+ (cos (+ z2 z2)) 1/2)) z1) z0) (sin z2))":3,"(* (+ (* z0 z2) (* (/ z1 z2) z1)) 2)":6,"(* (+ (+ z1 z1) PI) z0)":86,"(* (+ PI (+ z1 z1)) z0)":6,"(* (+ z0 z0) (* (cos (- (* 1/4 z1) (* (+ PI z1) 1/4))) (tan (* 1/4 (+ PI (+ z1 z1))))))":2,"(* (+ z0 z0) (* (cos (- (* 1/4 z1) (* (+ z1 PI) 1/4))) (tan (* (+ (+ z1 z1) PI) 1/4))))":5,"(* (+ z0 z0) (/ (sin (- (* -1/2 z1) (* PI 3/4))) (- (sin (- z1 PI)) 1)))":5,"(* (+ z0 z0) (cos z1))":1,"(* (- (* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2) (- (cos (+ z0 z0)) 1)) 1/2)":4,"(* (- (* (* -1/2 z2) (- (cos (+ z0 z0)) 1)) -1) (pow (- -1 (* (* -1/2 z1) (- (cos (+ z0 z0)) 1))) -2))":2,"(* (- (* (* 1/2 z0) (- (cos (+ z2 z2)) 1)) -1) z1)":1,"(* (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- 1 (* z2 z2)))":2,"(* (- (* (* 1/2 z2) (- (cos (+ z1 z1)) 1)) 1) z0)":4,"(* (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1) z0)":2,"(* (- (* (* z1 z1) 3) (* z2 z2)) z0)":2,"(* (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1))":6,"(* (- (* (* z2 1/2) (- 1 (cos (+ z1 z1)))) -1) z0)":12,"(* (- (* (* z2 z2) 3) (* z1 z1)) z0)":1,"(* (- (* (- (cos (+ z2 z2)) 1) (* (* z1 z1) 1/2)) -1) z0)":4,"(* (- (* (- 1 (cos (+ z0 z0))) z1) -2) 1/2)":66,"(* (- (* (- 1 (cos (+ z1 z1))) z2) -2) z0)":4,"(* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2)":3,"(* (- (* (sin z2) z1) 2) z0)":2,"(* (- (* -304747143/100000000000000000000 z1) -4668270147/10000000000000000) z0)":1,"(* (- (* 3 (* z1 z1)) (* z2 z2)) z0)":1,"(* (- (* 3689471323/250000000000000000000000000000000 (* (- z0 z1) z1)) (* 4165541759/500000000000000000000000000000000 (* z0 z0))) z0)":1,"(* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0)":2,"(* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))":1,"(* (- (* 6 (* z1 z1)) (* z2 z2)) z0)":2,"(* (- (* PI 1/2) z1) z0)":7,"(* (- (* z1 z1) (* (* z2 z2) 3)) z0)":2,"(* (- (* z1 z1) 1) z0)":4,"(* (- (* z2 z2) 1) (- (* (- (cos (+ z0 z0)) 1) (* 1/2 z1)) 1))":4,"(* (- (+ (- (cosh (+ z0 z0)) 1) (cos (+ z1 z1))) -1) 1/2)":2,"(* (- (+ 2 z2) (* (cos (+ z1 z1)) z2)) z0)":2,"(* (- (- (* (cos (+ z1 z1)) z0) z0) -2) 1/2)":2,"(* (- (- (* z1 (cos (+ z2 z2))) z1) -2) z0)":2,"(* (- (- 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) (- (cos (+ z2 z2)) -1))) (cos (+ z1 z1))) z0)":2,"(* (- (- 1 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) -1) 1/2))) (cos (+ z1 z1))) z0)":2,"(* (- (cos (* -1/2 z1)) (sin (* 1/2 z1))) z0)":4,"(* (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (sqrt 1/2))":2,"(* (- (cos (* 1/2 z0)) (sin (* 1/2 z0))) (sqrt 1/2))":5,"(* (- (cos (* 1/2 z1)) (sin (* z1 -1/2))) (* z0 -1/2))":1,"(* (- (cos (* 1/2 z1)) (sin (* z1 -1/2))) z0)":11,"(* (- (cos (* 1/4 (+ (+ z2 z2) PI)))) (pow (* (/ (sqrt 1/2) (cos (* 1/4 (+ PI (+ z1 z1))))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1)))) z0))":6,"(* (- (cos (* 1/4 (+ PI (+ z1 z1))))) z0)":6,"(* (- (cos (* z0 1/2)) (sin (* z0 -1/2))) -1/2)":1,"(* (- (cos (* z1 1/2)) (sin (* -1/2 z1))) z0)":2,"(* (- (cos (* z2 1/2)) (sin (* -1/2 z2))) (* (sqrt 1/2) (* z1 z0)))":2,"(* (- (cos (+ z0 z0)) -1) 1/2)":7,"(* (- (cos (+ z0 z0)) 1) (* 1/2 z1))":4,"(* (- (cos (+ z0 z0)) 1) 1/2)":6,"(* (- (cos (+ z0 z0)) 1) 2)":3,"(* (- (cos (+ z1 z1)) -1) (* 1/2 z0))":3,"(* (- (cos (+ z1 z1)) -1) z0)":16,"(* (- (cos (+ z1 z1)) 1) (* 1/2 (* z0 z0)))":4,"(* (- (cos (+ z1 z1)) 1) z0)":41,"(* (- (sin (* 1/2 z0)) (cos (* -1/2 z0))) (sqrt 1/2))":4,"(* (- (sin (* z1 1/2)) (cos (* -1/2 z1))) z0)":4,"(* (- (sin (- (* z1 -1/2) (* (+ (+ z1 z1) PI) -1/4))) (sin (- (* 3/4 PI) z1))) z0)":2,"(* (- (sin (- z1 (* 3/4 PI))) (sin (* -1/4 PI))) z0)":4,"(* (- (sin z0) -1) 1/2)":5,"(* (- -1 (* (* (- -1 z2) z1) z1)) z0)":3,"(* (- -1 (cos (+ z0 z0))) -1/2)":3,"(* (- 1 (* (* (* 1/2 z1) z1) (- 1 (cos (+ z2 z2))))) z0)":6,"(* (- 1 (* (* (* z0 z0) 1/2) (- 1 (cos (+ z1 z1))))) (* (cos z1) z2))":1,"(* (- 1 (* z1 z1)) z0)":2,"(* (- 1 (cos (+ z0 z0))) 1/2)":31,"(* (- 1 (cos (+ z0 z0))) z1)":6,"(* (- 1 (cos (+ z1 z1))) (* -1/2 z0))":3,"(* (- 1 (cos (+ z1 z1))) (* 1/2 z0))":2,"(* (- 1 (cos (+ z1 z1))) z0)":125,"(* (- 1 (cosh (+ z0 z0))) -1/2)":4,"(* (- 1 (sin z0)) 1/2)":2,"(* (- 1 z0) E)":5,"(* (- 2 (* (* z0 z1) z0)) z2)":1,"(* (- 2 (* z2 (- (cos (+ z0 z0)) 1))) (* (pow (- (* (* 1/2 z1) (- (cos (+ z0 z0)) 1)) 1) -2) 1/2))":3,"(* (- PI (* (atan (exp (/ z2 z1))) 4)) z0)":1,"(* (- z0 (log (fabs (tan (- (* PI -5/4) (* 1/2 z2)))))) z1)":2,"(* (- z0 1) E)":2,"(* (- z0) (cos (* -1/2 z1)))":3,"(* (- z1 (/ 1 z1)) z0)":2,"(* (- z1 (log (fabs (tan (- (* PI -5/4) (* 1/2 z2)))))) z0)":2,"(* (- z1 PI) z0)":4,"(* (- z1 z0) 4165541759/125000000000000000000000000000000)":1,"(* (- z2 (* (* (- 2 (* (* z0 z1) z0)) z0) (* (* z1 z2) z0))) z2)":1,"(* (- z2 (* z1 (* (* z0 z2) z0))) (- z2 (* z1 (* (* z0 z2) z0))))":1,"(* (/ (* (sqrt 2) (cos (* -1/4 (+ PI (+ z0 z0))))) (- 1 (sin z0))) (- (cos (* 1/2 z0)) (sin (* z0 -1/2))))":20,"(* (/ (+ z0 z0) z1) z0)":6,"(* (/ (- -1 z1) E) z0)":5,"(* (/ (cos z1) z0) (cos z2))":3,"(* (/ (cos z1) z0) (sin z2))":4,"(* (/ (sqrt 1/2) (cos (* 1/4 (+ (+ z0 z0) PI)))) (- (cos (* 1/2 z0)) (sin (* -1/2 z0))))":6,"(* (/ (sqrt 1/2) z0) (cos (* -1/2 z1)))":3,"(* (/ (sqrt 1/2) z0) (sin (* z1 1/2)))":3,"(* (/ (sqrt 2) z0) (sin (* z1 -1/2)))":2,"(* (/ -2 (- (sin z0) -1)) (sin (- (* z0 -1/2) (* PI 3/4))))":5,"(* (/ z0 (* z1 z1)) z0)":2,"(* (/ z0 (- (sin z2) -1)) (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* 1/2 z1)))":2,"(* (/ z0 (cos (* 1/4 (+ PI (+ z1 z1))))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1))))":6,"(* (/ z0 (cos z2)) (sin z1))":1,"(* (/ z0 z1) (pow (cos z2) 4))":4,"(* (/ z0 z1) z2)":2,"(* (/ z1 (* z2 z0)) z1)":1,"(* (/ z1 (* z2 z2)) z0)":2,"(* (/ z1 (cos z2)) z0)":2,"(* (/ z1 z0) (log (tan (- (* PI -23/4) (* z2 1/2)))))":2,"(* (/ z1 z0) (sin (* (+ (+ z2 z2) PI) -1/4)))":9,"(* (/ z1 z2) z0)":12,"(* (/ z2 (cos z0)) z1)":4,"(* (/ z2 (cos z1)) z0)":6,"(* (/ z2 z1) z0)":20,"(* (atan (* (tan (- -27401669256311/40000000000000 (* PI 1/4))) (pow (/ z2 z1) (/ 1 z0)))) -2)":2,"(* (atan (exp (/ z2 z1))) z0)":2,"(* (atan z1) z0)":2,"(* (atanh (* (- z0) (sin z1))) 2)":1,"(* (atanh (* (sin z1) z0)) 2)":6,"(* (atanh (* z0 (sin z1))) 2)":2,"(* (cos (* (+ (+ z1 z1) PI) -1/4)) z0)":6,"(* (cos (* (+ (+ z1 z1) PI) 1/4)) z0)":12,"(* (cos (* -1/2 z0)) (sqrt 1/2))":5,"(* (cos (* -1/2 z1)) z0)":3,"(* (cos (* -1/4 (+ (+ z1 z1) PI))) z0)":10,"(* (cos (* z1 -1/2)) (* (sqrt 1/2) z0))":6,"(* (cos (* z1 -1/2)) z0)":8,"(* (cos (+ z1 z1)) z0)":6,"(* (cos z0) z1)":34,"(* (cos z1) (sin z0))":2,"(* (cos z1) (tan z0))":2,"(* (cos z1) z0)":93,"(* (cos z2) (* (cos z1) (sin z0)))":1,"(* (fabs (- (cos (* -1/2 z1)) (sin (* z1 1/2)))) (* (sqrt 1/2) z0))":4,"(* (fabs (/ z0 (- z1 -1))) (sqrt (fabs (- 1 (* z1 z1)))))":1,"(* (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) z0)":2,"(* (fabs (sin (- (* PI 7/4) (* -1/2 z1)))) z0)":2,"(* (fabs (tan (- (* 1/2 z1) (* 3/4 PI)))) z0)":3,"(* (fabs (tan (- (* 1/4 PI) (* z1 1/2)))) z0)":1,"(* (fabs (tan (- (* 1/4 PI) (* z2 1/2)))) (pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) z1))":1,"(* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1)":19,"(* (log (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1)))) z0)":19,"(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1)":3,"(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z0)":3,"(* (log (tan (+ (* z1 1/2) (* 29/4 PI)))) z0)":2,"(* (log (tan (- (* PI -23/4) (* z1 1/2)))) z0)":2,"(* (pow (* (/ (sqrt 1/2) (cos (* 1/4 (+ (+ z2 z2) PI)))) (- (cos (* 1/2 z2)) (sin (* -1/2 z2)))) z1) z0)":6,"(* (pow (* (sqrt 2) (* (cos (- (* 1/4 z1) (* (+ PI z1) 1/4))) (tan (* 1/4 (+ PI (+ z1 z1)))))) z0) (sin (* -1/4 (- PI (+ z2 z2)))))":2,"(* (pow (* (sqrt 2) (* (cos (- (* 1/4 z2) (* (+ PI z2) 1/4))) (tan (* 1/4 (+ PI (+ z2 z2)))))) (- z1)) z0)":5,"(* (pow (* (sqrt 2) (* (cos (- (* 1/4 z2) (* (+ z2 PI) 1/4))) (tan (* 1/4 (+ (+ z2 z2) PI))))) z1) z0)":2,"(* (pow (* 1/2 (- (* (- (cos (+ z1 z1)) 1) z2) 2)) -2) (* 1/2 z0))":4,"(* (pow (* 1/2 (- (* (- (cos (+ z1 z1)) 1) z2) 2)) -2) z0)":4,"(* (pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) -2) (* 1/2 z0))":2,"(* (pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) -2) z0)":2,"(* (pow (- (* (* 1/2 z1) (- (cos (+ z0 z0)) 1)) 1) -2) 1/2)":4,"(* (pow (- (* (- (cos (+ z1 z1)) 1) (* 1/2 z2)) 1) -2) z0)":4,"(* (pow (- -1 (* (* -1/2 z1) (- (cos (+ z0 z0)) 1))) -2) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":4,"(* (pow (- -1 (* (* -1/2 z1) (- (cos (+ z0 z0)) 1))) -2) 1/2)":2,"(* (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1)) (tan (+ (* 13/4 PI) (* z2 1/2))))":1,"(* (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* 1/2 z1)) z0)":9,"(* (pow (/ (- (* z0 (sin z1)) -1) (- 1 (* z0 (sin z1)))) (* 1/2 z0)) (tan (* 1/4 (- (- PI z1) z1))))":2,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0)":3,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* z1 1/2)) z0)":8,"(* (pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) (* 1/2 z1)) z0)":9,"(* (pow (/ (sin (+ (* z2 1/2) (atan 1))) (cos (* (+ (+ z2 z2) PI) 1/4))) (/ 1 z1)) z0)":1,"(* (pow (cos z0) 3) z1)":1,"(* (pow (cos z1) 3) z0)":1,"(* (pow (cos z1) 4) z0)":4,"(* (pow (cos z2) 4) (* z0 z1))":2,"(* (pow (fabs (- (* z0 (sin z1)) 1)) -3/2) (- -1 (* z0 (sin z1))))":1,"(* (pow (tan (* (+ (* 1/2 PI) z2) 1/2)) (- z1)) z0)":1,"(* (pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0)) (pow (tan (- (* PI 1/4) -27401669256311/40000000000000)) z0))":5,"(* (pow (tan (* (+ (+ z2 PI) z2) 1/4)) (/ 1 z1)) z0)":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z1)) z0)":1,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z0)) (pow z1 (/ -1 z0)))":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z1)) z0)":10,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z1) z0)":15,"(* (pow (tan (* (+ PI (+ z2 z2)) 1/4)) (- z1)) z0)":4,"(* (pow (tan (* 1/4 (+ PI (+ z2 z2)))) (- z1)) z0)":3,"(* (pow (tan (+ (* 1/2 z1) (* 29/4 PI))) (- z0)) (tan (- (* 13/4 PI) (* z2 -1/2))))":2,"(* (pow (tan (+ (* 1/2 z2) (* 13/4 PI))) (/ 1 z0)) (pow z1 (/ -1 z0)))":3,"(* (pow (tan (+ (* 1/2 z2) (* 13/4 PI))) (/ 1 z1)) z0)":3,"(* (pow (tan (+ (* 1/2 z2) (* 25/4 PI))) (/ 1 z0)) (pow z1 (/ -1 z0)))":4,"(* (pow (tan (+ (* 1/2 z2) (* 25/4 PI))) (/ 1 z1)) z0)":4,"(* (pow (tan (+ (* 1/2 z2) (* 29/4 PI))) (- z1)) z0)":3,"(* (pow (tan (+ (* z2 1/2) (* 29/4 PI))) (- z1)) z0)":11,"(* (pow (tan (- (* 1/2 z2) (* -9/4 PI))) z1) z0)":2,"(* (pow (tan (- (* 1/2 z2) (* 3/4 PI))) (- z1)) z0)":8,"(* (pow (tan (- (* 9/4 PI) (* z2 -1/2))) (- z1)) z0)":1,"(* (sin (* (+ (+ z2 z2) PI) 1/4)) (* z0 z1))":8,"(* (sin (* -1/2 z0)) (sin (* -7/4 PI)))":3,"(* (sin (* -1/2 z0)) (sqrt 1/2))":2,"(* (sin (* -1/2 z0)) (sqrt 2))":2,"(* (sin (* -1/2 z1)) z0)":3,"(* (sin (* -1/4 (+ PI (+ z1 z1)))) z0)":4,"(* (sin (* -1/4 (- PI (+ z1 z1)))) z0)":2,"(* (sin (* -13/4 PI)) (cos (* 1/2 z0)))":3,"(* (sin (* -4 z1)) z0)":38,"(* (sin (* -7/4 PI)) z0)":3,"(* (sin (* 1/2 z0)) (sqrt 1/2))":3,"(* (sin (* 1/4 (+ (+ z1 z1) PI))) z0)":2,"(* (sin (* 1/4 (+ PI (+ z1 z1)))) z0)":2,"(* (sin (* 13/4 PI)) z0)":3,"(* (sin (* 3 z1)) z0)":48,"(* (sin (* 4 z1)) z0)":2,"(* (sin (* z1 -1/2)) z0)":2,"(* (sin (* z1 -4)) z0)":2,"(* (sin (* z1 1/2)) z0)":3,"(* (sin (* z1 3)) z0)":2,"(* (sin (* z1 4)) z0)":4,"(* (sin (* z1 z0)) z2)":7,"(* (sin (* z2 z0)) z1)":5,"(* (sin (* z2 z1)) z0)":12,"(* (sin (+ z1 z1)) z0)":45,"(* (sin z0) (* (cos z1) (cos z2)))":3,"(* (sin z0) (/ (cos z2) (cos z1)))":1,"(* (sin z0) z1)":1,"(* (sin z1) (cos z0))":8,"(* (sin z1) z0)":359,"(* (sqrt (- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) -1)) z0)":1,"(* (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)) z0)":2,"(* (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)) z0)":2,"(* (sqrt (/ 2 (fabs (- (- 1 (cos (+ z1 z1))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) (- (cos (+ z2 z2)) -1)))))) z0)":1,"(* (sqrt (fabs (- 1 z1))) z0)":2,"(* (sqrt 1/2) (cos (* 1/2 z0)))":6,"(* (sqrt 1/2) z0)":38,"(* (sqrt 1/8) (- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0))))":2,"(* (sqrt 1/8) (- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI))))":4,"(* (sqrt 2) (* (cos (- (* 1/4 z0) (* (+ PI z0) 1/4))) (tan (* (+ (+ z0 z0) PI) 1/4))))":5,"(* (sqrt 2) (* (cos (- (* 1/4 z0) (* 1/4 (+ z0 PI)))) (tan (* 1/4 (+ (+ z0 z0) PI)))))":2,"(* (sqrt 2) (- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0))))":2,"(* (sqrt 2) (- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI))))":4,"(* (sqrt 2) (cos (* -1/4 (+ PI (+ z0 z0)))))":10,"(* (sqrt 2) z0)":18,"(* (sqrt z1) z0)":2,"(* (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":18,"(* (tan (* (+ (+ z2 z2) PI) 1/4)) (* z1 z0))":7,"(* (tan (* 1/4 (+ (+ z1 z1) PI))) z0)":14,"(* (tan (* 1/4 (+ (+ z2 z2) PI))) (pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) (- z1)))":2,"(* (tan (* 1/4 (+ PI (+ z2 z2)))) (* z1 z0))":5,"(* (tan (+ (* 9/4 PI) (* -1/2 z1))) (pow (/ (- (* z0 (sin z1)) -1) (- 1 (* z0 (sin z1)))) (* 1/2 z0)))":7,"(* (tan (+ (* 9/4 PI) (* -1/2 z1))) z0)":7,"(* (tan (- (* -9/4 PI) (* 1/2 z1))) z0)":1,"(* (tan (- (* 1/2 z1) (* 3/4 PI))) z0)":16,"(* (tan (- (* 13/4 PI) (* -1/2 z1))) z0)":2,"(* (tan (- (* 13/4 PI) (* z1 -1/2))) z0)":2,"(* (tan (- (* 13/4 PI) (* z2 -1/2))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1)))":1,"(* (tan (- (* 9/4 PI) (* -1/2 z1))) z0)":15,"(* (tan (- (* 9/4 PI) (* -1/2 z2))) (* z1 z0))":3,"(* (tan (- (* 9/4 PI) (* -1/2 z2))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1)))":8,"(* (tan (- (* PI 1/4) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z0)))":3,"(* (tan (- (* PI 1/4) -27401669256311/40000000000000)) z0)":3,"(* (tan (- -27401669256311/20000000000000 (* PI 9/2))) z0)":1,"(* (tan (/ (- (* PI 1/2) z1) 2)) (pow (/ (- (* z0 (sin z1)) -1) (- 1 (* z0 (sin z1)))) (* 1/2 z0)))":2,"(* (tan z1) z0)":18,"(* -1/2 (* (- (cos (+ z1 z1)) 1) z0))":10,"(* -1/2 (* (- 1 (cos (+ z0 z0))) z1))":6,"(* -1/2 (- (cos (+ z0 z0)) 1))":11,"(* -1/2 (- -1 (cos (+ z0 z0))))":4,"(* -1/2 (- 1 (cos (+ z0 z0))))":4,"(* -1/2 (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":2,"(* -149230739/1250000000000000 z0)":2,"(* -2 (* (cos (- (* 1/4 z0) (* (+ PI z0) 1/4))) (tan (* (+ (+ z0 z0) PI) -1/4))))":5,"(* -2 (* (cos (- (* 1/4 z0) (* 1/4 (+ z0 PI)))) (tan (* (+ (+ z0 z0) PI) -1/4))))":2,"(* -2 (atan (* (tan (- (* PI 3/4) 27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z0)))))":1,"(* -212097503/125000000000000000000000000 z0)":5,"(* -3689471323/250000000000000000000000000000000 z0)":2,"(* -4165541759/500000000000000000000000000000000 z0)":5,"(* -881662847/200000000000000000000000000 z0)":4,"(* 1/2 (- (- 1 (cos (+ z0 z0))) (* (- -1 (cos (+ z0 z0))) (* 1/2 (- (cos (+ z1 z1)) -1)))))":1,"(* 1/2 (- 1 (cos (+ z0 z0))))":12,"(* 149230739/1250000000000000 z0)":4,"(* 2 (+ (cos (+ z0 z0)) 1/2))":3,"(* 3 (* z0 z0))":6,"(* 3689471323/1000000000000000000000000000000000 (* z0 z0))":1,"(* 4165541759/125000000000000000000000000000000 z0)":1,"(* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))":1,"(* 6 (* z0 z0))":2,"(* E z0)":2,"(* PI z0)":340,"(* z0 (* 1/4 (- (cos (+ z1 z1)) 1)))":1,"(* z0 (+ (+ z1 z1) PI))":3,"(* z0 (+ PI (+ z1 z1)))":45,"(* z0 (- (* 1/4 PI) (* 1/2 z1)))":2,"(* z0 (- (* z1 4616990181/250000000000000000000) 4668270147/10000000000000000))":2,"(* z0 (- (- PI z1) z1))":29,"(* z0 (- (cos (+ z1 z1)) -1))":6,"(* z0 (- 1 (- (sin (- z1)))))":2,"(* z0 (- 1 (sin (- z1 PI))))":6,"(* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":4,"(* z0 (cos (* -1/4 (+ PI (+ z1 z1)))))":2,"(* z0 (cos -27401669256311/20000000000000))":2,"(* z0 (cos z1))":2,"(* z0 (log (/ (- 0 (sin (* 2 (- (* 1/4 PI) (* -1/2 z1))))) (- (sin (- z1 PI)) 1))))":10,"(* z0 (log (/ (cos z1) (- 1 (- (sin (- z1)))))))":4,"(* z0 (log (/ (sin (* (+ PI (+ z1 z1)) -1/2)) (- (sin (- z1 PI)) 1))))":2,"(* z0 (log (fabs (/ (sin (* 1/4 (- (- PI z1) z1))) (sin (- (* 1/4 PI) (* z1 -1/2)))))))":10,"(* z0 (log (fabs (tan (* (- z1 (* PI -1/2)) 1/2)))))":2,"(* z0 (log (fabs (tan (- (* 1/2 z1) (* PI 9/4))))))":2,"(* z0 (log (tan (* (- z1 (* PI -1/2)) 1/2))))":4,"(* z0 (log (tan (* (- z1 (- PI z1)) -1/4))))":10,"(* z0 (log (tan (* 1/4 (+ (+ z1 z1) PI)))))":6,"(* z0 (log (tan (* 1/4 (+ PI (+ z1 z1))))))":24,"(* z0 (log (tan (* 1/4 (- (- PI z1) z1)))))":22,"(* z0 (log (tan (- (* -1/2 z1) (* 3/4 PI)))))":12,"(* z0 (log (tan (- (* z1 1/2) (* -5/4 PI)))))":8,"(* z0 (log (tan (- (* z1 1/2) (* 3/4 PI)))))":18,"(* z0 (pow (cos z1) 4))":6,"(* z0 (sin (* -1/4 (+ PI (+ z1 z1)))))":14,"(* z0 (sin (* 1/4 (+ PI (+ z1 z1)))))":19,"(* z0 (sin (* PI -3/4)))":1,"(* z0 (sin (- (* -1/2 z1) (* 5/4 PI))))":5,"(* z0 (sin z1))":69,"(* z0 (sqrt (fabs (- 1 (* z1 z1)))))":2,"(* z0 (tan (* 1/4 (- (- PI z1) z1))))":2,"(* z0 (tan (- -27401669256311/20000000000000 (* 3/2 PI))))":2,"(* z0 881662847/200000000000000000000000000)":2,"(* z0 E)":5,"(* z0 PI)":138,"(* z1 (* (* z0 z2) z0))":2,"(* z1 (* z0 z2))":94,"(* z1 (- (cos (+ z0 z0)) 1))":8,"(* z1 (/ z0 (tan 27401669256311/20000000000000)))":4,"(* z2 (* (* (* z1 (- 2 z0)) z0) z1))":2,"(* z2 (* z1 (- 2 z0)))":5,"(* z2 (/ z0 z1))":1,"(+ (* (* 2 (+ (cos (+ z2 z2)) 1/2)) z1) z0)":6,"(+ (* (* z0 (* 1/2 z2)) (- 1 (cos (+ z1 z1)))) z0)":26,"(+ (* (* z0 (* z2 1/2)) (- 1 (cos (+ z1 z1)))) z0)":22,"(+ (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) z0)":1,"(+ (* (cos (* z1 -1/2)) (sqrt 1/2)) z0)":2,"(+ (* (pow (cos z2) 4) z0) z1)":1,"(+ (* (pow (cos z2) 4) z1) z0)":1,"(+ (* (sin (* 3 z2)) z1) z0)":19,"(+ (* (sin (* z1 -1/2)) (sqrt 1/2)) z0)":2,"(+ (* (sin z2) z0) (* (sin (* 3 z2)) z1))":19,"(+ (* z1 (* z2 z2)) z0)":14,"(+ (* z1 z1) (* z0 (* z2 z2)))":14,"(+ (- (- (* (* (- z1 z0) (+ z1 z0)) (- (* 3689471323/250000000000000000000000000000000 (* z1 z0)) -304747143/200000000000000000000)) (* (- (* z0 z0) (* (* z1 z1) 3)) (* z0 881662847/200000000000000000000000000)))) (- (- (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0) -9827991/390625000) (* z1 (+ -149230739/1250000000000000 (* (- (* z1 z1) (* 3 (* z0 z0))) 212097503/125000000000000000000000000)))))":1,"(+ (log (fabs (tan (* 1/4 (+ PI (+ z1 z1)))))) z0)":4,"(+ (log (tan (- (* 1/2 z1) (* -1/4 PI)))) z0)":10,"(+ (log (tan (- (* 1/2 z1) (* PI -17/4)))) z0)":2,"(+ (log (tan (- (* z1 1/2) (* -1/4 PI)))) z0)":6,"(+ 1/2 (* 1/2 (- (sin z0))))":6,"(- (* (* (* z0 z0) 1/2) (- 1 (cos (+ z1 z1)))) 1)":1,"(- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)))":1,"(- (* (* (* z1 z1) 1/2) (- 1 (cos (+ z2 z2)))) z0)":2,"(- (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) (* (- z2 z1) z2)) z0)":1,"(- (* (* (- (* (sin z2) z1) 2) z1) (sin z2)) z0)":2,"(- (* (* (- (cos (+ z1 z1)) 1) 1/2) z2) z0)":2,"(- (* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2) (- (cos (+ z0 z0)) 1))":4,"(- (* (* (- -1 (cos (+ z1 z1))) (- (cos (+ z2 z2)) -1)) -1/2) z0)":2,"(- (* (* (- -1 (cos (+ z2 z2))) (- (cos (+ z1 z1)) -1)) -1/2) z0)":2,"(- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0)))))":2,"(- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI)))))":4,"(- (* (* (cos (* (+ (+ z1 z1) PI) -1/4)) (sqrt 1/2)) (cos (* z1 -1/2))) z0)":2,"(- (* (* (cos (* (+ (+ z1 z1) PI) 1/4)) (sqrt 1/2)) (cos (* z1 -1/2))) z0)":4,"(- (* (* -1/2 z1) (- (cos (+ z0 z0)) 1)) -1)":16,"(- (* (* -1/2 z2) (- (cos (+ z1 z1)) 1)) z0)":16,"(- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) z0)":2,"(- (* (* -1/4 (- (cos (+ z1 z1)) -1)) (- 1 (cos (+ z0 z0)))) -1)":3,"(- (* (* -1/4 (- (cos (+ z2 z2)) -1)) (- 1 (cos (+ z1 z1)))) z0)":4,"(- (* (* 1/2 (* z0 z0)) (- 1 (cos (+ z1 z1)))) 1)":2,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":5,"(- (* (* 1/2 z1) (- (cos (+ z0 z0)) 1)) 1)":4,"(- (* (* 1/2 z1) (- (cos (+ z2 z2)) 1)) z0)":2,"(- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1)":20,"(- (* (* 1/2 z2) (- (cos (+ z1 z1)) 1)) z0)":4,"(- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) z0)":35,"(- (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- (cos (+ z0 z0)) -1)) (* -1/2 (- 1 (cos (+ z0 z0)))))":2,"(- (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- (cos (+ z2 z2)) -1)) z0)":2,"(- (* (* 304747143/200000000000000000000 (+ z2 z1)) (- z1 z2)) (- (- z0 (* 149230739/1250000000000000 z2)) (* (- (* z2 4616990181/250000000000000000000) 4668270147/10000000000000000) z1)))":1,"(- (* (* 881662847/200000000000000000000000000 z0) (- (* (* z1 z1) 3) (* z0 z0))) (* (* 4165541759/500000000000000000000000000000000 (* z1 z1)) (- (* 6 (* z0 z0)) (* z1 z1))))":1,"(- (* (* z0 1/2) (- (cos (+ z1 z1)) 1)) -1)":1,"(- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) z0)":3,"(- (* (* z1 z1) z2) z0)":2,"(- (* (* z2 -212097503/125000000000000000000000000) (- (* (* z1 z1) 3) (* z2 z2))) z0)":1,"(- (* (* z2 1/2) (- 1 (cos (+ z1 z1)))) z0)":51,"(- (* (* z2 z0) (pow (cos z1) 4)) -1)":2,"(- (* (- (* (* (- z1 z2) z2) 3689471323/250000000000000000000000000000000) (* 4165541759/500000000000000000000000000000000 (* z1 z1))) z1) z0)":1,"(- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* (* z2 -4165541759/500000000000000000000000000000000) z2)) z0)":1,"(- (* (- (* z2 4616990181/250000000000000000000) 4668270147/10000000000000000) z1) z0)":2,"(- (* (- (- (* 636292509/125000000000000000000000000 (* z1 z1)) (* (* z0 z0) (- (* -3689471323/1000000000000000000000000000000000 z0) -212097503/125000000000000000000000000))) (* (* (+ z0 z1) 4165541759/125000000000000000000000000000000) (* (- z1 z0) z1))) z0) (* (- (* 3 (* z0 z0)) (* z1 z1)) (* -881662847/200000000000000000000000000 z1)))":1,"(- (* (- (cos (+ z0 z0)) 1) (* 1/2 z1)) 1)":4,"(- (* (- (cos (+ z1 z1)) 1) (* 1/2 (* z0 z0))) -1)":4,"(- (* (- (cos (+ z1 z1)) 1) (* 1/2 z2)) z0)":4,"(- (* (- (cos (+ z1 z1)) 1) 2) z0)":3,"(- (* (- (cos (+ z1 z1)) 1) z2) z0)":8,"(- (* (- (cos (+ z2 z2)) 1) (* (* z1 z1) 1/2)) z0)":4,"(- (* (- (cos (+ z2 z2)) 1) (* 1/2 z1)) z0)":2,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":3,"(- (* (- 1 (cos (+ z1 z1))) z2) z0)":6,"(- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) z0)":2,"(- (* (- 1 (cosh (+ z1 z1))) -1/2) z0)":2,"(- (* (- z2) z0) (* (/ z1 z2) z1))":3,"(- (* (/ z0 (* z1 z1)) z0) -1)":2,"(- (* (/ z0 z1) (pow (cos z2) 4)) -1)":2,"(- (* (/ z1 (* z2 z2)) z1) z0)":2,"(- (* (cos (* 1/2 z0)) (sin (* 13/4 PI))) (* (sin (* 1/2 z0)) (sin (* -7/4 PI))))":3,"(- (* (cos (+ z1 z1)) z0) z0)":2,"(- (* (cos z2) (tan z1)) (* (sin z2) z0))":2,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (* 1/4 (+ PI (+ z2 z2))))))":1,"(- (* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1) (log (fabs (tan (* 1/4 (+ (+ z2 z2) PI))))))":2,"(- (* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1) (log (tan (* 1/4 (+ (+ z2 z2) PI)))))":1,"(- (* (sin (* -1/2 z1)) (sin (* -7/4 PI))) z0)":3,"(- (* (sin (+ z2 z2)) z1) z0)":3,"(- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2))))":2,"(- (* -1/2 (* (* z0 (+ z2 z2)) z2)) (* z1 z1))":3,"(- (* -1/2 (* (- 1 (cos (+ z1 z1))) z2)) z0)":4,"(- (* -1/2 PI) (* (atan (* (tan (- -27401669256311/40000000000000 (* PI 1/4))) (pow (/ z2 z1) (/ 1 z0)))) 2))":2,"(- (* -149230739/1250000000000000 z0) 9827991/390625000)":1,"(- (* 1/2 z0) (* (+ (+ z0 z0) PI) 1/4))":2,"(- (* 2 (atan (exp (/ z1 z0)))) (* 1/2 PI))":2,"(- (* 3 (* z0 z0)) (* z1 z1))":3,"(- (* 6 (* z0 z0)) (* z1 z1))":2,"(- (* z0 z0) (* (* z1 z1) 3))":1,"(- (* z0 z0) (* z1 z2))":1,"(- (* z1 (* (* z0 z2) z0)) z2)":2,"(- (* z1 (- (cos (+ z0 z0)) 1)) 2)":6,"(- (* z1 (cos (+ z2 z2))) (- z1 z0))":2,"(- (* z2 z0) (* z1 z1))":3,"(- (+ (- (* 149230739/1250000000000000 z1) -9827991/390625000) (* z0 (+ (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) (* (- (* z0 z0) (* (* z1 z1) 3)) 881662847/200000000000000000000000000)))) (- (* (* -212097503/125000000000000000000000000 z1) (- (* 3 (* z0 z0)) (* z1 z1))) (* (* 304747143/200000000000000000000 (+ z1 z0)) (- z0 z1))))":1,"(- (- (* (* (- z1 z2) -4616990181/500000000000000000000) (+ z2 z1)) (* (- (* -304747143/100000000000000000000 z1) -4668270147/10000000000000000) z2)) (- (* 149230739/1250000000000000 z1) z0))":1,"(- (- (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0) -9827991/390625000) (* -149230739/1250000000000000 z1))":1,"(- (- (* (cos (+ z1 z1)) z0) z0) -2)":2,"(- (- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))) (- (* (* (- z1 z0) (+ z1 z0)) (- (* 3689471323/250000000000000000000000000000000 (* z1 z0)) -304747143/200000000000000000000)) (* (- (* z0 z0) (* (* z1 z1) 3)) (* z0 881662847/200000000000000000000000000)))) (- (* z1 (- (* (- (* z1 z1) (* 3 (* z0 z0))) 212097503/125000000000000000000000000) 149230739/1250000000000000)) (- (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0) -9827991/390625000)))":1,"(- (- (* 636292509/125000000000000000000000000 (* z1 z1)) (* (* z0 z0) (- (* -3689471323/1000000000000000000000000000000000 z0) -212097503/125000000000000000000000000))) (* (* (+ z0 z1) 4165541759/125000000000000000000000000000000) (* (- z1 z0) z1)))":1,"(- (- (* z0 (+ (+ (* (* (* -4165541759/500000000000000000000000000000000 z0) z0) z0) (* (* 3689471323/250000000000000000000000000000000 z1) (* (+ z0 z1) (- z0 z1)))) (- (* z1 4616990181/250000000000000000000) 4668270147/10000000000000000))) (+ (* (* (+ z0 z1) -304747143/200000000000000000000) (- z0 z1)) (* z1 (+ -149230739/1250000000000000 (* (- (* z1 z1) (* 3 (* z0 z0))) 212097503/125000000000000000000000000))))) (- (* (* 881662847/200000000000000000000000000 z0) (- (* (* z1 z1) 3) (* z0 z0))) (* (* 4165541759/500000000000000000000000000000000 (* z1 z1)) (- (* 6 (* z0 z0)) (* z1 z1)))))":1,"(- (- (* z1 (+ (+ (* (* (* -4165541759/500000000000000000000000000000000 z1) z1) z1) (* (* z2 3689471323/250000000000000000000000000000000) (* (+ z2 z1) (- z1 z2)))) (- (* z2 4616990181/250000000000000000000) 4668270147/10000000000000000))) (+ (* (* (+ z2 z1) -304747143/200000000000000000000) (- z1 z2)) (* z2 (+ -149230739/1250000000000000 (* (- (* z2 z2) (* (* z1 z1) 3)) 212097503/125000000000000000000000000))))) z0)":1,"(- (- (* z1 (+ (- (* -304747143/100000000000000000000 z0) -4668270147/10000000000000000) (* (- (* (* z0 z0) 6) (* z1 z1)) (* 3689471323/1000000000000000000000000000000000 z1)))) (- (- (* (* 881662847/200000000000000000000000000 z1) (- (* 3 (* z0 z0)) (* z1 z1))) (* z0 (- 149230739/1250000000000000 (- (- (* 636292509/125000000000000000000000000 (* z1 z1)) (* (* z0 z0) (- (* -3689471323/1000000000000000000000000000000000 z0) -212097503/125000000000000000000000000))) (* (* (+ z0 z1) 4165541759/125000000000000000000000000000000) (* (- z1 z0) z1)))))) (* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1)))) -2946529277/100000000000)":1,"(- (- (* z1 (cos (+ z0 z0))) 2) z1)":2,"(- (- (- (* z1 (+ (+ (* (* (* -4165541759/500000000000000000000000000000000 z1) z1) z1) (* (* z2 3689471323/250000000000000000000000000000000) (* (+ z2 z1) (- z1 z2)))) (- (* z2 4616990181/250000000000000000000) 4668270147/10000000000000000))) (+ (* (* (+ z2 z1) -304747143/200000000000000000000) (- z1 z2)) (* z2 (+ -149230739/1250000000000000 (* (- (* z2 z2) (* (* z1 z1) 3)) 212097503/125000000000000000000000000))))) (- (* (* 881662847/200000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))) (* (* (* 4165541759/500000000000000000000000000000000 z2) z2) (- (* 6 (* z1 z1)) (* z2 z2))))) z0)":1,"(- (- (cos (+ z0 z0)) (* (- -1 (cos (+ z0 z0))) (* -1/2 (- (cos (+ z1 z1)) -1)))) 1)":1,"(- (- z0 (* (* (* -3689471323/1000000000000000000000000000000000 z1) z1) z1)) (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) (* (- z2 z1) z2)))":1,"(- (- z0 -1) (cos (+ z1 z1)))":4,"(- (- z0 z1) (log (fabs (tan (* 1/4 (+ PI (+ z2 z2)))))))":2,"(- (/ (* (sin (* z1 1/2)) (sqrt 1/2)) (sin (- (* 3/4 PI) (* -1/2 z1)))) z0)":3,"(- (cos (* (+ (+ z0 z0) PI) 1/4)))":6,"(- (cos (* (- z0 (- PI z0)) -1/4)))":5,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":3,"(- (cos (* -1/4 (+ PI (+ z0 z0)))))":6,"(- (cos (* 1/2 z0)) (sin (* -1/2 z0)))":14,"(- (cos (* 1/2 z0)) (sin (* 1/2 z0)))":5,"(- (cos (* 1/2 z0)) (sin (* z0 -1/2)))":10,"(- (cos (* 1/4 (+ (+ z0 z0) PI))))":6,"(- (cos (+ z0 z0)) -1)":22,"(- (cos (+ z0 z0)) 1)":46,"(- (log (* (pow (fabs (- (* (sin z2) z1) 1)) -3/2) (fabs (- (* (sin z2) z1) -1)))) z0)":1,"(- (log (/ (- (* (cos (* -1/2 z1)) (sin (* 13/4 PI))) (* (sin (* z1 1/2)) (sin (* -7/4 PI)))) (sin (- (* PI 15/4) (* -1/2 z1))))) z0)":3,"(- (log (tan (+ (* 5/4 PI) (* z1 1/2)))) z0)":3,"(- (log (tan (- (* 1/2 z2) (* -1/4 PI)))) (- z0 z1))":5,"(- (log (tan (- (* 1/2 z2) (* PI -17/4)))) (- z0 z1))":1,"(- (log (tan (- (* 5/4 PI) (* -1/2 z0)))))":2,"(- (log (tan (- (* 9/4 PI) (* -1/2 z1)))) z0)":10,"(- (log (tan (- (* 9/4 PI) (* z2 -1/2)))) (* (* (atanh (* (sin z2) z0)) 2) z1))":5,"(- (log (tan (- (* z2 1/2) (* -1/4 PI)))) (- z0 z1))":3,"(- (sin (* -1/2 z0)) (cos (* 1/2 z0)))":3,"(- (sin (* 1/2 z0)) (cos (* -1/2 z0)))":4,"(- (sin (* 1/2 z0)) (cos (* 1/2 z0)))":3,"(- (sin (* z0 -1/2)) (cos (* z0 1/2)))":3,"(- (sin (* z0 1/2)) (cos (* z0 1/2)))":2,"(- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0)))":2,"(- (sin (- (* z1 -1/2) (* (+ (+ z1 z1) PI) -1/4))) z0)":2,"(- (sin (- PI z1)) z0)":6,"(- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI)))":4,"(- (sin z0) -1)":8,"(- (sqrt (- (* z0 z0) 1)))":3,"(- (sqrt (fabs (- 1 (* z0 z0)))))":3,"(- -1 (* (* (- (* (* z0 z0) z1) 1) (* z2 z2)) (- 1 (* (* z0 z0) z1))))":1,"(- -1 (* (* -1/2 z1) (- (cos (+ z0 z0)) 1)))":6,"(- 1 (* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1)))))":5,"(- 1 (* (* (* z0 z0) 1/2) (- 1 (cos (+ z1 z1)))))":2,"(- 1 (* (* z0 z0) z1))":2,"(- 1 (* (* z1 z1) z0))":2,"(- 1 (cos (+ z0 z0)))":127,"(- 1 (sin z0))":12,"(- 2 (* z1 (- (cos (+ z0 z0)) 1)))":3,"(- PI (* 4 (atan (exp (/ z1 z0)))))":1,"(- z0 (* (* (* (+ z2 z1) -3689471323/250000000000000000000000000000000) z2) (* (- z1 z2) z1)))":1,"(- z0 (* (* (* (- z1 z2) z2) -3689471323/250000000000000000000000000000000) z2))":1,"(- z0 (* (* (* 1/2 z1) z1) (- 1 (cos (+ z2 z2)))))":6,"(- z0 (* (* (* z1 z1) z2) z0))":2,"(- z0 (* (* (* z2 z2) z1) z0))":6,"(- z0 (* (* (- z1 z2) z2) -3689471323/250000000000000000000000000000000))":1,"(- z0 (* (* 1/4 (- (cos (+ z2 z2)) 1)) (- (cos (+ z1 z1)) -1)))":1,"(- z0 (* (* z1 z1) z2))":7,"(- z0 (* (* z2 z2) z1))":5,"(- z0 (* (+ (* (* (* -4165541759/500000000000000000000000000000000 z1) z1) z1) (* (* z2 3689471323/250000000000000000000000000000000) (* (+ z2 z1) (- z1 z2)))) z1))":1,"(- z0 (* (- (* -304747143/100000000000000000000 z1) -4668270147/10000000000000000) z2))":1,"(- z0 (* (- (* 3 (* z1 z1)) (* z2 z2)) (* z2 -881662847/200000000000000000000000000)))":1,"(- z0 (* (- (cos (+ z1 z1)) 1) 1/2))":1,"(- z0 (* (- 1 (cos (+ z1 z1))) -1/2))":2,"(- z0 (* (sin (* -13/4 PI)) (cos (* -1/2 z1))))":3,"(- z0 (* (sin (* 3 z2)) z1))":5,"(- z0 (* (sin (* 4 z2)) z1))":20,"(- z0 (* (sin (+ z2 z2)) z1))":19,"(- z0 (* (sqrt 1/8) (- (sin (- (* z1 -1/2) (* (+ (+ z1 z1) PI) -1/4))) (sin (- (* 3/4 PI) z1)))))":2,"(- z0 (* (sqrt 1/8) (- (sin (- z1 (* 3/4 PI))) (sin (* -1/4 PI)))))":4,"(- z0 (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))))":1,"(- z0 (* z1 (sin (* 4 z2))))":2,"(- z0 (/ (* (cos (* -1/2 z1)) (sqrt 1/2)) (sin (+ (* -1/2 z1) (* 5/4 PI)))))":3,"(- z0 (log (/ (* (sqrt 1/2) (- (cos (* -1/2 z1)) (* (sin (* z1 1/2)) -1))) (sin (- (* 3/4 PI) (* -1/2 z1))))))":6,"(- z0 (log (/ (sin (* (- (* PI -17/2) z1) 1/2)) (sin (- (* z1 1/2) (atan 1))))))":4,"(- z0 (log (fabs (tan (* 1/4 (+ (+ z1 z1) PI))))))":2,"(- z0 (log (fabs (tan (- (* PI -5/4) (* 1/2 z1))))))":4,"(- z0 (log (tan (* (+ (+ z1 z1) PI) 1/4))))":2,"(- z0 (log (tan (+ (* 1/2 z1) (* 29/4 PI)))))":4,"(- z0 (log (tan (+ (* z1 1/2) (* 29/4 PI)))))":34,"(- z0 (log (tan (- (* 1/4 PI) (* 1/2 z1)))))":2,"(- z0 (log (tan (- (* 1/4 PI) (* z1 -1/2)))))":22,"(- z0 (log (tan (- (* 5/4 PI) (* -1/2 z1)))))":2,"(- z0 (log (tan (- (* 9/4 PI) (* z1 -1/2)))))":12,"(- z0 (log (tan (- (* z1 1/2) (* 3/4 PI)))))":18,"(- z0 (sin (- (* 3/4 PI) z1)))":6,"(- z2 (* (* (* z0 z0) z1) z2))":2,"(- z2 (* (sin (* 4 z1)) z0))":19,"(/ (* (- z1 1) E) z0)":2,"(/ (* (cos (* -1/2 z0)) (sqrt 1/2)) (sin (+ (* -1/2 z0) (* 5/4 PI))))":3,"(/ (* (cos z1) (cos z0)) (sqrt (- (* (* -1/4 (- (cos (+ z1 z1)) -1)) (- 1 (cos (+ z0 z0)))) -1)))":3,"(/ (* (pow (cos z2) 4) z0) z1)":1,"(/ (* (sin (* 1/2 z0)) (sqrt 1/2)) (sin (- (* 3/4 PI) (* -1/2 z0))))":3,"(/ (* (sin z1) (cos z0)) (sqrt (* (- (* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2) (- (cos (+ z0 z0)) 1)) 1/2)))":2,"(/ (* (sin z1) (cos z0)) (sqrt (- (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- (cos (+ z0 z0)) -1)) (* -1/2 (- 1 (cos (+ z0 z0)))))))":2,"(/ (* (sqrt 1/2) (- (cos (* -1/2 z0)) (* (sin (* 1/2 z0)) -1))) (sin (- (* 3/4 PI) (* -1/2 z0))))":3,"(/ (* (sqrt 2) z0) (- (cos (* -1/2 z1)) (sin (* 1/2 z1))))":4,"(/ (* z0 (cos z1)) (sqrt (- (* (* -1/4 (- (cos (+ z2 z2)) -1)) (- 1 (cos (+ z1 z1)))) -1)))":1,"(/ (* z1 z0) (sqrt (+ (* z1 z1) (* z2 z2))))":2,"(/ (* z1 z2) (sqrt (+ (* z0 z0) (* z2 z2))))":4,"(/ (* z1 z2) z0)":7,"(/ (* z2 z1) z0)":2,"(/ (+ (* (pow (cos z2) 4) z0) z1) (* (- (* (* 1/2 z0) (- (cos (+ z2 z2)) 1)) -1) z1))":1,"(/ (+ z0 z0) (- 1 (- (sin (- z1)))))":2,"(/ (+ z0 z0) (- 1 (sin (- z1 PI))))":5,"(/ (- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0))))) (+ 1/2 (* 1/2 (- (sin z0)))))":2,"(/ (- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI))))) (+ 1/2 (* 1/2 (- (sin z0)))))":4,"(/ (- (* (* (cos (* (+ (+ z1 z1) PI) -1/4)) (sqrt 1/2)) (cos (* z1 -1/2))) (* (sqrt 1/8) (- (sin (- (* z1 -1/2) (* (+ (+ z1 z1) PI) -1/4))) (sin (- (* 3/4 PI) z1))))) z0)":2,"(/ (- (* (* (cos (* (+ (+ z1 z1) PI) 1/4)) (sqrt 1/2)) (cos (* z1 -1/2))) (* (sqrt 1/8) (- (sin (- z1 (* 3/4 PI))) (sin (* -1/4 PI))))) z0)":4,"(/ (- (* (* -1/2 z1) (- (cos (+ z0 z0)) 1)) -1) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":4,"(/ (- (* (- (cos (+ z1 z1)) 1) z2) 2) z0)":4,"(/ (- (* (- 1 (cos (+ z0 z0))) z1) -2) (- (* (- 1 (cos (+ z0 z0))) z2) -2))":2,"(/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0))":15,"(/ (- (* (cos (* -1/2 z1)) (sin (* 13/4 PI))) (* (sin (* z1 1/2)) (sin (* -7/4 PI)))) z0)":3,"(/ (- (* (cos (* 1/2 z0)) (sin (* 13/4 PI))) (* (sin (* 1/2 z0)) (sin (* -7/4 PI)))) (sin (- (* PI 15/4) (* -1/2 z0))))":3,"(/ (- (* z0 z0) (* z1 z2)) (+ (* z1 z2) (* z0 z0)))":1,"(/ (- (* z2 (- 1 (cos (+ z1 z1)))) -2) (+ z0 z0))":17,"(/ (- (* z2 z0) (* z1 z1)) (sqrt (+ (* z2 z2) (* z1 z1))))":3,"(/ (- (+ 2 z2) (* (cos (+ z1 z1)) z2)) (+ z0 z0))":2,"(/ (- (cos (* -1/2 z1)) (sin (* -1/2 z1))) z0)":3,"(/ (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (cos (* 1/4 (+ (+ z0 z0) PI))))":6,"(/ (- (cos (* 1/2 z1)) (sin (* -1/2 z1))) z0)":6,"(/ (- (cos (* z1 1/2)) (sin (* z1 -1/2))) z0)":5,"(/ (- (sin (* -1/2 z1)) (cos (* -1/2 z1))) z0)":1,"(/ (- (sin (* z1 -1/2)) (cos (* z1 1/2))) z0)":4,"(/ (- (sin (- (- z0 (* PI -1/4)) (* PI 3/4))) 0) (- -1 (sin z0)))":5,"(/ (- -1 z0) E)":5,"(/ (- -2 (* (- 1 (cos (+ z0 z0))) z1)) (- -2 (* (- 1 (cos (+ z0 z0))) z2)))":2,"(/ (- 2 (* (- (cos (+ z1 z1)) 1) z2)) (+ z0 z0))":1,"(/ (- 2 (* z1 (- (cos (+ z0 z0)) 1))) (- 2 (* z2 (- (cos (+ z0 z0)) 1))))":3,"(/ (- z0 (log (/ (* (sqrt 1/2) (- (cos (* -1/2 z2)) (* (sin (* z2 1/2)) -1))) (sin (- (* 3/4 PI) (* -1/2 z2)))))) z1)":3,"(/ (- z0 (log (/ (sin (* (- (* PI -17/2) z2) 1/2)) (sin (- (* z2 1/2) (atan 1)))))) z1)":2,"(/ (- z0 (log (fabs (tan (- (* PI -5/4) (* 1/2 z2)))))) z1)":2,"(/ (- z0 (log (tan (+ (* z2 1/2) (* 29/4 PI))))) (* z1 z1))":2,"(/ (- z0 (log (tan (+ (* z2 1/2) (* 29/4 PI))))) z1)":19,"(/ (- z0 (log (tan (- (* 1/4 PI) (* z2 -1/2))))) z1)":11,"(/ (- z0 (log (tan (- (* 9/4 PI) (* z2 -1/2))))) z1)":6,"(/ (- z0) (cos (* (- z1 (- PI z1)) -1/4)))":5,"(/ (- z1 (log (/ (* (sqrt 1/2) (- (cos (* -1/2 z2)) (* (sin (* z2 1/2)) -1))) (sin (- (* 3/4 PI) (* -1/2 z2)))))) z0)":3,"(/ (- z1 (log (/ (sin (* (- (* PI -17/2) z2) 1/2)) (sin (- (* z2 1/2) (atan 1)))))) z0)":2,"(/ (- z1 (log (tan (+ (* z2 1/2) (* 29/4 PI))))) z0)":17,"(/ (- z1 (log (tan (- (* 1/4 PI) (* z2 -1/2))))) z0)":11,"(/ (- z1 (log (tan (- (* 9/4 PI) (* z2 -1/2))))) z0)":6,"(/ (asin (* (* -1/2 (tan z2)) (- (/ 1 z1) z1))) z0)":2,"(/ (cos z0) (- (sin z0) -1))":1,"(/ (cos z0) (- 1 (sin z0)))":2,"(/ (cos z1) (+ z0 z0))":2,"(/ (cos z1) z0)":3,"(/ (fabs (sin (* -1/4 (+ (+ z1 z1) PI)))) z0)":6,"(/ (fabs (sin (- (* -1/2 z1) (* 9/4 PI)))) z0)":5,"(/ (fabs (sin (- (* 7/4 PI) (* z1 1/2)))) z0)":2,"(/ (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* 1/2 z1)) z0)":2,"(/ (pow (/ (- (* z0 (sin z1)) -1) (- 1 (* z0 (sin z1)))) (* 1/2 z0)) (- (sin z1) -1))":2,"(/ (pow (/ (sin (- (* -5/4 PI) (* 1/2 z2))) (sin (- (* z2 -1/2) (* 15/4 PI)))) z0) z1)":3,"(/ (pow (/ (sin (- (* -5/4 PI) (* 1/2 z2))) (sin (- (* z2 -1/2) (* 15/4 PI)))) z1) z0)":3,"(/ (pow (cos z1) 4) z0)":4,"(/ (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z0) z1)":3,"(/ (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z1) z0)":3,"(/ (pow (tan (+ (* 1/2 z1) (* 29/4 PI))) (- z0)) (cos (* (+ (+ z2 z2) PI) 1/4)))":4,"(/ (pow (tan (+ (* 1/2 z1) (* 29/4 PI))) (- z0)) (sin (* 1/4 (- PI (+ z2 z2)))))":2,"(/ (pow (tan (+ (* 1/2 z2) (* 29/4 PI))) (- z1)) z0)":4,"(/ (pow (tan (+ (* z1 1/2) (* 25/4 PI))) (- z0)) (cos (* (+ PI (+ z2 z2)) 1/4)))":2,"(/ (pow (tan (+ (* z2 1/2) (* 25/4 PI))) (- z1)) z0)":2,"(/ (pow (tan (+ (* z2 1/2) (* 29/4 PI))) (- z1)) z0)":2,"(/ (pow (tan (- (* 1/2 z2) (* 3/4 PI))) z0) z1)":2,"(/ (pow (tan (- (* 1/2 z2) (* 3/4 PI))) z1) z0)":2,"(/ (pow (tan (- (* 25/4 PI) (* -1/2 z1))) (- z0)) (* (- (cos (* 1/2 z2)) (sin (* 1/2 z2))) (sqrt 1/2)))":4,"(/ (pow (tan (- (* 25/4 PI) (* -1/2 z2))) (- z1)) z0)":4,"(/ (sin (* (+ (+ z1 z1) PI) -1/4)) z0)":3,"(/ (sin (* (+ (+ z1 z1) PI) 1/4)) z0)":6,"(/ (sin (* (+ PI (+ z1 z1)) -1/2)) (+ z0 z0))":1,"(/ (sin (* (- (* PI -17/2) z0) 1/2)) (sin (- (* 1/2 z0) (atan 1))))":2,"(/ (sin (* (- (- PI z0) z0) -1/4)) (cos (* (- z0 (- PI z0)) -1/4)))":5,"(/ (sin (* (- z1 (- PI z1)) 1/4)) z0)":5,"(/ (sin (* -1/4 (- (- PI z1) z1))) z0)":5,"(/ (sin (* 1/4 (+ (+ z1 z1) PI))) z0)":3,"(/ (sin (+ (* z1 1/2) (* 17/4 PI))) z0)":6,"(/ (sin (- (* -5/4 PI) (* 1/2 z0))) (sin (- (* -1/2 z0) (* 15/4 PI))))":3,"(/ (sin (- (* 1/2 z1) (* -13/4 PI))) z0)":3,"(/ (sin (- (* 1/2 z1) (* 3/4 PI))) z0)":8,"(/ (sin (- (* 13/4 PI) (* -1/2 z0))) (sin (- (* z0 1/2) (* -7/4 PI))))":6,"(/ (sin (- (* z1 -1/2) (* 21/4 PI))) z0)":2,"(/ (sin (- (* z1 1/2) (* 5/4 PI))) z0)":5,"(/ (sin z1) z0)":5,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":2,"(/ (sqrt (- (* z1 z1) 1)) z0)":2,"(/ (sqrt (- 1 z0)) (* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2))":1,"(/ (sqrt 1/2) (cos (* (+ (+ z0 z0) PI) 1/4)))":1,"(/ 1 (* z0 z0))":10,"(/ 2 (sqrt (* (- (* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2) (- (cos (+ z0 z0)) 1)) 1/2)))":2,"(/ z0 (* z1 z1))":9,"(/ z0 (* z1 z2))":14,"(/ z0 (* z2 z1))":8,"(/ z0 (+ 1/2 (* 1/2 (cos (* (+ (+ z1 z1) PI) 1/2)))))":6,"(/ z0 (- (* (* (- (* (sin z2) z1) 2) z1) (sin z2)) -1))":1,"(/ z0 (- (* (* -1/2 z2) (- (cos (+ z1 z1)) 1)) -1))":2,"(/ z0 (- (* (- (cos (+ z1 z1)) 1) z2) 2))":4,"(/ z0 (- (sin (* 1/2 z1)) (cos (* -1/2 z1))))":1,"(/ z0 (- (sin (* z1 1/2)) (cos (* z1 1/2))))":4,"(/ z0 (- (sin z1) -1))":2,"(/ z0 (- -1 (* (* 1/4 (- (cos (+ z2 z2)) 1)) (- (cos (+ z1 z1)) -1))))":1,"(/ z0 (- -1 (* (* z1 (- -1 z2)) z1)))":3,"(/ z0 (- 1 (* (- (cos (+ z1 z1)) 1) (* 1/2 z2))))":4,"(/ z0 (- 1 (sin z1)))":10,"(/ z0 (cos (* (+ (+ z1 z1) PI) -1/4)))":8,"(/ z0 (cos (* (+ (+ z1 z1) PI) 1/4)))":7,"(/ z0 (cos (* (+ PI (+ z1 z1)) 1/4)))":2,"(/ z0 (cos (* -1/4 (+ (+ z1 z1) PI))))":1,"(/ z0 (cos (* -1/4 (+ PI (+ z1 z1)))))":4,"(/ z0 (cos (* 1/4 (+ PI (+ z1 z1)))))":10,"(/ z0 (cos z1))":17,"(/ z0 (fabs (cos (* -1/4 (+ (+ z1 z1) PI)))))":6,"(/ z0 (fabs (sin (- (* z1 -1/2) (* 7/4 PI)))))":2,"(/ z0 (sin (* -1/4 (- PI (+ z1 z1)))))":3,"(/ z0 (sin (+ (* -1/2 z1) (* 5/4 PI))))":3,"(/ z0 (sin (- (* -7/4 PI) (* z1 1/2))))":6,"(/ z0 (sin (- (* 1/2 z1) (* 9/4 PI))))":8,"(/ z0 (sin (- (* 1/2 z1) (* PI 3/4))))":1,"(/ z0 (sin (- (* 1/4 PI) (* z1 -1/2))))":5,"(/ z0 (sin (- (* 3/4 PI) (* -1/2 z1))))":3,"(/ z0 (sin (- (* PI 15/4) (* -1/2 z1))))":3,"(/ z0 (sin (- (* PI 7/4) (* -1/2 z1))))":3,"(/ z0 (sin (- (atan 1) (* z1 1/2))))":2,"(/ z0 (sin 27401669256311/20000000000000))":2,"(/ z0 (sqrt (* (- (- (* z1 (cos (+ z2 z2))) z1) -2) 1/2)))":2,"(/ z0 (sqrt (* (- (- 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) (- (cos (+ z2 z2)) -1))) (cos (+ z1 z1))) 1/2)))":2,"(/ z0 (sqrt (* (- (- 1 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) -1) 1/2))) (cos (+ z1 z1))) 1/2)))":2,"(/ z0 (sqrt (* -1/2 (- (- (cos (+ z1 z1)) 1) (* (* 1/2 (- (cos (+ z1 z1)) -1)) (- (cos (+ z2 z2)) -1))))))":2,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":11,"(/ z0 (sqrt (+ (* z2 z2) (* z1 z1))))":3,"(/ z0 (sqrt (- (* (* -1/4 (- (cos (+ z2 z2)) -1)) (- 1 (cos (+ z1 z1)))) -1)))":3,"(/ z0 (sqrt (- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) -1)))":3,"(/ z0 (sqrt (- (* z1 z1) -1)))":6,"(/ z0 (tan 27401669256311/20000000000000))":4,"(/ z0 E)":7,"(/ z1 (* z2 z0))":5,"(/ z1 (cos z0))":6,"(/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2)))))":14,"(/ z2 (sqrt (fabs (* (* 2 (+ (* z1 z1) (* (* z0 z2) z2))) 1/2))))":3,"(/ z2 (sqrt (fabs (- (* z1 z1) (* -1/2 (* (* z0 (+ z2 z2)) z2))))))":3,"(asin (* (cos z2) (/ (sin z0) (cos z1))))":1,"(asin (* (sqrt (- (/ 1 (fabs (+ (* (* z2 z2) z0) (* z1 z1)))) 0)) z2))":1,"(asin (- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2)))))":2,"(asin (/ (sin z1) z0))":1,"(asin (/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2))))))":14,"(asin (/ z2 (sqrt (fabs (* (* 2 (+ (* z1 z1) (* (* z0 z2) z2))) 1/2)))))":3,"(asin (/ z2 (sqrt (fabs (- (* z1 z1) (* -1/2 (* (* z0 (+ z2 z2)) z2)))))))":3,"(atan (* (tan (- (* PI 1/4) -27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z0))))":3,"(atan2 (sin z1) (sqrt (* (- (+ (- (cosh (+ z0 z0)) 1) (cos (+ z1 z1))) -1) 1/2)))":2,"(atan2 z0 (cos (* z2 z1)))":9,"(atan2 z0 (sqrt (* (- (+ (- (cosh (+ z1 z1)) 1) (cos (+ z2 z2))) -1) 1/2)))":2,"(atanh (sin z0))":2,"(cos (* (+ (+ z0 z0) PI) -1/4))":10,"(cos (* (+ (+ z0 z0) PI) 1/4))":29,"(cos (* (+ PI (+ z0 z0)) 1/4))":2,"(cos (* (- z0 (- PI z0)) -1/4))":5,"(cos (* -1/4 (+ (+ z0 z0) PI)))":3,"(cos (* -1/4 (+ PI (+ z0 z0))))":10,"(cos (* 1/4 (+ (+ z0 z0) PI)))":8,"(cos (* z1 z0))":9,"(cos (+ (/ z2 z0) z1))":7,"(cos (+ z1 (/ z2 z0)))":7,"(fabs (* (* 2 (+ (* z1 z1) (* (* z0 z2) z2))) 1/2))":3,"(fabs (* (+ (* (/ z1 (* z2 z0)) z1) z2) z2))":1,"(fabs (* (+ (* z0 z2) (* (/ z1 z2) z1)) 2))":3,"(fabs (* (- (sin (* 1/2 z0)) (cos (* -1/2 z0))) (sqrt 1/2)))":4,"(fabs (- (* z1 z1) (* -1/2 (* (* z0 (+ z2 z2)) z2))))":3,"(fabs (- (- (cos (+ z0 z0)) (* (- -1 (cos (+ z0 z0))) (* -1/2 (- (cos (+ z1 z1)) -1)))) 1))":1,"(fabs (/ (sin (* (- z0 (- PI z0)) -1/4)) (cos (* (- z0 (- PI z0)) -1/4))))":5,"(fabs (cos (* -1/4 (+ PI (+ z0 z0)))))":6,"(fabs (cos (+ z1 (/ z2 z0))))":7,"(fabs (sin (* -1/4 (+ PI (+ z0 z0)))))":6,"(fabs (sin (+ (/ z2 z0) z1)))":6,"(fabs (sin (- (* -1/2 z0) (* 7/4 PI))))":2,"(fabs (sin (- (* -1/2 z0) (* 9/4 PI))))":5,"(fabs (sin (- (* 7/4 PI) (* z0 1/2))))":2,"(fabs (sin (- (* PI 7/4) (* -1/2 z0))))":2,"(fabs (tan (* 1/4 (+ (+ z0 z0) PI))))":2,"(fabs (tan (* 1/4 (+ PI (+ z0 z0)))))":10,"(fabs (tan (+ (* z0 1/2) (* PI 5/4))))":2,"(fabs (tan (- (* 1/2 z0) (* 3/4 PI))))":3,"(fabs (tan (- (* 1/4 PI) (* 1/2 z0))))":3,"(fabs (tan (- (* 3/4 PI) (* z0 -1/2))))":2,"(fabs (tan (- (* PI -3/4) (* -1/2 z0))))":10,"(log (* (* (fabs (- (* z0 (sin z1)) -1)) (pow (- (* z0 (sin z1)) 1) -2)) (fabs (- (* z0 (sin z1)) 1))))":1,"(log (* (/ (* (sqrt 2) (cos (* -1/4 (+ PI (+ z0 z0))))) (- 1 (sin z0))) (- (cos (* 1/2 z0)) (sin (* z0 -1/2)))))":10,"(log (* (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) z1) (fabs (tan (- (* 1/4 PI) (* z2 1/2))))))":2,"(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (/ (- (* (cos (* z2 1/2)) (sin (* 13/4 PI))) (* (sin (* z2 1/2)) (sin (* -7/4 PI)))) (sin (- (* PI 15/4) (* z2 -1/2))))))":3,"(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (tan (* (+ (* PI 1/2) z2) 1/2))))":1,"(log (/ (* (sqrt 1/2) (- (cos (* -1/2 z0)) (* (sin (* 1/2 z0)) -1))) (sin (- (* 3/4 PI) (* -1/2 z0)))))":3,"(log (/ (- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0))) (sin (- (* 3/4 PI) z0))))) (+ 1/2 (* 1/2 (- (sin z0))))))":2,"(log (/ (- (* (* (cos (* (+ (+ z0 z0) PI) 1/4)) (sqrt 1/2)) (cos (* 1/2 z0))) (* (sqrt 1/8) (- (sin (- z0 (* 3/4 PI))) (sin (* -1/4 PI))))) (+ 1/2 (* 1/2 (- (sin z0))))))":4,"(log (/ (- (* (cos (* 1/2 z0)) (sin (* 13/4 PI))) (* (sin (* 1/2 z0)) (sin (* -7/4 PI)))) (sin (- (* PI 15/4) (* -1/2 z0)))))":3,"(log (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))))":19,"(log (/ (- (sin (- (- z0 (* PI -1/4)) (* PI 3/4))) 0) (- -1 (sin z0))))":5,"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))":3,"(log (/ (cos z0) (- (sin z0) -1)))":1,"(log (/ (cos z0) (- 1 (sin z0))))":2,"(log (/ (fabs (- 1 (* (* (* z0 1/2) z0) (- 1 (cos (+ z1 z1)))))) (- (* (* (- (* (sin z1) z0) 2) z0) (sin z1)) -1)))":1,"(log (/ (sin (* (- (* PI -17/2) z0) 1/2)) (sin (- (* 1/2 z0) (atan 1)))))":2,"(log (/ (sin (- (* 13/4 PI) (* -1/2 z0))) (sin (- (* z0 1/2) (* -7/4 PI)))))":6,"(log (fabs (* (tan (- (* 1/4 PI) (* z2 1/2))) (pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) z1))))":1,"(log (fabs (/ (sin (* (- z0 (- PI z0)) -1/4)) (cos (* (- z0 (- PI z0)) -1/4)))))":5,"(log (fabs (tan (* 1/4 (+ (+ z0 z0) PI)))))":2,"(log (fabs (tan (* 1/4 (+ PI (+ z0 z0))))))":8,"(log (fabs (tan (+ (* z0 1/2) (* PI 5/4)))))":2,"(log (fabs (tan (- (* 3/4 PI) (* z0 -1/2)))))":2,"(log (fabs (tan (- (* PI -3/4) (* -1/2 z0)))))":10,"(log (fabs (tan (- (* z0 1/2) (* PI 9/4)))))":1,"(log (pow (tan (- (* 17/4 PI) (* z1 -1/2))) z0))":1,"(log (tan (* (+ (* PI 1/2) z0) 1/2)))":3,"(log (tan (* (+ (+ z0 z0) PI) 1/4)))":18,"(log (tan (* (- (- PI z0) z0) 1/4)))":11,"(log (tan (* (- z0 (- PI z0)) -1/4)))":5,"(log (tan (* 1/4 (+ (+ z0 z0) PI))))":6,"(log (tan (+ (* 1/2 z0) (* 29/4 PI))))":17,"(log (tan (+ (* 5/4 PI) (* 1/2 z0))))":3,"(log (tan (+ (* z0 1/2) (* 29/4 PI))))":2,"(log (tan (- (* -1/2 z0) (* 3/4 PI))))":12,"(log (tan (- (* 1/2 z0) (* -1/4 PI))))":7,"(log (tan (- (* 1/2 z0) (* -13/4 PI))))":8,"(log (tan (- (* 1/2 z0) (* 3/4 PI))))":9,"(log (tan (- (* 1/2 z0) (* PI -17/4))))":1,"(log (tan (- (* 1/4 PI) (* -1/2 z0))))":8,"(log (tan (- (* 5/4 PI) (* -1/2 z0))))":2,"(log (tan (- (* 9/4 PI) (* -1/2 z0))))":10,"(log (tan (- (* PI -23/4) (* z0 1/2))))":2,"(log (tan (- (* PI 1/4) (* -1/2 z0))))":3,"(log (tan (- (* PI 9/4) (* 1/2 z0))))":3,"(log (tan (- (* z0 1/2) (* -13/4 PI))))":4,"(log (tan (- (* z0 1/2) (* -5/4 PI))))":6,"(log (tan (- (* z0 1/2) (* 3/4 PI))))":29,"(pow (* (/ (sqrt 1/2) (cos (* 1/4 (+ PI (+ z1 z1))))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1)))) z0)":12,"(pow (* (sqrt 2) (* (cos (- (* 1/4 z1) (* (+ PI z1) 1/4))) (tan (* 1/4 (+ PI (+ z1 z1)))))) z0)":4,"(pow (* (sqrt 2) (* (cos (- (* 1/4 z1) (* (+ z1 PI) 1/4))) (tan (* (+ (+ z1 z1) PI) 1/4)))) (- z0))":5,"(pow (* (sqrt 2) (* (cos (- (* 1/4 z1) (* (+ z1 PI) 1/4))) (tan (* (+ (+ z1 z1) PI) 1/4)))) z0)":5,"(pow (* 1/2 (- (* (- (cos (+ z1 z1)) 1) z2) 2)) z0)":4,"(pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) z0)":2,"(pow (- (* (* 1/2 z1) (- (cos (+ z0 z0)) 1)) 1) -2)":4,"(pow (- (* (- (cos (+ z1 z1)) 1) (* 1/2 z2)) 1) z0)":4,"(pow (- -1 (* (* -1/2 z1) (- (cos (+ z0 z0)) 1))) -2)":6,"(pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1))":11,"(pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) z0)":22,"(pow (/ (- (* z0 (sin z1)) -1) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":11,"(pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0))":20,"(pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) (- z1))":2,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z0)":14,"(pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) z0)":10,"(pow (/ (sin (- (* -5/4 PI) (* 1/2 z1))) (sin (- (* -1/2 z1) (* 15/4 PI)))) z0)":6,"(pow (/ z2 z1) (/ 1 z0))":3,"(pow (/ z2 z1) z0)":3,"(pow (cos z0) 4)":7,"(pow (cos z1) z0)":8,"(pow (sinh z1) z0)":4,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0))":8,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (/ 1 z0))":7,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":51,"(pow (tan (* 1/4 (+ (+ z1 z1) PI))) (/ 1 z0))":5,"(pow (tan (* 1/4 (+ (+ z1 z1) PI))) z0)":5,"(pow (tan (* 1/4 (+ PI (+ z1 z1)))) z0)":2,"(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) (/ 1 z0))":3,"(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) z0)":3,"(pow (tan (+ (* 1/2 z1) (* 25/4 PI))) (/ 1 z0))":4,"(pow (tan (+ (* 1/2 z1) (* 25/4 PI))) z0)":4,"(pow (tan (+ (* 1/2 z1) (* 29/4 PI))) (- z0))":9,"(pow (tan (+ (* 1/2 z1) (* 29/4 PI))) z0)":9,"(pow (tan (+ (* z1 1/2) (* 25/4 PI))) (- z0))":2,"(pow (tan (+ (* z1 1/2) (* 25/4 PI))) z0)":2,"(pow (tan (+ (* z1 1/2) (* 29/4 PI))) (- z0))":11,"(pow (tan (+ (* z1 1/2) (* 29/4 PI))) z0)":11,"(pow (tan (- (* 1/2 z1) (* -9/4 PI))) z0)":4,"(pow (tan (- (* 1/2 z1) (* 3/4 PI))) (- z0))":8,"(pow (tan (- (* 1/2 z1) (* 3/4 PI))) z0)":12,"(pow (tan (- (* 17/4 PI) (* z1 -1/2))) z0)":2,"(pow (tan (- (* 25/4 PI) (* -1/2 z1))) (- z0))":4,"(pow (tan (- (* 25/4 PI) (* -1/2 z1))) z0)":4,"(pow (tan (- (* 9/4 PI) (* -1/2 z1))) z0)":1,"(pow (tan (- (* z1 1/2) (* 3/4 PI))) z0)":4,"(sin (* (+ (+ z0 z0) PI) -1/4))":13,"(sin (* (+ (+ z0 z0) PI) 1/4))":22,"(sin (* (- (- PI z0) z0) -1/4))":10,"(sin (* -1/4 (- PI (+ z0 z0))))":6,"(sin (* 1/4 (+ (+ z0 z0) PI)))":2,"(sin (* 1/4 (+ PI (+ z0 z0))))":6,"(sin (* 3 z0))":24,"(sin (* z1 z0))":12,"(sin (+ (* -1/2 z0) (* 5/4 PI)))":3,"(sin (+ (/ z2 z0) z1))":6,"(sin (- (* (+ (+ z0 z0) PI) 1/4) (* 1/2 z0)))":2,"(sin (- (* -1/2 z0) (* 13/4 PI)))":6,"(sin (- (* -1/2 z0) (* 21/4 PI)))":2,"(sin (- (* -1/2 z0) (* 5/4 PI)))":3,"(sin (- (* -5/4 PI) (* 1/2 z0)))":5,"(sin (- (* -7/4 PI) (* z0 1/2)))":6,"(sin (- (* 1/2 z0) (* -13/4 PI)))":3,"(sin (- (* 1/2 z0) (* 3/4 PI)))":8,"(sin (- (* 1/2 z0) (* 9/4 PI)))":8,"(sin (- (* 3/4 PI) (* -1/2 z0)))":3,"(sin (- (* 3/4 PI) z0))":6,"(sin (- (* 7/4 PI) (* -1/2 z0)))":2,"(sin (- (* PI 15/4) (* -1/2 z0)))":3,"(sin (- (* PI 7/4) (* -1/2 z0)))":3,"(sin (- (* z0 -1/2) (* 5/4 PI)))":5,"(sin (- (* z0 1/2) (* 5/4 PI)))":5,"(sin (- (atan 1) (* 1/2 z0)))":2,"(sqrt (* (- (* (* (- -1 (cos (+ z0 z0))) (- (cos (+ z1 z1)) -1)) -1/2) (- (cos (+ z0 z0)) 1)) 1/2))":4,"(sqrt (* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2))":2,"(sqrt (* (- (+ (- (cosh (+ z0 z0)) 1) (cos (+ z1 z1))) -1) 1/2))":2,"(sqrt (* (- (- (* (cos (+ z1 z1)) z0) z0) -2) 1/2))":2,"(sqrt (+ (* z0 z0) (* z1 z1)))":9,"(sqrt (+ (* z1 z1) (* (* z0 z2) z2)))":1,"(sqrt (+ (* z1 z1) (* z0 (* z2 z2))))":14,"(sqrt (+ (* z1 z1) (* z0 z0)))":5,"(sqrt (- (* (* -1/4 (- (cos (+ z1 z1)) -1)) (- 1 (cos (+ z0 z0)))) -1))":3,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":4,"(sqrt (- (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- (cos (+ z0 z0)) -1)) (* -1/2 (- 1 (cos (+ z0 z0))))))":2,"(sqrt (- (* (* z2 z0) (pow (cos z1) 4)) -1))":2,"(sqrt (- (* (- (cos (+ z1 z1)) 1) (* z0 1/2)) -1))":1,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":2,"(sqrt (- (* (/ z0 (- 1 z0)) (pow (cos z1) 4)) -1))":1,"(sqrt (- (* (/ z0 z1) (pow (cos z2) 4)) -1))":2,"(sqrt (- (* z0 z0) -1))":6,"(sqrt (- (* z0 z0) 1))":8,"(sqrt (- (/ (* (pow (cos z2) 4) z0) z1) -1))":1,"(sqrt (/ (- (* (* -1/2 z1) (- (cos (+ z0 z0)) 1)) -1) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1)))":4,"(sqrt (/ (- -2 (* (- 1 (cos (+ z0 z0))) z1)) (- -2 (* (- 1 (cos (+ z0 z0))) z2))))":2,"(sqrt (/ (- 2 (* z1 (- (cos (+ z0 z0)) 1))) (- 2 (* z2 (- (cos (+ z0 z0)) 1)))))":3,"(sqrt (/ -4 (- -1 (* (- (cos (+ z0 z0)) -1) (* 1/4 (- (cos (+ z1 z1)) 1))))))":1,"(sqrt (fabs (* (* 2 (+ (* z1 z1) (* (* z0 z2) z2))) 1/2)))":3,"(sqrt (fabs (+ (* z2 z2) (* (/ z1 z0) z1))))":1,"(sqrt (fabs (- (* z0 z0) 1)))":2,"(sqrt (fabs (- (* z1 z1) (* -1/2 (* (* z0 (+ z2 z2)) z2)))))":3,"(sqrt (fabs (- 1 (* z0 z0))))":8,"(tan (* (+ (* 1/2 PI) z0) 1/2))":2,"(tan (* (+ (* PI 1/2) z0) 1/2))":3,"(tan (* (+ (+ PI z0) z0) 1/4))":2,"(tan (* (+ (+ z0 z0) PI) -1/4))":2,"(tan (* (+ (+ z0 z0) PI) 1/4))":71,"(tan (* (+ PI (+ z0 z0)) -1/4))":2,"(tan (* (- (- PI z0) z0) 1/4))":13,"(tan (* (- z0 (- PI z0)) -1/4))":5,"(tan (* -1/4 (+ PI (+ z0 z0))))":2,"(tan (* 1/4 (+ (+ z0 z0) PI)))":7,"(tan (* 1/4 (+ PI (+ z0 z0))))":2,"(tan (+ (* 1/2 z0) (* 13/4 PI)))":3,"(tan (+ (* 1/2 z0) (* 25/4 PI)))":6,"(tan (+ (* 1/2 z0) (* 29/4 PI)))":36,"(tan (+ (* 1/4 PI) (* z0 -1/2)))":2,"(tan (+ (* 5/4 PI) (* 1/2 z0)))":3,"(tan (+ (* 9/4 PI) (* -1/2 z0)))":7,"(tan (+ (* z0 1/2) (* 29/4 PI)))":3,"(tan (- (* -1/2 z0) (* 3/4 PI)))":15,"(tan (- (* 1/2 z0) (* -1/4 PI)))":7,"(tan (- (* 1/2 z0) (* -13/4 PI)))":8,"(tan (- (* 1/2 z0) (* -9/4 PI)))":2,"(tan (- (* 1/2 z0) (* 1/4 PI)))":2,"(tan (- (* 1/2 z0) (* 3/4 PI)))":25,"(tan (- (* 1/4 PI) (* -1/2 z0)))":8,"(tan (- (* 13/4 PI) (* -1/2 z0)))":4,"(tan (- (* 25/4 PI) (* -1/2 z0)))":4,"(tan (- (* 3/4 PI) (* 1/2 z0)))":3,"(tan (- (* 3/4 PI) (* z0 1/2)))":10,"(tan (- (* 5/4 PI) (* -1/2 z0)))":2,"(tan (- (* 9/4 PI) (* -1/2 z0)))":23,"(tan (- (* PI 1/4) (* -1/2 z0)))":3,"(tan (- (* PI 9/4) (* 1/2 z0)))":3,"(tan (- (* PI 9/4) (* z0 1/2)))":1,"(tan (- (* z0 1/2) (* -13/4 PI)))":4,"(tan (- (* z0 1/2) (* -5/4 PI)))":6,"(tan (- (* z0 1/2) (* 3/4 PI)))":52}