{"(* (* (* (* (* z1 z2) z1) z2) z0) (- 2 z0))":12,"(* (* (* (* (- 2 z0) z1) z2) z1) z2)":1,"(* (* (* (- 1 (* (* z0 z0) z1)) z2) z2) (- 1 (* (* z0 z0) z1)))":1,"(* (* (* (- 2 z0) z1) z1) z0)":1,"(* (* (* (- 2 z0) z1) z2) z1)":3,"(* (* (* (sin z1) z0) z0) (sin z1))":1,"(* (* (* (sqrt 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0)))) (/ (sin (- (* -3/4 PI) (* 1/2 z0))) (- -1 (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2))))) 2)":2,"(* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1))))":6,"(* (* (* z0 z0) -1/2) (- 1 (cos (+ z1 z1))))":2,"(* (* (* z0 z2) z0) z1)":2,"(* (* (* z1 z0) z1) z0)":2,"(* (* (* z1 z0) z2) z1)":3,"(* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0)))":2,"(* (* (+ z1 z0) -304747143/200000000000000000000) (- z1 z0))":6,"(* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1))))":1,"(* (* (- 2 z0) z1) z2)":4,"(* (* (- z0 2) z1) z2)":1,"(* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))":6,"(* (* (- z1 z0) 4616990181/500000000000000000000) (+ z1 z0))":2,"(* (* (/ -2 (+ -1 (sin z0))) (sin (- (* 1/2 z0) (* -3/4 PI)))) (sin (- (* 1/4 PI) (* -1/2 z0))))":4,"(* (* (/ z1 (sin -27401669256311/20000000000000)) z0) (- (cos -27401669256311/20000000000000)))":2,"(* (* (cos z0) (cos z1)) (cosh (atanh (* (sin z0) (cos z1)))))":7,"(* (* (cos z0) z2) (cos z1))":3,"(* (* (cos z2) (sin z0)) (cos z1))":3,"(* (* (pow (cos z1) 4) z0) z2)":2,"(* (* (pow (sin z1) 3) 4) z0)":2,"(* (* (sin (- (* 3/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI)))) (/ 2 (- (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) -1)))":10,"(* (* (sin z0) z2) (cos z1))":4,"(* (* (sin z2) z1) z0)":4,"(* (* (sqrt 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0)))) (sin (- (* 1/2 z0) (* -3/4 PI))))":2,"(* (* (tan z1) 1/2) (- z0 (/ 1 z0)))":2,"(* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z0 z0))))":7,"(* (* -3689471323/1000000000000000000000000000000000 (* (* z0 z0) z0)) z0)":1,"(* (* -4165541759/500000000000000000000000000000000 (* (* z0 z0) z0)) z0)":2,"(* (* -4165541759/500000000000000000000000000000000 z0) z0)":1,"(* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))":2,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":7,"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))":81,"(* (* 3689471323/1000000000000000000000000000000000 (* z1 z1)) (- (* z1 z1) (* 6 (* z0 z0))))":1,"(* (* z0 z0) z1)":10,"(* (* z1 z0) z1)":7,"(* (* z1 z0) z2)":32,"(* (+ (* (* (- 1 (cos (+ z1 z1))) -1/2) 4) 3) (* (sin z1) z0))":2,"(* (+ (* (cos (* -1/2 z0)) (sqrt 2)) (- (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI))))) (/ 1/2 (cos (* -1/4 (+ (+ z0 z0) PI)))))":2,"(* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0)))":6,"(* (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))) 4165541759/500000000000000000000000000000000)":6,"(* (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1) 1/2)":1,"(* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))":2,"(* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0)":6,"(* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))":5,"(* (- (* z0 z0) (* 3 (* z1 z1))) (* -881662847/200000000000000000000000000 z0))":6,"(* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1))":6,"(* (- (* z1 z1) (* 6 (* z0 z0))) (* 4165541759/500000000000000000000000000000000 (* z1 z1)))":2,"(* (- (* z2 z2) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))))":4,"(* (- (- (cos (* -1/2 z0))) (sin (- (* -1/2 z0) PI))) (* (sqrt 2) 1/2))":1,"(* (- (- (cos (* -1/2 z0))) (sin (- (* -1/2 z0) PI))) (/ (* (sqrt 2) 1/2) (sin (- (* -3/4 PI) (* 1/2 z0)))))":1,"(* (- (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) -1) 1/2)":10,"(* (- (cos (+ z0 z0)) -1) 1/4)":7,"(* (- (sin (- PI (* z1 z0)))) z2)":1,"(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z0 z0))))) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))))":19,"(* (- 1 (* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1))))) (* (cos z1) z2))":3,"(* (- 1 (* (* z0 z0) z1)) z2)":2,"(* (- 1 (* (* z2 z2) z1)) z0)":3,"(* (- 1 (cos (+ z0 z0))) -1/2)":2,"(* (- 1 (cos (+ z0 z0))) 1/2)":12,"(* (- 1 (cos (+ z0 z0))) z1)":20,"(* (- 1 (cos (+ z1 z1))) (* 1/2 z0))":16,"(* (- z0 (* -3 z1)) (sin z2))":2,"(* (- z1) (log (/ (* (- 1 z0) (- 1 z0)) (fabs (- (* z0 z0) 1)))))":1,"(* (- z2 (* (* (* z0 z2) z0) z1)) (- z2 (* (* (* z0 z2) z0) z1)))":1,"(* (/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- -2 (* (- 1 (cos (+ z0 z0))) z2))) -2)":10,"(* (/ (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI)))) (* (sqrt 2) 1/2))":2,"(* (/ (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0))) (+ (* (pow (cos z2) 4) z0) z1)) z1)":3,"(* (/ (cos z2) (cos z1)) (sin z0))":3,"(* (/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- 1/2 (* -1/2 (cos (* (- PI (+ z0 z0)) 1/2))))) (sin (- (* -3/4 PI) (* 1/2 z0))))":2,"(* (/ (sin (- (* 1/2 z0) (* 3/4 PI))) (- -1 (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)))) 2)":8,"(* (/ -2 (+ -1 (sin z0))) (sin (- (* 1/2 z0) (* -3/4 PI))))":3,"(* (/ -2 (+ -1 (sin z0))) (sin (- (* 1/4 PI) (* -1/2 z0))))":1,"(* (/ z0 (* z1 z1)) z0)":3,"(* (/ z0 (cos z2)) (sin z1))":2,"(* (/ z0 z1) z2)":8,"(* (/ z1 (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z0)) (pow (tan (- (* 1/4 PI) -27401669256311/40000000000000)) z0))":2,"(* (/ z1 (sin -27401669256311/20000000000000)) z0)":2,"(* (/ z1 (tan 27401669256311/20000000000000)) z0)":3,"(* (asin (* (sin z0) (cos z1))) -2)":1,"(* (atan (* (pow (/ z2 z1) (/ 1 z0)) (tan (- (* 1/4 PI) -27401669256311/40000000000000)))) 2)":3,"(* (atan (* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (- (+ 0 (/ -1 z0)))))) 2)":1,"(* (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))) z0)":2,"(* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2)":1,"(* (cos (* (- (- PI (* 1/2 z0)) (* -1/4 PI)) -2)) 1/2)":1,"(* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))":1,"(* (cos (* -1/2 z0)) (sqrt 1/2))":2,"(* (cos (* -1/2 z0)) (sqrt 2))":2,"(* (cos z0) (sin z0))":1,"(* (cos z0) (sin z1))":7,"(* (cos z0) z1)":18,"(* (cos z1) (- (cos (/ z2 z0))))":2,"(* (cos z1) z0)":1,"(* (fabs (- 1 z0)) E)":2,"(* (log (* (* (/ -2 (+ -1 (sin z1))) (sin (- (* 1/2 z1) (* -3/4 PI)))) (sin (- (* 1/2 z1) (* -1/4 PI))))) z0)":4,"(* (log (* (/ (sin (- (* -1/2 z1) (* 1/4 PI))) (- 1/2 (* -1/2 (cos (* (- PI (+ z1 z1)) 1/2))))) (sin (- (* -3/4 PI) (* 1/2 z1))))) z0)":2,"(* (log (/ (* (- (cos (- PI (* -1/2 z1))) (sin (- (* -1/2 z1) PI))) (* (sqrt 2) 1/2)) (sin (- (* -3/4 PI) (* 1/2 z1))))) z0)":1,"(* (log (/ (* 2 (* (sin (- (* -1/2 z1) (* 1/4 PI))) (sin (- (* -3/4 PI) (* 1/2 z1))))) (- (sin (- (- (* -1/4 PI) (* -1/2 (- PI z1))) (fabs (* -1/4 (+ (+ z1 z1) PI))))) (sin (- (* (- z1 PI) 1/2) (* 1/4 (- (fabs (+ (+ z1 z1) PI)) PI))))))) z0)":2,"(* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1)":42,"(* (log (/ (- 1 z1) (- z1 -1))) (* 1/2 z0))":1,"(* (log (/ (- z0 -1) (- 1 z0))) z1)":3,"(* (log (/ (fabs (* (sin (- (* -1/2 z1) (* 1/4 PI))) (sin (- (* 1/2 z1) (* -3/4 PI))))) (- 1/2 (* 1/2 (cos (* 2 (- (* -1/2 z1) (* -1/4 PI)))))))) z0)":1,"(* (log (/ (sin (* (- PI (+ z1 z1)) 1/4)) (sin (- (* 1/2 z1) (* -1/4 PI))))) z0)":2,"(* (log (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI))))) z0)":1,"(* (log (/ (sqrt (- (* (- z1 2) z1) -1)) (fabs (- z1 -1)))) (* 1/2 z0))":1,"(* (log (fabs (- (* (sin z1) z0) 1))) 2)":1,"(* (log (fabs (/ (sin (* -1/4 (+ (+ z1 z1) PI))) (sin (- (* -3/4 PI) (* 1/2 z1)))))) z0)":1,"(* (log (sqrt (/ (- 1 z1) (- z1 -1)))) z0)":2,"(* (log (tan (* (+ (+ z1 z1) PI) 1/4))) z0)":6,"(* (log (tan (* (- PI (+ z1 z1)) 1/4))) z0)":6,"(* (log (tan (- (* -1/2 z1) (* -1/4 PI)))) z0)":1,"(* (log (tan (- (* 1/2 z1) (* -1/4 PI)))) z0)":25,"(* (pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":1,"(* (pow (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))) -2) (- (* (* 1/2 z2) (- 1 (cos (+ z0 z0)))) -1))":9,"(* (pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0)) (cos z1))":2,"(* (pow (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI)))) z0) (sin (- (* 1/4 PI) (* 1/2 z2))))":11,"(* (pow (/ z2 z1) (/ 1 z0)) (tan (- (* 1/4 PI) -27401669256311/40000000000000)))":3,"(* (pow (cos z1) 4) (/ z0 (- 1 z0)))":1,"(* (pow (cos z1) 4) z0)":13,"(* (pow (sin z0) 3) 4)":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z0)) (pow z1 (/ -1 z0)))":3,"(* (pow (tan (- (* 1/2 z2) (* -1/4 PI))) (/ 1 z0)) (pow z1 (/ -1 z0)))":1,"(* (sin (* (+ (+ z1 z1) PI) 1/4)) z0)":11,"(* (sin (* -1/2 z0)) (sqrt 1/2))":2,"(* (sin (* -3 z1)) z0)":1,"(* (sin (* 1/2 z0)) (sqrt 1/2))":1,"(* (sin (* 3 z1)) z0)":14,"(* (sin (* 4 z1)) z0)":16,"(* (sin (* z0 z2)) z1)":3,"(* (sin (* z1 z0)) z2)":3,"(* (sin (+ z1 z1)) z0)":16,"(* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* -3/4 PI) (* 1/2 z0))))":3,"(* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI))))":2,"(* (sin (- (* -3/4 PI) (* 1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI))))":1,"(* (sin (- (* 1/2 z0) (* -3/4 PI))) (/ (sin (- (* 1/4 PI) (* -1/2 z0))) (+ (cos (* (- PI (+ z0 z0)) 1/2)) (cos 0))))":1,"(* (sin (- (* 1/2 z0) (* -3/4 PI))) -2)":3,"(* (sin (- (* 1/2 z2) (* 1/4 PI))) (pow (tan (- (* 1/2 z1) (* -1/4 PI))) z0))":5,"(* (sin (- (* 3/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI))))":2,"(* (sin (- PI (* z1 z0))) z2)":1,"(* (sin z0) (cos z1))":12,"(* (sin z0) z1)":4,"(* (sin z1) (sin (/ z2 (- z0))))":2,"(* (sin z1) z0)":158,"(* (sin z2) (+ (* z1 (+ (* (* (- (cos (+ z2 z2)) 1) 1/2) 4) 3)) z0))":2,"(* (sqrt (* (/ (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0))) (+ (* (pow (cos z2) 4) z0) z1)) z1)) (cos z2))":2,"(* (sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)) (cos z1))":2,"(* (sqrt 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))":2,"(* (sqrt z1) z0)":2,"(* (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":10,"(* (tan (* (- (* 1/2 PI) z1) 1/2)) (pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0)))":3,"(* (tan (+ (* 7 PI) (* (- (* 1/2 PI) z1) 1/2))) (pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0)))":1,"(* (tan (- (* 1/2 z1) (* -1/4 PI))) z0)":4,"(* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (- (+ 0 (/ -1 z0)))))":1,"(* (tan z0) (cos z1))":2,"(* -1/4 (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1))":1,"(* -149230739/1250000000000000 z0)":6,"(* -3689471323/1000000000000000000000000000000000 (* (* z0 z0) z0))":1,"(* -4165541759/125000000000000000000000000000000 (* z1 z0))":2,"(* -4165541759/500000000000000000000000000000000 (* (* z0 z0) z0))":2,"(* -4165541759/500000000000000000000000000000000 z0)":1,"(* -881662847/200000000000000000000000000 z0)":8,"(* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI))":2,"(* 1/4 (cos (* 2 (asin (* (sin z0) (cos z1))))))":1,"(* 149230739/1250000000000000 z0)":2,"(* 212097503/125000000000000000000000000 z0)":8,"(* 3 (* z0 z0))":16,"(* 304747143/100000000000000000000 (* z1 z0))":2,"(* 3689471323/1000000000000000000000000000000000 (* z0 z0))":1,"(* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))":2,"(* 3689471323/250000000000000000000000000000000 (* z1 z0))":6,"(* 4 (* (- 1 (cos (+ z0 z0))) 1/2))":2,"(* 4165541759/500000000000000000000000000000000 (* z0 z0))":2,"(* 4668270147/10000000000000000 z0)":2,"(* 6 (* z0 z0))":8,"(* z1 (* (* (- 2 z0) z2) z2))":2,"(* z1 (/ (pow (tan (- (* 1/4 PI) -27401669256311/40000000000000)) z0) (pow (/ (sin (* (+ (+ z2 z2) PI) -1/4)) (sin (- (* 1/2 z2) (* 1/4 PI)))) z0)))":1,"(* z1 (/ z2 z0))":2,"(+ (* (* z2 z2) z0) (* z1 z1))":2,"(+ (* (cos (* -1/2 z0)) (sqrt 2)) (- (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI)))))":2,"(+ (* (pow (cos z2) 4) z0) z1)":5,"(+ (* (sin (* 3 z2)) z1) (* (sin z2) z0))":14,"(+ (* (sin z2) (cos z0)) (* (* (cos z2) (sin z0)) (cos z1)))":1,"(+ (* z1 (/ z2 z0)) z0)":2,"(+ (* z1 z2) (* z0 z0))":3,"(+ (cos (* (- PI (+ z0 z0)) 1/2)) (cos 0))":1,"(+ (log (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI))))) z0)":3,"(+ -1 (sin z0))":4,"(- (* (* (* (- 1 (* (* z0 z0) z1)) z2) z2) (- 1 (* (* z0 z0) z1))) 1)":1,"(- (* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1)))) 1)":3,"(- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)))":5,"(- (* (* (* z0 z2) z0) z1) z2)":2,"(- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0)))))":2,"(- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1)":1,"(- (* (* (pow (cos z1) 4) z0) z2) -1)":2,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":14,"(- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1)":46,"(- (* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))) (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)))":6,"(- (* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))) (+ (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (- (+ (* (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))) 4165541759/500000000000000000000000000000000) (- (* (- (* z0 z0) (* 3 (* z1 z1))) (* -881662847/200000000000000000000000000 z0)) (* (* (+ z1 z0) -304747143/200000000000000000000) (- z1 z0)))) (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0))))":2,"(- (* (- (* z0 z0) (* 3 (* z1 z1))) (* -881662847/200000000000000000000000000 z0)) (* (* (+ z1 z0) -304747143/200000000000000000000) (- z1 z0)))":6,"(- (* (- (* z0 z0) (* 3 (* z1 z1))) (* -881662847/200000000000000000000000000 z0)) (+ (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0) (* (* (+ z1 z0) -304747143/200000000000000000000) (- z1 z0))))":6,"(- (* (- 1 (cos (+ z0 z0))) 1/2) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z0 z0)))))":7,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":20,"(- (* (- 1 (cos (+ z1 z1))) (* 1/2 z0)) 1)":3,"(- (* (- z0 (* -3 z1)) (sin z2)) (* (* (pow (sin z2) 3) 4) z1))":2,"(- (* (- z2 (* (* (* z0 z2) z0) z1)) (- z2 (* (* (* z0 z2) z0) z1))) 1)":1,"(- (* (/ z0 (* z1 z1)) z0) -1)":3,"(- (* (atan (* (pow (/ z2 z1) (/ 1 z0)) (tan (- (* 1/4 PI) -27401669256311/40000000000000)))) 2) (* 1/2 PI))":3,"(- (* (atan (* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (- (+ 0 (/ -1 z0)))))) 2) (* 1/2 PI))":1,"(- (* (atan (exp (/ z1 z0))) 2) (* 1/2 PI))":1,"(- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* 1/2 z0)) (sqrt 1/2)))":1,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (/ (sin (- (* 1/2 z2) (* -1/4 PI))) (cos (* (+ (+ z2 z2) PI) -1/4)))))":1,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (fabs (tan (* (+ (+ z2 z2) PI) -1/4)))))":4,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (fabs (tan (- (* -9/4 PI) (* 1/2 z2))))))":1,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (* (+ (+ z2 z2) PI) 1/4))))":2,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (- (* 1/2 z2) (* -1/4 PI)))))":1,"(- (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1) (log (tan (- (* 13/4 PI) (* -1/2 z2)))))":4,"(- (* (pow (cos z1) 4) (/ z0 (- 1 z0))) -1)":1,"(- (* (sin (* -3 z2)) z1) (* (sin z2) z0))":1,"(- (* (sin z2) (cos z0)) (* (* (cos z2) (sin z0)) (cos z1)))":2,"(- (* (tan z1) (cos z2)) (* (sin z2) z0))":2,"(- (* -149230739/1250000000000000 z0) 9827991/390625000)":4,"(- (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI)) (* -1/2 (- PI z0)))":2,"(- (* 1/4 (cos (* 2 (asin (* (sin z0) (cos z1)))))) (* -1/4 (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1)))":1,"(- (* 149230739/1250000000000000 z0) -2946529277/100000000000)":1,"(- (* 3 (* z1 z1)) (* z0 z0))":2,"(- (* 304747143/100000000000000000000 (* z1 z0)) (* 4668270147/10000000000000000 z1))":2,"(- (* 6 (* z0 z0)) (* z1 z1))":5,"(- (* z0 z0) (* 3 (* z1 z1)))":6,"(- (* z0 z0) (* z1 z2))":1,"(- (* z0 z2) (* z1 z1))":2,"(- (* z1 z1) (* 3 (* z0 z0)))":8,"(- (* z1 z1) (* 6 (* z0 z0)))":3,"(- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)))))":2,"(- (- (* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))) (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1))) (* (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))) 4165541759/500000000000000000000000000000000))":6,"(- (- (* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))) (+ (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1)) (- (+ (* (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))) 4165541759/500000000000000000000000000000000) (- (* (- (* z0 z0) (* 3 (* z1 z1))) (* -881662847/200000000000000000000000000 z0)) (* (* (+ z1 z0) -304747143/200000000000000000000) (- z1 z0)))) (* (- (* 4616990181/250000000000000000000 z1) 4668270147/10000000000000000) z0)))) (- (* -149230739/1250000000000000 z1) 9827991/390625000))":6,"(- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI))))":2,"(- (- (* 1/4 (cos (* 2 (asin (* (sin z0) (cos z1)))))) (* -1/4 (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1))) -1/2)":1,"(- (- (* 149230739/1250000000000000 z0) -2946529277/100000000000) (- (* 304747143/100000000000000000000 (* z1 z0)) (* 4668270147/10000000000000000 z1)))":1,"(- (- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))) (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0)))":2,"(- (- (- (* (+ z1 z0) (* (* (- z0 z1) 3689471323/250000000000000000000000000000000) (* z1 z0))) (* (- (* z1 z1) (* 3 (* z0 z0))) (* 212097503/125000000000000000000000000 z1))) (* (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))) 4165541759/500000000000000000000000000000000)) (- (* -149230739/1250000000000000 z1) 9827991/390625000))":4,"(- (- (- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))) (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))) (* (* (- z1 z0) 4616990181/500000000000000000000) (+ z1 z0)))":2,"(- (- (- (- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))) (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))) (* (* (- z1 z0) 4616990181/500000000000000000000) (+ z1 z0))) (- (* 304747143/100000000000000000000 (* z1 z0)) (* 4668270147/10000000000000000 z1)))":1,"(- (- (- (- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))) (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))) (* (* (- z1 z0) 4616990181/500000000000000000000) (+ z1 z0))) (- (- (* 304747143/100000000000000000000 (* z1 z0)) (* 4668270147/10000000000000000 z1)) (- (* 149230739/1250000000000000 z0) -2946529277/100000000000)))":2,"(- (- (cos (* -1/2 z0))) (sin (- (* -1/2 z0) PI)))":1,"(- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2))":2,"(- (/ (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0))":2,"(- (/ z0 (+ (* z1 (/ z2 z0)) z0)) (/ (* z1 z2) (+ (* z1 z2) (* z0 z0))))":2,"(- (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) -1)":10,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":2,"(- (cos (+ z0 z0)) -1)":1,"(- (cos (+ z0 z0)) 1)":7,"(- (cos (+ z1 (/ z2 z0))))":2,"(- (fabs (* (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))) z0)))":1,"(- (log (/ (sin (- (* -1/2 z2) (* 1/4 PI))) (cos (- (* -5/4 PI) (* 1/2 z2))))) (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1))":2,"(- (log (fabs (- (* (* (* (sin z1) z0) z0) (sin z1)) 1))) (* (log (fabs (- (* (sin z1) z0) 1))) 2))":1,"(- (log (fabs (tan (- (* -1/2 z2) (* 1/4 PI))))) (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1))":1,"(- (log (fabs (tan (- (* -5/4 PI) (* 1/2 z2))))) (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1))":2,"(- (log (tan (- (* 1/2 z2) (* -1/4 PI)))) (* (log (/ (- (* (sin z2) z0) -1) (- 1 (* (sin z2) z0)))) z1))":18,"(- (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI))))":2,"(- (sin (- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI))))) (sin (- (* (- z0 PI) 1/2) (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI)))))":2,"(- (sin (- PI (* z1 z0))))":2,"(- (sin z0) -1)":2,"(- (sqrt (* (* (fabs (- 1 z0)) 1) (fabs (- z0 -1)))))":1,"(- (sqrt (- (* z0 z0) 1)))":6,"(- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))":55,"(- -1 (/ (* (pow (cos z2) 4) z0) z1))":3,"(- -1 (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)))":2,"(- -1 (cos (+ z0 z0)))":14,"(- -2946529277/100000000000 (- (- (- (- (- (* (* (+ z1 z0) (- z0 z1)) (* -4165541759/125000000000000000000000000000000 (* z1 z0))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0))))) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1))))) (* (- (* 3 (* z1 z1)) (* z0 z0)) (* 212097503/125000000000000000000000000 z0))) (* (* (- z1 z0) 4616990181/500000000000000000000) (+ z1 z0))) (- (* 304747143/100000000000000000000 (* z1 z0)) (* 4668270147/10000000000000000 z1))))":1,"(- 1 (* (* (* (sin z1) z0) z0) (sin z1)))":1,"(- 1 (* (* (* 1/2 z0) z0) (- 1 (cos (+ z1 z1)))))":5,"(- 1 (* (* z0 z0) z1))":2,"(- 1 (cos (+ z0 z0)))":121,"(- 1/2 (* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2))":1,"(- 1/2 (* -1/2 (cos (* (- PI (+ z0 z0)) 1/2))))":1,"(- 1/2 (* 1/2 (cos (* 2 (- (* -1/2 z0) (* -1/4 PI))))))":1,"(- 3 (* 4 (* (- 1 (cos (+ z0 z0))) 1/2)))":2,"(- 9827991/390625000 (* -149230739/1250000000000000 z0))":2,"(- z0 (log (/ (sqrt (fabs (- 1/2 (* (cos (* (- (* -1/2 z1) (* 1/4 PI)) 2)) 1/2)))) (fabs (sin (- (* -1/4 PI) (* -1/2 z1)))))))":1,"(- z0 (log (fabs (/ (sin (- (* -1/2 z1) (* 1/4 PI))) (- (* (cos (* -1/2 z1)) (* (sqrt 2) 1/2)) (* (sin (* 1/2 z1)) (sqrt 1/2)))))))":1,"(- z0 (log (fabs (tan (* -1/4 (+ (+ z1 z1) PI))))))":6,"(- z0 (log (tan (* (+ (+ z1 z1) PI) 1/4))))":4,"(- z0 (log (tan (- (* 1/2 z1) (* -1/4 PI)))))":13,"(- z0 (log (tan (- (* 5/4 PI) (* -1/2 z1)))))":3,"(/ (* (- 1 z0) (- 1 z0)) (fabs (- (* z0 z0) 1)))":1,"(/ (* (cos z0) (cos z1)) (sqrt (- (- (* 1/4 (cos (* 2 (asin (* (sin z0) (cos z1)))))) (* -1/4 (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1))) -1/2)))":1,"(/ (* (cos z0) (sin z1)) (sqrt (- (* (- 1 (cos (+ z0 z0))) 1/2) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z0 z0)))))))":4,"(/ (* (cos z2) z1) (sqrt (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0)))))":1,"(/ (* (pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0)) (cos z1)) (- (sin z1) -1))":2,"(/ (* (pow (cos z2) 4) z0) z1)":5,"(/ (* (pow (tan (- (* 1/4 PI) -27401669256311/40000000000000)) z0) z1) (pow (* (+ (* (cos (* -1/2 z2)) (sqrt 2)) (- (sin (- (* 1/2 z2) (* -1/4 PI))) (cos (* (+ (+ z2 z2) PI) -1/4)))) (/ 1/2 (cos (* (+ (+ z2 z2) PI) -1/4)))) z0))":2,"(/ (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* -3/4 PI) (* 1/2 z0)))) (- (sin (- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI))))) (sin (- (* (- z0 PI) 1/2) (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI))))))":2,"(/ (* 2 (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* -3/4 PI) (* 1/2 z0))))) (- (sin (- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI))))) (sin (- (* (- z0 PI) 1/2) (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI))))))":2,"(/ (* z1 z0) (sqrt (+ (* z2 z2) (* z0 z0))))":3,"(/ (* z1 z0) (tan (- (* 3 PI) -27401669256311/20000000000000)))":2,"(/ (* z1 z2) (+ (* z1 z2) (* z0 z0)))":2,"(/ (* z1 z2) (sqrt (+ (* z2 z2) (* z0 z0))))":3,"(/ (+ (* (pow (cos z2) 4) z0) z1) z1)":4,"(/ (- (* z0 z0) (* z1 z2)) (+ (* z1 z2) (* z0 z0)))":1,"(/ (- (* z0 z2) (* z1 z1)) (sqrt (+ (* z2 z2) (* z1 z1))))":2,"(/ (- (cos (* -1/2 z0)) (sin (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI))))":2,"(/ (- -1 (/ (* (pow (cos z2) 4) z0) z1)) (- (* (- 1 (cos (+ z2 z2))) (* 1/2 z0)) 1))":3,"(/ (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0))) (+ (* (pow (cos z2) 4) z0) z1))":3,"(/ (- z0 (log (/ (sqrt (fabs (- 1/2 (* (cos (* (- (* -1/2 z2) (* 1/4 PI)) 2)) 1/2)))) (fabs (sin (- (* 1/2 z2) (* 1/4 PI))))))) z1)":1,"(/ (- z0 (log (fabs (/ (sin (- (* -1/2 z2) (* 1/4 PI))) (- (* (cos (* -1/2 z2)) (* (sqrt 2) 1/2)) (* (sin (* 1/2 z2)) (sqrt 1/2))))))) z1)":1,"(/ (- z0 (log (fabs (tan (* (+ (+ z2 z2) PI) -1/4))))) z1)":6,"(/ (- z0 (log (tan (* (+ (+ z2 z2) PI) 1/4)))) z1)":4,"(/ (- z0 (log (tan (- (* 1/2 z2) (* -1/4 PI))))) z1)":9,"(/ (- z0 (log (tan (- (* 5/4 PI) (* -1/2 z2))))) z1)":6,"(/ (asin (* (* (tan z2) 1/2) (- z1 (/ 1 z1)))) z0)":2,"(/ (cos z1) (cos z0))":3,"(/ (fabs (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI))))) (- 1/2 (* 1/2 (cos (* 2 (- (* -1/2 z0) (* -1/4 PI)))))))":1,"(/ (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0)":2,"(/ (pow (tan (- (* 13/4 PI) (* -1/2 z2))) z0) z1)":2,"(/ (sin (* (+ (+ z0 z0) PI) 1/4)) (cos (- (* -1/4 PI) (* 1/2 z0))))":1,"(/ (sin (* (- PI (+ z0 z0)) 1/4)) (sin (- (* 1/4 PI) (* -1/2 z0))))":2,"(/ (sin (* -1/4 (+ (+ z0 z0) PI))) (sin (- (* -1/4 PI) (* -1/2 z0))))":7,"(/ (sin (* -1/4 (+ (+ z0 z0) PI))) (sin (- (* 1/2 z0) (* -3/4 PI))))":1,"(/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- (* (sin (* 1/2 z0)) (sqrt 1/2)) (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))))":1,"(/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- 1/2 (* -1/2 (cos (* (- PI (+ z0 z0)) 1/2)))))":1,"(/ (sin (- (* -1/4 PI) (* 1/2 z0))) (cos (- (* -5/4 PI) (* 1/2 z0))))":2,"(/ (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI))))":22,"(/ (sin z1) z0)":2,"(/ (sqrt (- (* (- z0 2) z0) -1)) (fabs (- z0 -1)))":1,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":2,"(/ (sqrt (- 1 z0)) (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":2,"(/ (sqrt (fabs (- 1/2 (* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2)))) (fabs (sin (- (* -1/4 PI) (* -1/2 z0)))))":1,"(/ (tan (- (* 5/4 PI) (* -1/2 z2))) (pow (tan (- (* 5/4 PI) (* -1/2 z1))) z0))":1,"(/ -2 (+ -1 (sin z0)))":1,"(/ 1 (- (* z0 z0) 1))":1,"(/ 1 (sqrt (fabs (/ 1 (- 1 (* z0 z0))))))":1,"(/ 1/2 (cos (* -1/4 (+ (+ z0 z0) PI))))":2,"(/ 2 (- (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) -1))":2,"(/ 2 (sqrt (- (* (- 1 (cos (+ z0 z0))) 1/2) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z0 z0)))))))":3,"(/ z0 (* z1 z1))":3,"(/ z0 (+ (* z1 (/ z2 z0)) z0))":2,"(/ z0 (cos z1))":6,"(/ z0 (sin -27401669256311/20000000000000))":2,"(/ z0 (tan 27401669256311/20000000000000))":3,"(/ z1 (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z0))":2,"(/ z2 (sqrt (+ (* (* z2 z2) z0) (* z1 z1))))":2,"(asin (* (* (tan z1) 1/2) (- z0 (/ 1 z0))))":2,"(asin (* (/ (cos z2) (cos z1)) (sin z0)))":3,"(asin (* (/ z0 (cos z2)) (sin z1)))":2,"(asin (* (sin z0) (cos z1)))":1,"(asin (+ (* (sin z2) (cos z0)) (* (* (cos z2) (sin z0)) (cos z1))))":1,"(asin (- (* (sin z2) (cos z0)) (* (* (cos z2) (sin z0)) (cos z1))))":2,"(asin (/ (sin z1) z0))":1,"(asin (/ z2 (sqrt (+ (* (* z2 z2) z0) (* z1 z1)))))":2,"(atan (* (pow (/ z2 z1) (/ 1 z0)) (tan (- (* 1/4 PI) -27401669256311/40000000000000))))":3,"(atan (* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z2 z1) (- (+ 0 (/ -1 z0))))))":1,"(atanh (* (sin z0) (cos z1)))":7,"(atanh (fabs (sin (* (- PI (+ z0 z0)) 1/4))))":2,"(cos (* (- (* -1/4 PI) (* 1/2 z0)) 2))":13,"(cos (* (- (- PI (* 1/2 z0)) (* -1/4 PI)) -2))":1,"(cos (* (- PI (+ z0 z0)) -1/4))":2,"(cos (* (- PI (+ z0 z0)) 1/2))":1,"(cos (* -1/4 (+ (+ z0 z0) PI)))":28,"(cos (* 2 (asin (* (sin z0) (cos z1)))))":1,"(cos (* z1 z0))":7,"(cos (+ z1 (/ z2 z0)))":12,"(cos (- (* -1/4 PI) (* 1/2 z0)))":1,"(cos (- (* -5/4 PI) (* 1/2 z0)))":3,"(cosh (atanh (* (sin z0) (cos z1))))":7,"(fabs (* (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))) z0))":2,"(fabs (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI)))))":1,"(fabs (- (* (* (* (sin z1) z0) z0) (sin z1)) 1))":1,"(fabs (- 1/2 (* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2)))":1,"(fabs (/ (sin (* -1/4 (+ (+ z0 z0) PI))) (sin (- (* -3/4 PI) (* 1/2 z0)))))":1,"(fabs (/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* 1/2 z0)) (sqrt 1/2)))))":1,"(fabs (/ (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (- (* -5/4 PI) (* 1/2 z0)))))":1,"(fabs (/ 1 (- 1 (* z0 z0))))":1,"(fabs (cos (+ z1 (/ z2 z0))))":6,"(fabs (cos (- (* -5/4 PI) (* 1/2 z0))))":1,"(fabs (sin (* (- PI (+ z0 z0)) 1/4)))":2,"(fabs (sin (+ z1 (/ z2 z0))))":6,"(fabs (sin (- (* -1/4 PI) (* -1/2 z0))))":1,"(fabs (sin (- (* -1/4 PI) (* 1/2 z0))))":1,"(fabs (tan (* (+ (+ z0 z0) PI) 1/4)))":10,"(fabs (tan (* (- PI (+ z0 z0)) 1/4)))":4,"(fabs (tan (- (* -1/4 PI) (* 1/2 z0))))":3,"(fabs (tan (- (* -5/4 PI) (* 1/2 z0))))":3,"(fabs (tan (- (* -9/4 PI) (* 1/2 z0))))":1,"(log (* (* (* (sqrt 1/2) (- (cos (* -1/2 z0)) (sin (* -1/2 z0)))) (/ (sin (- (* -3/4 PI) (* 1/2 z0))) (- -1 (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2))))) 2))":2,"(log (* (* (/ -2 (+ -1 (sin z0))) (sin (- (* 1/2 z0) (* -3/4 PI)))) (sin (- (* 1/4 PI) (* -1/2 z0)))))":4,"(log (* (* (sin (- (* 3/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI)))) (/ 2 (- (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) -1))))":10,"(log (* (- (- (cos (* -1/2 z0))) (sin (- (* -1/2 z0) PI))) (/ (* (sqrt 2) 1/2) (sin (- (* -3/4 PI) (* 1/2 z0))))))":1,"(log (* (/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- 1/2 (* -1/2 (cos (* (- PI (+ z0 z0)) 1/2))))) (sin (- (* -3/4 PI) (* 1/2 z0)))))":2,"(log (/ (* (- 1 z0) (- 1 z0)) (fabs (- (* z0 z0) 1))))":1,"(log (/ (* 2 (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* -3/4 PI) (* 1/2 z0))))) (- (sin (- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI))))) (sin (- (* (- z0 PI) 1/2) (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI)))))))":2,"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))":45,"(log (/ (- 1 z0) (- z0 -1)))":3,"(log (/ (- z0 -1) (- 1 z0)))":1,"(log (/ (fabs (* (sin (- (* -1/4 PI) (* 1/2 z0))) (sin (- (* 1/2 z0) (* -3/4 PI))))) (- 1/2 (* 1/2 (cos (* 2 (- (* -1/2 z0) (* -1/4 PI))))))))":1,"(log (/ (sin (* (- PI (+ z0 z0)) 1/4)) (sin (- (* 1/4 PI) (* -1/2 z0)))))":2,"(log (/ (sin (- (* -1/4 PI) (* 1/2 z0))) (cos (- (* -5/4 PI) (* 1/2 z0)))))":3,"(log (/ (sin (- (* 1/4 PI) (* -1/2 z0))) (cos (* -1/4 (+ (+ z0 z0) PI)))))":5,"(log (/ (sqrt (- (* (- z0 2) z0) -1)) (fabs (- z0 -1))))":1,"(log (/ (sqrt (fabs (- 1/2 (* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2)))) (fabs (sin (- (* -1/4 PI) (* -1/2 z0))))))":1,"(log (fabs (- (* (* (* (sin z1) z0) z0) (sin z1)) 1)))":1,"(log (fabs (- (* (sin z1) z0) 1)))":1,"(log (fabs (/ (sin (* -1/4 (+ (+ z0 z0) PI))) (sin (- (* -3/4 PI) (* 1/2 z0))))))":1,"(log (fabs (/ (sin (- (* -1/4 PI) (* 1/2 z0))) (- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* (sin (* 1/2 z0)) (sqrt 1/2))))))":1,"(log (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))":10,"(log (fabs (tan (- (* -5/4 PI) (* 1/2 z0)))))":3,"(log (fabs (tan (- (* -9/4 PI) (* 1/2 z0)))))":1,"(log (sqrt (/ (- 1 z0) (- z0 -1))))":2,"(log (tan (* (+ (+ z0 z0) PI) 1/4)))":37,"(log (tan (* (- PI (+ z0 z0)) 1/4)))":6,"(log (tan (- (* -1/2 z0) (* -1/4 PI))))":1,"(log (tan (- (* 1/4 PI) (* -1/2 z0))))":110,"(log (tan (- (* 13/4 PI) (* -1/2 z0))))":4,"(log (tan (- (* 5/4 PI) (* -1/2 z0))))":9,"(pow (* (+ (* (cos (* -1/2 z1)) (sqrt 2)) (- (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI))))) (/ 1/2 (cos (* -1/4 (+ (+ z1 z1) PI))))) z0)":2,"(pow (* (/ (- (cos (* -1/2 z1)) (sin (* -1/2 z1))) (cos (* -1/4 (+ (+ z1 z1) PI)))) (* (sqrt 2) 1/2)) z0)":2,"(pow (* (/ (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0))) (+ (* (pow (cos z2) 4) z0) z1)) z1) -1/2)":1,"(pow (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) -2)":1,"(pow (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))) -2)":9,"(pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0))":13,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* (* 1/2 z1) z0))":1,"(pow (/ (sin (* (+ (+ z1 z1) PI) 1/4)) (cos (- (* -1/2 z1) (* 1/4 PI)))) (/ 1 z0))":1,"(pow (/ (sin (* (+ (+ z1 z1) PI) 1/4)) (sin (- (* -1/2 z1) (* -1/4 PI)))) z0)":7,"(pow (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI)))) (/ 1 z0))":1,"(pow (/ (sin (- (* 1/2 z1) (* -1/4 PI))) (cos (* -1/4 (+ (+ z1 z1) PI)))) z0)":16,"(pow (/ z2 z1) (- (+ 0 (/ -1 z0))))":1,"(pow (/ z2 z1) (/ 1 z0))":3,"(pow (cos z0) 4)":13,"(pow (sin z0) 3)":2,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) (/ 1 z0))":3,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":15,"(pow (tan (- (* 1/2 z1) (* -1/4 PI))) (/ 1 z0))":1,"(pow (tan (- (* 1/2 z1) (* -1/4 PI))) z0)":11,"(pow (tan (- (* 13/4 PI) (* -1/2 z1))) (/ 1 z0))":1,"(pow (tan (- (* 13/4 PI) (* -1/2 z1))) z0)":2,"(pow (tan (- (* 5/4 PI) (* -1/2 z1))) z0)":4,"(sin (* (+ (+ z0 z0) PI) 1/4))":17,"(sin (* (- PI (+ z0 z0)) -1/4))":4,"(sin (* -1/4 (+ (+ z0 z0) PI)))":8,"(sin (* -3 z0))":1,"(sin (* 3 z0))":14,"(sin (* z1 z0))":6,"(sin (+ z1 (/ z2 z0)))":6,"(sin (- (* -1/2 z0) (* -1/4 PI)))":15,"(sin (- (* -1/2 z0) PI))":1,"(sin (- (* -1/4 PI) (* -1/2 z0)))":9,"(sin (- (* -1/4 PI) (* 1/2 z0)))":5,"(sin (- (* -3/4 PI) (* 1/2 z0)))":6,"(sin (- (* 1/2 z0) (* -3/4 PI)))":45,"(sin (- (* 1/4 (- (fabs (+ (+ z0 z0) PI)) PI)) (* -1/2 (- PI z0))))":2,"(sin (- (* 1/4 PI) (* -1/2 z0)))":34,"(sin (- (* 3/4 PI) (* 1/2 z0)))":10,"(sin (- (- (* -1/4 PI) (* -1/2 (- PI z0))) (fabs (* -1/4 (+ (+ z0 z0) PI)))))":2,"(sin (- (/ z1 (- z0)) (* 1/2 PI)))":2,"(sin (- PI (* z1 z0)))":2,"(sin (/ z1 (- z0)))":2,"(sqrt (* (* (fabs (- 1 z0)) 1) (fabs (- z0 -1))))":2,"(sqrt (* (/ (- (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))) -1) (- -2 (* (- 1 (cos (+ z0 z0))) z2))) -2))":10,"(sqrt (* (/ (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z0))) (+ (* (pow (cos z2) 4) z0) z1)) z1))":2,"(sqrt (+ (* (* z2 z2) z0) (* z1 z1)))":2,"(sqrt (+ (* z1 z1) (* z0 z0)))":9,"(sqrt (- (* (* (pow (cos z1) 4) z0) z2) -1))":2,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":8,"(sqrt (- (* (- 1 (cos (+ z0 z0))) 1/2) (* (* -1/4 (- -1 (cos (+ z1 z1)))) (- -1 (cos (+ z0 z0))))))":7,"(sqrt (- (* (- z0 2) z0) -1))":1,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":3,"(sqrt (- (* (pow (cos z1) 4) (/ z0 (- 1 z0))) -1))":1,"(sqrt (- (* z0 z0) -1))":6,"(sqrt (- (* z0 z0) 1))":13,"(sqrt (- (- (* 1/4 (cos (* 2 (asin (* (sin z0) (cos z1)))))) (* -1/4 (- (* (* (- 1 (cos (+ z0 z0))) 1/2) (- -1 (cos (+ z1 z1)))) -1))) -1/2))":1,"(sqrt (- (- (pow (sinh z0) 2) -1/2) (* (cos (+ z1 z1)) -1/2)))":2,"(sqrt (/ (+ (* (pow (cos z2) 4) z0) z1) z1))":4,"(sqrt (/ (- -1 (/ (* (pow (cos z2) 4) z0) z1)) (- (* (- 1 (cos (+ z2 z2))) (* 1/2 z0)) 1)))":3,"(sqrt (fabs (- 1/2 (* (cos (* (- (* -1/4 PI) (* 1/2 z0)) 2)) 1/2))))":1,"(sqrt (fabs (/ 1 (- 1 (* z0 z0)))))":1,"(tan (* (+ (+ z0 z0) PI) 1/4))":65,"(tan (* (- (* 1/2 PI) z0) 1/2))":3,"(tan (* (- (if (< (- z1 z2) (- PI)) (+ (+ PI PI) z2) (if (> (- z1 z2) PI) (- z2 (+ PI PI)) z2)) z1) (* 1/2 z0)))":4,"(tan (* (- PI (+ z0 z0)) -1/4))":2,"(tan (* (- PI (+ z0 z0)) 1/4))":2,"(tan (* -1/4 (+ (+ z0 z0) PI)))":10,"(tan (+ (* 7 PI) (* (- (* 1/2 PI) z0) 1/2)))":1,"(tan (- (* -1/2 z0) (* -1/4 PI)))":1,"(tan (- (* -1/4 PI) (* 1/2 z0)))":3,"(tan (- (* -5/4 PI) (* 1/2 z0)))":3,"(tan (- (* 1/2 z0) (* -9/4 PI)))":1,"(tan (- (* 1/4 PI) (* -1/2 z0)))":151,"(tan (- (* 13/4 PI) (* -1/2 z0)))":7,"(tan (- (* 5/4 PI) (* -1/2 z0)))":14}