{"(* (* (* (* (* z0 z0) z0) z0) (- (- 1 z0) 1)) (sin (+ z1 z1)))":8,"(* (* (* (* (* z0 z0) z0) z0) (sin (+ z1 z1))) (- (- 1 (* z0 11)) -1))":3,"(* (* (* (* (pow (cos z0) 6) 400) z1) z1) z2)":2,"(* (* (* (* 1/16 z0) z1) (* (- 1 z0) (sqrt z0))) (- (- 1 (* z0 11)) (* z0 (/ 40 (- -3/2 z0)))))":4,"(* (* (* (* 1/2 z0) (* z0 z1)) (cos z2)) (fabs (sin z2)))":3,"(* (* (* (* 1/4 z0) 1) (* (- 1 z0) (sqrt z0))) (+ (* (* z0 z0) 3) (* (sin z1) (* z0 z0))))":3,"(* (* (* (* z0 -1/8) (sin z0)) (* (* z0 z1) z1)) (- 12 (* (* -200 z0) (/ 1 (* z0 z0)))))":17,"(* (* (* (* z0 1/2) 1) 1/4) (* (sqrt (- 1 z0)) (- 1 (* z1 z1))))":13,"(* (* (* (* z0 1/8) (* z1 z0)) (- (- 1 z0) 1)) (cos (+ z2 z2)))":12,"(* (* (* (* z0 1/8) (* z1 z0)) (sin (+ z2 z2))) (- (- 1 (* z0 11)) -1))":5,"(* (* (* (* z0 1/8) z1) (* (sqrt z0) (- 1 z0))) (- (- 1 (* 11 z0)) (* 40 (/ z0 (- -3/2 z0)))))":15,"(* (* (* (* z0 1/8) z1) (- 1 (* z1 z1))) (cos (+ z2 z2)))":6,"(* (* (* (* z0 400) z1) z1) (pow (- -3/2 (* z0 5/2)) -2))":2,"(* (* (* (* z0 z0) (- 1 z0)) (- (- 1 z0) 1)) (cos (+ z1 z1)))":4,"(* (* (* (* z0 z0) (- 1 z0)) (cos (+ z1 z1))) (- (* -40 (/ z0 (- 1 z0))) (- (* z0 11) 1)))":2,"(* (* (* (* z0 z0) (- 1 z0)) (cos (+ z1 z1))) (- (- 1 (* z0 11)) -1))":9,"(* (* (* (* z0 z0) (cos z1)) (fabs (sin z1))) (+ (* (cos z0) z2) (* (+ z0 z0) 3)))":13,"(* (* (* (* z0 z0) 1) (cos (+ z1 z1))) (- (* -40 (/ z0 (- 1 z0))) (- (* z0 11) 1)))":3,"(* (* (* (* z0 z0) 1/4) (* (sqrt z0) (- 1 z0))) (* (* z0 z0) (- (+ z0 z0) -3)))":14,"(* (* (* (* z0 z0) 1/4) (* z0 (+ z0 z0))) (* (sqrt (- 1 z0)) (- 1 (* z1 z1))))":2,"(* (* (* (* z0 z0) 1/8) (* z1 1)) (sin (+ z2 z2)))":5,"(* (* (* (* z0 z0) 1/8) z1) (* (sqrt (- 1 z0)) (- 1 (* z1 z1))))":15,"(* (* (* (* z0 z0) z0) z0) (sin (+ z1 z1)))":3,"(* (* (* (* z0 z0) z1) z1) (* (cos (+ z2 z2)) (- 1 (* z1 z1))))":13,"(* (* (* (* z0 z1) (* z0 z0)) (- (- 1 z0) 1)) (sin (+ z2 z2)))":24,"(* (* (* (* z0 z1) (- 1 z0)) (- (- 1 z0) 1)) (cos (+ z2 z2)))":9,"(* (* (* (* z0 z1) (- 1 z0)) (cos (+ z2 z2))) (- (* -40 (/ z0 (- 1 z0))) (- (* z0 11) 1)))":3,"(* (* (* (* z0 z1) (- 1 z0)) (cos (+ z2 z2))) (- (- 1 (* z0 11)) -1))":3,"(* (* (* (* z0 z1) (sqrt z1)) (* (* 1/8 z1) 1)) (sin (+ z2 z2)))":3,"(* (* (* (* z0 z1) (sqrt z1)) 1/8) (* z2 (* 1 (/ z2 z1))))":5,"(* (* (* (* z0 z1) 1) -1/8) (sin (+ z2 z2)))":5,"(* (* (* (* z0 z1) 1) 1/2) (cos z2))":2,"(* (* (* (* z0 z1) z1) (* (cos z0) (- 1 z0))) (/ (- 1 (- z0 1)) (* (- z0 1) (tan z2))))":13,"(* (* (* (/ z0 z1) 1) (* (sqrt z2) (- 1 z2))) (* (* z2 z2) (- (+ z2 z2) -3)))":3,"(* (* (* (cos z0) (* z0 z0)) (- 1 (* z1 z1))) (- (* -40 (/ z0 (- 1 z0))) (- (* z0 11) 1)))":2,"(* (* (* (pow (cos z0) 6) 400) z1) z1)":6,"(* (* (* (pow (cos z0) 6) 400) z1) z2)":6,"(* (* (* (pow z0 6) 400) z1) z1)":6,"(* (* (* 0 (cos z0)) 1) (* (- 1 (* z1 z1)) z1))":5,"(* (* (* 1 (* 1/8 z0)) (* (sqrt z1) (- 1 z1))) (- (- 1 (* 11 z1)) (* 40 (/ z1 (- -3/2 z1)))))":5,"(* (* (* 1 (* 1/8 z0)) (* (sqrt z1) (- 1 z1))) (- (- 1 (* z1 11)) (* z1 (/ 40 (- 1 z1)))))":3,"(* (* (* 1 (* 1/8 z0)) (- 1 (* z0 z0))) (cos (+ z1 z1)))":11,"(* (* (* 1 (* z0 z1)) (- (- 1 z1) 1)) (sin (+ z2 z2)))":10,"(* (* (* 1 (/ z0 z1)) 1/2) (cos z2))":4,"(* (* (* 1 z0) (* (sqrt z1) (- 1 z1))) (- (- 1 (* 11 z1)) (* 40 (/ z1 (- -3/2 z1)))))":3,"(* (* (* 1/16 z0) z1) (* (- 1 z0) (sqrt z0)))":4,"(* (* (* 1/2 z0) (* z0 z1)) (cos z2))":3,"(* (* (* 1/4 (* z0 z1)) (* (- 1 z1) (sqrt z1))) (+ (* (* z1 z1) 3) (* (sin z2) (* z1 z1))))":5,"(* (* (* 1/4 z0) 1) (* (- 1 z0) (sqrt z0)))":3,"(* (* (* 3 (cos z0)) 1) (- 1/2 (* 1/2 (cos z0))))":4,"(* (* (* 3 z0) (+ z0 z0)) (cos (+ z0 z0)))":5,"(* (* (* z0 (- 1 z1)) (sqrt (- 1 z1))) 1/8)":5,"(* (* (* z0 -1/8) (sin z0)) (* (* z0 z1) z1))":17,"(* (* (* z0 1/2) (cos z1)) (* (fabs z0) (+ z0 z0)))":9,"(* (* (* z0 1/2) (cos z1)) (- 0 (* z0 z2)))":3,"(* (* (* z0 1/2) (cos z1)) (- 0 (* z2 z0)))":6,"(* (* (* z0 1/2) 1) (* (* z0 z0) (cos z0)))":3,"(* (* (* z0 1/2) 1) (- (- (+ z0 z0) (* -3 z0)) (* (* z0 z0) (cos z0))))":3,"(* (* (* z0 1/8) (* z1 z0)) (sin (+ z2 z2)))":5,"(* (* (* z0 1/8) z1) (* (sqrt z0) (- 1 z0)))":15,"(* (* (* z0 z0) (- 0 (cos z0))) (* (- (* z1 z1) 1) 1/2))":6,"(* (* (* z0 z0) (- 1 z0)) (cos (+ z1 z1)))":11,"(* (* (* z0 z0) (/ 1/16 z1)) (* (- 1 (- z1 -9/2)) (cos (+ z2 z2))))":2,"(* (* (* z0 z0) (cos z0)) 1)":13,"(* (* (* z0 z0) (cos z1)) (- (* z2 (+ z2 80)) -11))":2,"(* (* (* z0 z0) (cos z1)) (- (+ z2 z2) -11))":2,"(* (* (* z0 z0) (cos z1)) (- (- z0 -11) (* z0 z0)))":4,"(* (* (* z0 z0) (cos z1)) (fabs (sin z1)))":13,"(* (* (* z0 z0) (cos z1)) z2)":3,"(* (* (* z0 z0) (fabs z0)) (* z0 (+ 3 z1)))":13,"(* (* (* z0 z0) (sin z0)) 1)":10,"(* (* (* z0 z0) -1/8) (sin (+ z1 z1)))":7,"(* (* (* z0 z0) 1) (cos (* z0 -2)))":4,"(* (* (* z0 z0) 1) (cos (+ z0 z0)))":3,"(* (* (* z0 z0) 1) (cos (+ z1 z1)))":4,"(* (* (* z0 z0) 1/4) (* (sqrt z0) (- 1 z0)))":14,"(* (* (* z0 z1) (- 1 z0)) (cos (+ z2 z2)))":6,"(* (* (* z0 z1) (/ z1 z0)) (* 1/2 (cos z2)))":3,"(* (* (* z0 z1) (sqrt z1)) (* (* 1/8 z1) 1))":3,"(* (* (* z0 z1) (sqrt z1)) 1/8)":6,"(* (* (* z0 z1) 1) (* 1/2 (cos z2)))":7,"(* (* (* z0 z1) z1) (* (cos z0) (- 1 z0)))":13,"(* (* (* z0 z1) z1) (pow (- -3/2 z0) -2))":2,"(* (* (+ z0 z0) (cos z1)) (cos z2))":7,"(* (* (+ z0 z0) (cos z1)) (sin z2))":6,"(* (* (- (* z0 z0) 1) 1/2) (* (* z1 z1) (- 0 (cos z1))))":2,"(* (* (- (* z0 z0) 1) 1/2) (- (* 0 (* z1 z1)) (* (* z1 z1) (cos z1))))":7,"(* (* (- (- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2))) (* (cos z0) (sin (+ z1 z1)))) (* z2 z2))":3,"(* (* (- (- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2))) (* (cos z0) (sin (+ z1 z1)))) z2)":3,"(* (* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) 2) (- (* (* 1/2 (+ (cos (+ z2 z2)) 1)) 3) 1))":10,"(* (* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) 2) z2)":10,"(* (* (- (- z0 -11) (* z0 z0)) (* (cos z1) (sin z0))) (* z2 z2))":3,"(* (* (- (/ (* -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) 11)":10,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 3)":2,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 5)":9,"(* (* (- (cos (+ z0 z0)) -1) 1/2) z1)":67,"(* (* (- (cos z0) -1) 1/2) 11)":10,"(* (* (- (cos z0) -1) 1/2) 3)":2,"(* (* (- (cos z0) -1) 1/2) 5)":9,"(* (* (- (cos z0) -1) 1/2) z1)":23,"(* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) z1)":5,"(* (* (- 1/2 (* z0 1/2)) 3) (* (sin z0) (+ (- z0 -1) (- z0 -1/3))))":3,"(* (* (- 1/2 (* z0 1/2)) 3) (+ (* (- z0 -1) (sin z0)) (* (sin z0) (- z0 -1/3))))":2,"(* (* (/ (- -1 z0) (- z0 1)) (sqrt (- 1 z0))) (* (/ (- -1 z0) (- z0 1)) (sqrt (- 1 z0))))":30,"(* (* (/ (- z0 -1) (- 1 z0)) (sqrt (- 1 z0))) (* (/ (- z0 -1) (- 1 z0)) (sqrt (- 1 z0))))":129,"(* (* (/ 1/8 z0) (* (sqrt z0) (- 1 z0))) (- (* (- z0 1) (+ z0 z0)) (* (- z0 1/2) (* 3 z0))))":11,"(* (* (/ z0 z1) 1) (* (sqrt z2) (- 1 z2)))":3,"(* (* (/ z0 z1) 1) (* -1/8 (sin z2)))":2,"(* (* (cos (* z0 2)) 1) (- (* (cos z0) -3/2) -3/2))":3,"(* (* (cos (+ z0 z0)) (* (* z1 z1) (* 1/8 z2))) (- 1 (* z2 z2)))":2,"(* (* (cos z0) (* (* z0 z0) z0)) (- (* z0 -3/2) -3/2))":4,"(* (* (cos z0) (* z0 z0)) (- 1 (* z1 z1)))":2,"(* (* (cos z0) (* z1 z1)) (/ 1/16 z0))":2,"(* (* (cos z0) (+ z1 z1)) (cos z2))":2,"(* (* (cos z0) (sin z1)) z2)":3,"(* (* (cos z0) z1) z2)":19,"(* (* (pow (cos z0) 3) z1) z1)":47,"(* (* (pow (cos z0) 3) z1) z2)":47,"(* (* (pow (cos z0) 6) 400) z1)":12,"(* (* (pow z0 6) 400) z1)":6,"(* (* (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))":2,"(* (* (sin z0) (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2)) z2)":3,"(* (* (sin z0) (* (- z1 -1) 2)) (- (* (* z1 1/2) 3) 1))":2,"(* (* (sin z0) (* z1 2)) (- (* z1 3) 1))":3,"(* (* (sin z0) (+ (- z0 -1) (- z0 -1/3))) (* 1/2 (- 1 (cos z0))))":10,"(* (* (sin z0) z1) z2)":2,"(* (* -1/8 (sin (+ z0 z0))) (* (* (cos z1) z2) z2))":10,"(* (* -1/8 (sin (+ z0 z0))) (- (* -40 (/ z1 (- -3/2 z1))) (- (* z1 11) 1)))":2,"(* (* -200 (* (* (* z0 z0) z0) z0)) (pow (* 1/2 z0) -2))":5,"(* (* -200 (* (* (* z0 z0) z0) z0)) (pow (- -3/2 z0) -2))":18,"(* (* -200 (pow (cos z0) 4)) (pow (* 1/2 (- 2 (* 5 (- (cos (+ z0 z0)) -1)))) -2))":5,"(* (* -200 (pow (cos z0) 4)) (pow (* 1/2 (- 2 z1)) -2))":5,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))":3,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2))":15,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 z1)) -2))":15,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* z1 5/2)) -2))":3,"(* (* -200 (pow (cos z0) 4)) z1)":23,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":18,"(* (* -3 z0) (sin (+ z1 z2)))":18,"(* (* -3 z0) (sin z1))":18,"(* (* 0 (cos (+ z0 z0))) (* (- 1 (* z1 z1)) z1))":2,"(* (* 0 (cos z0)) (* (* z0 z1) z2))":2,"(* (* 1 (* -1/2 (cos z0))) (- (- (* -3 z1) (* z1 6)) (* (sin z1) z2)))":2,"(* (* 1 (* 1/8 z0)) (* (sqrt (- 1 z1)) (- 1 (* z0 z0))))":7,"(* (* 1 (* 1/8 z0)) (* (sqrt z1) (- 1 z1)))":8,"(* (* 1 (* 1/8 z0)) (cos z1))":2,"(* (* 1 (/ z0 z1)) (* 1/2 (cos z2)))":4,"(* (* 1 (sqrt z0)) (* 1 (sqrt z0)))":159,"(* (* 1 z0) (* (sqrt z1) (- 1 z1)))":4,"(* (* 1/16 z0) (* (- 1 (* z0 z0)) (sqrt (- 1 z1))))":4,"(* (* 1/2 (* (cos z0) (fabs z1))) (+ (* (cos z1) z2) (* (+ z1 z1) 3)))":3,"(* (* 1/2 (+ (cos (+ z0 z0)) 1)) (/ 80 z1))":15,"(* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11)":43,"(* (* 1/2 (+ (cos (+ z0 z0)) 1)) 3)":27,"(* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80)":15,"(* (* 1/2 (+ (cos (+ z0 z0)) 1)) z1)":85,"(* (* 1/2 (+ (cos z0) 1)) 11)":43,"(* (* 1/2 (+ (cos z0) 1)) 3)":27,"(* (* 1/2 (+ (cos z0) 1)) 80)":15,"(* (* 1/2 (- (cos (+ z0 z0)) -1)) z1)":56,"(* (* 1/2 (- (cos z0) -1)) z1)":28,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3)":13,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)":35,"(* (* 1/2 (- 1 (cos z0))) (* (sin z0) (+ 0 (- z0 -1))))":18,"(* (* 1/2 (- 1 (cos z0))) 3)":14,"(* (* 1/2 (cos z0)) (* (fabs (sin z0)) (* z1 (+ 3 z2))))":8,"(* (* 1/2 (cos z0)) (- (- 0 (* z1 3)) (* (sin z1) z2)))":3,"(* (* 1/2 (cos z0)) (- (- 0 (* z1 z1)) (* z2 (sin z1))))":4,"(* (* 1/2 z0) (cos z1))":2,"(* (* 1/4 (* (sqrt z0) (- 1 z0))) (* (* z0 z0) (- (+ z0 z0) -3)))":4,"(* (* 1/4 (* (sqrt z0) (- 1 z0))) (- (* (* z0 3) (+ z0 z0)) (* (- 1 z0) (* z0 z0))))":2,"(* (* 1/4 (* z0 1)) (* (- 1 (* z1 z1)) (sqrt (- 1 z2))))":5,"(* (* 1/4 (* z0 z1)) (* (- 1 z1) (sqrt z1)))":5,"(* (* 1/8 (* (- 1 z0) (sqrt z0))) (- (* (- z0 1) (+ z0 z0)) (* (- z0 1/2) (* 3 z0))))":4,"(* (* 1/8 (* (/ z0 z1) 1)) (* (- 1 (* z2 z2)) (sqrt (- 1 z1))))":3,"(* (* 2 (- (* 3 (* 1/2 (+ (cos (+ z0 z0)) 1))) 1)) (* (- (pow (* (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* z1 (cos z2)) -1) (- (* z1 z1) 1)) 1)) (sin z2)))":20,"(* (* 2 (- (* 3 (* 1/2 (+ (cos (+ z0 z0)) 1))) 1)) z1)":21,"(* (* 2 (- (* 3 z0) 1)) (* (- (* z0 z0) (- z0 1)) (sin z1)))":20,"(* (* 2 (sin z0)) (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1))":2,"(* (* 2 (sin z0)) z1)":3,"(* (* 200 (* (* (* z0 z0) z0) z0)) (pow (- -3/2 z0) -2))":2,"(* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2))":2,"(* (* 200 (pow (cos z0) 4)) z1)":3,"(* (* 3 (* 1/2 (/ (- 1 (cos (+ z0 z0))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))) (- (+ (* (* z1 z1) (pow (cos z2) 3)) z1) (* -3 (+ (* z1 (* 1/2 (- (cos (+ z2 z2)) -1))) (cos z2)))))":5,"(* (* 3 (* 1/2 (/ (- 1 (cos (+ z0 z0))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))) z2)":5,"(* (* 3 (cos (* (+ z0 z1) 2))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":3,"(* (* 3 (cos (* (+ z0 z1) 2))) z2)":3,"(* (* 3 (cos (* -2 (+ z0 z1)))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":2,"(* (* 3 (cos (* -2 (+ z0 z1)))) z2)":2,"(* (* 3 (cos (* z0 -2))) (/ (* (* (- z0 -1) (- z0 -1)) (- z0 -1)) (* (* (- z0 1) (- z0 1)) (- 1 z0))))":3,"(* (* 3 (cos z0)) 1)":5,"(* (* 3 z0) (sin (+ (+ z1 z1) z2)))":5,"(* (* 3 z0) (sin (+ z1 z2)))":5,"(* (* 3 z0) (sin z1))":5,"(* (* z0 (+ z0 z0)) (sin (+ z1 z1)))":4,"(* (* z0 -1/8) (* (* z0 z0) (sin z0)))":2,"(* (* z0 -1/8) (sin z0))":19,"(* (* z0 1/2) (cos z1))":18,"(* (* z0 z0) (- (sin z0) (* z0 z0)))":2,"(* (* z0 z0) (- (sin z0) 0))":39,"(* (* z0 z0) (pow (cos z1) 3))":11,"(* (* z0 z0) (sin z0))":58,"(* (* z0 z0) (sin z1))":8,"(* (* z0 z1) (sin z2))":3,"(* (* z0 z1) (sqrt z1))":10,"(* (+ (* (* (- (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,"(* (+ (* (* z0 1/2) z1) (cos z2)) -3)":13,"(* (+ (* (* z0 1/2) z1) (cos z2)) 3)":5,"(* (+ (* (cos (+ (+ z0 z0) z1)) z2) (cos (* (+ z1 z0) 2))) 3)":13,"(* (+ (* (cos (+ z0 z0)) -3/2) -1/2) (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)))":4,"(* (+ (* (cos (+ z0 z0)) -3/2) -1/2) z1)":4,"(* (+ (* (cos z0) -3/2) -1/2) (- (/ 1 (* z0 z0)) -1))":4,"(* (+ (* (cos z0) z1) (cos (* z0 -2))) 3)":14,"(* (+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2))) 3)":4,"(* (+ (* (sin z0) z1) (sin (* z0 2))) 3)":6,"(* (+ (* z0 z0) 2) (sin z1))":15,"(* (+ (* z0 z1) (cos z2)) -3)":13,"(* (+ (* z0 z1) (cos z2)) 3)":3,"(* (+ (* z0 z1) (sin z0)) 3)":4,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3)) (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) 3))":3,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3)) (/ (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) 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)":3,"(* (+ (cos z0) (* z0 z1)) 3)":16,"(* (+ (cos z0) (* z1 z2)) 3)":2,"(* (+ (sin z0) (* z0 z1)) 3)":2,"(* (+ z0 z0) (cos z1))":20,"(* (+ z0 z0) (sin z0))":4,"(* (+ z0 z0) (sin z1))":11,"(* (- (* (* (* z0 z0) z0) z0) 0) (sin z1))":20,"(* (- (* (* (* z0 z0) z0) z0) 2/3) (sin (- (+ z1 z1) (* -3 z2))))":18,"(* (- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 3) 1) (* 2 (* (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1) (sin z1))))":15,"(* (- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 3) 1) z1)":16,"(* (- (* (* 1/2 z0) 3) 1) (* 2 (* (- z0 -1) (sin z1))))":16,"(* (- (* (* z0 z0) 200) -80) (/ (pow (cos z1) 4) z2))":4,"(* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4))":4,"(* (- (* (- (* (pow (cos z0) 3) z1) -1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) 3))":3,"(* (- (* (- (* (pow (cos z0) 3) z1) -1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) z2)":3,"(* (- (* (- (cos (+ z0 z0)) -1) -3/2) -3) z1)":4,"(* (- (* (- z0 -1) -3/2) -3) (* (cos (* z0 2)) 1))":3,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1)":16,"(* (- (* (cos z0) 1/2) 1/2) (* 3 (* z0 (+ z0 z0))))":16,"(* (- (* (pow (cos z0) 3) z1) -1) z2)":3,"(* (- (* (sin z0) z1) (* -3 (+ z0 z0))) (- 1/2 (* (cos z0) 5/2)))":4,"(* (- (* (sin z0) z1) (- z2 z0)) -6)":4,"(* (- (* (sin z0) z1) (- z2 z0)) 6)":4,"(* (- (* -40 (/ z0 (- -3/2 z0))) (- (* 11/2 z0) -9/2)) (* (cos z0) (/ (* z0 z1) (* (* z0 z2) (- z0 1)))))":3,"(* (- (* -40 (/ z0 (- -3/2 z0))) (- (* 11/2 z0) -9/2)) (cos (+ z1 z1)))":9,"(* (- (* 0 (* z0 z0)) (* (* z0 z0) (cos z0))) (* (- (* z1 z1) 1) 1/2))":2,"(* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4))":2,"(* (- (* 33 (* z0 z0)) -22) (* 1/2 (+ (cos (+ z1 z1)) 1)))":3,"(* (- (* 33 (* z0 z0)) -22) (* 1/2 (+ (cos z1) 1)))":3,"(* (- (* z0 -3/2) -3) (* (cos z0) (* (* z0 z0) z0)))":4,"(* (- (* z0 200) -80) (pow (cos z1) 4))":4,"(* (- (* z0 z0) (- z0 1)) (sin z1))":20,"(* (- (* z0 z0) 0) (sin (+ (+ z1 z1) z2)))":22,"(* (- (* z0 z0) 0) (sin z1))":2,"(* (- (* z0 z0) 1) (tan z1))":13,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) (* (- 1/2 (* (cos (+ z2 z2)) 1/2)) (/ 3 (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 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))":13,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (/ (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":6,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) z2)":14,"(* (- (+ (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1) (sin z0))":15,"(* (- (+ (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1) z2)":15,"(* (- (- (* z0 (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0))) (/ z0 (- -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))) (/ z0 (- -1 (sqrt (- 1 (* z0 z0)))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1)))) z2)":14,"(* (- (- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2))) (* (cos z0) (sin (+ z1 z1))))":3,"(* (- (- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/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)":4,"(* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1) (sin (+ (+ z2 z2) z0)))":3,"(* (- (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))) -1) (sin (+ (+ z2 z2) z1)))":19,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) z2)":10,"(* (- (- z0 -11) (* z0 z0)) (* (cos z1) (sin z0)))":3,"(* (- (/ (* -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 (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) (- (* (- -1 (cos (+ z2 z2))) -3/2) 1))":4,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1))":5,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 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)":45,"(* (- (cos (+ z0 z0)) -1) 11/2)":14,"(* (- (cos (+ z0 z0)) -1) 5/2)":13,"(* (- (cos (+ z0 z0)) -1) z1)":85,"(* (- (cos z0) -1) (/ -40 (* 1/2 (- (* 5 z0) 2))))":5,"(* (- (cos z0) -1) -3/2)":5,"(* (- (cos z0) -1) -40)":5,"(* (- (cos z0) -1) 1/2)":45,"(* (- (cos z0) -1) 11/2)":14,"(* (- (cos z0) -1) 5/2)":13,"(* (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1)) (sin z1))":20,"(* (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1)) z2)":20,"(* (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1/3)) (sin (- (+ z2 z2) (* -3 z1))))":18,"(* (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1/3)) z2)":18,"(* (- -1 (cos (+ z0 z0))) -3/2)":4,"(* (- -1 (cos (+ z0 z0))) z1)":4,"(* (- -1 (cos z0)) -3/2)":4,"(* (- 1 (* z0 z0)) (tan z1))":12,"(* (- 1 (- z0 -9/2)) (cos (+ z1 z1)))":9,"(* (- 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,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (/ 3 (* (* (* (* (- (* z1 z1) 1) z2) z2) (- (* z1 z1) 1)) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))))":2,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (/ 3 (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":3,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (/ 3 z1))":5,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3)":18,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":18,"(* (- 1/2 (* (cos z0) -1/2)) (- (* 33 (* z1 z1)) -22))":3,"(* (- 1/2 (* (cos z0) -1/2)) 11)":5,"(* (- 1/2 (* (cos z0) -1/2)) 3)":3,"(* (- 1/2 (* (cos z0) -1/2)) 5)":3,"(* (- 1/2 (* (cos z0) -1/2)) 80)":3,"(* (- 1/2 (* (cos z0) 1/2)) 3)":18,"(* (- 1/2 (* z0 -1/2)) (/ 80 (- -3/2 (* (cos z0) 5/2))))":3,"(* (- 12 (* (* -200 z0) (/ 1 (* z0 z0)))) (* (cos z1) (sin (+ z2 z2))))":3,"(* (- z0 (+ (* (sin z1) z2) z1)) 6)":18,"(* (- z0 -1) (sin z0))":22,"(* (/ (* 1 (* 1/2 z0)) (* (- z0 1) (- z0 1))) (* -1/2 (cos z1)))":2,"(* (/ 1/8 z0) (* (sqrt z0) (- 1 z0)))":11,"(* (atan (* (tanh (* 1/2 z0)) (sqrt (/ (- z1 -1) (- z1 1))))) z2)":2,"(* (atan (* (tanh z0) (sqrt z0))) 2)":2,"(* (atan2 (* (sin z0) (sqrt z0)) (* (cos z0) (sqrt z0))) 2)":4,"(* (atan2 (* z0 z0) (* z0 z0)) 2)":4,"(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- z1 1) (- z1 -1))))) z2)":2,"(* (atanh (* (tan z0) (sqrt z0))) 2)":2,"(* (cos (* (+ z0 z1) 2)) (/ (* (* (- z2 -1) (- z2 -1)) (- z2 -1)) (* (* (- 1 z2) (- 1 z2)) (- 1 z2))))":6,"(* (cos (* (+ z0 z1) 2)) (/ (* (* (- z2 -1) (- z2 -1)) (- z2 -1)) (* (* (- z2 1) (- z2 1)) (- 1 z2))))":2,"(* (cos (* (+ z0 z1) 2)) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":8,"(* (cos (* (+ z0 z1) 2)) z2)":8,"(* (cos (* -1/2 z0)) z1)":4,"(* (cos (+ (+ z0 z0) z1)) z2)":26,"(* (cos (+ z0 (+ z1 z1))) z2)":6,"(* (cos (+ z0 z0)) -3/2)":9,"(* (cos (+ z0 z0)) 5/2)":38,"(* (cos (+ z0 z0)) z1)":121,"(* (cos (+ z0 z1)) z2)":16,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":6,"(* (cos (- (- z0 z1) z1)) z2)":3,"(* (cos (- z0 (- (* -3 z1) z0))) z2)":26,"(* (cos (- z0 (- z1 z0))) z2)":13,"(* (cos (- z0 z1)) z2)":16,"(* (cos z0) (* (* z0 z0) z0))":9,"(* (cos z0) (* z0 z1))":3,"(* (cos z0) (+ z1 z1))":6,"(* (cos z0) (- 1 z0))":13,"(* (cos z0) (/ (* z0 z1) (* (* z0 z2) (- z0 1))))":3,"(* (cos z0) (fabs (sin z0)))":3,"(* (cos z0) (fabs z1))":3,"(* (cos z0) (sin (+ z1 z1)))":3,"(* (cos z0) (sin z1))":6,"(* (cos z0) (sqrt z0))":4,"(* (cos z0) -3/2)":9,"(* (cos z0) 5/2)":38,"(* (cos z0) z1)":596,"(* (fabs (sin z0)) (* z1 (+ 3 z2)))":9,"(* (fabs (sin z0)) (+ (* z1 (cos z2)) (* 3 (+ z2 z2))))":9,"(* (fabs (sin z0)) z1)":9,"(* (pow (* 10000/2928563 z0) 4) 5269/10000)":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 (- -3/2 (* z0 5/2)) -2) (* (* (* z0 400) z1) z1))":4,"(* (pow (- -3/2 (* z0 5/2)) -2) (* -200 (pow (cos z1) 4)))":3,"(* (pow (- -3/2 z0) -2) (* (* z0 z1) z1))":4,"(* (pow (- -3/2 z0) -2) (* -200 (* (* (* z0 z0) z0) z0)))":3,"(* (pow (cos z0) 3) z1)":102,"(* (pow (cos z0) 4) (/ 40 (- -3/2 (* 5 (* 1/2 z1)))))":16,"(* (pow (cos z0) 4) (/ 40 (- 1 (* (- 1/2 z1) 5))))":3,"(* (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 2)) 3)":17,"(* (sin (+ (+ z0 z0) z1)) (- (* z2 z2) 0))":30,"(* (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))":20,"(* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))":10,"(* (sin (+ (+ z0 z0) z1)) z2)":38,"(* (sin (+ z0 (+ z1 z1))) z2)":8,"(* (sin (+ z0 z0)) (* z1 (+ z1 z1)))":3,"(* (sin (+ z0 z0)) z1)":4,"(* (sin (+ z0 z1)) 1)":30,"(* (sin (+ z0 z1)) z2)":8,"(* (sin (- (+ z0 z0) (* -3 z1))) (+ (* z2 z2) 4/3))":16,"(* (sin (- (+ z0 z0) (* -3 z1))) (- (* z2 z2) 2/3))":18,"(* (sin (- (+ z0 z0) (* -3 z1))) (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1/3))":16,"(* (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))":8,"(* (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))":10,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":94,"(* (sin z0) (* (* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) 2) (- (* (* 1/2 (+ (cos (+ z2 z2)) 1)) 3) 1)))":10,"(* (sin z0) (* (* (- z1 -1) 2) (- (* z1 3) 1)))":10,"(* (sin z0) (* (* z1 2) (- z1 1)))":10,"(* (sin z0) (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2))":3,"(* (sin z0) (* z1 2))":3,"(* (sin z0) (* z1 z1))":10,"(* (sin z0) (+ (- z0 -1) (- z0 -1/3)))":30,"(* (sin z0) (+ 0 (- z0 -1)))":18,"(* (sin z0) (+ z0 z0))":3,"(* (sin z0) (+ z1 z1))":2,"(* (sin z0) (- z0 -1))":30,"(* (sin z0) (- z0 -1/3))":34,"(* (sin z0) (sqrt z0))":4,"(* (sin z0) 3)":18,"(* (sin z0) z1)":158,"(* (sqrt z0) (cos z0))":2,"(* (sqrt z0) (sin z0))":2,"(* (sqrt z0) z1)":25,"(* (tan (* 1/2 z0)) z1)":2,"(* (tan z0) (sqrt z0))":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 (+ (* (* 1/2 z0) z1) (cos z2)))":28,"(* -3 (+ (* (* z0 1/2) z1) (cos z2)))":5,"(* -3 (+ (* (sin z0) z1) (sin (* z0 2))))":2,"(* -3 (+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2)))))":4,"(* -3 (+ (* z0 (sin z1)) (sin (+ z1 z1))))":4,"(* -3 (+ (* z0 z1) (cos z2)))":33,"(* -3 (+ (* z0 z1) (sin z1)))":5,"(* -3 (+ (sin z0) (* z0 z1)))":2,"(* -40 (pow (cos z0) 4))":72,"(* 0 (* (sqrt z0) (- 1 z0)))":6,"(* 1 (cos (* 2 (+ z0 z1))))":7,"(* 1 (sin (+ z0 z1)))":22,"(* 1/2 (* (cos z0) (fabs (sin z0))))":3,"(* 1/2 (* (cos z0) (fabs z1)))":3,"(* 1/2 (+ (cos (+ z0 z0)) 1))":180,"(* 1/2 (+ (cos z0) 1))":181,"(* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))":5,"(* 1/2 (- (cos (+ z0 z0)) -1))":39,"(* 1/2 (- (cos z0) -1))":39,"(* 1/2 (- 1 (cos (+ z0 z0))))":51,"(* 1/2 (- 1 (cos z0)))":51,"(* 1/2 (- 2 (* 5 (- (cos (+ z0 z0)) -1))))":5,"(* 1/2 (/ (+ (cos (+ z0 z0)) 1) z1))":2,"(* 1/2 (/ (- 1 (cos (+ z0 z0))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))":5,"(* 1/2 (/ (- 1 (cos (+ z0 z0))) z1))":5,"(* 1/4 (* (sqrt z0) (- 1 z0)))":8,"(* 1/8 (* (* z0 z0) (cos z1)))":4,"(* 1/8 (* (- 1 z0) (sqrt z0)))":4,"(* 11 (* 1/2 (+ (cos (+ z0 z0)) 1)))":53,"(* 11 (* 1/2 (+ (cos z0) 1)))":53,"(* 11/2 (cos (+ z0 z0)))":17,"(* 11/2 (cos z0))":17,"(* 2 (* (- (+ (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1) (sin z0)))":15,"(* 2 (* (- (+ z0 z0) -1) (sin z1)))":15,"(* 2 (- (* 3 (* 1/2 (+ (cos (+ z0 z0)) 1))) 1))":21,"(* 2 (atan2 (* (sqrt z0) (sin z0)) (* (sqrt z0) (cos z0))))":2,"(* 2 (atan2 (* z0 z0) (* z0 z0)))":2,"(* 200 (pow (cos z0) 4))":3,"(* 3 (* (sin z0) (+ (- z0 -1) (- z0 -1/3))))":15,"(* 3 (* 1/2 (+ (cos (+ z0 z0)) 1)))":21,"(* 3 (* 1/2 (+ (cos z0) 1)))":21,"(* 3 (* 1/2 (/ (- 1 (cos (+ z0 z0))) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":5,"(* 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)) (* (sin (- (+ z0 z0) (* -3 z1))) (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1/3))))":15,"(* 3 (+ (* z0 (* 1/2 (- (cos (+ z1 z1)) -1))) (cos z1)))":11,"(* 3 (+ (* z0 (* 1/2 z1)) (cos z2)))":11,"(* 3 (+ (* z0 (cos (+ (+ z1 z1) z2))) (cos (* 2 (+ z1 z2)))))":8,"(* 3 (+ (* z0 (cos z1)) (cos (+ z1 z1))))":9,"(* 3 (+ (* z0 z1) (cos z1)))":9,"(* 3 (+ (* z0 z1) (cos z2)))":11,"(* 3 (cos (* (+ z0 z1) 2)))":3,"(* 3 (cos (* -2 (+ z0 z1))))":2,"(* 3 (cos (* z0 -2)))":3,"(* 3 (cos z0))":5,"(* 3 (sin (* 2 (+ z0 z1))))":5,"(* 3 (sin (+ z0 z0)))":5,"(* 3 (sin z0))":5,"(* 3/2 (- (cos (+ z0 z0)) -1))":5,"(* 3/2 (- (cos z0) -1))":5,"(* 40 (pow (cos z0) 4))":50,"(* 5 (* 1/2 (+ (cos (+ z0 z0)) 1)))":11,"(* 5 (* 1/2 (+ (cos z0) 1)))":11,"(* 5 (* 1/2 (cos (+ z0 z0))))":122,"(* 5 (* 1/2 (cos z0)))":122,"(* 5 (- (cos (+ z0 z0)) -1))":10,"(* 5 (- (cos z0) -1))":10,"(* 5/2 (cos (+ z0 z0)))":21,"(* 5/2 (cos z0))":21,"(* 6 (- (+ (* z0 (sin z1)) z1) z2))":6,"(* 80 (* 1/2 (+ (cos (+ z0 z0)) 1)))":4,"(* 80 (* 1/2 (+ (cos z0) 1)))":4,"(* 80 (/ (* 1/2 (+ (cos (+ z0 z0)) 1)) z1))":4,"(* z0 (* (* (* (pow (cos z1) 6) 400) z2) z2))":4,"(* z0 (* (* (cos z1) z2) z2))":17,"(* z0 (* (* 1/2 (- 1 (cos (+ z1 z1)))) 3))":13,"(* z0 (* (* 2 (sin z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1)))":2,"(* z0 (* (* z1 z1) (cos z1)))":12,"(* z0 (* (* z1 z1) (cos z2)))":2,"(* z0 (* (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1) (sin z1)))":15,"(* z0 (* (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1) 2))":3,"(* z0 (* (- (pow (* (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* z1 (cos z2)) -1) (- (* z1 z1) 1)) 1)) (sin z2)))":20,"(* z0 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (/ 3 (* (* (- 1 (* z2 z2)) (- 1 (* z2 z2))) (- 1 (* z2 z2))))))":3,"(* z0 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) 3))":8,"(* z0 (* (cos (+ z1 z1)) (- 1 (* z2 z2))))":13,"(* z0 (* (cos z1) (fabs (sin z1))))":3,"(* z0 (* (cos z1) (sin (+ z2 z2))))":3,"(* z0 (* (sqrt z1) (- 1 z1)))":11,"(* z0 (* -1/2 (cos z1)))":6,"(* z0 (* -1/8 (sin (+ z1 z1))))":2,"(* z0 (* -200 (pow (cos z1) 4)))":4,"(* z0 (* 1/2 (+ (cos (+ z1 z1)) 1)))":93,"(* z0 (* 1/2 (- (cos (+ z1 z1)) -1)))":22,"(* z0 (* 1/2 (- (cos z1) -1)))":11,"(* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))":11,"(* z0 (* 1/2 (/ (- 1 (cos (+ z1 z1))) (* (* (- (* z2 z2) 1) (- (* z2 z2) 1)) (- 1 (* z2 z2))))))":5,"(* z0 (* 1/2 (cos (+ z1 z1))))":122,"(* z0 (* 1/2 (cos z1)))":15,"(* z0 (* 2 (* (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1) (sin 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 (+ (/ -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) (sqrt z1)))":6,"(* z0 (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)))":4,"(* z0 (+ (cos (+ z1 z1)) 1))":180,"(* z0 (+ (sqrt (- 1 z1)) (* (* (* z1 z1) z1) z0)))":21,"(* z0 (+ (sqrt z1) (* z1 z0)))":21,"(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":2,"(* z0 (- (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 3) 1))":11,"(* z0 (- (* (* 1/2 z1) (cos (* 1/2 z2))) (sin (* -1/2 z2))))":2,"(* z0 (- (* (- -1 (cos (+ z1 z1))) -3/2) 1))":4,"(* z0 (- (* (cos (+ z1 z1)) -3/2) -3/2))":4,"(* z0 (- (* 3 (* 1/2 (+ (cos (+ z1 z1)) 1))) 1))":21,"(* z0 (- (* 3/2 (- (cos (+ z1 z1)) -1)) 1))":5,"(* z0 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))":5,"(* z0 (- (+ (* (* z1 z1) (pow (cos z2) 3)) z1) (* -3 (+ (* z1 (* 1/2 (- (cos (+ z2 z2)) -1))) (cos z2)))))":5,"(* z0 (- (+ (* (sqrt (- 1 (* z1 z1))) z1) (+ (* (* (pow (cos z2) 3) z1) z1) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)))) (* (+ (* (* (- (cos (+ z2 z2)) -1) 1/2) z1) (cos z2)) -3)))":3,"(* 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 (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1/3))":16,"(* z0 (- (- (* z1 (+ (sqrt (- 1 (* z1 z1))) (* (pow (cos z2) 3) z1))) (/ z1 (- -1 (sqrt (- 1 (* z1 z1)))))) (* (+ (* (* (- (cos (+ z2 z2)) -1) 1/2) z1) (cos z2)) -3)))":5,"(* 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 (- (- (/ (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1)))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5 (* 1/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/2 (- 2 (* 5 (- (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)) (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1)))))) (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 11)) -1))":23,"(* z0 (- (- (/ (* 80 (* 1/2 (+ (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))":2,"(* z0 (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3))":8,"(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3))":10,"(* z0 (- (- 1 (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 11)) (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5 (* 1/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 (* 1/2 (+ (cos (+ z1 z1)) 1)))) (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2))))":3,"(* z0 (- (- 1 (* 11 (* 1/2 (+ (cos (+ z1 z1)) 1)))) (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1))))))))":49,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 11) 1)))":3,"(* 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))":54,"(* z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":3,"(* z0 (- 1 (* 5 (* 1/2 (+ (cos (+ z1 z1)) 1)))))":2,"(* z0 (- 1 (cos (+ z1 z1))))":51,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 5/2)))":4,"(* z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":4,"(* z0 (- 2 (* 5 (- (cos (+ z1 z1)) -1))))":5,"(* z0 (/ (* 1/2 (+ (cos (+ z1 z1)) 1)) (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1)))))))":2,"(* 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))))":22,"(* z0 (cos (* z1 1/2)))":2,"(* z0 (cos (+ (+ z1 z1) z2)))":16,"(* z0 (cos (+ z1 (+ z2 z2))))":2,"(* z0 (cos (+ z1 z1)))":225,"(* z0 (cos (+ z1 z2)))":9,"(* z0 (cos (- (- (* -3 z1) z2) z2)))":18,"(* z0 (cos (- (- z1 z2) z2)))":9,"(* z0 (cos (- z1 z2)))":9,"(* z0 (cos z1))":358,"(* z0 (fabs (sin z1)))":16,"(* z0 (pow (* 1/2 (- 2 (* 5 (- (cos (+ z1 z1)) -1)))) -2))":5,"(* z0 (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))":5,"(* z0 (pow (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1))))) -2))":17,"(* z0 (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 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)))":28,"(* z0 (sin (+ (+ z1 z2) z2)))":4,"(* z0 (sin (+ z1 (+ z2 z2))))":26,"(* z0 (sin (+ z1 z1)))":86,"(* z0 (sin (+ z1 z2)))":6,"(* z0 (sin (- (+ z1 z1) (* -3 z2))))":33,"(* z0 (sin z1))":103,"(* z0 (tan z1))":25,"(+ (* (* (* (* z0 z0) z0) z1) z1) (/ z1 (- (sqrt z0) -1)))":4,"(+ (* (* (* z0 1/2) (* z0 z0)) (* z0 (+ 3 z1))) (/ (* z1 (* z0 z0)) (* (- 1 z0) (tan z2))))":3,"(+ (* (* (* z0 1/2) (cos z1)) (* (fabs z0) (+ z0 z0))) (/ (* z2 (* z0 z0)) (* (- 1 z0) (tan z1))))":9,"(+ (* (* (+ z0 z0) (* 1/2 z0)) 3) (* (sin z1) (* (* z0 2) (- z0 1))))":10,"(+ (* (* (- (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 (* 1/2 (cos (+ z0 z0))))) -2)) z1)":2,"(+ (* (* z0 1/2) 0) (* (* z0 z0) (cos z0)))":5,"(+ (* (* z0 z0) (pow (cos z1) 3)) z0)":5,"(+ (* (* z0 z0) (pow (cos z1) 3)) z2)":11,"(+ (* (* z0 z0) (sin z1)) (* (+ z0 z0) (cos z1)))":5,"(+ (* (* z0 z0) 3) (* (sin z1) (* z0 z0)))":10,"(+ (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3) z2)":4,"(+ (* (+ (cos z0) (* z0 z1)) 3) (* (cos (- z0 z2)) z1))":3,"(+ (* (+ (cos z0) (* z0 z1)) 3) (* (cos (- z2 z0)) z1))":13,"(+ (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) -1) (sin (+ (+ z2 z2) z0))) (* (sin (- (+ z2 z2) (* -3 z0))) (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1/3)))":2,"(+ (* (- (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))) -1) (sin (+ (+ z2 z2) z1))) (* (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1/3)) (sin (- (+ z2 z2) (* -3 z1)))))":18,"(+ (* (- z0 -1) (sin z0)) (* (sin z0) (- z0 -1/3)))":3,"(+ (* (/ 1/16 z0) 0) (* (* (* z0 z0) (cos z1)) (- (- z0 -11) (* z0 z0))))":2,"(+ (* (cos (+ (+ z0 z0) z1)) z2) (cos (* (+ z1 z0) 2)))":13,"(+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* 2 (+ z0 z1))))":2,"(+ (* (cos (+ z0 z0)) -3/2) -1/2)":5,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* 2 (+ z0 z1)))) 3))":2,"(+ (* (cos (- z0 (- (* -3 z1) z0))) z2) (* (+ (* (cos (+ (+ z0 z0) z1)) z2) (cos (* (+ z1 z0) 2))) 3))":13,"(+ (* (cos z0) (+ z1 z1)) (* (* z1 z1) (sin z0)))":2,"(+ (* (cos z0) -3/2) -1/2)":5,"(+ (* (cos z0) z1) (* (+ z0 z0) 3))":16,"(+ (* (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)) (* (sin (- (+ z0 z0) (* -3 z1))) (- (+ (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1/3)))":15,"(+ (* (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)) (* (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)))":5,"(+ (* (sin (+ (+ z0 z0) z1)) z2) (sin (* (+ z1 z0) 2)))":2,"(+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2)))":4,"(+ (* (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 z0) z1)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))":10,"(+ (* (sin z0) z1) (sin (* z0 2)))":8,"(+ (* (sqrt (- 1 (* z0 z0))) z0) (+ (* (* (pow (cos z1) 3) z0) z0) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))))":3,"(+ (* 3 (+ (* z0 (cos (+ (+ z1 z1) z2))) (cos (* 2 (+ z1 z2))))) (* z0 (cos (- (- (* -3 z2) z1) z1))))":8,"(+ (* 3 (+ (* z0 z1) (cos z1))) (* z0 (cos (- z1 z2))))":9,"(+ (* z0 (* 1/2 (- (cos (+ z1 z1)) -1))) (cos z1))":11,"(+ (* z0 (* 1/2 (- (cos (+ z1 z1)) -1))) z2)":11,"(+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3)))":5,"(+ (* z0 (+ (/ -1 z1) (sqrt z1))) (* (* z0 z0) (pow (cos z2) 3)))":6,"(+ (* z0 (cos (+ (+ z1 z1) z2))) (cos (* 2 (+ z1 z2))))":8,"(+ (* z0 (cos z1)) (* 3 (+ z1 z1)))":9,"(+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2))))":4,"(+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3))":3,"(+ (+ (* (* z0 z0) (* (* z1 z1) z1)) z0) (* 3 (+ (* z0 z1) (cos z2))))":5,"(+ (+ (* (* z0 z1) z1) z1) (* (+ (* z0 z1) (cos z2)) 3))":3,"(+ (+ (* z0 (+ z1 z1)) (* (* z0 z0) (* (* z1 z1) z1))) (* 3 (+ (* z0 z1) (cos z2))))":5,"(+ (+ (/ z0 (- z1 -1)) (* (* z1 z0) z0)) (* (sqrt (- 1 z1)) z0))":4,"(+ (- (- -503/40 z0) (* z0 z0)) (* (pow z0 5) -5889/10000))":2,"(+ (/ (* 80 (* 1/2 z0)) (- -3/2 z0)) (* (* 200 (* (* (* z0 z0) z0) z0)) (pow (- -3/2 z0) -2)))":2,"(+ (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2)":32,"(+ (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) (* (* 1 (sqrt z0)) (* 1 (sqrt z0))))":32,"(+ (/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3))":4,"(+ (/ 1 (* (- z0 1) (sqrt z0))) (/ (* (* (- z0 -1) (- z0 -1)) (- z0 -1)) (* (* (- z0 1) (- z0 1)) (- 1 z0))))":4,"(+ (cos (* (+ z0 z1) 2)) z2)":14,"(+ (cos (* 2 (+ z0 z1))) z2)":11,"(+ (cos (+ z0 z0)) 1)":180,"(+ (cos z0) 1)":180,"(+ (sin (* (+ z0 z1) 2)) z2)":8,"(+ (sin (* 2 (+ z0 z1))) z2)":6,"(- (* (* (* z0 z0) (* z0 z1)) (- (- z0 -11) (* z0 z0))) (* (* (* z0 1/2) (cos z2)) (- 0 (* z0 z1))))":3,"(- (* (* (* z0 z0) (fabs z0)) (* z0 (+ 3 z1))) (* (* (* z0 z1) (* z0 z0)) 0))":13,"(- (* (* (* z0 z0) (sin z0)) 1) (* (* (* (* z0 z0) z0) z0) (* z0 (+ z0 3))))":3,"(- (* (* (* z0 z0) (sin z0)) 1) (* (* (* 1/4 z0) (* z0 z0)) (* z0 (+ z0 3))))":6,"(- (* (* (* z0 z1) (* z0 z2)) (- (+ z0 z0) (* z0 -3))) (* (* (* z0 z0) 1) (cos (* z0 -2))))":3,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)":10,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) z1)":10,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) z1)":2,"(- (* (* (/ z0 z1) 1) (- 0 (* z0 -3))) (* 1 (cos (* z0 -2))))":3,"(- (* (* (cos z0) (* (* z0 z0) z0)) (- (* z0 -3/2) -3/2)) (* (- (/ 1 z0) (* (* z0 z0) z0)) (- (* 3/2 z0) 1)))":4,"(- (* (* -3 z0) (sin z1)) (* (- z2 z1) 6))":18,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (- (/ (- z0 -1) (- z0 1)) 1))":20,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (- (/ (- z0 -1) (- z0 1)) 1/3))":18,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (/ (- (* z0 z1) -1) (- (* z1 z1) 1)))":14,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1))))":24,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1))))":19,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (/ (- -1 (* z0 z1)) (- (* z1 z1) 1)))":10,"(- (* (* 1 (sqrt z0)) (* 1 (sqrt z0))) (/ (- -1 (* z0 z1)) (- 1 (* z1 z1))))":20,"(- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11) 1)":4,"(- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11) z1)":4,"(- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 3) 1)":27,"(- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 3) z1)":27,"(- (* (* 2 (- z0 1)) (* 0 (sin z1))) (* -3 (* (* 1/2 z0) (+ z0 z0))))":20,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2)) (* -80 (/ (* 1/2 (+ (cos (+ z0 z0)) 1)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))))))":2,"(- (* (* z0 -1/8) (* (* z0 z0) (* z1 z1))) (* (* (* z0 1/2) (cos z2)) (- 0 (* z1 z0))))":3,"(- (* (* z0 z0) (cos z1)) (* (+ z0 z0) (sin z1)))":6,"(- (* (+ z0 z0) (sin z0)) 0)":4,"(- (* (- (* (pow (cos z0) 3) z1) -1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3))":3,"(- (* (- (* z0 -3/2) -3) (* (cos z0) (* (* z0 z0) z0))) (* (- (/ 1 z0) (* (* z0 z0) z0)) (- (* z0 -3/2) 1)))":4,"(- (* (- (* z0 z0) (- z0 1/3)) 0) (* -1 (sin (+ z1 z0))))":18,"(- (* (- (* z0 z1) -1) z1) (* (+ (* z0 z1) (cos z2)) -3))":3,"(- (* (- (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,"(- (* (- (cos z0) -1) -3/2) -3)":5,"(- (* (- (cos z0) -1) 11/2) 1)":14,"(- (* (- -1 (cos (+ z0 z0))) -3/2) 1)":4,"(- (* (- -1 (cos (+ z0 z0))) -3/2) z1)":4,"(- (* (- -1 (cos z0)) -3/2) 1)":4,"(- (* (- 0 (* -3 z0)) (* (* z0 1/2) (* z1 z2))) (* 1 (cos (+ z0 z0))))":7,"(- (* (- 0 (* -3 z0)) (* z0 (/ z0 (+ z1 z1)))) (* 1 (cos (+ z0 z0))))":2,"(- (* (- 0 (* -3 z0)) (* z0 (/ z1 (* z2 z2)))) (* 1 (cos (+ z0 z0))))":3,"(- (* (- 0 (* z0 -3)) (* (* z0 z1) (* z0 z2))) (* (* (* z0 z2) (* z0 z0)) (cos (* z0 -2))))":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)) 1/2) 1/2)":16,"(- (* (cos z0) -3/2) -3/2)":4,"(- (* (cos z0) 1/2) 1/2)":16,"(- (* (pow (cos z0) 3) z1) -1)":3,"(- (* (pow (cos z0) 3) z1) z2)":3,"(- (* (sin (+ z0 z1)) 1) (* 0 (- (+ z1 z1) -1/3)))":15,"(- (* (sin (+ z0 z1)) 1) 0)":15,"(- (* (sin z0) z1) (* -3 (+ z0 z0)))":4,"(- (* 0 (* z0 z0)) (* (* z0 z0) (cos z0)))":9,"(- (* 0 (sin (+ z0 z0))) (* (* (* 1/8 z1) (* z1 z1)) 0))":4,"(- (* 0 (sin (+ z0 z0))) (* (* (* z1 1/4) (* z1 z1)) (* z1 (- z1 -3))))":18,"(- (* 0 (sin (+ z0 z0))) (* (* (* z1 1/4) (* z1 z1)) 0))":3,"(- (* 0 (sin (+ z0 z0))) (* (* (* z1 1/4) (+ z1 z1)) (* (sqrt z1) (- 1 z1))))":2,"(- (* 0 (sin (+ z0 z0))) (* (* (* z1 z1) 1) (* z1 (- z1 -3))))":3,"(- (* 0 (sin (+ z0 z0))) (* (* (* z1 z1) 1) 0))":11,"(- (* 1 (sin (+ z0 z1))) 0)":3,"(- (* 11/2 (cos (+ z0 z0))) -9/2)":17,"(- (* 11/2 (cos z0)) -9/2)":17,"(- (* 3 (* 1/2 (+ (cos (+ z0 z0)) 1))) 1)":21,"(- (* 3 (* 1/2 (+ (cos (+ z0 z0)) 1))) z1)":21,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)":5,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) z1)":5,"(- (* 3/2 (- (cos z0) -1)) 1)":5,"(- (* 5 (- (cos (+ z0 z0)) -1)) 2)":5,"(- (* 5 (- (cos (+ z0 z0)) -1)) z1)":5,"(- (* 5 (- (cos z0) -1)) 2)":5,"(- (* 5/2 (cos (+ z0 z0))) -3/2)":4,"(- (* 5/2 (cos z0)) -3/2)":4,"(- (* 6 (- (+ z0 z1) z2)) (* 3 (sin (+ z0 z0))))":5,"(- (* 6 (- z0 z1)) (* 3 (sin z0)))":5,"(- (* z0 (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0))) (/ z0 (- -1 (sqrt (- 1 (* z0 z0))))))":21,"(- (* z0 (+ (sqrt z1) (* z1 z0))) (/ z0 (- -1 (sqrt z1))))":21,"(- (* z0 (- z0 6)) (* (sin z0) 3))":18,"(- (* z0 3) (* (* 3 z1) (sin z0)))":5,"(- (+ (* (* (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 z0) (pow (cos z1) 3)) z0) (* -3 (+ (* z0 (* 1/2 (- (cos (+ z1 z1)) -1))) (cos z1))))":5,"(- (+ (* (* z0 z1) z1) z1) (* -3 (+ (* z0 z1) (cos z2))))":19,"(- (+ (* (sqrt (- 1 (* z0 z0))) z0) (+ (* (* (pow (cos z1) 3) z0) z0) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3))":3,"(- (+ (* 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,"(- (- (* (* -3 z0) (sin z1)) (* (- z2 z1) 6)) (* (sin (* z1 2)) 3))":17,"(- (- (* 80 (/ z0 (- -3/2 z0))) -11) (* (* -200 (* (* (* z0 z0) z0) z0)) (pow (- -3/2 z0) -2)))":3,"(- (- (* z0 (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0))) (/ z0 (- -1 (sqrt (- 1 (* z0 z0)))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3))":7,"(- (- (* z0 (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0))) (/ z0 (- -1 (sqrt (- 1 (* z0 z0)))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1))))":14,"(- (- (* z0 (+ z1 z1)) (/ z1 (- -1 z0))) (* (+ (* z0 z1) (cos z2)) -3))":7,"(- (- (* z0 (+ z1 z1)) (/ z1 (- -1 z0))) (* -3 (+ (* z0 z1) (cos z2))))":14,"(- (- (* z0 (- z0 6)) (* (sin z0) 3)) (* 0 z1))":18,"(- (- (* z0 (/ -40 (* 1/2 z0))) -11) (* (* -200 (* (* (* z0 z0) z0) z0)) (pow (* 1/2 z0) -2)))":5,"(- (- (* z0 (/ 80 (- -3/2 z0))) -11) (* (* -200 (* (* (* z0 z0) z0) z0)) (pow (- -3/2 z0) -2)))":15,"(- (- (* z0 (/ 80 (- -3/2 z0))) -11) (* (pow (- -3/2 z0) -2) (* -200 (* (* (* z0 z0) z0) z0))))":3,"(- (- (* z0 3) (* (* 3 z1) (sin z0))) 0)":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)))) 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,"(- (- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5 (* 1/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/2 (- 2 (* 5 (- (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 (* 1/2 (cos (+ z0 z0)))))) (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11)) -1)":23,"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11)) z1)":23,"(- (- (/ (* 80 (* 1/2 (+ (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)":24,"(- (- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))) z2)":19,"(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) z2)":10,"(- (- 0 (* (sin z0) z1)) (* (+ (* z0 z1) (sin z0)) 3))":2,"(- (- 0 (* z0 3)) (* (sin z0) z1))":18,"(- (- 1 (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11)) (/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))))":16,"(- (- 1 (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 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 (* 1/2 (+ (cos (+ z0 z0)) 1)))) (/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2)))":3,"(- (- 1 (* 11 (* 1/2 (+ (cos (+ z0 z0)) 1)))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))))":49,"(- (- 1 (* 11 (* 1/2 (+ (cos (+ z0 z0)) 1)))) z1)":52,"(- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) (+ -11 z1))":15,"(- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) -11)":15,"(- (/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/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,"(- (/ (* (- (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,"(- (/ (* (- z0 -80) (* (* (* z0 z0) z0) z0)) (- -3/2 (* z0 5/2))) (* (* (* z0 z1) z1) (pow (- -3/2 z0) -2)))":2,"(- (/ (* (- z0 -80) (* (* (* z0 z0) z0) z0)) (- -3/2 (* z0 5/2))) (* (pow (- -3/2 z0) -2) (* (* z0 z1) z1)))":4,"(- (/ (* -40 (* (* (* z0 z0) z0) z0)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (cos z0)) -9/2))":17,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11) 1))":3,"(- (/ (* -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 (* 1/2 (cos (+ z0 z0)))))) (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11))":23,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) z1)":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)":17,"(- (/ (* -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,"(- (/ (* 80 (* 1/2 (+ (cos (+ z0 z0)) 1))) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1))":3,"(- (/ (* 80 (* 1/2 (+ (cos (+ z0 z0)) 1))) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11)":3,"(- (/ (* 80 (* 1/2 (+ (cos (+ z0 z0)) 1))) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":3,"(- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) z2)":38,"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3))":9,"(- (/ 1 (* (sqrt z0) (- 1 z0))) (/ (* (* (- z0 -1) (- z0 -1)) (- z0 -1)) (* (* (- 1 z0) (- 1 z0)) (- 1 z0))))":6,"(- (/ 1 (* (sqrt z0) (- 1 z0))) (/ (* (* (- z0 -1) (- z0 -1)) (- z0 -1)) (* (* (- z0 1) (- z0 1)) (- 1 z0))))":3,"(- (cos (+ z0 z0)) -1)":139,"(- (cos z0) -1)":139,"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))))":24,"(- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1)) 1/3))":18,"(- (pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))))":19,"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)))":10,"(- -1 (cos (+ z0 z0)))":4,"(- -1 (cos z0))":4,"(- -3/2 (* (cos (+ z0 z0)) 5/2))":32,"(- -3/2 (* (cos z0) 5/2))":32,"(- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))":122,"(- -3/2 (* 5 (* 1/2 (cos z0))))":122,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":17,"(- -3/2 (* 5/2 (cos z0)))":17,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))":9,"(- 1 (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11))":16,"(- 1 (* (- (cos (+ z0 z0)) -1) 5/2))":13,"(- 1 (* (- (cos z0) -1) 5/2))":13,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11))":3,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))":3,"(- 1 (* 11 (* 1/2 (+ (cos (+ z0 z0)) 1))))":52,"(- 1 (* 5 (* 1/2 (+ (cos (+ z0 z0)) 1))))":7,"(- 1 (cos (+ z0 z0)))":51,"(- 1 (cos z0))":51,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":17,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":19,"(- 1/2 (* (cos (+ z0 z0)) 5/2))":4,"(- 1/2 (* (cos z0) -1/2))":17,"(- 1/2 (* (cos z0) 1/2))":19,"(- 1/2 (* (cos z0) 5/2))":4,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":4,"(- 1/2 (* 1/2 (cos z0)))":4,"(- 2 (* 5 (- (cos (+ z0 z0)) -1)))":5,"(- 2 (* 5 (- (cos z0) -1)))":5,"(- 3 (* 5 (* 1/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 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))":9,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (* 1/2 (- 2 (* 5 (- (cos (+ z1 z1)) -1)))) -2)))":5,"(- 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 (* 1/2 (cos (+ z1 z1))))) -2)))":15,"(- z0 (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 11))":39,"(- z0 (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)) -3))":13,"(- z0 (* (- (* 33 (* z1 z1)) -22) (* 1/2 (+ (cos (+ z2 z2)) 1))))":3,"(- 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)) 5))":3,"(- 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))))":11,"(- z0 (* 11 (* 1/2 (+ (cos (+ z1 z1)) 1))))":52,"(- z0 (* 3 (sin (* 2 (+ z1 z2)))))":5,"(- z0 (* 5 (* 1/2 (+ (cos (+ z1 z1)) 1))))":10,"(- z0 (* 5 (- (cos (+ z1 z1)) -1)))":5,"(- z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1))":10,"(- z0 (- (* (* 1/2 (+ (cos (+ z1 z1)) 1)) 11) 1))":4,"(- z0 (- (* (- (cos (+ z1 z1)) -1) 11/2) 1))":14,"(- 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 (* 1/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 (pow (cos z1) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1)))))))":49,"(- z0 (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1)))":14,"(- z0 (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))))":24,"(- z0 (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))))":19,"(- z0 (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)))":10,"(- z0 (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2))))":20,"(- z0 (/ (- z0 (- (* (sinh z0) z1) z0)) (- 1 (* z1 (cosh z0)))))":2,"(- z0 (/ (- z1 (- (* (sinh z1) z2) z1)) (- 1 (* z2 (cosh z1)))))":2,"(/ (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 80) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))))":15,"(/ (* (- (* (* 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,"(/ (* (- (* z0 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos z0) 5/2)))":4,"(/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2)))":5,"(/ (* (- -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 (* 1/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)) (- (* 5/2 (cos z1)) -3/2))":3,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":5,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos z1) 5/2)))":5,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))))":23,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 z1))))":23,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":17,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos z1))))":17,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5)))":9,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (* z1 1/2) 5)))":9,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2)))":13,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- z1 -1) 5/2)))":13,"(/ (* -40 (pow (cos z0) 4)) z1)":72,"(/ (* 1/2 (+ (cos (+ z0 z0)) 1)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))))":2,"(/ (* 1/2 (- 1 (cos z0))) (* (* (- z0 1) (- z0 1)) (- 1 (* z1 z1))))":5,"(/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))))":49,"(/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 z1))))":49,"(/ (* 40 (pow (cos z0) 4)) z1)":50,"(/ (* 80 (* 1/2 (+ (cos (+ z0 z0)) 1))) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":3,"(/ (* 80 (+ (* 1/2 z0) 1/2)) (- -3/2 (* (cos z0) 5/2)))":3,"(/ (* z0 (* (* z1 z1) (cos z1))) (* (- 1 (* z0 z0)) (tan z2)))":12,"(/ (* z0 (* z1 z1)) (* (- 1 z1) (tan z2)))":12,"(/ (+ (* (* z0 z0) (sin z1)) (* (+ z0 z0) (cos z1))) z2)":5,"(/ (- (* (* z0 z0) (cos z1)) (* (+ z0 z0) (sin z1))) z2)":4,"(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) z2)":2,"(/ (- (* (- 1 z0) z1) (- z1 (- z0 z1))) (- 1 (* (cosh z1) z2)))":2,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":14,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":154,"(/ (- (* -40 (/ z0 (- 1 z0))) (- (* z0 11/2) 1)) (* (- (* z1 z1) 1) (tan z2)))":13,"(/ (- (* z0 (cos z1)) -1) (- (* z0 z0) 1))":40,"(/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))":78,"(/ (- (/ (* -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))":40,"(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))":20,"(/ (- 1 (- z0 1)) (* (- z0 1) (tan z1)))":13,"(/ (sin z0) z1)":6,"(/ -1 (- -1 (sqrt (- 1 z0))))":6,"(/ -1 (- -1 (sqrt z0)))":6,"(/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 z1))))":4,"(/ 1 (* (- z0 1) (sqrt z0)))":4,"(/ 1 (* (sqrt (- 1 z0)) (- 1 (* z1 z1))))":10,"(/ 1 (* (sqrt z0) (- 1 z0)))":10,"(/ 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 (- (sqrt z1) -1))":4,"(/ z0 (- -1 (sqrt z1)))":21,"(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":17,"(/ z0 (- -3/2 (* 5 (* 1/2 (cos (+ z1 z1))))))":105,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":17,"(/ 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 (* 1/2 (+ (cos (+ z1 z1)) 1)))))":3,"(atan2 (* (sin z0) (sqrt z0)) (* (cos z0) (sqrt z0)))":4,"(atan2 (* z0 z0) (* z0 z0))":6,"(atanh (* (tan (* 1/2 z0)) (sqrt (/ (- z1 1) (- z1 -1)))))":2,"(atanh (* (tan z0) (sqrt z0)))":2,"(cos (* (+ z0 z1) -2))":3,"(cos (* (+ z0 z1) 2))":32,"(cos (* 2 (+ z0 z1)))":33,"(cos (+ (+ z0 z0) z1))":21,"(cos (+ z0 (+ z1 z1)))":4,"(cos (+ z0 z1))":25,"(cos (- (- (* -3 z0) z1) z1))":12,"(cos (- (- z0 z1) z1))":12,"(cos (- z0 (- (* -3 z1) z0)))":13,"(cos (- z0 (- z1 z0)))":13,"(cos (- z0 z1))":25,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)":70,"(pow (* (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) z2)":59,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)":30,"(pow (* 1/2 (- 2 (* 5 (- (cos (+ z0 z0)) -1)))) -2)":5,"(pow (* 1/2 (- 2 (* 5 z0))) -2)":5,"(pow (* 10000/2928563 (- z0 2634/5)) 4)":2,"(pow (* 10000/2928563 z0) 5)":2,"(pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)":12,"(pow (- -3/2 (* (cos z0) 5/2)) -2)":12,"(pow (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0))))) -2)":17,"(pow (- -3/2 (* 5 (* 1/2 z0))) -2)":17,"(pow (- -3/2 (* 5 z0)) -2)":17,"(pow (- -3/2 (* z0 5/2)) -2)":12,"(pow (- 1 (* 5 (* 1/2 z0))) -2)":2,"(pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3)":28,"(pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 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))":62,"(sin (+ (+ z0 z1) z1))":2,"(sin (+ z0 (+ z1 z1)))":26,"(sin (+ z0 z1))":90,"(sin (- (+ z0 z0) (* -3 z1)))":90}