{"(* (* (* (* z0 1/8) z1) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1)))":21,"(* (* (* (* z0 z0) z0) z1) z1)":20,"(* (* (* (* z2 z1) 1/2) z0) 1/8)":28,"(* (* (* (cos z2) z1) z1) z0)":25,"(* (* (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":22,"(* (* (* (sin z1) z0) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":22,"(* (* (* 1/2 z0) z1) z2)":26,"(* (* (* 1/2 z0) z2) z1)":20,"(* (* (* 1/8 z0) 1/2) (/ z1 (* (- 1 (* z2 z2)) (- 1 (* z2 z2)))))":24,"(* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1))":103,"(* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3)":21,"(* (* (* z0 1/2) z1) z2)":115,"(* (* (* z0 1/8) z1) (- 1 (* z1 z1)))":20,"(* (* (* z0 z0) z0) z1)":38,"(* (* (* z0 z1) (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1)))":21,"(* (* (* z1 (- (* z2 z2) 1)) z1) (- z0 1))":103,"(* (* (* z1 (- (* z2 z2) 1)) z1) z0)":103,"(* (* (* z1 (- z0 1)) z1) (- (* z2 z2) 1))":103,"(* (* (* z1 z0) z1) (- (* z2 z2) 1))":103,"(* (* (* z2 z1) 1/2) z0)":86,"(* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)":31,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 11)":26,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 3)":22,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 5)":33,"(* (* (- (cos z0) -1) 1/2) 11)":26,"(* (* (- (cos z0) -1) 1/2) 3)":22,"(* (* (- (cos z0) -1) 1/2) 5)":33,"(* (* (- -1 (cos z0)) 1/2) z1)":26,"(* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))":75,"(* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1))))":36,"(* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1)))":36,"(* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))":111,"(* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (/ (- z0 -1) (- 1 (* z1 z1))))":38,"(* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))":111,"(* (* (/ z2 z0) z1) z1)":43,"(* (* (/ z2 z1) 1/2) z0)":44,"(* (* (pow (cos z1) 3) z0) z0)":20,"(* (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))) 2)":24,"(* (* (sin z1) z0) 2)":24,"(* (* (sin z2) (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* (- (cos z0) -1) 1/2) 3) 1)))":22,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* 1/2 (- z0 -1)) 3) 1)))":22,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* (* 1/2 z0) 3) 1)))":22,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- (* z0 3) 1)))":22,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (* 2 (- z0 1)))":23,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (+ z0 z0))":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)) 2)":24,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3)":31,"(* (* 1/2 (- 1 (cos z0))) 3)":31,"(* (* 1/2 (/ z2 z1)) z0)":32,"(* (* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))) (sin (+ z2 z2)))":21,"(* (* 1/8 z0) (sin (+ z1 z1)))":21,"(* (* 3 z0) (sin (+ (+ z2 z2) z1)))":31,"(* (* 3 z1) (sin (+ z2 z0)))":31,"(* (* 3 z1) z0)":31,"(* (* z0 (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (- (/ (* -40 (pow (cos z2) 4)) (- -3/2 (* 5/2 (cos (+ z2 z2))))) (- (* 11/2 (- (cos (+ z2 z2)) -1)) 1)))":29,"(* (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24,"(* (* z0 (- (* z1 z1) 1)) z0)":103,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (cos (+ z2 z2)))":26,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (sin (+ z2 z2)))":26,"(* (* z0 1/2) (* (/ z2 (* z1 z1)) z2))":27,"(* (* z0 1/2) (- 1 (cos (+ z1 z1))))":31,"(* (* z0 1/2) (cos z1))":56,"(* (* z0 2) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":22,"(* (* z0 z0) (- 1 (* z1 z1)))":111,"(* (* z0 z0) (/ z0 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))":38,"(* (* z0 z1) (- (* z2 z2) 1))":107,"(* (* z0 z1) z1)":98,"(* (* z0 z1) z2)":88,"(* (* z0 z2) z1)":27,"(* (* z1 (- 1 (* z2 z2))) (- 1 z0))":45,"(* (* z1 (- 1 (* z2 z2))) z0)":45,"(* (* z1 (- 1 z0)) (- 1 (* z2 z2)))":45,"(* (* z1 z0) (- 1 (* z2 z2)))":45,"(* (* z1 z0) z1)":104,"(* (* z2 (* (/ z2 (* z1 z1)) 1/2)) z0)":59,"(* (* z2 (/ z1 (* z0 z0))) z1)":27,"(* (* z2 z0) z1)":28,"(* (* z2 z1) z0)":20,"(* (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2))) 3)":20,"(* (+ (sin (* (+ z2 z1) 2)) z0) 3)":20,"(* (- (* z0 z0) 1) (tan z1))":23,"(* (- (* z1 z1) 1) z0)":82,"(* (- (+ (* (sin z2) z1) z2) z0) 6)":44,"(* (- (+ z2 z0) z1) 6)":44,"(* (- (cos (+ z0 z0)) -1) 1/2)":202,"(* (- (cos (+ z0 z0)) -1) 11/2)":28,"(* (- (cos (+ z0 z0)) -1) 5/2)":27,"(* (- (cos z0) -1) 1/2)":202,"(* (- (cos z0) -1) 11/2)":28,"(* (- (cos z0) -1) 5/2)":27,"(* (- -1 (* (* (* z0 z0) z0) z1)) z1)":18,"(* (- -1 (cos (+ z0 z0))) 1/2)":26,"(* (- -1 (cos (+ z1 z1))) (* 1/2 z0))":26,"(* (- -1 (cos z0)) 1/2)":26,"(* (- 1 (* z1 z1)) z0)":183,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)":34,"(* (- 1/2 (* (cos z0) -1/2)) 5)":34,"(* (- z0 z1) 6)":44,"(* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1)))":75,"(* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1))))":36,"(* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1)))":111,"(* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)) (* 1/2 (- 1 (cos (+ z2 z2)))))":26,"(* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* 1/2 (cos z2)))":41,"(* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8))":33,"(* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1)))":111,"(* (/ z1 (* z0 z0)) z1)":112,"(* (/ z1 z0) z1)":183,"(* (/ z2 (* z1 z1)) z0)":57,"(* (/ z2 z0) z1)":28,"(* (/ z2 z1) z0)":50,"(* (cos (+ z1 z1)) z0)":20,"(* (cos z0) z1)":55,"(* (cos z1) z0)":250,"(* (fabs (sin z1)) z0)":25,"(* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200))":32,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200))":32,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200))":32,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0)":32,"(* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200))":32,"(* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200))":32,"(* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200))":24,"(* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200))":32,"(* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0)))":75,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0))":75,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0)":75,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1)))":75,"(* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1)))":75,"(* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0)))":36,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0))":36,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0)":36,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1)))":36,"(* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))":36,"(* (pow (cos z0) 4) 200)":32,"(* (pow (cos z1) 3) z0)":38,"(* (pow z0 -2) (* (pow (cos z1) 4) 200))":32,"(* (pow z0 4) 200)":32,"(* (sin (* (+ z1 z0) 2)) 3)":39,"(* (sin (* z0 2)) 3)":39,"(* (sin (+ (+ z2 z2) z1)) z0)":39,"(* (sin (+ z2 z0)) z1)":26,"(* (sin (- (+ z2 z2) z0)) z1)":56,"(* (sin (- z0 (* -3 z2))) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)))":22,"(* (sin (- z0 (* -3 z2))) z1)":56,"(* (sin (- z2 (- (* -3 z1) z2))) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3)))":22,"(* (sin (- z2 (- (* -3 z1) z2))) z0)":78,"(* (sin z0) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)))":22,"(* (sin z0) 3)":39,"(* (sin z0) z1)":98,"(* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)))":24,"(* (sin z1) z0)":96,"(* (sin z2) (- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1))":24,"(* (sqrt z0) (- (* z1 z1) 1))":19,"(* (sqrt z0) (- 1 (* z1 z1)))":81,"(* -40 (pow (cos z0) 4))":89,"(* 1/2 (- 1 (cos (+ z0 z0))))":82,"(* 1/2 (- 1 (cos z0)))":82,"(* 1/2 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))))":27,"(* 1/2 (/ z1 (* (- 1 (* z2 z2)) (- 1 z0))))":27,"(* 1/2 (/ z1 (* (- 1 (* z2 z2)) z0)))":27,"(* 1/2 (/ z1 (* (- 1 z0) (- 1 (* z2 z2)))))":27,"(* 1/2 (/ z1 (* z0 (- 1 (* z2 z2)))))":27,"(* 1/8 (* (* (/ z2 z0) z1) z1))":24,"(* 1/8 (* (* z2 (/ z1 (* z0 z0))) z1))":24,"(* 1/8 (* (* z2 z0) z1))":24,"(* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))))":30,"(* 11/2 (- (cos (+ z0 z0)) -1))":59,"(* 11/2 (- (cos z0) -1))":59,"(* 3 (* z1 (sin z0)))":31,"(* 3/2 (cos z0))":18,"(* 40 (- (cos (+ z0 z0)) -1))":21,"(* 40 (- (cos z0) -1))":21,"(* 40 (pow (cos z0) 4))":27,"(* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2)))":22,"(* 5 (- 1/2 (* (cos z0) -1/2)))":22,"(* 5/2 (- (cos (+ z0 z0)) -1))":89,"(* 5/2 (- (cos z0) -1))":89,"(* 5/2 (cos (+ z0 z0)))":102,"(* 5/2 (cos z0))":102,"(* z0 (* (* (cos z2) z1) z1))":26,"(* z0 (* (/ z2 (* z1 z1)) z2))":33,"(* z0 (* (pow (cos z1) 4) 200))":32,"(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":22,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)))":22,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)))":24,"(* z0 (- (* z1 z1) 1))":288,"(* z0 (- (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1))":19,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1)))":57,"(* z0 (- 1 (* z1 z1)))":518,"(* z0 (cos (+ z1 z1)))":46,"(* z0 (cos z1))":124,"(* z0 (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))":19,"(* z0 (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3))":18,"(* z0 (sin (+ (+ z2 z2) z1)))":73,"(* z0 (sin (+ z1 z1)))":98,"(* z0 (sin z1))":38,"(* z0 (tan z1))":25,"(* z1 (* (* 1/2 z0) z2))":80,"(* z1 (sin z0))":23,"(* z2 (* (/ z2 (* z1 z1)) z0))":119,"(* z2 (/ z1 (* z0 z0)))":27,"(* z2 (/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1))))":67,"(* z2 (/ z2 (* z0 (- (* z1 z1) 1))))":67,"(+ (* (* (pow (cos z2) 3) z1) z1) (/ z1 z0))":18,"(+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))))":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 z0)))":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) z0))":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1))))":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))))":24,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))))":24,"(+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2)))":24,"(+ (- (* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* (pow z0 -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* z0 (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) 1/3)":23,"(+ (- z0 -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":19,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":19,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":19,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":19,"(+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":19,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1))))":24,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) z0)":24,"(+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 z0)))))":18,"(+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* (* (pow (cos z2) 3) z1) z1))":18,"(+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))))":18,"(+ (/ z1 (- (sqrt z0) -1)) (* (* (pow (cos z2) 3) z1) z1))":18,"(+ (sin (* (+ z2 z1) 2)) z0)":24,"(+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))":48,"(+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":23,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1)":22,"(- (* (* (- (cos z0) -1) 1/2) 3) 1)":22,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (* 1/2 (- z0 -1)) 3) 1)":22,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (- (cos (+ z0 z0)) -1) 11/2) 1)":27,"(- (* (- (cos (+ z0 z0)) -1) 5/2) 1)":27,"(- (* (- (cos z0) -1) 11/2) 1)":27,"(- (* (- (cos z0) -1) 5/2) 1)":27,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0)))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0)))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0)))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":32,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 z0))":32,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) z0)":32,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":21,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))":50,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))":50,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)":73,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":25,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":25,"(- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- z0 -1) (- (* z1 z1) 1)))":24,"(- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ z0 (- (* z1 z1) 1)))":24,"(- (* 11/2 (- (cos (+ z0 z0)) -1)) 1)":59,"(- (* 11/2 (- (cos z0) -1)) 1)":59,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":19,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":19,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":19,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":19,"(- (+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":22,"(- (+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":26,"(- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)":25,"(- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1)":25,"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1)":19,"(- (- (/ (* -40 (pow (cos z1) 4)) z0) (* 11/2 (- (cos (+ z1 z1)) -1))) -1)":59,"(- (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":23,"(- (- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":23,"(- (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":23,"(- (- z0 (* 11/2 (- (cos (+ z1 z1)) -1))) -1)":59,"(- (- z0 (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1)":25,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11))":19,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (- (cos (+ z0 z0)) -1)) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":43,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos z0) -1) 1/2) 11))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 (- z0 -1)) 11))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 z0) 11))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* z0 11))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos z0) -1) 1/2) 11) 1))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 (- z0 -1)) 11) 1))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 z0) 11) 1))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11 z0) 1))":54,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos z0) -1)) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- z0 -1)) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 z0) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* z0 11) 1))":19,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- z0 1))":78,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) z0)":78,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":59,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":48,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":23,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":59,"(- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":23,"(- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":59,"(- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)":25,"(- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1)":25,"(- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1)":25,"(- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3)":25,"(- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1)":25,"(- (/ (- z0 -1) (- 1 (* z1 z1))) 1)":25,"(- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":23,"(- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":59,"(- (cos (+ z0 z0)) -1)":359,"(- (cos z0) -1)":359,"(- (cos z1) (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)))":26,"(- (cos z2) (* (* (- -1 (cos z0)) 1/2) z1))":26,"(- -1 (* (pow (cos z1) 3) z0))":18,"(- -1 (cos (+ z0 z0)))":43,"(- -1 (cos z0))":43,"(- -11 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":21,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0)))))":21,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0))))":21,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0)))":21,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0))":21,"(- -11 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(- -11 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21,"(- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))))":32,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":186,"(- -3/2 (* 5/2 (cos z0)))":186,"(- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))":48,"(- 1 (cos (+ z0 z0)))":58,"(- 1 (cos z0))":58,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":78,"(- 1/2 (* (cos z0) -1/2))":78,"(- z0 (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)))":26,"(- z0 (* (sin (* (+ z2 z1) 2)) 3))":39,"(- z1 (- (* -3 z0) z1))":93,"(/ (* (* z0 1/2) z1) (* (- 1 (* z2 z2)) (- 1 (* z2 z2))))":26,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":78,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0)))":62,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0))))":78,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0)))":78,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 z0))":67,"(/ (* -40 (pow (cos z1) 4)) z0)":89,"(/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":82,"(/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":82,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0))))":21,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0)))":21,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0)))":21,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0))":21,"(/ (* 40 (- (cos (+ z1 z1)) -1)) z0)":21,"(/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":21,"(/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":21,"(/ (* 40 (pow (cos z0) 4)) (- (* (- (cos (+ z0 z0)) -1) 5/2) 1))":27,"(/ (* 40 (pow (cos z1) 4)) (- (* (- (cos z0) -1) 5/2) 1))":27,"(/ (* 40 (pow (cos z1) 4)) (- (* (- z0 -1) 5/2) 1))":27,"(/ (* 40 (pow (cos z1) 4)) (- (* z0 5/2) 1))":27,"(/ (* 40 (pow (cos z1) 4)) (- z0 1))":49,"(/ (* 40 (pow (cos z1) 4)) z0)":27,"(/ (* 40 (pow z0 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":27,"(/ (* 40 z0) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":27,"(/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":21,"(/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1))":50,"(/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0)))":136,"(/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))":74,"(/ (- (* z0 z1) -1) (- (* z1 z1) 1))":50,"(/ (- (* z0 z1) -1) (- 1 (* z1 z1)))":136,"(/ (- (* z1 z0) -1) (- 1 (* z1 z1)))":74,"(/ (- z0 -1) (- (* z1 z1) 1))":50,"(/ (- z0 -1) (- 1 (* z1 z1)))":210,"(/ -1 (* (sqrt (- 1 z0)) (- (* z1 z1) 1)))":19,"(/ -1 (* (sqrt z0) (- (* z1 z1) 1)))":19,"(/ -1 (* z0 (- (* z1 z1) 1)))":37,"(/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0))":18,"(/ z0 (* (* z1 (- 1 (* z2 z2))) (- 1 (* z2 z2))))":23,"(/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))":178,"(/ z0 (* (- (* z1 z1) 1) (tan z2)))":23,"(/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))":19,"(/ z0 (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":27,"(/ z0 (- (* z1 z1) 1))":50,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":132,"(/ z0 (- 1 (* z1 z1)))":212,"(/ z1 (* (- 1 (* z2 z2)) (- 1 z0)))":27,"(/ z1 (* (- 1 (* z2 z2)) z0))":27,"(/ z1 (* (- 1 z0) (- 1 (* z2 z2))))":27,"(/ z1 (* z0 (- 1 (* z2 z2))))":27,"(/ z1 (* z0 z0))":204,"(/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1)))":101,"(/ z2 (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1))))":22,"(/ z2 (* z0 (- (* z1 z1) 1)))":101,"(/ z2 (* z0 (- 1 (* z1 z1))))":29,"(cos (* (+ z1 z0) -2))":42,"(cos (* 2 (+ z1 z0)))":26,"(cos (+ (+ z1 z1) z0))":25,"(cos (+ z1 z0))":25,"(cos (- (+ z1 z1) z0))":25,"(cos (- z1 (- (* -3 z0) z1)))":25,"(cos (- z1 z0))":25,"(pow (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)) -2)":19,"(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)":50,"(pow (- -3/2 (* 5/2 (cos z0))) -2)":50,"(pow (- -3/2 (* 5/2 z0)) -2)":50,"(pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)":19,"(pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)":19,"(pow (- 1 (* 5/2 z0)) -2)":30,"(pow (- 1 (* z0 5)) -2)":19,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2)":75,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)":36,"(pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2)":75,"(pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 3)":36,"(pow (/ (- (* (cos z2) z1) -1) z0) 2)":75,"(pow (/ (- (* (cos z2) z1) -1) z0) 3)":36,"(pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2)":36,"(pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2)":36,"(pow (/ (- (* z1 (cos z2)) -1) z0) 2)":36,"(pow (cos z0) 3)":48,"(pow (cos z0) 4)":192,"(pow (cos z0) 6)":18,"(sin (* (+ z1 z0) 2))":63,"(sin (+ (+ z1 z1) z0))":112,"(sin (+ z1 z0))":112,"(sin (- (+ z1 z1) z0))":93,"(sin (- (- (* -3 z0) z1) z1))":19,"(sin (- (- z0 z1) z1))":19,"(sin (- z0 (* -3 z1)))":93,"(sin (- z0 z1))":19,"(sin (- z1 (- (* -3 z0) z1)))":93}