{"(* (* (* (* (pow (cos z0) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))":2,"(* (* (* (* (pow (cos z0) 6) 400) z1) z1) z2)":2,"(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) (sin (+ z2 z2)))":2,"(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) z2)":2,"(* (* (* (pow (cos z0) 6) 400) z1) z1)":6,"(* (* (* (pow (cos z0) 6) 400) z1) z2)":6,"(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":3,"(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) z2)":3,"(* (* (* 1/2 (- 1 (cos (+ z0 z0)))) 3) z1)":5,"(* (* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2))":21,"(* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3)":21,"(* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11)))":2,"(* (* (* z0 z0) (cos z1)) z2)":3,"(* (* (* z0 z1) z1) (cos z2))":2,"(* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))":3,"(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) (* z2 z2))":3,"(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) z2)":3,"(* (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":10,"(* (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2) z2)":10,"(* (* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1))) z2)":7,"(* (* (- (cos (+ z0 z0)) -1) 1/2) (/ 80 z1))":15,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 11)":53,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 3)":29,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 5)":9,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 80)":15,"(* (* (- (cos (+ z0 z0)) -1) 1/2) z1)":152,"(* (* (cos (+ z0 z0)) (* z1 z1)) z2)":2,"(* (* (cos z0) (sin (* -1/2 z1))) z2)":2,"(* (* (cos z0) (sin z1)) z2)":2,"(* (* (cos z0) z1) z2)":19,"(* (* (fabs z0) 1000) z1)":2,"(* (* (pow (cos z0) 3) z1) z1)":47,"(* (* (pow (cos z0) 3) z1) z2)":47,"(* (* (pow (cos z0) 6) 400) z1)":12,"(* (* (sin z0) (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2)) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":10,"(* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2)":3,"(* (* (sin z0) z1) z2)":2,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))":3,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))":15,"(* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2))":5,"(* (* -200 (pow (cos z0) 4)) z1)":23,"(* (* -3 z0) (sin (+ (+ z1 z2) z2)))":18,"(* (* 1/2 (- (cos (+ z0 z0)) -1)) z1)":56,"(* (* 1/2 (- (cos (+ z0 z0)) 1)) z1)":16,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (* (* (- (* z1 z1) 1) z2) z2) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":2,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))":3,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 z1))":5,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3)":31,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)":53,"(* (* 1/2 z0) (cos (* -1/2 z1)))":2,"(* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) z1)":21,"(* (* 2 (sin z0)) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1))":3,"(* (* 2 (sin z0)) z1)":3,"(* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))":2,"(* (* 200 (pow (cos z0) 4)) z1)":3,"(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1)))":5,"(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) z2)":5,"(* (* 3 (cos (* (+ z0 z1) 2))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":3,"(* (* 3 (cos (* (+ z0 z1) 2))) z2)":3,"(* (* 3 (cos (* -2 (+ z0 z1)))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":2,"(* (* 3 (cos (* -2 (+ z0 z1)))) z2)":2,"(* (* 3 z0) (sin (+ (+ z1 z1) z2)))":5,"(* (* z0 (* 2 (sin z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1))":3,"(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) (sin z1))":16,"(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) 2)":3,"(* (* z0 (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2))":21,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2))) (cos (+ z2 z2)))":2,"(* (* z0 (cos z1)) (fabs (sin z1)))":3,"(* (* z0 (cos z1)) (sin (+ z2 z2)))":3,"(* (* z0 -1/8) (sin (+ z1 z1)))":2,"(* (* z0 1/2) (- (cos (+ z1 z1)) -1))":116,"(* (* z0 1/2) (- 1 (cos (+ z1 z1))))":11,"(* (* z0 1/2) (cos (+ z1 z1)))":122,"(* (* z0 2) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (sin z1)))":16,"(* (* z0 z0) (pow (cos z1) 3))":11,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)":13,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3)":5,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) z2)":18,"(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3)":14,"(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3)":2,"(* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3)":5,"(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (* 2 (sin z1))))":16,"(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) z1)":16,"(* (- (* (* z0 z0) 200) -80) (/ (pow (cos z1) 4) z2))":4,"(* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4))":4,"(* (- (* (- (cos (+ z0 z0)) -1) -3/2) -3) z1)":4,"(* (- (* (cos (+ z0 z0)) -3/2) 1/2) (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3)))":4,"(* (- (* (cos (+ z0 z0)) -3/2) 1/2) z1)":4,"(* (- (* (cos (+ z0 z0)) 5/2) -3/2) z1)":2,"(* (- (* (pow (cos z0) 3) z1) -1) z2)":3,"(* (- (* (sin z0) z1) (- z2 z0)) -6)":2,"(* (- (* (sin z0) z1) (- z2 z0)) 6)":4,"(* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) z2))":2,"(* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4))":2,"(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3)) z2)":2,"(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1)))) z2)":14,"(* (- (* z0 z0) 1) (tan z1))":13,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3))":6,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (/ (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3) (* (* (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":3,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) z2)":6,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":3,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) z2)":5,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":7,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3))":14,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) z2)":14,"(* (- (+ z0 (* (sin z0) z1)) z2) -6)":2,"(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1))))":3,"(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) z1)":3,"(* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) z2)":10,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) -1) (sin (+ (+ z2 z0) z2)))":3,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (* 2 (sin z0)))":16,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (sin z0))":16,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) z2)":19,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2)))":19,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) (sin z1))":21,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) z2)":21,"(* (- (- z0 z1) (* (sin z1) z2)) 6)":2,"(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1)))":9,"(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) z1)":13,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* (- -1 (cos (+ z2 z2))) -3/2) 1))":4,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1))":5,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) z2)":9,"(* (- (cos (+ z0 z0)) -1) (/ -40 z1))":5,"(* (- (cos (+ z0 z0)) -1) -3/2)":5,"(* (- (cos (+ z0 z0)) -1) -40)":5,"(* (- (cos (+ z0 z0)) -1) 1/2)":236,"(* (- (cos (+ z0 z0)) -1) 11/2)":14,"(* (- (cos (+ z0 z0)) -1) 5)":2,"(* (- (cos (+ z0 z0)) -1) 5/2)":13,"(* (- (cos (+ z0 z0)) -1) z1)":85,"(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1))))":18,"(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) z2)":18,"(* (- -1 (cos (+ z0 z0))) -3/2)":4,"(* (- -1 (cos (+ z0 z0))) z1)":4,"(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) (* (* 2 (sin z1)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)))":2,"(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) z1)":2,"(* (- 1 (* z0 z0)) (tan z1))":12,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (* 33 (* z1 z1)) -22))":3,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (/ 80 z1))":3,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)":5,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)":3,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)":3,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80)":3,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1)":17,"(* (- z0 (+ (* (sin z1) z2) z1)) 6)":18,"(* (atan (* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1))))) z2)":2,"(* (atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) (* (cos (* -1/2 z0)) (sqrt (- 1 z1)))) z2)":2,"(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1))))) z2)":2,"(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- z1 1) (- z1 -1))))) 2)":2,"(* (cos (* (+ z0 z1) 2)) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":7,"(* (cos (* (+ z0 z1) 2)) z2)":8,"(* (cos (* -1/2 z0)) z1)":4,"(* (cos (+ (+ z0 z1) z1)) z2)":32,"(* (cos (+ z0 z0)) (* z1 z1))":2,"(* (cos (+ z0 z0)) (- 1 (* z1 z1)))":13,"(* (cos (+ z0 z0)) -3/2)":9,"(* (cos (+ z0 z0)) 5/2)":38,"(* (cos (+ z0 z0)) z1)":121,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":32,"(* (cos z0) (fabs (sin z0)))":3,"(* (cos z0) (sin (+ z1 z1)))":3,"(* (cos z0) (sin z1))":2,"(* (cos z0) z1)":564,"(* (fabs (sin z0)) z1)":9,"(* (pow (* 10000/2928563 (- z0 2634/5)) 4) 5269/10000)":2,"(* (pow (* 10000/2928563 (- z0 2634/5)) 4) z1)":2,"(* (pow (* 10000/2928563 (- z0 2634/5)) 5) z1)":2,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* (* (* (pow (cos z0) 6) 400) z1) z1))":4,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* -200 (pow (cos z0) 4)))":3,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) z1)":7,"(* (pow (cos z0) 3) z1)":102,"(* (pow (cos z0) 4) 40)":20,"(* (pow (cos z0) 4) z1)":20,"(* (pow (cos z0) 6) 400)":6,"(* (pow (cos z0) 6) z1)":6,"(* (sin (* (+ z0 z1) 2)) 3)":17,"(* (sin (* (+ z0 z1) 2)) z2)":17,"(* (sin (* 1/2 z0)) (sqrt (- z1 -1)))":2,"(* (sin (* 1/2 z0)) z1)":3,"(* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1))":10,"(* (sin (+ (+ z0 z0) z1)) z2)":10,"(* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))":18,"(* (sin (+ (+ z0 z1) z0)) z2)":18,"(* (sin (+ (+ z0 z1) z1)) (- (- (pow (* (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1))) -1))":2,"(* (sin (+ (+ z0 z1) z1)) z2)":18,"(* (sin (+ z0 z0)) z1)":4,"(* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3))":10,"(* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3))":24,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":94,"(* (sin z0) (cos z1))":2,"(* (sin z0) z1)":120,"(* (tan (* 1/2 z0)) z1)":2,"(* -200 (pow (cos z0) 4))":27,"(* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))":5,"(* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))":28,"(* -3 (+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2)))))":5,"(* -40 (pow (cos z0) 4))":72,"(* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))":5,"(* 1/2 (- (cos (+ z0 z0)) -1))":29,"(* 1/2 (- (cos (+ z0 z0)) 1))":16,"(* 1/2 (- 1 (cos (+ z0 z0))))":74,"(* 1/2 (/ (- (cos (+ z0 z0)) -1) z1))":2,"(* 1/2 (/ (- 1 (cos (+ z0 z0))) z1))":5,"(* 11/2 (- (cos (+ z0 z0)) -1))":53,"(* 11/2 (cos (+ z0 z0)))":17,"(* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1))":21,"(* 200 (pow (cos z0) 4))":3,"(* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)))":11,"(* 3 (+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))))":15,"(* 3 (+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2)))))":8,"(* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":5,"(* 3 (cos (* (+ z0 z1) 2)))":3,"(* 3 (cos (* -2 (+ z0 z1))))":2,"(* 3 (sin (* 2 (+ z0 z1))))":5,"(* 3/2 (- (cos (+ z0 z0)) -1))":26,"(* 40 (- (cos (+ z0 z0)) -1))":4,"(* 40 (pow (cos z0) 4))":50,"(* 5 (- (cos (+ z0 z0)) -1))":10,"(* 5/2 (- (cos (+ z0 z0)) -1))":12,"(* 5/2 (cos (+ z0 z0)))":143,"(* 6 (- (+ (* z0 (sin z1)) z1) z2))":6,"(* z0 (* (* (* (pow (cos z1) 6) 400) z2) z2))":4,"(* z0 (* (* (cos z1) z2) z2))":17,"(* z0 (* (cos (+ z1 z1)) (- 1 (* z2 z2))))":13,"(* z0 (* -1/2 (cos z1)))":6,"(* z0 (* -200 (pow (cos z1) 4)))":4,"(* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))":5,"(* z0 (* 1/2 (cos z1)))":15,"(* z0 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)))":5,"(* z0 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1)))":28,"(* z0 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))":11,"(* z0 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1)))":5,"(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0)))))":6,"(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z1 z1))))) (sqrt (- 1 (* z1 z1)))))":6,"(* z0 (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3)))":4,"(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":13,"(* z0 (- (* (* 1/2 z1) (cos (* -1/2 z2))) (sin (* -1/2 z2))))":2,"(* z0 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11)))":2,"(* z0 (- (* (- -1 (cos (+ z1 z1))) -3/2) 1))":4,"(* z0 (- (* (cos (+ z1 z1)) -3/2) -3/2))":4,"(* z0 (- (* 3/2 (- (cos (+ z1 z1)) -1)) 1))":26,"(* z0 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))":5,"(* z0 (- (* z1 (- (+ (sqrt (- 1 (* z1 z1))) (* (pow (cos z2) 3) z1)) (/ 1 (- -1 (sqrt (- 1 (* z1 z1))))))) (* (+ (* (* (- (cos (+ z2 z2)) -1) 1/2) z1) (cos z2)) -3)))":8,"(* z0 (- (+ (* z1 (+ (/ -1 (- -1 (sqrt (- 1 (* z1 z1))))) (sqrt (- 1 (* z1 z1))))) (* (* z1 z1) (pow (cos z2) 3))) (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))))":5,"(* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0)))))))":24,"(* z0 (- (- (- (* z1 z1) -2) (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1))) (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2)))))":2,"(* z0 (- (- (- (* z1 z1) -2) (* (- 1/2 (* (cos (+ z2 z2)) -1/2)) (- (* 33 (* z1 z1)) -22))) (- (/ (* (- (* (* z1 z1) 200) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2) (* (* (* (pow (cos z2) 6) 400) z1) z1)))))":3,"(* z0 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))))":12,"(* z0 (- (- (/ (* (- (cos (+ z1 z1)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2))))":5,"(* z0 (- (- (/ (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 80) (- -3/2 (* (cos (+ z1 z1)) 5/2))) -11) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* -200 (pow (cos z1) 4)))))":3,"(* z0 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5/2 (- (cos (+ z1 z1)) -1)))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1))":2,"(* z0 (- (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))))":3,"(* z0 (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3))":10,"(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1))":3,"(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3))":24,"(* z0 (- (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":16,"(* z0 (- (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)))))":3,"(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2))))":3,"(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":49,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":2,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1)))":2,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":23,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2)))":4,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":9,"(* z0 (- (cos (+ z1 z1)) -1))":234,"(* z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":3,"(* z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))))":2,"(* z0 (- 1 (cos (+ z1 z1))))":51,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 5/2)))":4,"(* z0 (- 2 (* 5 (- (cos (+ z1 z1)) -1))))":5,"(* z0 (- 3 (* 5/2 (- (cos (+ z1 z1)) -1))))":2,"(* z0 (/ (* 1/2 (- 1 (cos (+ z1 z1)))) (* (* (- 1 (* z2 z2)) (- 1 (* z2 z2))) (- 1 (* z2 z2)))))":5,"(* z0 (/ (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (cos (+ z1 z1)) -1) 5/2))) (- (* (- (cos (+ z1 z1)) -1) 11/2) 1)) (* (- (* z2 z2) 1) (tan z1))))":13,"(* z0 (/ (sin z1) z2))":4,"(* z0 (cos (* (+ z1 z2) -2)))":2,"(* z0 (cos (* (+ z1 z2) 2)))":10,"(* z0 (cos (* -1/2 z1)))":2,"(* z0 (cos (* -2 (+ z1 z2))))":2,"(* z0 (cos (* 2 (+ z1 z2))))":22,"(* z0 (cos (* z1 -1/2)))":2,"(* z0 (cos (+ (+ z1 z2) z1)))":16,"(* z0 (cos (+ (+ z1 z2) z2)))":2,"(* z0 (cos (+ z1 z1)))":225,"(* z0 (cos (- (- (* -3 z1) z2) z2)))":18,"(* z0 (cos z1))":340,"(* z0 (fabs (sin z1)))":16,"(* z0 (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))":5,"(* z0 (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))":17,"(* z0 (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2))":7,"(* z0 (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":14,"(* z0 (pow (cos z1) 3))":11,"(* z0 (pow (cos z1) 4))":159,"(* z0 (sin (* 2 (+ z1 z2))))":5,"(* z0 (sin (* z1 1/2)))":2,"(* z0 (sin (+ (+ z1 z1) z2)))":5,"(* z0 (sin (+ (+ z1 z2) z1)))":23,"(* z0 (sin (+ (+ z1 z2) z2)))":30,"(* z0 (sin (+ z1 z1)))":86,"(* z0 (sin (- (+ z1 z1) (* -3 z2))))":33,"(* z0 (sin z1))":90,"(* z0 (tan z1))":25,"(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0))":23,"(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) z2)":23,"(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0))":28,"(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) z2)":28,"(+ (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) z1)":2,"(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))":11,"(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) z2)":11,"(+ (* (* z0 z0) (pow (cos z1) 3)) z0)":5,"(+ (* (* z0 z0) (pow (cos z1) 3)) z2)":11,"(+ (* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3) (* (sin (- (+ z1 z1) (* -3 z0))) z2))":2,"(+ (* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2))) (* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1)))))":18,"(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2)))":14,"(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1))))":2,"(+ (* (cos (+ z0 z0)) -3/2) z1)":5,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3))":13,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3))":2,"(+ (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)) (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)))":3,"(+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2)))":6,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3)) (* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1)))":10,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1) (sin (+ (+ z0 z1) z0))))":2,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))":15,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z1 z0) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))":2,"(+ (* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))) (+ (* (* z0 z0) (pow (cos z1) 3)) z0))":5,"(+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3)))":5,"(+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2))))":8,"(+ (* z0 (cos (- (- (* -3 z1) z2) z2))) (* 3 (+ (* z0 (cos (+ (+ z2 z1) z2))) (cos (* 2 (+ z2 z1))))))":8,"(+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2))))":6,"(+ (/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3))":4,"(+ (cos (* (+ z0 z1) 2)) z2)":14,"(+ (cos (* 2 (+ z0 z1))) z2)":11,"(+ (sin (* (+ z0 z1) 2)) (* (sin (+ (+ z0 z1) z1)) z2))":2,"(+ (sin (* (+ z0 z1) 2)) z2)":8,"(+ (sin (* 2 (+ z0 z1))) z2)":6,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)":14,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) z1)":14,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1)":29,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) z1)":29,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) 11))":2,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) z1))":2,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)))":2,"(- (* (- (cos (+ z0 z0)) -1) -3/2) -3)":5,"(- (* (- (cos (+ z0 z0)) -1) -3/2) z1)":5,"(- (* (- (cos (+ z0 z0)) -1) 11/2) 1)":14,"(- (* (- (cos (+ z0 z0)) -1) 11/2) z1)":14,"(- (* (- -1 (cos (+ z0 z0))) -3/2) 1)":4,"(- (* (- -1 (cos (+ z0 z0))) -3/2) z1)":4,"(- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0)))":2,"(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1)":2,"(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) z1)":2,"(- (* (cos (+ z0 z0)) -3/2) -3/2)":4,"(- (* (cos (+ z0 z0)) -3/2) 1/2)":5,"(- (* (cos (+ z0 z0)) 5/2) -3/2)":2,"(- (* (cos (+ z0 z0)) 5/2) z1)":2,"(- (* (pow (cos z0) 3) z1) -1)":3,"(- (* (pow (cos z0) 3) z1) z2)":3,"(- (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* -3 (+ (* z2 (sin (+ (+ z1 z0) z0))) (sin (* 2 (+ z1 z0))))))":2,"(- (* 11/2 (cos (+ z0 z0))) -9/2)":17,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)":26,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) z1)":26,"(- (* 5 (- (cos (+ z0 z0)) -1)) 2)":5,"(- (* 5 (- (cos (+ z0 z0)) -1)) z1)":5,"(- (* 5/2 (cos (+ z0 z0))) -3/2)":4,"(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3))":10,"(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1))))":14,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3))":6,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0))))":5,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0))))":14,"(- (+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3))) (* -3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))))":5,"(- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1)))":3,"(- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22)))":3,"(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) (- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))))":2,"(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) z2)":3,"(- (- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))) (- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0))))":3,"(- (- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))) z2)":3,"(- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)))":15,"(- (- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2)))":5,"(- (- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11) (* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* -200 (pow (cos z0) 4))))":3,"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1)":23,"(- (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1)":2,"(- (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)))":3,"(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) z2)":10,"(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) z2)":8,"(- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) z2)":19,"(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) (/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":16,"(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1)":16,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) (/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))))":3,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) z1)":3,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2)))":3,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":49,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) z1)":52,"(- (- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":14,"(- (- z0 (* (- (cos (+ z1 z1)) -1) 11/2)) -1)":14,"(- (- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1)":2,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (+ -11 z1))":15,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11)":15,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":15,"(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z0) z0)))":4,"(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2)":4,"(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":2,"(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2)":2,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) (+ -11 z1))":5,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11)":5,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) z1)":5,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1))":3,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11)":3,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":3,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":2,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1))":2,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":5,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11))":23,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":23,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2))":17,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":40,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":9,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) z1)":9,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1))":13,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) z1)":13,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) z1)":2,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1))":3,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11)":3,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":3,"(- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) z2)":38,"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3))":9,"(- (cos (+ z0 z0)) -1)":319,"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))))":10,"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- z2 (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))))":16,"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)))":24,"(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3))":18,"(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)))":19,"(- -1 (cos (+ z0 z0)))":4,"(- -3/2 (* (cos (+ z0 z0)) 5/2))":32,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":139,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11))":16,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))":9,"(- 1 (* (- (cos (+ z0 z0)) -1) 5/2))":13,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11))":3,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3))":2,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))":3,"(- 1 (* 11/2 (- (cos (+ z0 z0)) -1)))":52,"(- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))":13,"(- 1 (cos (+ z0 z0)))":51,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":17,"(- 1/2 (* (cos (+ z0 z0)) 5/2))":4,"(- 2 (* 5 (- (cos (+ z0 z0)) -1)))":5,"(- 3 (* 5/2 (- (cos (+ z0 z0)) -1)))":3,"(- z0 (* (* (* (* (pow (cos z1) 6) 400) z2) z2) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":2,"(- z0 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))":3,"(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":39,"(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))":9,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":3,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)))":15,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2)))":5,"(- z0 (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)) -3))":16,"(- z0 (* (- (cos (+ z1 z1)) -1) 5/2))":13,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z2 z2)) -22)))":3,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11))":3,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 3))":2,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))":3,"(- z0 (* (cos (+ z1 z1)) 5/2))":36,"(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z2) z2)))":4,"(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* -200 (pow (cos z1) 4))))":3,"(- z0 (* (sin (* (+ z1 z2) 2)) 3))":17,"(- z0 (* -3 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1))))":5,"(- z0 (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1))))":28,"(- z0 (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))":10,"(- z0 (* 11/2 (- (cos (+ z1 z1)) -1)))":52,"(- z0 (* 3 (sin (* 2 (+ z1 z2)))))":5,"(- z0 (* 5 (- (cos (+ z1 z1)) -1)))":5,"(- z0 (* 5/2 (- (cos (+ z1 z1)) -1)))":11,"(- z0 (* 5/2 (cos (+ z1 z1))))":139,"(- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2))":17,"(- z0 (- (/ (* (- (* (* z1 z1) 200) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2) (* (* (* (pow (cos z2) 6) 400) z1) z1))))":4,"(- z0 (- (/ (* (- (* 200 (* z1 z1)) -80) (pow (cos z2) 4)) (- -3/2 (* (cos (+ z2 z2)) 5/2))) (* (* (* (* (pow (cos z2) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z2 z2)) 5/2)) -2))))":2,"(- z0 (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":16,"(- z0 (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))))":3,"(- z0 (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2)))":3,"(- z0 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)))":2,"(- z0 (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":49,"(- z0 (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1)))":20,"(- z0 (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))))":10,"(- z0 (/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1)))":2,"(- z0 (/ (- (- (* (sinh z1) z2) z1) z1) (- (* z2 (cosh z1)) 1)))":2,"(- z0 (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)))":24,"(- z0 (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2))))":46,"(- z0 (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)))":19,"(- z0 (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1))))":2,"(/ (* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3) (* (* (- (* z2 z2) 1) (- (* z2 z2) 1)) (- 1 (* z2 z2))))":3,"(/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":15,"(/ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":2,"(/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2)))":4,"(/ (* (- (* (cos z0) z1) -1) z2) (- 1 (* z1 z1)))":70,"(/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2)))":2,"(/ (* (- (* z0 (cos z1)) -1) z2) (- 1 (* z0 z0)))":59,"(/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2)))":5,"(/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":2,"(/ (* (- -1 (* (cos z0) z1)) z2) (- (* z1 z1) 1))":30,"(/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":3,"(/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":16,"(/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)))":3,"(/ (* (pow (cos z0) 4) 40) z1)":20,"(/ (* (sin z0) z1) z2)":4,"(/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2))":3,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":5,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":40,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5)))":9,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2)))":13,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))))":2,"(/ (* -40 (pow (cos z0) 4)) z1)":72,"(/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))":5,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":3,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":2,"(/ (* 40 (- (cos (+ z0 z0)) -1)) z1)":4,"(/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":49,"(/ (* 40 (pow (cos z0) 4)) z1)":50,"(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) (- 1 (* (cosh z0) z1)))":2,"(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) z2)":2,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":20,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":40,"(/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1))":2,"(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) (* (- (* z1 z1) 1) (tan z0)))":13,"(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) z1)":13,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":154,"(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))":14,"(/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))":78,"(/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))":40,"(/ (sin z0) z1)":6,"(/ z0 (* (- (* z1 z1) 1) (tan z2)))":13,"(/ z0 (* (- 1 (* z1 z1)) (tan z2)))":12,"(/ z0 (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2)))":5,"(/ z0 (- (* 5/2 (cos (+ z1 z1))) -3/2))":4,"(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":17,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":122,"(/ z0 (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5)))":9,"(/ z0 (- 1 (* (- (cos (+ z1 z1)) -1) 5/2)))":13,"(/ z0 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)))":3,"(/ z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))))":4,"(atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1)))))":2,"(cos (* (+ z0 z1) -2))":3,"(cos (* (+ z0 z1) 2))":32,"(cos (* -2 (+ z0 z1)))":2,"(cos (* 2 (+ z0 z1)))":33,"(cos (+ (+ z0 z1) z0))":8,"(cos (+ (+ z0 z1) z1))":17,"(cos (- (- (* -3 z0) z1) z1))":25,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)":30,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)":70,"(pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) z2)":59,"(pow (* 10000/2928563 (- z0 2634/5)) 4)":2,"(pow (* 10000/2928563 (- z0 2634/5)) 5)":2,"(pow (* 10000/2928563 (- z0 2634/5)) 6)":2,"(pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)":12,"(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)":17,"(pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2)":7,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":28,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":28,"(pow (cos z0) 3)":62,"(pow (cos z0) 4)":179,"(pow (cos z0) 6)":7,"(pow (cos z0) z1)":248,"(sin (* (+ z0 z1) 2))":25,"(sin (* 2 (+ z0 z1)))":12,"(sin (+ (+ z0 z0) z1))":15,"(sin (+ (+ z0 z1) z0))":41,"(sin (+ (+ z0 z1) z1))":34,"(sin (- (+ z0 z0) (* -3 z1)))":90,"(sqrt (* z0 z1))":2}