{"(* (* (* (* (pow (cos z0) 6) 400) z1) z1) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))":27776,"(* (* (* (* (pow (cos z0) 6) 400) z1) z1) z2)":14208,"(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) (sin (+ z2 z2)))":56704,"(* (* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11))) z2)":50112,"(* (* (* (pow (cos z0) 6) 400) z1) z1)":13888,"(* (* (* (pow (cos z0) 6) 400) z1) z2)":13888,"(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":39616,"(* (* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2) z2)":32000,"(* (* (* 1/2 (- 1 (cos (+ z0 z0)))) 3) z1)":7808,"(* (* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2))":39296,"(* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3)":7808,"(* (* (* z0 z0) (cos z1)) (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11)))":49792,"(* (* (* z0 z0) (cos z1)) z2)":7424,"(* (* (* z0 z1) z1) (cos z2))":7424,"(* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))":8320,"(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) (* z2 z2))":57024,"(* (* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1)))) z2)":56704,"(* (* (- (- (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))":32896,"(* (* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) 2) z2)":25280,"(* (* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1))) z2)":35584,"(* (* (- (cos (+ z0 z0)) -1) 1/2) (/ 80 z1))":8192,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 11)":7488,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 3)":7488,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 5)":7488,"(* (* (- (cos (+ z0 z0)) -1) 1/2) 80)":7488,"(* (* (- (cos (+ z0 z0)) -1) 1/2) z1)":7488,"(* (* (cos (+ z0 z0)) (* z1 z1)) z2)":7616,"(* (* (cos z0) (sin (* -1/2 z1))) z2)":13824,"(* (* (cos z0) (sin z1)) z2)":13504,"(* (* (cos z0) z1) z2)":7104,"(* (* (fabs z0) 1000) z1)":832,"(* (* (pow (cos z0) 3) z1) z1)":13568,"(* (* (pow (cos z0) 3) z1) z2)":13568,"(* (* (pow (cos z0) 6) 400) z1)":13568,"(* (* (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))":39616,"(* (* (sin z0) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1)) 2)":31680,"(* (* (sin z0) z1) z2)":7104,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2))":27136,"(* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))":27136,"(* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2))":27328,"(* (* -200 (pow (cos z0) 4)) z1)":13568,"(* (* -3 z0) (sin (+ (+ z1 z2) z2)))":7488,"(* (* 1/2 (- (cos (+ z0 z0)) -1)) z1)":7488,"(* (* 1/2 (- (cos (+ z0 z0)) 1)) z1)":7488,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (* (* (- (* z1 z1) 1) z2) z2) (- (* z1 z1) 1)) (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":12672,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))":10368,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) (/ 3 z1))":8192,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3)":7488,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)":7488,"(* (* 1/2 z0) (cos (* -1/2 z1)))":7424,"(* (* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)) z1)":8000,"(* (* 2 (sin z0)) (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1))":31680,"(* (* 2 (sin z0)) z1)":7104,"(* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))":27136,"(* (* 200 (pow (cos z0) 4)) z1)":13568,"(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1)))":38912,"(* (* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))) z2)":10688,"(* (* 3 (cos (* (+ z0 z1) 2))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":22208,"(* (* 3 (cos (* (+ z0 z1) 2))) z2)":7616,"(* (* 3 (cos (* -2 (+ z0 z1)))) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":22208,"(* (* 3 (cos (* -2 (+ z0 z1)))) z2)":7616,"(* (* 3 z0) (sin (+ (+ z1 z1) z2)))":7488,"(* (* z0 (* 2 (sin z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1))":32000,"(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) (sin z1))":31680,"(* (* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)) 2)":25280,"(* (* z0 (- (- (pow (* (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1)))) -1)) (sin z2))":31680,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2))) (cos (+ z2 z2)))":35584,"(* (* z0 (cos z1)) (fabs (sin z1)))":13632,"(* (* z0 (cos z1)) (sin (+ z2 z2)))":13696,"(* (* z0 -1/8) (sin (+ z1 z1)))":7296,"(* (* z0 1/2) (- (cos (+ z1 z1)) -1))":7488,"(* (* z0 1/2) (- 1 (cos (+ z1 z1))))":7488,"(* (* z0 1/2) (cos (+ z1 z1)))":7296,"(* (* z0 2) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (sin z1)))":32000,"(* (* z0 z0) (pow (cos z1) 3))":13568,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)":14400,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) 3)":14400,"(* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) z2)":14400,"(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3)":14592,"(* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3)":14592,"(* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3)":14592,"(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1) (* 2 (sin z1))))":39616,"(* (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1) z1)":8000,"(* (- (* (* z0 z0) 200) -80) (/ (pow (cos z1) 4) z2))":14784,"(* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4))":14080,"(* (- (* (- (cos (+ z0 z0)) -1) -3/2) -3) z1)":7680,"(* (- (* (cos (+ z0 z0)) -3/2) 1/2) (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3)))":24960,"(* (- (* (cos (+ z0 z0)) -3/2) 1/2) z1)":7488,"(* (- (* (cos (+ z0 z0)) 5/2) -3/2) z1)":7488,"(* (- (* (pow (cos z0) 3) z1) -1) z2)":13760,"(* (- (* (sin z0) z1) (- z2 z0)) -6)":7488,"(* (- (* (sin z0) z1) (- z2 z0)) 6)":7488,"(* (- (* 200 (* z0 z0)) -80) (/ (pow (cos z1) 4) z2))":14784,"(* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4))":14080,"(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3)) z2)":32000,"(* (- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1)))) z2)":32000,"(* (- (* z0 z0) 1) (tan z1))":7296,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3))":36032,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) (/ (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3) (* (* (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":40576,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3)) z2)":28608,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":38912,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))) z2)":28608,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1))))))":38912,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) (* (* 1/2 (- 1 (cos (+ z2 z2)))) 3))":36032,"(* (- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))) z2)":28608,"(* (- (+ z0 (* (sin z0) z1)) z2) -6)":7488,"(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) (* (cos z0) (sin (+ z1 z1))))":56384,"(* (- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2))) z1)":43072,"(* (- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))) -1) z2)":24960,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) -1) (sin (+ (+ z2 z0) z2)))":31744,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (* 2 (sin z0)))":31680,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) (sin z0))":31360,"(* (- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))) -1) z2)":24960,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2)))":31744,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) (sin z1))":31360,"(* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))) -1) z2)":24960,"(* (- (- z0 z1) (* (sin z1) z2)) 6)":7488,"(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) (cos (+ z1 z1)))":35264,"(* (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)) z1)":28672,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* (- -1 (cos (+ z2 z2))) -3/2) 1))":25152,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1))":25152,"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) z2)":17856,"(* (- (cos (+ z0 z0)) -1) (/ -40 z1))":7872,"(* (- (cos (+ z0 z0)) -1) -3/2)":7168,"(* (- (cos (+ z0 z0)) -1) -40)":7168,"(* (- (cos (+ z0 z0)) -1) 1/2)":7168,"(* (- (cos (+ z0 z0)) -1) 11/2)":7168,"(* (- (cos (+ z0 z0)) -1) 5)":7168,"(* (- (cos (+ z0 z0)) -1) 5/2)":7168,"(* (- (cos (+ z0 z0)) -1) z1)":7168,"(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1))))":32064,"(* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) z2)":24960,"(* (- -1 (cos (+ z0 z0))) -3/2)":7168,"(* (- -1 (cos (+ z0 z0))) z1)":7168,"(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) (* (* 2 (sin z1)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1)))":39616,"(* (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)) z1)":8000,"(* (- 1 (* z0 z0)) (tan z1))":7296,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (- (* 33 (* z1 z1)) -22))":8320,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) (/ 80 z1))":8192,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80)":7488,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1)":7488,"(* (- z0 (+ (* (sin z1) z2) z1)) 6)":7488,"(* (atan (* (tanh (* 1/2 z0)) (sqrt (/ (- -1 z1) (- 1 z1))))) z2)":15552,"(* (atan2 (* (sin (* 1/2 z0)) (sqrt (- z1 -1))) (* (cos (* -1/2 z0)) (sqrt (- 1 z1)))) z2)":22592,"(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1))))) z2)":15552,"(* (atanh (* (tan (* 1/2 z0)) (sqrt (/ (- z1 1) (- z1 -1))))) 2)":15552,"(* (cos (* (+ z0 z1) 2)) (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":21888,"(* (cos (* (+ z0 z1) 2)) z2)":7296,"(* (cos (* -1/2 z0)) z1)":7104,"(* (cos (+ (+ z0 z1) z1)) z2)":7168,"(* (cos (+ z0 z0)) (* z1 z1))":7296,"(* (cos (+ z0 z0)) (- 1 (* z1 z1)))":7488,"(* (cos (+ z0 z0)) -3/2)":6976,"(* (cos (+ z0 z0)) 5/2)":6976,"(* (cos (+ z0 z0)) z1)":6976,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":7488,"(* (cos z0) (fabs (sin z0)))":13312,"(* (cos z0) (sin (+ z1 z1)))":13376,"(* (cos z0) (sin z1))":13184,"(* (cos z0) z1)":6784,"(* (fabs (sin z0)) z1)":6912,"(* (pow (* 10000/2928563 (- z0 2634/5)) 4) 5269/10000)":7360,"(* (pow (* 10000/2928563 (- z0 2634/5)) 4) z1)":7360,"(* (pow (* 10000/2928563 (- z0 2634/5)) 5) z1)":7360,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* (* (* (pow (cos z0) 6) 400) z1) z1))":27776,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) (* -200 (pow (cos z0) 4)))":27136,"(* (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2) z1)":13952,"(* (pow (cos z0) 3) z1)":13248,"(* (pow (cos z0) 4) 40)":13248,"(* (pow (cos z0) 4) z1)":13248,"(* (pow (cos z0) 6) 400)":13248,"(* (pow (cos z0) 6) z1)":13248,"(* (sin (* (+ z0 z1) 2)) 3)":7296,"(* (sin (* (+ z0 z1) 2)) z2)":7296,"(* (sin (* 1/2 z0)) (sqrt (- z1 -1)))":7936,"(* (sin (* 1/2 z0)) z1)":7104,"(* (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))":31744,"(* (sin (+ (+ z0 z0) z1)) z2)":7168,"(* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))":31744,"(* (sin (+ (+ z0 z1) z0)) z2)":7168,"(* (sin (+ (+ z0 z1) z1)) (- (- (pow (* (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z0) z2)) (- (* z2 z2) 1))) -1))":31744,"(* (sin (+ (+ z0 z1) z1)) z2)":7168,"(* (sin (+ z0 z0)) z1)":6976,"(* (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))":32064,"(* (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))":32064,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":7488,"(* (sin z0) (cos z1))":13184,"(* (sin z0) z1)":6784,"(* (tan (* 1/2 z0)) z1)":7104,"(* -200 (pow (cos z0) 4))":13248,"(* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)))":14400,"(* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0)))":14400,"(* -3 (+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2)))))":14592,"(* -40 (pow (cos z0) 4))":13248,"(* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))":7680,"(* 1/2 (- (cos (+ z0 z0)) -1))":7168,"(* 1/2 (- (cos (+ z0 z0)) 1))":7168,"(* 1/2 (- 1 (cos (+ z0 z0))))":7168,"(* 1/2 (/ (- (cos (+ z0 z0)) -1) z1))":7872,"(* 1/2 (/ (- 1 (cos (+ z0 z0))) z1))":7872,"(* 11/2 (- (cos (+ z0 z0)) -1))":7168,"(* 11/2 (cos (+ z0 z0)))":6976,"(* 2 (- (* 3/2 (- (cos (+ z0 z0)) -1)) 1))":7680,"(* 200 (pow (cos z0) 4))":13248,"(* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1)))":14400,"(* 3 (+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1))))":64256,"(* 3 (+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2)))))":14592,"(* 3 (/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1)))))":10368,"(* 3 (cos (* (+ z0 z1) 2)))":7296,"(* 3 (cos (* -2 (+ z0 z1))))":7296,"(* 3 (sin (* 2 (+ z0 z1))))":7296,"(* 3/2 (- (cos (+ z0 z0)) -1))":7168,"(* 40 (- (cos (+ z0 z0)) -1))":7168,"(* 40 (pow (cos z0) 4))":13248,"(* 5 (- (cos (+ z0 z0)) -1))":7168,"(* 5/2 (- (cos (+ z0 z0)) -1))":7168,"(* 5/2 (cos (+ z0 z0)))":6976,"(* 6 (- (+ (* z0 (sin z1)) z1) z2))":7488,"(* z0 (* (* (* (pow (cos z1) 6) 400) z2) z2))":14208,"(* z0 (* (* (cos z1) z2) z2))":7424,"(* z0 (* (cos (+ z1 z1)) (- 1 (* z2 z2))))":7808,"(* z0 (* -1/2 (cos z1)))":7104,"(* z0 (* -200 (pow (cos z1) 4)))":13568,"(* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))":7488,"(* z0 (* 1/2 (cos z1)))":7104,"(* z0 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)))":14400,"(* z0 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1)))":14400,"(* z0 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2)))":14400,"(* z0 (+ (* 3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))) (+ (* (* z1 z1) (pow (cos z2) 3)) z1)))":28608,"(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0)))))":3776,"(* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z1 z1))))) (sqrt (- 1 (* z1 z1)))))":3776,"(* z0 (+ (/ 1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))) (pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) 3)))":17856,"(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":8000,"(* z0 (- (* (* 1/2 z1) (cos (* -1/2 z2))) (sin (* -1/2 z2))))":14656,"(* z0 (- (* (* 200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)) (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)) 11)))":42752,"(* z0 (- (* (- -1 (cos (+ z1 z1))) -3/2) 1))":7680,"(* z0 (- (* (cos (+ z1 z1)) -3/2) -3/2))":7488,"(* z0 (- (* 3/2 (- (cos (+ z1 z1)) -1)) 1))":7680,"(* z0 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))":7680,"(* z0 (- (* z1 (- (+ (sqrt (- 1 (* z1 z1))) (* (pow (cos z2) 3) z1)) (/ 1 (- -1 (sqrt (- 1 (* z1 z1))))))) (* (+ (* (* (- (cos (+ z2 z2)) -1) 1/2) z1) (cos z2)) -3)))":32000,"(* 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)))))":32320,"(* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0)))))))":17152,"(* 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)))))":59264,"(* 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)))))":59264,"(* z0 (- (- (/ (* (* (- (cos (+ z1 z1)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z1 z1))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))))":43072,"(* z0 (- (- (/ (* (- (cos (+ z1 z1)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2))))":43456,"(* 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)))))":43072,"(* z0 (- (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5/2 (- (cos (+ z1 z1)) -1)))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1))":29376,"(* z0 (- (- (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))))":42752,"(* z0 (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3))":24960,"(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1))":24960,"(* z0 (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3))":24960,"(* z0 (- (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":29184,"(* z0 (- (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)))))":29696,"(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2))))":28864,"(* z0 (- (- 1 (* 11/2 (- (cos (+ z1 z1)) -1))) (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":28864,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":29184,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (- (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11) 1)))":29184,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":29184,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (cos (+ z1 z1))) -9/2)))":28672,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 11) 1)))":29696,"(* z0 (- (cos (+ z1 z1)) -1))":7168,"(* z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":7488,"(* z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))))":7680,"(* z0 (- 1 (cos (+ z1 z1))))":7168,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 5/2)))":7488,"(* z0 (- 2 (* 5 (- (cos (+ z1 z1)) -1))))":7680,"(* z0 (- 3 (* 5/2 (- (cos (+ z1 z1)) -1))))":7680,"(* z0 (/ (* 1/2 (- 1 (cos (+ z1 z1)))) (* (* (- 1 (* z2 z2)) (- 1 (* z2 z2))) (- 1 (* z2 z2)))))":10368,"(* 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))))":36992,"(* z0 (/ (sin z1) z2))":7488,"(* z0 (cos (* (+ z1 z2) -2)))":7296,"(* z0 (cos (* (+ z1 z2) 2)))":7296,"(* z0 (cos (* -1/2 z1)))":7104,"(* z0 (cos (* -2 (+ z1 z2))))":7296,"(* z0 (cos (* 2 (+ z1 z2))))":7296,"(* z0 (cos (* z1 -1/2)))":7104,"(* z0 (cos (+ (+ z1 z2) z1)))":7168,"(* z0 (cos (+ (+ z1 z2) z2)))":7168,"(* z0 (cos (+ z1 z1)))":6976,"(* z0 (cos (- (- (* -3 z1) z2) z2)))":7488,"(* z0 (cos z1))":6784,"(* z0 (fabs (sin z1)))":6912,"(* z0 (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))":13952,"(* z0 (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2))":13952,"(* z0 (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2))":14144,"(* z0 (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":14976,"(* z0 (pow (cos z1) 3))":13248,"(* z0 (pow (cos z1) 4))":13248,"(* z0 (sin (* 2 (+ z1 z2))))":7296,"(* z0 (sin (* z1 1/2)))":7104,"(* z0 (sin (+ (+ z1 z1) z2)))":7168,"(* z0 (sin (+ (+ z1 z2) z1)))":7168,"(* z0 (sin (+ (+ z1 z2) z2)))":7168,"(* z0 (sin (+ z1 z1)))":6976,"(* z0 (sin (- (+ z1 z1) (* -3 z2))))":7488,"(* z0 (sin z1))":6784,"(* z0 (tan z1))":6784,"(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0))":14080,"(+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) z2)":7680,"(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0))":14080,"(+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) z2)":7680,"(+ (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) z1)":27328,"(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))":14080,"(+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) z2)":7680,"(+ (* (* z0 z0) (pow (cos z1) 3)) z0)":13760,"(+ (* (* z0 z0) (pow (cos z1) 3)) z2)":13760,"(+ (* (+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2))) 3) (* (sin (- (+ z1 z1) (* -3 z0))) z2))":22208,"(+ (* (- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) -1) (sin (+ (+ z2 z1) z2))) (* (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3)) (sin (- (+ z2 z2) (* -3 z1)))))":63936,"(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2)))":14272,"(+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1))))":14272,"(+ (* (cos (+ z0 z0)) -3/2) z1)":7168,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* (+ z0 z1) 2))) 3))":22208,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ (+ z0 z1) z1)) z2) (cos (* 2 (+ z0 z1)))) 3))":22208,"(+ (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)) (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)))":63936,"(+ (* (sin (+ (+ z0 z1) z1)) z2) (sin (* (+ z0 z1) 2)))":14272,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1))) -1/3)) (* (sin (+ (+ z0 z0) z1)) (- (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2)))) -1)))":63936,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1) (sin (+ (+ z0 z1) z0))))":63936,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z0 z1) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))":63936,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2)))) -1/3)) (* (sin (+ (+ z1 z0) z0)) (- (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1))) -1)))":63936,"(+ (* 3 (+ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (cos z1))) (+ (* (* z0 z0) (pow (cos z1) 3)) z0))":28288,"(+ (* z0 (+ (/ -1 (- -1 (sqrt (- 1 (* z0 z0))))) (sqrt (- 1 (* z0 z0))))) (* (* z0 z0) (pow (cos z1) 3)))":17472,"(+ (* z0 (cos (+ (+ z1 z2) z1))) (cos (* 2 (+ z1 z2))))":14272,"(+ (* z0 (cos (- (- (* -3 z1) z2) z2))) (* 3 (+ (* z0 (cos (+ (+ z2 z1) z2))) (cos (* 2 (+ z2 z1))))))":22208,"(+ (* z0 (sin (+ (+ z1 z2) z2))) (sin (* 2 (+ z1 z2))))":14272,"(+ (/ 1 (* (- (* z0 z0) 1) (sqrt (- 1 (* z0 z0))))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3))":17536,"(+ (cos (* (+ z0 z1) 2)) z2)":7168,"(+ (cos (* 2 (+ z0 z1))) z2)":7168,"(+ (sin (* (+ z0 z1) 2)) (* (sin (+ (+ z0 z1) z1)) z2))":14272,"(+ (sin (* (+ z0 z1) 2)) z2)":7168,"(+ (sin (* 2 (+ z0 z1))) z2)":7168,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1)":7680,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) z1)":7680,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1)":7680,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) z1)":7680,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) 11))":42432,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) z1))":42432,"(- (* (* 200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)) (/ (* 40 (- (cos (+ z0 z0)) -1)) (- (* 5/2 (cos (+ z0 z0))) -3/2)))":42240,"(- (* (- (cos (+ z0 z0)) -1) -3/2) -3)":7360,"(- (* (- (cos (+ z0 z0)) -1) -3/2) z1)":7360,"(- (* (- (cos (+ z0 z0)) -1) 11/2) 1)":7360,"(- (* (- (cos (+ z0 z0)) -1) 11/2) z1)":7360,"(- (* (- -1 (cos (+ z0 z0))) -3/2) 1)":7360,"(- (* (- -1 (cos (+ z0 z0))) -3/2) z1)":7360,"(- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0)))":14592,"(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1)":7680,"(- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) z1)":7680,"(- (* (cos (+ z0 z0)) -3/2) -3/2)":7168,"(- (* (cos (+ z0 z0)) -3/2) 1/2)":7168,"(- (* (cos (+ z0 z0)) 5/2) -3/2)":7168,"(- (* (cos (+ z0 z0)) 5/2) z1)":7168,"(- (* (pow (cos z0) 3) z1) -1)":13440,"(- (* (pow (cos z0) 3) z1) z2)":13440,"(- (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* -3 (+ (* z2 (sin (+ (+ z1 z0) z0))) (sin (* 2 (+ z1 z0))))))":22208,"(- (* 11/2 (cos (+ z0 z0))) -9/2)":7168,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) 1)":7360,"(- (* 3/2 (- (cos (+ z0 z0)) -1)) z1)":7360,"(- (* 5 (- (cos (+ z0 z0)) -1)) 2)":7360,"(- (* 5 (- (cos (+ z0 z0)) -1)) z1)":7360,"(- (* 5/2 (cos (+ z0 z0))) -3/2)":7168,"(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z0) (cos z1)) -3))":31680,"(- (* z0 (- (+ (sqrt (- 1 (* z0 z0))) (* (pow (cos z1) 3) z0)) (/ 1 (- -1 (sqrt (- 1 (* z0 z0))))))) (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z0) (cos z1))))":31680,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0)) -3))":28288,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) z1) (cos z0))))":28288,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 (+ (* (* 1/2 (- (cos (+ z0 z0)) -1)) z1) (cos z0))))":28288,"(- (+ (* 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))))":32000,"(- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1)))":9024,"(- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22)))":9024,"(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) (- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2))))":58944,"(- (- (- (* z0 z0) -2) (* (* (- (* 33 (* z0 z0)) -22) 1/2) (- (cos (+ z1 z1)) -1))) z2)":9216,"(- (- (- (* 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))))":58944,"(- (- (- (* z0 z0) -2) (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z0 z0)) -22))) z2)":9216,"(- (- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)))":42752,"(- (- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2)))":43136,"(- (- (/ (* (- 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))))":42752,"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1)":28864,"(- (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1)":29056,"(- (- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)))":42432,"(- (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))) z2)":24640,"(- (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))) z2)":24640,"(- (- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))) z2)":24640,"(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) (/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":28864,"(- (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) z1)":7872,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) (/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))))":29376,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) z1)":7872,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2)))":28544,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":28544,"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) z1)":7552,"(- (- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":7872,"(- (- z0 (* (- (cos (+ z1 z1)) -1) 11/2)) -1)":7552,"(- (- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11)) -1)":7872,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (+ -11 z1))":15680,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) -11)":15488,"(- (/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":15488,"(- (/ (* (- (* (* 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)))":49792,"(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2)":22080,"(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) (* (* (* (* (pow (cos z1) 6) 400) z0) z0) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":49792,"(- (/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2))) z2)":22080,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) (+ -11 z1))":15872,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) -11)":15680,"(- (/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2))) z1)":15680,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1))":15680,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11)":15488,"(- (/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":15488,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":28864,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (- (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11) 1))":28864,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":21248,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11))":28672,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":28864,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2))":28352,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":21248,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) (- (* (* (- (cos (+ z0 z0)) -1) 1/2) 11) 1))":29376,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))) z1)":21760,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1))":28736,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) z1)":21440,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))) z1)":21440,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) (+ -11 z1))":15360,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) -11)":15168,"(- (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2))) z1)":15168,"(- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) z2)":8384,"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3))":17536,"(- (cos (+ z0 z0)) -1)":6848,"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))))":24448,"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- z2 (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))))":24640,"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)))":24448,"(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0))) 1/3))":24640,"(- (pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) 2) (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)))":24448,"(- -1 (cos (+ z0 z0)))":6848,"(- -3/2 (* (cos (+ z0 z0)) 5/2))":7168,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":7168,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 11))":7680,"(- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5))":7680,"(- 1 (* (- (cos (+ z0 z0)) -1) 5/2))":7360,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11))":7680,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 3))":7680,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))":7680,"(- 1 (* 11/2 (- (cos (+ z0 z0)) -1)))":7360,"(- 1 (* 5/2 (- (cos (+ z0 z0)) -1)))":7360,"(- 1 (cos (+ z0 z0)))":6848,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7168,"(- 1/2 (* (cos (+ z0 z0)) 5/2))":7168,"(- 2 (* 5 (- (cos (+ z0 z0)) -1)))":7360,"(- 3 (* 5/2 (- (cos (+ z0 z0)) -1)))":7360,"(- z0 (* (* (* (* (pow (cos z1) 6) 400) z2) z2) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":27968,"(- z0 (* (* (- (* 33 (* z1 z1)) -22) 1/2) (- (cos (+ z2 z2)) -1)))":8512,"(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":7680,"(- z0 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5))":7680,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2)))":27328,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2)))":27328,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))) -2)))":27520,"(- z0 (* (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1)) -3))":14592,"(- z0 (* (- (cos (+ z1 z1)) -1) 5/2))":7360,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) (- (* 33 (* z2 z2)) -22)))":8512,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 11))":7680,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 3))":7680,"(- z0 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))":7680,"(- z0 (* (cos (+ z1 z1)) 5/2))":7168,"(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* (* (* (pow (cos z1) 6) 400) z2) z2)))":27968,"(- z0 (* (pow (- -3/2 (* (cos (+ z1 z1)) 5/2)) -2) (* -200 (pow (cos z1) 4))))":27328,"(- z0 (* (sin (* (+ z1 z2) 2)) 3))":7488,"(- z0 (* -3 (+ (* (* (- (cos (+ z1 z1)) -1) 1/2) z2) (cos z1))))":14592,"(- z0 (* -3 (+ (* (* 1/2 (- (cos (+ z1 z1)) -1)) z2) (cos z1))))":14592,"(- z0 (* -3 (+ (* (* z1 1/2) (- (cos (+ z2 z2)) -1)) (cos z2))))":14592,"(- z0 (* 11/2 (- (cos (+ z1 z1)) -1)))":7360,"(- z0 (* 3 (sin (* 2 (+ z1 z2)))))":7488,"(- z0 (* 5 (- (cos (+ z1 z1)) -1)))":7360,"(- z0 (* 5/2 (- (cos (+ z1 z1)) -1)))":7360,"(- z0 (* 5/2 (cos (+ z1 z1))))":7168,"(- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2))":7360,"(- 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))))":49984,"(- 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))))":49984,"(- z0 (/ (* (pow (cos z1) 4) 40) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21248,"(- z0 (/ (* (pow (cos z1) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5))))":21760,"(- z0 (/ (* -40 (pow (cos z1) 4)) (- (* 5/2 (cos (+ z1 z1))) -3/2)))":21248,"(- z0 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- (* 5/2 (cos (+ z1 z1))) -3/2)))":15168,"(- z0 (/ (* 40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":21248,"(- z0 (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1)))":8384,"(- z0 (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))))":8384,"(- z0 (/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1)))":14976,"(- z0 (/ (- (- (* (sinh z1) z2) z1) z1) (- (* z2 (cosh z1)) 1)))":14976,"(- z0 (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)))":8384,"(- z0 (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2))))":8384,"(- z0 (/ (- -1 (* z1 (cos z2))) (- (* z1 z1) 1)))":8384,"(- z0 (/ (- -1 (* z1 (cos z2))) (- 1 (* z1 z1))))":8384,"(/ (* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3) (* (* (- (* z2 z2) 1) (- (* z2 z2) 1)) (- 1 (* z2 z2))))":10688,"(/ (* (* (- (cos (+ z0 z0)) -1) 1/2) 80) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":15296,"(/ (* (* z0 1/2) (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":15296,"(/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2)))":21888,"(/ (* (- (* (cos z0) z1) -1) z2) (- 1 (* z1 z1)))":8512,"(/ (* (- (* 200 (* z0 z0)) -80) (pow (cos z1) 4)) (- -3/2 (* (cos (+ z1 z1)) 5/2)))":21888,"(/ (* (- (* z0 (cos z1)) -1) z2) (- 1 (* z0 z0)))":8512,"(/ (* (- (cos (+ z0 z0)) -1) -40) (* 1/2 (- (* 5 (- (cos (+ z0 z0)) -1)) 2)))":15488,"(/ (* (- (cos (+ z0 z0)) -1) 1/2) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":14976,"(/ (* (- -1 (* (cos z0) z1)) z2) (- (* z1 z1) 1))":8512,"(/ (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 80) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":15296,"(/ (* (pow (cos z0) 4) 40) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21056,"(/ (* (pow (cos z0) 4) 40) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)))":21568,"(/ (* (pow (cos z0) 4) 40) z1)":13952,"(/ (* (sin z0) z1) z2)":7488,"(/ (* -40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2))":21056,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":21056,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21056,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) 5)))":21568,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2)))":21248,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))))":21248,"(/ (* -40 (pow (cos z0) 4)) z1)":13952,"(/ (* 1/2 (- 1 (cos (+ z0 z0)))) (* (* (- 1 (* z1 z1)) (- 1 (* z1 z1))) (- 1 (* z1 z1))))":10048,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* (cos (+ z0 z0)) 5/2)))":14976,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":14976,"(/ (* 40 (- (cos (+ z0 z0)) -1)) z1)":7872,"(/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21056,"(/ (* 40 (pow (cos z0) 4)) z1)":13952,"(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) (- 1 (* (cosh z0) z1)))":22208,"(/ (- (* (- 1 (* (cosh z0) z1)) z0) (- z0 (- (* (sinh z0) z1) z0))) z2)":15296,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":8192,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":8192,"(/ (- (- (* (sinh z0) z1) z0) z0) (- (* z1 (cosh z0)) 1))":14784,"(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) (* (- (* z1 z1) 1) (tan z0)))":36672,"(/ (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (cos (+ z0 z0)) -1) 5/2))) (- (* (- (cos (+ z0 z0)) -1) 11/2) 1)) z1)":29440,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":8192,"(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))":8192,"(/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1))":8192,"(/ (- -1 (* z0 (cos z1))) (- 1 (* z0 z0)))":8192,"(/ (sin z0) z1)":7168,"(/ z0 (* (- (* z1 z1) 1) (tan z2)))":8000,"(/ z0 (* (- 1 (* z1 z1)) (tan z2)))":8000,"(/ z0 (* 1/2 (- (* 5 (- (cos (+ z1 z1)) -1)) 2)))":8384,"(/ z0 (- (* 5/2 (cos (+ z1 z1))) -3/2))":7872,"(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":7872,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":7872,"(/ z0 (- 1 (* (* (- (cos (+ z1 z1)) -1) 1/2) 5)))":8384,"(/ z0 (- 1 (* (- (cos (+ z1 z1)) -1) 5/2)))":8064,"(/ z0 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) -1/2)) 5)))":8384,"(/ z0 (- 1 (* 5/2 (- (cos (+ z1 z1)) -1))))":8064,"(atanh (* (tan (* 1/2 z0)) (sqrt (/ (- 1 z1) (- -1 z1)))))":15232,"(cos (* (+ z0 z1) -2))":6976,"(cos (* (+ z0 z1) 2))":6976,"(cos (* -2 (+ z0 z1)))":6976,"(cos (* 2 (+ z0 z1)))":6976,"(cos (+ (+ z0 z1) z0))":6848,"(cos (+ (+ z0 z1) z1))":6848,"(cos (- (- (* -3 z0) z1) z1))":7168,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)":16128,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)":16128,"(pow (* (/ (- -1 (* z0 (cos z1))) (- (* z0 z0) 1)) (sqrt (- 1 (* z0 z0)))) z2)":16128,"(pow (* 10000/2928563 (- z0 2634/5)) 4)":7040,"(pow (* 10000/2928563 (- z0 2634/5)) 5)":7040,"(pow (* 10000/2928563 (- z0 2634/5)) 6)":7040,"(pow (- -3/2 (* (cos (+ z0 z0)) 5/2)) -2)":13632,"(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)":13632,"(pow (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))) -2)":13824,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":14656,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":14656,"(pow (cos z0) 3)":12928,"(pow (cos z0) 4)":12928,"(pow (cos z0) 6)":12928,"(pow (cos z0) z1)":12928,"(sin (* (+ z0 z1) 2))":6976,"(sin (* 2 (+ z0 z1)))":6976,"(sin (+ (+ z0 z0) z1))":6848,"(sin (+ (+ z0 z1) z0))":6848,"(sin (+ (+ z0 z1) z1))":6848,"(sin (- (+ z0 z0) (* -3 z1)))":7168,"(sqrt (* z0 z1))":1024}