{"(* (* (* (* z2 (* z1 (- 2 z0))) z1) z0) z2)":14,"(* (* (* (- 2 z1) z1) z2) z0)":4,"(* (* (* 3689471323/250000000000000000000000000000000 (+ z1 z0)) z1) (* (- z0 z1) z0))":3,"(* (* (* z1 z0) z1) z1)":3,"(* (* (* z1 z1) z0) z1)":2,"(* (* (* z1 z2) z1) z0)":4,"(* (* (* z2 (* z1 (* (- 2 z0) z0))) z1) z2)":4,"(* (* (* z2 (* z1 (- 2 z0))) z1) z0)":14,"(* (* (* z2 (- 1 (* z1 (* z0 z0)))) z2) (- 1 (* z1 (* z0 z0))))":1,"(* (* (* z2 z1) -4165541759/125000000000000000000000000000000) z0)":2,"(* (* (* z2 z1) 3689471323/250000000000000000000000000000000) z0)":3,"(* (* (+ 2 (* z2 (- 1 (cos (+ z1 z1))))) 1/2) z0)":1,"(* (* (+ z0 z1) (- z0 z1)) (* (* z0 z1) -4165541759/125000000000000000000000000000000))":2,"(* (* (+ z2 z1) 304747143/200000000000000000000) z0)":3,"(* (* (+ z2 z1) z0) (- z1 z2))":3,"(* (* (+ z2 z1) z0) 4616990181/500000000000000000000)":2,"(* (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) z0)":5,"(* (* (- (cos (+ z1 z1)) -1) (- (cos (+ z0 z0)) -1)) 1/4)":5,"(* (* (- -1 z2) z1) z0)":1,"(* (* (- 1 (cos (+ z0 z0))) 1/2) z1)":1,"(* (* (- 1 (cos (+ z0 z0))) z1) 1/2)":3,"(* (* (- 1 (cos (+ z1 z1))) 1/2) z0)":14,"(* (* (- 1 (cos (+ z1 z1))) z0) 1/2)":8,"(* (* (- 2 z1) z1) z0)":4,"(* (* (- 2 z1) z2) z0)":14,"(* (* (- z1 (/ 1 z1)) z0) 1/2)":2,"(* (* (- z1 z2) z0) (+ z2 z1))":2,"(* (* (cos (* (- PI (+ z0 z0)) -1/4)) (sqrt 1/2)) (- (cos (* z0 -1/2)) (sin (* z0 1/2))))":1,"(* (* (cos z0) z1) z2)":9,"(* (* (cos z0) z2) (cos z1))":3,"(* (* (cos z1) z0) z2)":7,"(* (* (cos z1) z2) z0)":14,"(* (* (cos z2) z0) (cos z1))":2,"(* (* (fabs (- z1 1)) E) z0)":1,"(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) z1)":1,"(* (* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1)) z0)":3,"(* (* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) z1)":2,"(* (* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z1)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1)) z0)":1,"(* (* (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z1)) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z1)) z0)":2,"(* (* (sin (+ (* PI 1/4) 0)) (tan (* (+ (* PI 1/2) z0) 1/2))) (sqrt 2))":18,"(* (* (sin (- (* z0 -1/2) (* 1/4 PI))) (sqrt 2)) (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (- -1 (sin z0))))":1,"(* (* (sin z0) z2) (cos z1))":6,"(* (* (sin z2) z0) z1)":12,"(* (* -1/2 (tan z1)) (- (/ 1 z0) z0))":2,"(* (* -1/2 z1) (- 1 (cos (+ z0 z0))))":24,"(* (* -2 (+ (cos (+ z1 z1)) 1/2)) z0)":4,"(* (* -881662847/200000000000000000000000000 z0) (- (* z0 z0) (* (* z1 z1) 3)))":3,"(* (* -881662847/200000000000000000000000000 z0) (- (* z1 z1) (* (* z2 z2) 3)))":3,"(* (* -881662847/200000000000000000000000000 z0) z1)":2,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)":3,"(* (* 1/2 z0) (- (cos (+ z1 z1)) -1))":2,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":4,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":6,"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))":66,"(* (* 1/4 z0) (- (cos (+ z1 z1)) -1))":1,"(* (* 2 (+ (cos (+ z1 z1)) 1/2)) (* (sin z1) z0))":1,"(* (* 2 (+ (cos (+ z1 z1)) 1/2)) z0)":1,"(* (* 2 (atanh (* (sin z2) z0))) z1)":42,"(* (* 2 (atanh (* (sin z2) z1))) z0)":42,"(* (* 212097503/125000000000000000000000000 z0) z1)":3,"(* (* 212097503/125000000000000000000000000 z1) z0)":2,"(* (* 304747143/100000000000000000000 z0) z1)":2,"(* (* 304747143/200000000000000000000 (- z0 z1)) (+ z1 z0))":3,"(* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1))":2,"(* (* z0 (- (cos (+ z1 z1)) -1)) 1/2)":6,"(* (* z0 (cos 27401669256311/20000000000000)) z1)":1,"(* (* z0 (sqrt 1/2)) (- (cos (* -1/2 z1)) (sin (* z1 1/2))))":1,"(* (* z0 1/2) (cos (* 1 z1)))":1,"(* (* z0 z0) (* z0 z0))":6,"(* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2))":9,"(* (* z0 z0) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":4,"(* (* z0 z0) 6)":2,"(* (* z0 z0) z1)":2,"(* (* z0 z1) -4165541759/125000000000000000000000000000000)":2,"(* (* z1 (- -1 z2)) z0)":5,"(* (* z1 (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z0))) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0))":3,"(* (* z1 (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z0)) (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z0)))":2,"(* (* z1 (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0)) (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z0)))":1,"(* (* z1 (sin z2)) z0)":2,"(* (* z1 z0) (tan (* 1/4 (+ (+ PI z2) z2))))":2,"(* (* z1 z0) (tan (+ (* 1/2 z2) (* 17/4 PI))))":2,"(* (* z1 z0) 3689471323/250000000000000000000000000000000)":3,"(* (* z1 z0) z0)":8,"(* (* z1 z0) z1)":29,"(* (* z1 z0) z2)":7,"(* (* z1 z1) z0)":35,"(* (* z1 z2) z0)":7,"(* (* z2 (* z1 (* (- 2 z0) z0))) z1)":4,"(* (* z2 (* z1 (- 2 z0))) z1)":14,"(* (* z2 (- z1)) z0)":3,"(* (* z2 (cos z1)) z0)":2,"(* (* z2 z0) (pow (tan (+ 27401669256311/40000000000000 (* 13/4 PI))) z1))":1,"(* (* z2 z0) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z1))":3,"(* (* z2 z1) z0)":24,"(* (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2))) z0)":5,"(* (+ (+ PI z1) z1) z0)":28,"(* (+ (+ z1 PI) z1) z0)":39,"(* (+ (+ z1 z1) PI) z0)":21,"(* (+ (sin z0) -1) -1/2)":1,"(* (+ z0 z0) (sin (* (* 1/2 z2) z1)))":1,"(* (+ z0 z0) (sin (* z2 z1)))":1,"(* (- (* (* (- -1 z2) z1) z1) -1) z0)":1,"(* (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) z0)":2,"(* (- (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2) -1) (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2))":5,"(* (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1))":4,"(* (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1) (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2))":2,"(* (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1) z0)":1,"(* (- (* (* z1 z1) (- (* 1/2 (cos (+ z2 z2))) 1/2)) -1) z0)":8,"(* (- (* (* z2 z2) 3) (* z1 z1)) z0)":2,"(* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) 3689471323/1000000000000000000000000000000000)":2,"(* (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)) -1) (pow (* 1/2 (- -2 (* (- 1 (cos (+ z0 z0))) z1))) -2))":1,"(* (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) z0)":3,"(* (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1))":2,"(* (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0)":11,"(* (- (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) (* z1 z1)) 1) z0)":4,"(* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0)":10,"(* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0)":9,"(* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2)":3,"(* (- (* -1/2 z1) (* 1/4 PI)) z0)":1,"(* (- (* 1/2 PI) z1) z0)":1,"(* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))":2,"(* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z0)":3,"(* (- (* z1 z1) (* (* z0 z0) 6)) (* z1 z1))":2,"(* (- (* z1 z1) (* (* z2 z2) 3)) z0)":3,"(* (- (* z1 z1) (* 3 (* z0 z0))) (* -881662847/200000000000000000000000000 z1))":2,"(* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1))":3,"(* (- (* z1 z1) (* 6 (* z0 z0))) (* z1 z1))":3,"(* (- (* z1 z1) 1) z0)":4,"(* (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1))":5,"(* (- (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2))) -1) z0)":10,"(* (- (* z2 z2) (* (* z1 z1) 3)) z0)":3,"(* (- (* z2 z2) (* 3 (* z1 z1))) z0)":2,"(* (- (* z2 z2) (* 6 (* z1 z1))) z0)":5,"(* (- (* z2 z2) 1) (* (+ 2 (* z1 (- 1 (cos (+ z0 z0))))) -1/2))":1,"(* (- (* z2 z2) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))))":4,"(* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2)":2,"(* (- (atan (* (tan (- 27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0)))) (* 1/4 PI)) 2)":1,"(* (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (* (cos (* (- PI (+ z1 z1)) -1/4)) (/ (sqrt 1/2) z0)))":1,"(* (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z0) z0)))))":1,"(* (- (cos (* 1/2 z1)) (sin (* -1/2 z1))) z0)":5,"(* (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (sqrt 1/2))":1,"(* (- (cos (* z1 -1/2)) (sin (* z1 -1/2))) z0)":18,"(* (- (cos (+ z0 z0)) -1) 1/2)":2,"(* (- (cos (+ z0 z0)) 1) (* -1/2 z1))":2,"(* (- (cos (+ z0 z0)) 1) -1/2)":1,"(* (- (cos (+ z0 z0)) 1) z1)":3,"(* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4))":6,"(* (- (cos (+ z1 z1)) -1) z0)":2,"(* (- (cos (+ z1 z1)) 1) (* z0 1/2))":2,"(* (- (cos (+ z1 z1)) 1) z0)":12,"(* (- (sin (* -1/2 (+ (- z1 PI) z1))) (cos (* -1/2 (+ (- PI z1) z1)))) (* z0 1/2))":1,"(* (- (sin (* -1/2 (- (- PI z0) z0))) (cos (* -1/2 (+ (- PI z0) z0)))) -1/2)":1,"(* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2))":11,"(* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2))":6,"(* (- (sin (* z1 -1)) -1) z0)":1,"(* (- (sin z0) -1) -1/2)":1,"(* (- (sin z0) 1) -1/2)":1,"(* (- (sqrt 1/2)) (cos (* z0 1/2)))":8,"(* (- -1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z2)) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1))))":2,"(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z0 z0))))) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1))))":12,"(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))) z0)":28,"(* (- -1 (* (* z2 1/2) (- 1 (cos (+ z0 z0))))) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))))":4,"(* (- -1 (* (* z2 1/2) (- 1 (cos (+ z1 z1))))) z0)":12,"(* (- -1 (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2)))) z0)":8,"(* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4))":1,"(* (- -1 (cos (+ z1 z1))) z0)":1,"(* (- -1 (sin z0)) -1/2)":2,"(* (- -2 (* (- 1 (cos (+ z1 z1))) z2)) (/ 1/2 z0))":1,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))) (fabs z1))":1,"(* (- 1 (* (* z1 z1) z2)) z0)":2,"(* (- 1 (* (* z2 z2) z1)) z0)":11,"(* (- 1 (* z1 z1)) z0)":2,"(* (- 1 (cos (+ z0 z0))) (* 1/2 z1))":42,"(* (- 1 (cos (+ z0 z0))) 1/2)":8,"(* (- 1 (cos (+ z0 z0))) 2)":3,"(* (- 1 (cos (+ z1 z1))) (* -1/2 z0))":3,"(* (- 1 (cos (+ z1 z1))) (* 1/2 z0))":9,"(* (- 1 (cos (+ z1 z1))) z0)":114,"(* (- 1 (cosh (+ z0 z0))) -1/2)":4,"(* (- 1 z0) E)":1,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":22,"(* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z0)":56,"(* (- z0 (* (- (* -2 (cos (+ z2 z2))) 1) z1)) (sin z2))":1,"(* (- z0) (cos (* 1/2 z1)))":8,"(* (- z0) (cos 27401669256311/20000000000000))":1,"(* (- z1 (/ 1 z1)) z0)":3,"(* (- z1 PI) z0)":10,"(* (- z2 (* z1 (* (* z0 z2) z0))) (- z2 (* z1 (* (* z0 z2) z0))))":2,"(* (/ (+ z0 z0) (- -1 (sin z1))) (- (sin (* z1 1/2)) (cos (* -1/2 z1))))":1,"(* (/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (cos (* (- PI (+ z0 z0)) -1/4))) (sqrt 1/2))":1,"(* (/ (cos (* (- PI (+ z1 z1)) -1/4)) z0) (- (cos (* -1/2 z1)) (sin (* z1 1/2))))":1,"(* (/ (cos z1) z0) (cos z2))":7,"(* (/ (sin z1) z0) (cos z2))":2,"(* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z0)))) (- (cos (* 1/2 z0)) (sin (* -1/2 z0))))":4,"(* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z1)))) z0)":4,"(* (/ (sqrt 1/2) z0) (- (cos (* z1 -1/2)) (sin (* z1 -1/2))))":19,"(* (/ (sqrt 1/2) z0) (- (sin (* z1 -1/2)) (cos (* 1/2 z1))))":11,"(* (/ (sqrt 1/2) z0) (- (sin (* z1 1/2)) (cos (* -1/2 z1))))":6,"(* (/ -2 (- -1 (sin z0))) (- (cos (* z0 -1/2)) (sin (* z0 1/2))))":1,"(* (/ 1/2 (* -1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))) (- (* (- 1 (cos (+ z0 z0))) z2) -2))":3,"(* (/ z0 (* z1 z1)) z0)":3,"(* (/ z0 (- (sin z2) -1)) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)))":2,"(* (/ z0 (- 1 z0)) (pow (cos z1) 4))":2,"(* (/ z0 (sin (- (* -5/4 PI) (* z1 -1/2)))) (sin (- (* -5/4 PI) (* z1 -1/2))))":7,"(* (/ z0 (tan 27401669256311/20000000000000)) z1)":2,"(* (/ z0 z1) (pow (cos z2) 4))":4,"(* (/ z0 z1) z2)":2,"(* (/ z1 (* z2 z2)) z0)":3,"(* (/ z1 (cos z0)) z2)":2,"(* (/ z1 (cos z2)) z0)":4,"(* (/ z1 z0) (sin (* (+ (+ PI z2) z2) -1/4)))":1,"(* (/ z1 z0) (sin (* (+ (+ z2 PI) z2) 1/4)))":5,"(* (/ z1 z2) z0)":25,"(* (/ z2 (cos z0)) z1)":5,"(* (/ z2 (cos z1)) z0)":7,"(* (/ z2 z1) z0)":21,"(* (atan (exp (/ z2 z1))) z0)":3,"(* (atan z1) z0)":1,"(* (cos (* (* 1/2 z2) z1)) z0)":1,"(* (cos (* -1/4 (+ (+ PI z1) z1))) z0)":5,"(* (cos (* -1/4 (+ (+ z2 PI) z2))) (pow (tan (* 1/4 (+ (+ PI z1) z1))) z0))":5,"(* (cos (* z1 z0)) 2)":1,"(* (cos (* z1 z0)) 4)":2,"(* (cos (+ z1 z1)) z0)":128,"(* (cos z0) z1)":11,"(* (cos z1) (sin z0))":3,"(* (cos z1) (tan z0))":4,"(* (cos z1) z0)":96,"(* (fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1))) 1/2)":3,"(* (fabs (- 2 (* (- (cos (+ z1 z1)) 1) z2))) z0)":3,"(* (fabs (- z0 1)) E)":1,"(* (fabs (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) z0)":2,"(* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1)":9,"(* (log (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1)))) z0)":9,"(* (log (/ (- -1 (* (- z1 2) z1)) (* (- z1 -1) (- -1 z1)))) (* 1/4 z0))":2,"(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1)":19,"(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z0)":19,"(* (log (tan (+ (* 9/4 PI) (* 1/2 z1)))) z0)":6,"(* (pow (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) -2) z0)":2,"(* (pow (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) -2) z0)":2,"(* (pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) -2) z0)":6,"(* (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)) -1))":3,"(* (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1))":2,"(* (pow (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) -2) (- z0))":3,"(* (pow (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) -2) z0)":6,"(* (pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2) (- (* (- 1 (cos (+ z0 z0))) (* z2 1/2)) -1))":1,"(* (pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1))":5,"(* (pow (- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0))))) -2) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1))":1,"(* (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* 1/2 z1)) z0)":4,"(* (pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) (* z1 1/2)) z0)":5,"(* (pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1)) z0)":4,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0)":1,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* z1 1/2)) z0)":13,"(* (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2)) (tan (* (- (* PI 1/2) z1) 1/2)))":8,"(* (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2)) (tan (+ (* 9/4 PI) (* -1/2 z1))))":5,"(* (pow (cos z1) 4) z0)":4,"(* (pow (cos z2) 4) (* z0 z1))":1,"(* (pow (tan (* (+ (+ PI z2) z2) 1/4)) (- z1)) z0)":1,"(* (pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0)) (pow (tan (- 27401669256311/40000000000000 (* PI -1/4))) z0))":3,"(* (pow (tan (* (+ (+ z2 PI) z2) 1/4)) (- z1)) z0)":3,"(* (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z1) z0)":25,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z0)) z1)":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z1)) z0)":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z1)) z0)":6,"(* (pow (tan (* 1/4 (+ (+ PI z2) z2))) (- z1)) (- z0))":8,"(* (pow (tan (* 1/4 (+ (+ PI z2) z2))) (- z1)) z0)":2,"(* (pow (tan (* 1/4 (+ (+ z2 z2) PI))) (- z1)) z0)":6,"(* (pow (tan (+ (* 1/2 z2) (* 17/4 PI))) (- z1)) z0)":2,"(* (pow (tan (+ (* z2 1/2) (* 13/4 PI))) (- z1)) z0)":3,"(* (pow (tan (- (* 1/2 z2) (* PI 3/4))) (/ 1 z0)) (pow z1 (/ -1 z0)))":4,"(* (pow (tan (- (* 1/2 z2) (* PI 3/4))) (/ 1 z1)) z0)":4,"(* (pow (tan (- (* 21/4 PI) (* z2 -1/2))) (/ 1 z1)) z0)":3,"(* (pow (tan (- (* z1 1/2) (* -1/4 PI))) (- z0)) (pow (tan (- (* 9/4 PI) -27401669256311/40000000000000)) z0))":2,"(* (pow (tan (- (* z2 1/2) (* -1/4 PI))) (- z1)) z0)":2,"(* (pow (tan (- (* z2 1/2) (* PI 7/4))) (- z0)) z1)":9,"(* (pow (tan (- (* z2 1/2) (* PI 7/4))) (- z1)) z0)":9,"(* (sin (* (+ (+ z1 PI) z1) -1/4)) z0)":2,"(* (sin (* -1/2 z0)) (sqrt 1/2))":1,"(* (sin (* 1/4 (+ (+ PI z1) z1))) z0)":10,"(* (sin (* 3 z1)) z0)":50,"(* (sin (* 4 z1)) z0)":40,"(* (sin (* z0 1/2)) (sqrt 1/2))":8,"(* (sin (* z1 3)) z0)":10,"(* (sin (* z1 4)) z0)":4,"(* (sin (* z1 z0)) z2)":4,"(* (sin (* z2 z0)) (- z1))":4,"(* (sin (* z2 z0)) z1)":15,"(* (sin (* z2 z1)) z0)":23,"(* (sin (+ z1 z1)) z0)":46,"(* (sin (- (* 1/4 PI) (* z1 -1/2))) z0)":1,"(* (sin (- (* PI 3/4) (* z0 1/2))) (sqrt 1/2))":1,"(* (sin (- 0 z1)) z0)":1,"(* (sin z0) (* (cos z1) (cos z2)))":2,"(* (sin z0) z1)":1,"(* (sin z1) (/ z0 (cos z2)))":2,"(* (sin z1) (cos z0))":2,"(* (sin z1) z0)":461,"(* (sin z2) (- z0 (* z1 (* -2 (+ (cos (+ z2 z2)) 1/2)))))":2,"(* (sin z2) (/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z2 z2)) 1/2) -1/2) (- (cos (+ z1 z1)) -1)))))))":4,"(* (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)) z0)":1,"(* (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)) z0)":3,"(* (sqrt (fabs (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))) z0)":1,"(* (sqrt 1/2) (- (cos (* 1/2 z0)) (sin (* z0 -1/2))))":18,"(* (sqrt 1/2) z0)":18,"(* (sqrt 2) z0)":23,"(* (sqrt z1) z0)":2,"(* (tan (* (+ (+ PI z1) z1) 1/4)) z0)":3,"(* (tan (* (+ (+ PI z2) z2) 1/4)) (* z1 z0))":1,"(* (tan (* (+ (+ z1 PI) z1) -1/4)) z0)":8,"(* (tan (* (+ (+ z1 PI) z1) 1/4)) z0)":11,"(* (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":2,"(* (tan (* (+ (+ z2 PI) z2) 1/4)) (pow (tan (* (+ (+ PI z1) z1) 1/4)) (- z0)))":3,"(* (tan (* (- (* 1/2 PI) z1) 1/2)) z0)":1,"(* (tan (* -1/4 (+ (+ PI z2) z2))) (* z1 z0))":7,"(* (tan (* 1/4 (+ (+ PI z1) z1))) z0)":11,"(* (tan (* 1/4 (+ (+ z1 PI) z1))) z0)":2,"(* (tan (* 1/4 (+ (+ z2 z2) PI))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1)))":2,"(* (tan (+ (* 1/2 z1) (* 17/4 PI))) z0)":4,"(* (tan (+ (* 9/4 PI) (* z1 1/2))) z0)":4,"(* (tan (+ (* PI -3/4) (* z1 1/2))) z0)":2,"(* (tan (- (* -1/2 PI) 27401669256311/20000000000000)) (* z0 z1))":1,"(* (tan (- (* -3/2 PI) -27401669256311/20000000000000)) z0)":3,"(* (tan (- (* 1/2 PI) 27401669256311/20000000000000)) (* z0 z1))":1,"(* (tan (- (* 3/2 PI) 27401669256311/20000000000000)) (* z1 z0))":3,"(* (tan (- (* PI -3/4) (* -1/2 z2))) (* z1 z0))":1,"(* (tan (- (* z1 1/2) (* 3/4 PI))) z0)":2,"(* (tan (- (* z2 1/2) (* 3/4 PI))) (* z1 z0))":1,"(* (tan (- 27401669256311/40000000000000 (* PI -1/4))) (pow (/ z2 z1) (/ 1 z0)))":1,"(* (tan (- 27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0)))":1,"(* (tan (- 27401669256311/40000000000000 (* PI 3/4))) z0)":1,"(* (tan (/ (- (* PI 1/2) z1) 2)) (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0)))":2,"(* (tan z1) z0)":25,"(* -1/2 (- (* (- 1 (cos (+ z0 z0))) z1) -2))":8,"(* -1/2 (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":6,"(* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1)))":1,"(* -2 (+ (cos (+ z0 z0)) 1/2))":2,"(* -2 (atan (* (tan (+ -27401669256311/40000000000000 (* PI 3/4))) (pow (/ z2 z1) (/ 1 z0)))))":1,"(* -2 (atan (* (tan (- (* PI 3/4) 27401669256311/40000000000000)) (pow (/ z2 z1) (/ 1 z0)))))":1,"(* -4165541759/500000000000000000000000000000000 z0)":3,"(* -4668270147/10000000000000000 z0)":10,"(* -881662847/200000000000000000000000000 z0)":7,"(* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1))))":5,"(* 1/2 (- -2 (* (- 1 (cos (+ z0 z0))) z1)))":3,"(* 1/2 (- 1 (cos (+ z0 z0))))":10,"(* 149230739/1250000000000000 z0)":4,"(* 2 (+ (cos (+ z0 z0)) 1/2))":1,"(* 2 (atanh (* (sin z1) z0)))":42,"(* 2 (atanh (* z0 (sin z1))))":1,"(* 212097503/125000000000000000000000000 z0)":10,"(* 3 (* z0 z0))":10,"(* 304747143/100000000000000000000 (* z0 z1))":1,"(* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))":3,"(* 6 (* z0 z0))":3,"(* E z0)":2,"(* PI z0)":419,"(* z0 (+ (+ PI z1) z1))":5,"(* z0 (+ (+ z1 z1) PI))":2,"(* z0 (- (* 1/2 PI) z1))":5,"(* z0 (- (* 1/4 PI) (* z1 -1/2)))":1,"(* z0 (- (* PI 1/2) z1))":8,"(* z0 (- (* PI 1/4) (* z1 -1/2)))":1,"(* z0 (- (+ z1 z1) PI))":6,"(* z0 (- (cos (* -1/2 z1)) (sin (* z1 1/2))))":2,"(* z0 (- (sin (* z1 -1/2)) (cos (* 1/2 z1))))":3,"(* z0 (- (sin (* z1 1/2)) (cos (* -1/2 z1))))":6,"(* z0 (- (sin z1) -1))":1,"(* z0 (- 1 (sin z1)))":1,"(* z0 (- PI (+ z1 z1)))":17,"(* z0 (- z1 PI))":5,"(* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":4,"(* z0 (cos (* (- PI (+ z1 z1)) -1/4)))":6,"(* z0 (cos 27401669256311/20000000000000))":3,"(* z0 (log (* (* (sin (- (* -1/2 z1) (* 1/4 PI))) (sqrt 2)) (/ (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (- -1 (sin z1))))))":2,"(* z0 (log (* (/ (- (cos (* -1/2 z1)) (sin (* z1 1/2))) (cos (* (- PI (+ z1 z1)) -1/4))) (sqrt 1/2))))":2,"(* z0 (log (/ (* (* (cos (* (- PI (+ z1 z1)) -1/4)) (sqrt 2)) (- (cos (* -1/2 z1)) (sin (* z1 1/2)))) (- (cos (- (- z1) (* PI -1/2))) -1))))":2,"(* z0 (log (/ (* (- (sin (* z1 -1/2)) (cos (* 1/2 z1))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z1 -1/2))))))":16,"(* z0 (log (/ (* (sqrt 1/2) (- (sin (* z1 -1/2)) (cos (* 1/2 z1)))) (sin (- (* -1/4 PI) (* z1 -1/2))))))":6,"(* z0 (log (/ (cos (* 1 z1)) (- (- (sin (* 1 z1))) (sin (* (- (- z1 PI) z1) 1/2))))))":2,"(* z0 (log (/ (fabs (cos z1)) (- 1 (sin z1)))))":2,"(* z0 (log (/ (sqrt (- (* (- z1 2) z1) -1)) (fabs (- z1 -1)))))":2,"(* z0 (log (fabs (/ (* (- (sin (* z1 1/2)) (cos (* -1/2 z1))) (sqrt 1/2)) (sin (- (* PI -3/4) (* -1/2 z1)))))))":12,"(* z0 (log (fabs (/ (sin (- (* PI -1/4) (* 1/2 z1))) (sin (* 1/2 (- (* 1/2 PI) z1)))))))":2,"(* z0 (log (fabs (tan (* -1/4 (- (+ z1 z1) PI))))))":12,"(* z0 (log (tan (* 1/4 (+ (+ z1 z1) PI)))))":4,"(* z0 (log (tan (* 1/4 (- PI (+ z1 z1))))))":24,"(* z0 (log (tan (- (* 1/2 z1) (* -9/4 PI)))))":6,"(* z0 (log (tan (- (* z1 -1/2) (* 3/4 PI)))))":16,"(* z0 (log (tan (- (* z1 1/2) (* 3/4 PI)))))":64,"(* z0 (pow (cos z1) 4))":4,"(* z0 (sin (* 1/2 (+ (* 1/2 PI) z1))))":1,"(* z0 (sin (* 1/2 (- (* 1/2 PI) z1))))":3,"(* z0 (sin (* 1/2 z1)))":8,"(* z0 (sin (* z1 4)))":2,"(* z0 (sin (- (* -1/4 PI) (* z1 1/2))))":1,"(* z0 (sin (- (* 1/4 PI) (* 1/2 z1))))":1,"(* z0 (sin (- (* 1/4 PI) (* z1 -1/2))))":1,"(* z0 (sin (- (* PI 3/4) (* z1 1/2))))":1,"(* z0 (sin (- (* z1 -1/2) (* PI 3/4))))":1,"(* z0 (sin z1))":66,"(* z0 (sqrt 1/2))":32,"(* z0 (sqrt 2))":30,"(* z0 (tan (* (- (* PI 1/2) z1) 1/2)))":8,"(* z0 (tan (+ (* 9/4 PI) (* -1/2 z1))))":5,"(* z0 (tan (+ (* 9/4 PI) (* 1/2 z1))))":3,"(* z0 -4165541759/125000000000000000000000000000000)":2,"(* z0 PI)":175,"(* z1 (* (* z0 z2) z0))":4,"(* z1 (* (- 2 z0) z0))":4,"(* z1 (* z0 z0))":2,"(* z1 (* z0 z2))":64,"(* z1 (* z2 (cos z0)))":12,"(* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000))":3,"(* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2)))":24,"(* z1 (/ z0 (sin 27401669256311/20000000000000)))":2,"(* z1 (/ z0 (tan 27401669256311/20000000000000)))":4,"(* z1 (cos z0))":12,"(* z2 (* z1 (* (- 2 z0) z0)))":4,"(* z2 (* z1 (- 2 z0)))":14,"(* z2 (- 1 (* z1 (* z0 z0))))":2,"(* z2 (/ z0 z1))":7,"(+ (* (* (* z0 z0) z0) z0) (* (- (* z1 z1) (* (* z0 z0) 6)) (* z1 z1)))":2,"(+ (* (* (* z0 z0) z0) z0) (* (- (* z1 z1) (* 6 (* z0 z0))) (* z1 z1)))":3,"(+ (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) z0)":5,"(+ (* (* z0 z2) (* (- 1 (cos (+ z1 z1))) 1/2)) z0)":2,"(+ (* (pow (cos z2) 4) z0) z1)":1,"(+ (* (pow (cos z2) 4) z1) z0)":1,"(+ (* (sin (* 3 z2)) z1) z0)":22,"(+ (* (sin (+ z2 z2)) z0) (* (sin (* 4 z2)) z1))":13,"(+ (* (sin (+ z2 z2)) z1) z0)":14,"(+ (* (sin z0) (* (cos z1) (cos z2))) (* (sin z2) (cos z0)))":1,"(+ (* (sin z2) z0) (* (sin (* 3 z2)) z1))":22,"(+ (* 2644988541/200000000000000000000000000 (* z1 z1)) (* (* -881662847/200000000000000000000000000 z0) z0))":3,"(+ (* z0 (sin z2)) (* z1 (sin (* z2 3))))":5,"(+ (* z1 (* z2 z2)) z0)":2,"(+ (* z1 (+ (* (- (* 3 (* z0 z0)) (* z1 z1)) -881662847/200000000000000000000000000) (* (* (- (* z1 z1) (* (* z0 z0) 6)) z1) -3689471323/1000000000000000000000000000000000))) (* z0 (+ (* (* z1 -4165541759/125000000000000000000000000000000) (* (+ z0 z1) (- z0 z1))) (* (* (* z0 z0) z0) -3689471323/1000000000000000000000000000000000))))":2,"(+ (* z1 z1) (* z0 (* z2 z2)))":2,"(+ (* z2 z1) (* z0 z0))":4,"(+ (cos (* z2 z1)) z0)":2,"(+ (log (tan (* (+ (+ PI z1) z1) 1/4))) z0)":8,"(+ (log (tan (* 1/4 (+ (+ PI z1) z1)))) z0)":4,"(+ (sin (* z2 z1)) z0)":2,"(+ z0 (* z1 (sin (* z2 3))))":5,"(- (* (* (* z2 (- 1 (* z1 (* z0 z0)))) z2) (- 1 (* z1 (* z0 z0)))) 1)":1,"(- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) z0)":16,"(- (* (* (- 1 (cos (+ z1 z1))) z2) 1/2) z0)":2,"(- (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000)) (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))))":3,"(- (* (* (- z1 z2) 4616990181/500000000000000000000) (+ z2 z1)) (- (* (* z2 z1) 304747143/100000000000000000000) z0))":1,"(- (* (* -1/2 z0) (- (cos (+ z1 z1)) 1)) 1)":1,"(- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1)":35,"(- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) z0)":19,"(- (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* (* z2 z2) 3))) z0)":3,"(- (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1) -1)":3,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":4,"(- (* (* 1/2 z1) (- (cos (+ z2 z2)) 1)) z0)":2,"(- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1)":23,"(- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) z0)":1,"(- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) z0)":17,"(- (* (* 304747143/100000000000000000000 z0) z1) (* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1)))":1,"(- (* (* 304747143/100000000000000000000 z1) z2) z0)":1,"(- (* (* z0 1/2) (- (cos (+ z1 z1)) 1)) -1)":1,"(- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1)":9,"(- (* (* z0 z0) (- 1/2 (* (cos (+ z1 z1)) 1/2))) 1)":4,"(- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) z0)":4,"(- (* (* z1 z1) (- (* 1/2 (cos (+ z2 z2))) 1/2)) z0)":9,"(- (* (* z2 -1/2) (- 1 (cos (+ z1 z1)))) z0)":2,"(- (* (* z2 1/2) (- 1 (cos (+ z1 z1)))) z0)":6,"(- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) 3689471323/1000000000000000000000000000000000) (* (* 4165541759/125000000000000000000000000000000 (* z0 z1)) (* (+ z0 z1) (- z0 z1))))":2,"(- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0) -1)":2,"(- (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2) z0)":3,"(- (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000)) z0)":3,"(- (* (- (cos (+ z1 z1)) 1) (* 1/2 z2)) z0)":3,"(- (* (- (cos (+ z1 z1)) 1) (* z0 1/2)) -1)":2,"(- (* (- (cos (+ z2 z2)) 1) (* 1/2 z1)) z0)":3,"(- (* (- -1 (cos (+ z2 z2))) (* (- -1 (cos (+ z1 z1))) 1/4)) z0)":4,"(- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1)":14,"(- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) z0)":3,"(- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) z0)":1,"(- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)":22,"(- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) z0)":31,"(- (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) (* z1 z1)) z0)":4,"(- (* (- z2 (* z1 (* (* z0 z2) z0))) (- z2 (* z1 (* (* z0 z2) z0)))) 1)":2,"(- (* (/ z0 (* z1 z1)) z0) -1)":3,"(- (* (/ z0 (- 1 z0)) (pow (cos z1) 4)) -1)":2,"(- (* (/ z0 z1) (pow (cos z2) 4)) -1)":2,"(- (* (/ z1 (* z2 z2)) z1) z0)":3,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":8,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":9,"(- (* (cos z2) (tan z1)) (* (sin z2) z0))":4,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (* 1/4 (+ (+ z2 z2) PI)))))":1,"(- (* (pow (cos z2) 4) (/ z1 (- 1 z1))) z0)":2,"(- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2))))":1,"(- (* -1/2 PI) (* -2 (atan (* (tan (- 27401669256311/40000000000000 (* PI -1/4))) (pow (/ z2 z1) (/ 1 z0))))))":1,"(- (* -149230739/1250000000000000 z0) (* 4668270147/10000000000000000 z1))":2,"(- (* -2 (cos (+ z1 z1))) (- z0 2))":2,"(- (* -4668270147/10000000000000000 z1) z0)":2,"(- (* 1/2 (cos (+ z0 z0))) -1/2)":10,"(- (* 1/2 (cos (+ z0 z0))) 1/2)":6,"(- (* 1/2 (cos (+ z1 z1))) (- -1/2 z0))":1,"(- (* 2 (atan (exp (/ z1 z0)))) (* 1/2 PI))":3,"(- (* 3 (* z1 z1)) (* z0 z0))":2,"(- (* 304747143/100000000000000000000 (* z0 z1)) (* (* 4616990181/500000000000000000000 (- z0 z1)) (+ z0 z1)))":1,"(- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))) (* (* -3689471323/250000000000000000000000000000000 (* z1 z0)) (* (+ z1 z0) (- z0 z1))))":3,"(- (* 4668270147/10000000000000000 z0) (* (- 149230739/1250000000000000 (* z0 -4616990181/250000000000000000000)) z1))":3,"(- (* z0 (+ (* (- (* z0 z0) (* 3 (* z1 z1))) 212097503/125000000000000000000000000) (* (* z1 -4165541759/125000000000000000000000000000000) (* (+ z0 z1) (- z0 z1))))) (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))))":2,"(- (* z0 z0) (* (* z1 z1) 3))":3,"(- (* z0 z0) (* z2 z1))":4,"(- (* z1 (* (* z0 z2) z0)) z2)":4,"(- (* z1 (+ (* (* 3689471323/250000000000000000000000000000000 z0) (* (- z1 z0) (+ z1 z0))) (* (- (* z1 z1) (* 3 (* z0 z0))) 212097503/125000000000000000000000000))) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))))":3,"(- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)":24,"(- (* z1 z1) (* (* z0 z0) 6))":2,"(- (* z1 z1) (* 3 (* z0 z0)))":5,"(- (* z1 z1) (* 6 (* z0 z0)))":3,"(- (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2))) z0)":19,"(- (* z2 z0) (* z1 z1))":1,"(- (+ (* (* -881662847/200000000000000000000000000 z0) (- (* z0 z0) (* (* z1 z1) 3))) (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0))))) (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000)))":3,"(- (+ (* z2 (+ (* (- (* 3 (* z1 z1)) (* z2 z2)) -881662847/200000000000000000000000000) (* (* (- (* z2 z2) (* 6 (* z1 z1))) z2) -3689471323/1000000000000000000000000000000000))) (* z1 (+ (* (* z2 -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))) (* (* (* z1 z1) z1) -3689471323/1000000000000000000000000000000000)))) z0)":2,"(- (+ (- (* z0 (+ -4668270147/10000000000000000 (* 881662847/200000000000000000000000000 (- (* z0 z0) (* (* z1 z1) 3))))) (- (- (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)))) (* (* (- z1 z0) (+ z1 z0)) (- (* -3689471323/250000000000000000000000000000000 (* z1 z0)) 304747143/200000000000000000000)))) 9827991/390625000) (* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000)))":3,"(- (+ z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000))) (- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) (* (* (+ z2 z1) (- z1 z2)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000))))":3,"(- (- (* (* (* z2 z1) -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))) z0) (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000))":2,"(- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1))":1,"(- (- (* 149230739/1250000000000000 z0) (+ (+ (* (* (- z1 z0) (+ z0 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1))) (* -4668270147/10000000000000000 z1))":1,"(- (- (* 4668270147/10000000000000000 z1) (* -149230739/1250000000000000 z0)) (+ -2946529277/100000000000 (+ (+ (* (* (- z1 z0) (+ z0 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* (* 304747143/100000000000000000000 z0) z1))))":1,"(- (- (* 4668270147/10000000000000000 z2) (* -149230739/1250000000000000 z1)) (+ (+ z0 (* (* 304747143/100000000000000000000 z1) z2)) (+ (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1)))))))":1,"(- (- (* z1 (+ (* (- (* z1 z1) (* (* z2 z2) 3)) 212097503/125000000000000000000000000) (* (* z2 -4165541759/125000000000000000000000000000000) (* (- z1 z2) (+ z2 z1))))) (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1)))))) z0)":2,"(- (- (- (* (* (- z2 z1) (+ z2 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z2 z1)))) (- (- (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1))))) (* (* 304747143/100000000000000000000 z1) z2)) z0)":1,"(- (- (- (* -4668270147/10000000000000000 z1) -9827991/390625000) z0) (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2))":3,"(- (- (- (- (* (* (- z1 z0) (+ z0 z1)) (+ -4616990181/500000000000000000000 (* 4165541759/125000000000000000000000000000000 (* z0 z1)))) (- (- (* (- (* (- (* (* z0 z0) 6) (* z1 z1)) (* z1 z1)) (* (* (* z0 z0) z0) z0)) -3689471323/1000000000000000000000000000000000) (* (* 881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* (* -212097503/125000000000000000000000000 z0) (- (* 3 (* z1 z1)) (* z0 z0))))) (* 304747143/100000000000000000000 (* z0 z1))) (- (* -149230739/1250000000000000 z0) (* 4668270147/10000000000000000 z1))) -2946529277/100000000000)":1,"(- (- (- z0 (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* (* z2 z2) 3)))) (* (- (* z2 z2) (* (* z1 z1) 3)) (* z2 212097503/125000000000000000000000000))) (- (* (* (+ z2 z1) (- z1 z2)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))))":3,"(- (- 1/2 z0) (* (cos (+ z1 z1)) 1/2))":1,"(- (- 9827991/390625000 (* 4668270147/10000000000000000 z0)) (* z1 (- (* z0 -4616990181/250000000000000000000) 149230739/1250000000000000)))":3,"(- (- z0 (* (* (* (+ z2 z1) 3689471323/250000000000000000000000000000000) z2) (* (- z1 z2) z1))) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))":3,"(- (- z0 (* -149230739/1250000000000000 z1)) (* z2 -4668270147/10000000000000000))":2,"(- (- z0 (* 4668270147/10000000000000000 z1)) (* (- (* z1 -4616990181/250000000000000000000) 149230739/1250000000000000) z2))":3,"(- (- z0 (* z2 (+ (* (* 3689471323/250000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* (- (* z2 z2) (* (* z1 z1) 3)) 212097503/125000000000000000000000000)))) (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))))":3,"(- (- z0 -1/2) (* (cos (+ z1 z1)) 1/2))":7,"(- (- z0 1/2) (* (sin (+ 0 z1)) 1/2))":1,"(- (- z0 2) (* -2 (cos (+ z1 z1))))":1,"(- (- z0 z1) (log (tan (* 1/4 (+ (+ PI z2) z2)))))":4,"(- (- z0) (* (cos (* 1/2 z1)) (sqrt 1/2)))":8,"(- (cos (* (+ (+ PI z0) z0) 1/4)))":8,"(- (cos (* 1/2 z0)) (sin (* -1/2 z0)))":5,"(- (cos (* 1/2 z0)) (sin (* z0 -1/2)))":18,"(- (cos (* z0 -1/2)) (sin (* z0 1/2)))":2,"(- (cos (+ z0 z0)) -1)":2,"(- (cos (+ z0 z0)) 1)":13,"(- (log (/ (* (- (cos (* z1 -1/2)) (sin (* z1 -1/2))) (sqrt 1/2)) (sin (- (* PI 3/4) (* z1 -1/2))))) z0)":1,"(- (log (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* (+ (+ PI z1) z1) 1/4)))) z0)":2,"(- (log (fabs (tan (* -1/4 (+ (+ z1 z1) PI))))) z0)":4,"(- (log (fabs (tan (* -1/4 (- (+ z0 z0) PI))))))":6,"(- (log (tan (* (+ (+ PI z2) z2) 1/4))) (- z0 z1))":2,"(- (log (tan (+ (* 1/2 z0) (* 9/4 PI)))))":1,"(- (log (tan (+ (* 9/4 PI) (* z1 1/2)))) z0)":1,"(- (log (tan (- (* 1/2 z1) (* -1/4 PI)))) z0)":3,"(- (log (tan (- (* 1/4 PI) (* z1 -1/2)))) z0)":6,"(- (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0)":12,"(- (log (tan (- (* 5/4 PI) (* z2 -1/2)))) (* (* 2 (atanh (* (sin z2) z0))) z1))":12,"(- (log (tan (- (* 9/4 PI) (* -1/2 z1)))) z0)":58,"(- (log (tan (- (* 9/4 PI) (* z1 -1/2)))) z0)":2,"(- (log (tan (- (* 9/4 PI) (* z2 -1/2)))) (* (* 2 (atanh (* (sin z2) z0))) z1))":30,"(- (log (tan (- (* z1 1/2) (* PI 3/4)))) z0)":4,"(- (pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) 2))":3,"(- (pow (tan (* (+ (+ z1 PI) z1) 1/4)) (- z0)))":8,"(- (sin (* (- z0 (- z0 PI)) 1/2)) (sin z0))":1,"(- (sin (* z0 -1/2)) (cos (* z0 1/2)))":3,"(- (sin (* z0 1/2)) (cos (* z0 -1/2)))":7,"(- (sin z0) -1)":3,"(- (sqrt (- (* z0 z0) 1)))":4,"(- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1))":1,"(- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))":12,"(- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)))":28,"(- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))))":7,"(- 1 (* (* z1 z1) z0))":3,"(- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4)))":6,"(- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4)))":1,"(- 1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z0)))":1,"(- 1 (* z1 (* z0 z0)))":2,"(- 1 (cos (+ z0 z0)))":114,"(- 1 (sin z0))":2,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":72,"(- 1/2 (* (sin z0) 1/2))":1,"(- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z0))))))":1,"(- 2 (* (- (cos (+ z0 z0)) 1) z1))":3,"(- z0 (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z2 z2)))))":1,"(- z0 (* (* -3689471323/250000000000000000000000000000000 (* z2 z1)) (* (+ z2 z1) (- z1 z2))))":3,"(- z0 (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))))":29,"(- z0 (* (* 4165541759/125000000000000000000000000000000 (* z2 z1)) (* (- z1 z2) (+ z2 z1))))":2,"(- z0 (* (* z1 z1) z2))":8,"(- z0 (* (* z2 1/2) (- 1 (cos (+ z1 z1)))))":12,"(- z0 (* (* z2 z2) z1))":6,"(- z0 (* (- (* (* z2 z2) 3) (* z1 z1)) (* 212097503/125000000000000000000000000 z1)))":2,"(- z0 (* (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)) -3689471323/1000000000000000000000000000000000))":2,"(- z0 (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))":5,"(- z0 (* (- (* z2 z2) (* 3 (* z1 z1))) (* z2 -881662847/200000000000000000000000000)))":2,"(- z0 (* (- (cos (+ z1 z1)) 1) z2))":3,"(- z0 (* (- (cos (+ z2 z2)) -1) (* (- 1 (cos (+ z1 z1))) 1/4)))":6,"(- z0 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) 1) 1/4)))":1,"(- z0 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)))":9,"(- z0 (* (- 1 (cosh (+ z1 z1))) 1/2))":1,"(- z0 (* (sin (* -4 z2)) z1))":14,"(- z0 (* (sin (* 1/2 z1)) (sqrt 1/2)))":8,"(- z0 (* (sin (* 3 z2)) z1))":3,"(- z0 (* (sin (* 4 z2)) z1))":7,"(- z0 (* (sin (* z1 -1/2)) (sqrt 1/2)))":1,"(- z0 (* -1/2 (* (- (cos (+ z1 z1)) 1) z2)))":6,"(- z0 (* -4668270147/10000000000000000 z1))":3,"(- z0 (* 149230739/1250000000000000 z1))":2,"(- z0 (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))))":3,"(- z0 (* z1 (* -2 (+ (cos (+ z2 z2)) 1/2))))":4,"(- z0 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2))))":2,"(- z0 (* z1 (sin (* 4 z2))))":2,"(- z0 (* z1 E))":1,"(- z0 (* z2 (- 1/2 (* (cos (+ z1 z1)) 1/2))))":8,"(- z0 (atanh (sin (+ 0 z1))))":2,"(- z0 (log (/ (fabs (- (cos (- (* z1 1/2) (* 1/2 (+ z1 PI)))) (cos (* z1 -1)))) (- (sin (* z1 -1)) -1))))":2,"(- z0 (log (/ (sin (- (* -9/4 PI) (* z1 1/2))) (sin (- (* PI 7/4) (* -1/2 z1))))))":2,"(- z0 (log (fabs (tan (+ (* z1 1/2) (* 1/4 PI))))))":12,"(- z0 (log (tan (* (+ (+ z1 z1) PI) 1/4))))":3,"(- z0 (log (tan (+ (* 1/2 z1) (* 9/4 PI)))))":1,"(- z0 (log (tan (+ (* 9/4 PI) (* z1 1/2)))))":8,"(- z0 (log (tan (+ (* z1 1/2) (* 13/4 PI)))))":30,"(- z0 (log (tan (+ (* z1 1/2) (* 17/4 PI)))))":10,"(- z0 (log (tan (- (* -1/2 z1) (* PI 3/4)))))":1,"(- z0 (log (tan (- (* z1 1/2) (* 3/4 PI)))))":20,"(/ (* (- (cos (* z0 1/2)) (sin (* -1/2 z0))) (sqrt 1/2)) (sin (- (* PI 3/4) (* -1/2 z0))))":1,"(/ (* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z0 -1/2))))":11,"(/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI 3/4) (* z0 1/2))))":6,"(/ (* (cos z0) (sin z1)) (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1))))))":4,"(/ (* (cos z1) (cos z0)) (sqrt (- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4)))))":6,"(/ (* (cos z1) (cos z0)) (sqrt (- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4)))))":1,"(/ (* (cos z2) (sin z0)) (cos z1))":2,"(/ (* (pow (cos z2) 4) z0) z1)":1,"(/ (* (pow (cos z2) 4) z1) z0)":1,"(/ (* (sqrt 1/2) z0) (cos (* 1/4 (+ (+ PI z1) z1))))":1,"(/ (* 1/2 z0) (cos (* 1/4 (+ (+ PI z1) z1))))":1,"(/ (* 1/4 (- (sin (* -1/2 (+ (- z1 PI) z1))) (cos (* -1/2 (+ (- PI z1) z1))))) z0)":1,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":1,"(/ (* z1 (+ z0 z2)) (sqrt (+ (* z1 z1) (* z2 z2))))":1,"(/ (* z1 (cos z2)) (sqrt (- (* (* z0 1/2) (- (cos (+ z2 z2)) 1)) -1)))":2,"(/ (* z1 (cos z2)) z0)":2,"(/ (* z1 z2) (sqrt (+ (* z0 z0) (* z2 z2))))":8,"(/ (* z1 z2) z0)":8,"(/ (* z2 z1) z0)":3,"(/ (+ (* z2 z2) (* z1 z1)) (+ z2 z0))":1,"(/ (+ 2 (* (- 1 (cos (+ z1 z1))) z2)) (+ z0 z0))":7,"(/ (+ z0 z0) (- (* (- (cos (+ z1 z1)) 1) z2) 2))":3,"(/ (+ z0 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2))":5,"(/ (+ z0 z0) (- (cos (- (- z1) (* PI -1/2))) -1))":2,"(/ (+ z0 z0) (- -2 (* (- 1 (cos (+ z1 z1))) z2)))":4,"(/ (+ z0 z0) (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- (* 1/2 PI) z1)))))))":1,"(/ (+ z0 z0) (fabs (- 2 (* (- (cos (+ z1 z1)) 1) z2))))":3,"(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2)))":4,"(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z2))))":3,"(/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2)))":1,"(/ (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) z0)":12,"(/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1))":2,"(/ (- (* (- (cos (+ z1 z1)) 1) z2) 2) (+ z0 z0))":3,"(/ (- (* (- 1 (cos (+ z0 z0))) z1) -2) (- (* (- 1 (cos (+ z0 z0))) z2) -2))":6,"(/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0))":21,"(/ (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0)":5,"(/ (- (* z0 z0) (* z2 z1)) (+ (* z2 z1) (* z0 z0)))":4,"(/ (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1))":5,"(/ (- (* z2 (- 1 (cos (+ z1 z1)))) -2) (+ z0 z0))":6,"(/ (- (cos (* z0 -1/2)) (sin (* z0 1/2))) (cos (* (- PI (+ z0 z0)) -1/4)))":1,"(/ (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))) z0)":1,"(/ (- -1 (* (sin z2) z1)) z0)":20,"(/ (- z0 (atanh (sin (+ 0 z2)))) z1)":1,"(/ (- z0 (log (/ (fabs (- (cos (- (* 1/2 z2) (* 1/2 (+ z2 PI)))) (cos (* -1 z2)))) (- (sin (* -1 z2)) -1)))) z1)":1,"(/ (- z0 (log (fabs (tan (+ (* 1/2 z2) (* 1/4 PI)))))) z1)":6,"(/ (- z0 (log (tan (* 1/4 (+ PI (+ z2 z2)))))) z1)":1,"(/ (- z0 (log (tan (+ (* 9/4 PI) (* 1/2 z2))))) z1)":4,"(/ (- z0 (log (tan (+ (* z2 1/2) (* 13/4 PI))))) z1)":15,"(/ (- z0 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z1)":5,"(/ (- z0 -1) E)":1,"(/ (- z0) (cos (* (+ (+ z1 PI) z1) 1/4)))":8,"(/ (- z1 (log (fabs (tan (+ (* 1/2 z2) (* 1/4 PI)))))) z0)":6,"(/ (- z1 (log (tan (* 1/4 (+ PI (+ z2 z2)))))) z0)":1,"(/ (- z1 (log (tan (+ (* 9/4 PI) (* 1/2 z2))))) z0)":4,"(/ (- z1 (log (tan (+ (* z2 1/2) (* 13/4 PI))))) z0)":15,"(/ (- z1 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z0)":5,"(/ (asin (* (* -1/2 (tan z2)) (- (/ 1 z1) z1))) z0)":4,"(/ (fabs (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0))) (- 1 (sin z0)))":1,"(/ (pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* z2 -1/2)))) (- (cos (* 1/2 z2)) (sin (* z2 -1/2)))) z0) z1)":4,"(/ (pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* z2 -1/2)))) (- (cos (* 1/2 z2)) (sin (* z2 -1/2)))) z1) z0)":4,"(/ (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0)":2,"(/ (pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0)) (- (sin z1) -1))":2,"(/ (pow (cos z1) 4) z0)":4,"(/ (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z0) z1)":2,"(/ (pow (tan (* (+ (+ z2 PI) z2) 1/4)) z1) z0)":2,"(/ (pow (tan (- (* 1/2 z2) (* -9/4 PI))) z0) z1)":2,"(/ (pow (tan (- (* 1/2 z2) (* -9/4 PI))) z1) z0)":2,"(/ (pow (tan (- (* 17/4 PI) (* z2 -1/2))) z0) z1)":5,"(/ (pow (tan (- (* 17/4 PI) (* z2 -1/2))) z1) z0)":5,"(/ (sin (* (+ (+ PI z1) z1) -1/4)) z0)":9,"(/ (sin (* (+ (+ PI z1) z1) 1/4)) z0)":3,"(/ (sin (* (+ (+ z1 PI) z1) -1/4)) z0)":8,"(/ (sin (* (+ (+ z1 PI) z1) 1/4)) z0)":8,"(/ (sin (* (+ (+ z1 z1) PI) 1/4)) z0)":7,"(/ (sin (* 1/4 (+ (+ z1 z1) PI))) z0)":2,"(/ (sin (+ (* z1 -1/2) (* -9/4 PI))) z0)":2,"(/ (sin (- (* -1/2 z1) (* 9/4 PI))) z0)":5,"(/ (sin (- (* -1/4 PI) (* -1/2 z1))) z0)":1,"(/ (sin (- (* -5/4 PI) (* z1 -1/2))) z0)":7,"(/ (sin (- (* -9/4 PI) (* 1/2 z0))) (sin (- (* PI 7/4) (* -1/2 z0))))":2,"(/ (sin (- (* -9/4 PI) (* z1 1/2))) z0)":2,"(/ (sin (- (* 1/2 z0) (* -1/4 PI))) (cos (* (+ (+ PI z0) z0) 1/4)))":2,"(/ (sin (- (* 1/2 z1) (* -1/4 PI))) z0)":2,"(/ (sin (- (* 17/4 PI) (* z0 -1/2))) (sin (- (* PI 3/4) (* z0 -1/2))))":2,"(/ (sin (- (* PI 3/4) (* -1/2 z0))) (sin (- (* PI 3/4) (* 1/2 z0))))":1,"(/ (sin (- (* z1 1/2) (* PI 3/4))) z0)":2,"(/ (sin z1) (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1))))))":4,"(/ (sin z1) z0)":8,"(/ (sqrt (- (* (- z1 2) z1) -1)) z0)":2,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":2,"(/ (sqrt (- (* z1 z1) 1)) z0)":2,"(/ (sqrt (- 1 z0)) (* (- (* (cos (+ z1 z1)) z0) (+ z0 -2)) 1/2))":2,"(/ (sqrt 1/2) (- z0))":4,"(/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z0))))":4,"(/ 1 (* z0 z0))":18,"(/ 1/2 (cos (* 1/4 (+ (+ PI z0) z0))))":1,"(/ 2 (sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1))))))":1,"(/ 2 (sqrt (- (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1))))))":1,"(/ z0 (* z1 z1))":6,"(/ z0 (* z1 z2))":10,"(/ z0 (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1))":6,"(/ z0 (- (* (- (cos (+ z2 z2)) 1) (* 1/2 z1)) -1))":2,"(/ z0 (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1))":5,"(/ z0 (- (- (sin (* 1 z1))) (sin (* (- (- z1 PI) z1) 1/2))))":1,"(/ z0 (- (sin z1) -1))":2,"(/ z0 (- -1 (* (* z1 (- -1 z2)) z1)))":5,"(/ z0 (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))))":1,"(/ z0 (- 1 (* (sin z2) z1)))":77,"(/ z0 (cos (* (+ (+ PI z1) z1) -1/4)))":3,"(/ z0 (cos (* (+ (+ PI z1) z1) 1/4)))":2,"(/ z0 (cos (* (+ (+ z1 PI) z1) -1/4)))":7,"(/ z0 (cos (* (+ (+ z1 PI) z1) 1/4)))":2,"(/ z0 (cos (* (+ (+ z1 z1) PI) -1/4)))":5,"(/ z0 (cos (* -1/4 (+ (+ z1 z1) PI))))":2,"(/ z0 (cos (* 1/4 (+ (+ PI z1) z1))))":1,"(/ z0 (cos (* 1/4 (+ (+ z1 z1) PI))))":2,"(/ z0 (cos z1))":26,"(/ z0 (fabs (cos (+ (* -1/2 z1) (* 3/4 PI)))))":1,"(/ z0 (sin (* -1/4 (- PI (+ z1 z1)))))":9,"(/ z0 (sin (- (* -1/4 PI) (* z1 -1/2))))":11,"(/ z0 (sin (- (* -5/4 PI) (* z1 -1/2))))":7,"(/ z0 (sin (- (* 1/2 z1) (* -7/4 PI))))":5,"(/ z0 (sin (- (* 5/4 PI) (* 1/2 z1))))":4,"(/ z0 (sin (- (* PI -3/4) (* 1/2 z1))))":2,"(/ z0 (sin (- (* PI 3/4) (* z1 1/2))))":6,"(/ z0 (sin (- (* PI 7/4) (* -1/2 z1))))":4,"(/ z0 (sin (- (* PI 7/4) (* 1/2 z1))))":1,"(/ z0 (sin (- (* z1 1/2) (* 5/4 PI))))":18,"(/ z0 (sin -27401669256311/20000000000000))":1,"(/ z0 (sin 27401669256311/20000000000000))":4,"(/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z2 z2)) -1))))))":1,"(/ z0 (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (* (- (* (cos (+ z2 z2)) 1/2) -1/2) (- (cos (+ z1 z1)) -1))))))":4,"(/ z0 (sqrt (* 1/2 (- (* (- (cos (+ z2 z2)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (- (cos (+ z1 z1)) 1)))))":1,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":10,"(/ z0 (sqrt (+ (* z2 z2) (* z1 z1))))":7,"(/ z0 (sqrt (- (* (* 1/2 z1) (- (cos (+ z2 z2)) 1)) -1)))":2,"(/ z0 (sqrt (- (* (* z1 1/2) (- (cos (+ z2 z2)) 1)) -1)))":4,"(/ z0 (sqrt (- (* z1 z1) -1)))":6,"(/ z0 (sqrt (- (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z2 z2)))))))":1,"(/ z0 (sqrt (- 1 (* (- (cos (+ z2 z2)) -1) (* (- 1 (cos (+ z1 z1))) 1/4)))))":6,"(/ z0 (sqrt (- 1 (* (- -1 (cos (+ z2 z2))) (* (- (cos (+ z1 z1)) 1) 1/4)))))":1,"(/ z0 (sqrt (- 1 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2))))))":2,"(/ z0 (sqrt (fabs (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1))))":1,"(/ z0 (tan 27401669256311/20000000000000))":6,"(/ z1 (cos z0))":7,"(/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2)))))":2,"(asin (* (* -1/2 (tan z1)) (- (/ 1 z0) z0)))":2,"(asin (* (sin z1) (/ z0 (cos z2))))":2,"(asin (+ (* (sin z0) (* (cos z1) (cos z2))) (* (sin z2) (cos z0))))":1,"(asin (- (* (sin z2) (cos z0)) (* (sin z0) (* (cos z1) (cos z2)))))":1,"(asin (/ (* (cos z2) (sin z0)) (cos z1)))":2,"(asin (/ (sin z1) z0))":1,"(asin (/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2))))))":2,"(atan2 (sin z1) (sqrt (* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2)))":2,"(atan2 z0 (cos (* z2 z1)))":7,"(atan2 z0 (sqrt (* (- (- (cosh (+ z1 z1)) 1) (- -1 (cos (+ z2 z2)))) 1/2)))":2,"(atanh (sin z0))":1,"(cos (* (+ (* PI 1/2) z0) 1/2))":18,"(cos (* (+ (+ PI z0) z0) -1/4))":10,"(cos (* (+ (+ PI z0) z0) 1/4))":4,"(cos (* (+ (+ z0 z0) PI) -1/4))":5,"(cos (* (- PI (+ z0 z0)) -1/4))":6,"(cos (* -1/4 (+ (+ z0 PI) z0)))":5,"(cos (* -1/4 (+ (+ z0 z0) PI)))":2,"(cos (* 1/4 (+ (+ PI z0) z0)))":1,"(cos (* 1/4 (+ (+ z0 z0) PI)))":2,"(cos (* z1 z0))":11,"(cos (+ (/ z2 z0) z1))":5,"(cos (+ z1 (/ z2 z0)))":5,"(fabs (* (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0)) -1/2))":1,"(fabs (* (/ 1/2 (* -1/2 (- (* (- (cos (+ z0 z0)) 1) z1) 2))) (- (* (- 1 (cos (+ z0 z0))) z2) -2)))":3,"(fabs (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1))":2,"(fabs (- 2 (* (- (cos (+ z0 z0)) 1) z1)))":3,"(fabs (/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI -3/4) (* z0 -1/2)))))":6,"(fabs (cos (+ (* -1/2 z0) (* 3/4 PI))))":1,"(fabs (cos (+ z1 (/ z2 z0))))":5,"(fabs (sin (+ (/ z2 z0) z1)))":6,"(fabs (tan (* -1/4 (+ (+ z0 z0) PI))))":4,"(fabs (tan (+ (* (- PI) 3/4) (* z0 1/2))))":6,"(fabs (tan (- (* -1/2 z0) (* 9/4 PI))))":2,"(fabs (tan (- (* 1/4 PI) (* z0 1/2))))":6,"(log (* (* (sin (+ (* PI 1/4) 0)) (tan (* (+ (* PI 1/2) z0) 1/2))) (sqrt 2)))":18,"(log (* (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (/ (sqrt 1/2) (cos (* 1/4 (+ (+ PI z0) z0))))))":1,"(log (* (/ (sin (- (* -1/2 z2) (* PI 15/4))) (sin (+ (* -1/2 z2) (* -5/4 PI)))) (pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) z1)))":2,"(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (/ (sin (- (* 1/2 z2) (* -1/4 PI))) (cos (* (+ (+ PI z2) z2) 1/4)))))":2,"(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (fabs (tan (- (* 1/4 PI) (* z2 -1/2))))))":2,"(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (tan (- (* 5/4 PI) (* z2 -1/2)))))":1,"(log (* (pow (/ (- (* (sin z2) z0) 1) (- -1 (* (sin z2) z0))) z1) (tan (- (* z2 1/2) (* PI 3/4)))))":2,"(log (* (pow (/ (- 1 (* (sin z2) z0)) (- (* (sin z2) z0) -1)) z1) (fabs (tan (* -1/4 (+ (+ z2 z2) PI))))))":4,"(log (* (tan (- (* z2 -1/2) (* -1/4 PI))) (pow (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1)) z1)))":1,"(log (/ (* (- (sin (* z0 -1/2)) (cos (* z0 1/2))) (sqrt 1/2)) (sin (- (* -1/4 PI) (* z0 -1/2)))))":11,"(log (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))))":9,"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))":19,"(log (/ (cos z0) (- (sin (* (- z0 (- z0 PI)) 1/2)) (sin z0))))":1,"(log (/ (fabs (- (cos (- (* 1/2 z0) (* 1/2 (+ z0 PI)))) (cos z0))) (- 1 (sin z0))))":1,"(log (/ (fabs (- 1 z0)) (- z0 -1)))":2,"(log (/ (fabs (cos z0)) (- 1 (sin z0))))":1,"(log (/ (sin (- (* -9/4 PI) (* 1/2 z0))) (sin (- (* PI 7/4) (* -1/2 z0)))))":2,"(log (/ (sin (- (* 1/2 z0) (* -1/4 PI))) (cos (* (+ (+ PI z0) z0) 1/4))))":2,"(log (/ (sin (- (* 17/4 PI) (* z0 -1/2))) (sin (- (* PI 3/4) (* z0 -1/2)))))":2,"(log (fabs (/ (* (- (sin (* z0 1/2)) (cos (* z0 -1/2))) (sqrt 1/2)) (sin (- (* PI -3/4) (* z0 -1/2))))))":6,"(log (fabs (/ (sin (- (* z0 -1/2) (* 1/4 PI))) (sin (* 1/2 (- (* 1/2 PI) z0))))))":1,"(log (fabs (tan (* -1/4 (+ (+ z0 z0) PI)))))":4,"(log (fabs (tan (* -1/4 (- (+ z0 z0) PI)))))":6,"(log (fabs (tan (- (* 1/4 PI) (* z0 1/2)))))":6,"(log (pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0))":1,"(log (tan (* (+ (+ PI z0) z0) 1/4)))":6,"(log (tan (* (+ (+ z0 z0) PI) 1/4)))":3,"(log (tan (* (- PI (+ z0 z0)) 1/4)))":12,"(log (tan (* 1/4 (+ (+ z0 z0) PI))))":17,"(log (tan (+ (* 1/2 z0) (* 17/4 PI))))":5,"(log (tan (+ (* 1/2 z0) (* 9/4 PI))))":1,"(log (tan (+ (* 9/4 PI) (* 1/2 z0))))":5,"(log (tan (+ (* 9/4 PI) (* z0 1/2))))":3,"(log (tan (- (* -1/2 z0) (* 3/4 PI))))":15,"(log (tan (- (* 1/2 z0) (* -1/4 PI))))":3,"(log (tan (- (* 1/2 z0) (* -9/4 PI))))":13,"(log (tan (- (* 1/2 z0) (* 3/4 PI))))":10,"(log (tan (- (* 1/2 z0) (* PI 3/4))))":4,"(log (tan (- (* 1/4 PI) (* -1/2 z0))))":6,"(log (tan (- (* 5/4 PI) (* -1/2 z0))))":13,"(log (tan (- (* 9/4 PI) (* -1/2 z0))))":60,"(log (tan (- (* z0 -1/2) (* 3/4 PI))))":8,"(log (tan (- (* z0 1/2) (* 3/4 PI))))":90,"(pow (* (- (* (- 1 (cos (+ z1 z1))) z2) -2) 1/2) z0)":2,"(pow (* (/ (sqrt 1/2) (sin (- (* 3/4 PI) (* -1/2 z1)))) (- (cos (* 1/2 z1)) (sin (* -1/2 z1)))) z0)":8,"(pow (* 1/2 (- -2 (* z2 (- 1 (cos (+ z1 z1)))))) z0)":1,"(pow (- (* (* (- 1 (cos (+ z1 z1))) 1/2) z2) -1) z0)":2,"(pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) -2)":7,"(pow (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) 2)":3,"(pow (- (* (* -1/2 z2) (- 1 (cos (+ z1 z1)))) 1) z0)":9,"(pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2)":3,"(pow (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1) z0)":6,"(pow (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) -2)":6,"(pow (- -1 (* (* (- 1 (cos (+ z1 z1))) 1/2) z2)) z0)":1,"(pow (- -1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z2))) z0)":1,"(pow (- 1 (* (* -1/2 z1) (- 1 (cos (+ z0 z0))))) -2)":1,"(pow (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))) (* 1/2 z0))":14,"(pow (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0))) (- z1))":2,"(pow (/ (- (* (sin z2) z1) -1) (- 1 (* (sin z2) z1))) z0)":11,"(pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) z0)":5,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z0)":16,"(pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* 1/2 z0))":2,"(pow (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)) (* z0 1/2))":13,"(pow (/ z2 z1) (/ 1 z0))":2,"(pow (/ z2 z1) z0)":2,"(pow (cos z0) 4)":7,"(pow (cos z1) z0)":7,"(pow (sinh z1) z0)":4,"(pow (tan (* (+ (+ PI z1) z1) 1/4)) (- z0))":3,"(pow (tan (* (+ (+ PI z1) z1) 1/4)) z0)":3,"(pow (tan (* (+ (+ z1 PI) z1) 1/4)) (- z0))":10,"(pow (tan (* (+ (+ z1 PI) z1) 1/4)) z0)":54,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (- z0))":5,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (/ 1 z0))":6,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":11,"(pow (tan (* 1/4 (+ (+ PI z1) z1))) (- z0))":11,"(pow (tan (* 1/4 (+ (+ PI z1) z1))) z0)":21,"(pow (tan (* 1/4 (+ (+ z1 PI) z1))) (- z0))":1,"(pow (tan (* 1/4 (+ (+ z1 PI) z1))) z0)":1,"(pow (tan (* 1/4 (+ (+ z1 z1) PI))) (- z0))":1,"(pow (tan (* 1/4 (+ (+ z1 z1) PI))) z0)":1,"(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) (- z0))":2,"(pow (tan (+ (* 1/2 z1) (* 13/4 PI))) z0)":2,"(pow (tan (+ (* 1/2 z1) (* 17/4 PI))) (- z0))":2,"(pow (tan (+ (* 1/2 z1) (* 17/4 PI))) z0)":2,"(pow (tan (+ (* PI -3/4) (* z1 1/2))) (- z0))":1,"(pow (tan (+ (* z1 1/2) (* 13/4 PI))) (- z0))":1,"(pow (tan (+ (* z1 1/2) (* 13/4 PI))) z0)":1,"(pow (tan (- (* 1/2 z1) (* -9/4 PI))) z0)":4,"(pow (tan (- (* 1/2 z1) (* 3/4 PI))) z0)":2,"(pow (tan (- (* 1/2 z1) (* PI 3/4))) (/ 1 z0))":4,"(pow (tan (- (* 1/2 z1) (* PI 3/4))) z0)":4,"(pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0)":2,"(pow (tan (- (* 17/4 PI) (* -1/2 z1))) z0)":10,"(pow (tan (- (* 21/4 PI) (* -1/2 z1))) (/ 1 z0))":3,"(pow (tan (- (* 21/4 PI) (* -1/2 z1))) z0)":3,"(pow (tan (- (* z1 1/2) (* -1/4 PI))) (- z0))":2,"(pow (tan (- (* z1 1/2) (* -1/4 PI))) z0)":2,"(pow (tan (- (* z1 1/2) (* 3/4 PI))) (- z0))":1,"(pow (tan (- (* z1 1/2) (* 3/4 PI))) z0)":9,"(sin (* (+ (+ PI z0) z0) -1/4))":18,"(sin (* (+ (+ PI z0) z0) 1/4))":11,"(sin (* (+ (+ z0 PI) z0) 1/4))":5,"(sin (* (+ (+ z0 z0) PI) 1/4))":7,"(sin (* (- z0 (- z0 PI)) 1/2))":1,"(sin (* 1/2 (+ z0 (* 1/2 PI))))":1,"(sin (* 1/2 (- (* 1/2 PI) z0)))":3,"(sin (* 1/4 (+ (+ z0 z0) PI)))":2,"(sin (* 1/4 (- (+ z0 z0) PI)))":9,"(sin (* 3 z0))":25,"(sin (* z0 3))":5,"(sin (* z0 z1))":5,"(sin (* z1 z0))":20,"(sin (+ (* -1/2 z0) (* -5/4 PI)))":2,"(sin (+ (* z0 -1/2) (* -9/4 PI)))":2,"(sin (+ (/ z2 z0) z1))":6,"(sin (- (* -1/2 z0) (* 1/4 PI)))":1,"(sin (- (* -1/2 z0) (* 9/4 PI)))":5,"(sin (- (* -1/4 PI) (* -1/2 z0)))":1,"(sin (- (* -1/4 PI) (* z0 -1/2)))":11,"(sin (- (* -5/4 PI) (* -1/2 z0)))":8,"(sin (- (* -5/4 PI) (* z0 -1/2)))":6,"(sin (- (* -9/4 PI) (* 1/2 z0)))":2,"(sin (- (* 1/2 z0) (* -1/4 PI)))":2,"(sin (- (* 1/2 z0) (* -7/4 PI)))":5,"(sin (- (* 1/2 z0) (* PI 3/4)))":2,"(sin (- (* 1/4 PI) (* -1/2 z0)))":1,"(sin (- (* 1/4 PI) (* z0 -1/2)))":1,"(sin (- (* 1/4 PI) (* z0 1/2)))":1,"(sin (- (* 5/4 PI) (* 1/2 z0)))":4,"(sin (- (* PI -15/4) (* 1/2 z0)))":5,"(sin (- (* PI -3/4) (* 1/2 z0)))":2,"(sin (- (* PI 3/4) (* -1/2 z0)))":1,"(sin (- (* PI 3/4) (* z0 1/2)))":7,"(sin (- (* PI 7/4) (* -1/2 z0)))":4,"(sin (- (* z0 -1/2) (* PI 3/4)))":1,"(sqrt (* (- (- (cosh (+ z0 z0)) 1) (- -1 (cos (+ z1 z1)))) 1/2))":2,"(sqrt (* 1/2 (+ (- (* (- (cos (+ z0 z0)) -1) (- (* (cos (+ z1 z1)) 1/2) -1/2)) (cos (+ z0 z0))) 1)))":1,"(sqrt (* 1/2 (+ (- 1 (cos (+ z0 z0))) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) (- (cos (+ z0 z0)) -1)))))":5,"(sqrt (+ (* z0 z0) (* z1 z1)))":9,"(sqrt (+ (* z1 z1) (* z0 (* z2 z2))))":2,"(sqrt (+ (* z1 z1) (* z0 z0)))":9,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":4,"(sqrt (- (* (* z2 z0) (pow (cos z1) 4)) -1))":1,"(sqrt (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) z0) -1))":2,"(sqrt (- (* (- (cos (+ z1 z1)) 1) (* z0 1/2)) -1))":2,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":3,"(sqrt (- (* (/ z0 (- 1 z0)) (pow (cos z1) 4)) -1))":2,"(sqrt (- (* (/ z0 z1) (pow (cos z2) 4)) -1))":2,"(sqrt (- (* z0 z0) -1))":6,"(sqrt (- (* z0 z0) 1))":9,"(sqrt (- (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* -1/4 (* (- (cos (+ z0 z0)) -1) (- (cos (+ z1 z1)) -1)))))":1,"(sqrt (- 1 (* (- (cos (+ z1 z1)) -1) (* (- 1 (cos (+ z0 z0))) 1/4))))":6,"(sqrt (- 1 (* (- -1 (cos (+ z1 z1))) (* (- (cos (+ z0 z0)) 1) 1/4))))":1,"(sqrt (/ (+ (* (pow (cos z2) 4) z0) z1) (* z1 (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))))))":1,"(sqrt (/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z2))))":4,"(sqrt (/ (- (* (* -1/2 z1) (- 1 (cos (+ z0 z0)))) 1) (- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z2)))))":3,"(sqrt (/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z2) -1)))":2,"(sqrt (/ (- (* (- 1 (cos (+ z0 z0))) z1) -2) (- (* (- 1 (cos (+ z0 z0))) z2) -2)))":6,"(sqrt (/ (- (* z1 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)))":5,"(sqrt (fabs (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1)))":2,"(sqrt (fabs (/ (+ (* (pow (cos z2) 4) z0) z1) (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z2 z2))))) z1))))":1,"(tan (* (+ (+ PI z0) z0) 1/4))":59,"(tan (* (+ (+ z0 PI) z0) 1/4))":5,"(tan (* (+ (+ z0 z0) PI) 1/4))":20,"(tan (* (- (* 1/2 PI) z0) 1/2))":1,"(tan (* (- (* PI 1/2) z0) 1/2))":8,"(tan (* (- PI (+ z0 z0)) 1/4))":12,"(tan (* 1/4 (+ (+ PI z0) z0)))":18,"(tan (* 1/4 (+ (+ z0 z0) PI)))":18,"(tan (* 1/4 (+ PI (+ z0 z0))))":1,"(tan (+ (* 1/2 z0) (* 13/4 PI)))":2,"(tan (+ (* 1/2 z0) (* 17/4 PI)))":9,"(tan (+ (* 1/2 z0) (* 9/4 PI)))":1,"(tan (+ (* 9/4 PI) (* -1/2 z0)))":5,"(tan (+ (* 9/4 PI) (* 1/2 z0)))":9,"(tan (+ (* 9/4 PI) (* z0 1/2)))":6,"(tan (+ (* PI -3/4) (* 1/2 z0)))":2,"(tan (+ (* z0 1/2) (* 13/4 PI)))":1,"(tan (- (* -1/2 z0) (* (- PI) 3/4)))":6,"(tan (- (* -1/2 z0) (* 3/4 PI)))":15,"(tan (- (* -1/2 z0) (* 9/4 PI)))":3,"(tan (- (* 1/2 z0) (* -1/4 PI)))":3,"(tan (- (* 1/2 z0) (* -9/4 PI)))":15,"(tan (- (* 1/2 z0) (* 3/4 PI)))":12,"(tan (- (* 1/2 z0) (* PI 3/4)))":8,"(tan (- (* 1/4 PI) (* -1/2 z0)))":3,"(tan (- (* 1/4 PI) (* z0 1/2)))":6,"(tan (- (* 13/4 PI) (* z0 -1/2)))":1,"(tan (- (* 17/4 PI) (* -1/2 z0)))":5,"(tan (- (* 21/4 PI) (* -1/2 z0)))":3,"(tan (- (* 5/4 PI) (* -1/2 z0)))":13,"(tan (- (* 9/4 PI) (* -1/2 z0)))":60,"(tan (- (* z0 -1/2) (* 3/4 PI)))":8,"(tan (- (* z0 1/2) (* -1/4 PI)))":2,"(tan (- (* z0 1/2) (* 3/4 PI)))":117}