{"(* (* (* (* 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)))":31808,"(* (* (* (* z0 z0) z0) z1) z1)":1344,"(* (* (* (* z2 z1) 1/2) z0) 1/8)":1344,"(* (* (* (cos z2) z1) z1) z0)":7424,"(* (* (* (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))":38976,"(* (* (* (sin z1) z0) 2) (- (* (* (- (cos (+ z2 z2)) -1) 1/2) 3) 1))":15040,"(* (* (* 1/2 z0) z1) z2)":1024,"(* (* (* 1/2 z0) z2) z1)":1024,"(* (* (* 1/8 z0) 1/2) (/ z1 (* (- 1 (* z2 z2)) (- 1 (* z2 z2)))))":3072,"(* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1))":2048,"(* (* (* z0 1/2) (- 1 (cos (+ z1 z1)))) 3)":7808,"(* (* (* z0 1/2) z1) z2)":1024,"(* (* (* z0 1/8) z1) (- 1 (* z1 z1)))":1536,"(* (* (* z0 z0) z0) z1)":1024,"(* (* (* 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)))":31488,"(* (* (* z1 (- (* z2 z2) 1)) z1) (- z0 1))":1728,"(* (* (* z1 (- (* z2 z2) 1)) z1) z0)":1536,"(* (* (* z1 (- z0 1)) z1) (- (* z2 z2) 1))":1728,"(* (* (* z1 z0) z1) (- (* z2 z2) 1))":1536,"(* (* (* z2 z1) 1/2) z0)":1024,"(* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)":1728,"(* (* (- (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) -1) 1/2) 11)":7296,"(* (* (- (cos z0) -1) 1/2) 3)":7296,"(* (* (- (cos z0) -1) 1/2) 5)":7296,"(* (* (- -1 (cos z0)) 1/2) z1)":7296,"(* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))":4672,"(* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (/ (- (* z0 z1) -1) (- 1 (* z1 z1))))":5888,"(* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1)))":4672,"(* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))":4032,"(* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (/ (- z0 -1) (- 1 (* z1 z1))))":4928,"(* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1)))":3648,"(* (* (/ z2 z0) z1) z1)":1408,"(* (* (/ z2 z1) 1/2) z0)":1408,"(* (* (pow (cos z1) 3) z0) z0)":13568,"(* (* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))) 2)":31040,"(* (* (sin z1) z0) 2)":7104,"(* (* (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)":20224,"(* (* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":19584,"(* (* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":19200,"(* (* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":16768,"(* (* (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)))":38784,"(* (* (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)))":32384,"(* (* (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)))":32192,"(* (* (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)))":31872,"(* (* (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)))":31552,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) (+ z0 z0))":31232,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))) 2)":30720,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))) 2)":30528,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))) 2)":24640,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))) 2)":24320,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))) 2)":24128,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))) 2)":22912,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)) 2)":22720,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":30720,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":30528,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":30720,"(* (* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":30528,"(* (* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)) 2)":16448,"(* (* 1/2 (- 1 (cos (+ z0 z0)))) 3)":7488,"(* (* 1/2 (- 1 (cos z0))) 3)":7296,"(* (* 1/2 (/ z2 z1)) z0)":1408,"(* (* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))) (sin (+ z2 z2)))":9344,"(* (* 1/8 z0) (sin (+ z1 z1)))":7296,"(* (* 3 z0) (sin (+ (+ z2 z2) z1)))":7488,"(* (* 3 z1) (sin (+ z2 z0)))":7296,"(* (* 3 z1) z0)":704,"(* (* 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)))":31168,"(* (* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))) 2)":24640,"(* (* z0 (- (* z1 z1) 1)) z0)":1216,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (cos (+ z2 z2)))":35776,"(* (* z0 (- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))) (sin (+ z2 z2)))":35776,"(* (* z0 1/2) (* (/ z2 (* z1 z1)) z2))":2048,"(* (* z0 1/2) (- 1 (cos (+ z1 z1))))":7488,"(* (* z0 1/2) (cos z1))":7104,"(* (* z0 2) (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":8320,"(* (* z0 z0) (- 1 (* z1 z1)))":1216,"(* (* z0 z0) (/ z0 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) (- 1 (* z1 z1)))))":3584,"(* (* z0 z1) (- (* z2 z2) 1))":1216,"(* (* z0 z1) z1)":704,"(* (* z0 z1) z2)":704,"(* (* z0 z2) z1)":704,"(* (* z1 (- 1 (* z2 z2))) (- 1 z0))":1408,"(* (* z1 (- 1 (* z2 z2))) z0)":1216,"(* (* z1 (- 1 z0)) (- 1 (* z2 z2)))":1408,"(* (* z1 z0) (- 1 (* z2 z2)))":1216,"(* (* z1 z0) z1)":704,"(* (* z2 (* (/ z2 (* z1 z1)) 1/2)) z0)":2048,"(* (* z2 (/ z1 (* z0 z0))) z1)":1728,"(* (* z2 z0) z1)":704,"(* (* z2 z1) z0)":704,"(* (+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2))) 3)":14592,"(* (+ (sin (* (+ z2 z1) 2)) z0) 3)":7488,"(* (- (* z0 z0) 1) (tan z1))":7296,"(* (- (* z1 z1) 1) z0)":896,"(* (- (+ (* (sin z2) z1) z2) z0) 6)":7488,"(* (- (+ z2 z0) z1) 6)":768,"(* (- (cos (+ z0 z0)) -1) 1/2)":7168,"(* (- (cos (+ z0 z0)) -1) 11/2)":7168,"(* (- (cos (+ z0 z0)) -1) 5/2)":7168,"(* (- (cos z0) -1) 1/2)":6976,"(* (- (cos z0) -1) 11/2)":6976,"(* (- (cos z0) -1) 5/2)":6976,"(* (- -1 (* (* (* z0 z0) z0) z1)) z1)":1536,"(* (- -1 (cos (+ z0 z0))) 1/2)":7168,"(* (- -1 (cos (+ z1 z1))) (* 1/2 z0))":7488,"(* (- -1 (cos z0)) 1/2)":6976,"(* (- 1 (* z1 z1)) z0)":896,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)":7488,"(* (- 1/2 (* (cos z0) -1/2)) 5)":7296,"(* (- z0 z1) 6)":576,"(* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1)))":3840,"(* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1))))":3840,"(* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1)))":3200,"(* (/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0)) (* 1/2 (- 1 (cos (+ z2 z2)))))":9856,"(* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* 1/2 (cos z2)))":9152,"(* (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))) (* z1 1/8))":2752,"(* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1)))":2816,"(* (/ z1 (* z0 z0)) z1)":1408,"(* (/ z1 z0) z1)":1088,"(* (/ z2 (* z1 z1)) z0)":1408,"(* (/ z2 z0) z1)":1088,"(* (/ z2 z1) z0)":1088,"(* (cos (+ z1 z1)) z0)":6976,"(* (cos z0) z1)":6784,"(* (cos z1) z0)":6784,"(* (fabs (sin z1)) z0)":6912,"(* (pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2) (* (pow (cos z0) 4) 200))":27136,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow z0 4) 200))":20736,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200))":14272,"(* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0)":13952,"(* (pow (- -3/2 (* 5/2 (cos z0))) -2) (* (pow (cos z1) 4) 200))":26944,"(* (pow (- -3/2 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200))":20544,"(* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200))":20544,"(* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200))":20224,"(* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0)))":15488,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0))":15168,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0)":14976,"(* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1)))":15168,"(* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1)))":14976,"(* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0)))":15488,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0))":15168,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0)":14976,"(* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1)))":15168,"(* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1)))":14976,"(* (pow (cos z0) 4) 200)":13248,"(* (pow (cos z1) 3) z0)":13248,"(* (pow z0 -2) (* (pow (cos z1) 4) 200))":20032,"(* (pow z0 4) 200)":6848,"(* (sin (* (+ z1 z0) 2)) 3)":7296,"(* (sin (* z0 2)) 3)":7104,"(* (sin (+ (+ z2 z2) z1)) z0)":7168,"(* (sin (+ z2 z0)) z1)":6976,"(* (sin (- (+ z2 z2) z0)) z1)":7168,"(* (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)))":31232,"(* (sin (- z0 (* -3 z2))) z1)":7296,"(* (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)))":31424,"(* (sin (- z2 (- (* -3 z1) z2))) z0)":7488,"(* (sin z0) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)))":30720,"(* (sin z0) 3)":6784,"(* (sin z0) z1)":6784,"(* (sin z1) (- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)))":30720,"(* (sin z1) z0)":6784,"(* (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)))":19904,"(* (sin z2) (- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":19264,"(* (sin z2) (- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":18880,"(* (sin z2) (- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":16448,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1)))":30400,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1)))":30208,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1)))":24320,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1)))":24000,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1)))":23808,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1)))":22592,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0))":22400,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":30400,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":30208,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":30400,"(* (sin z2) (- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":30208,"(* (sin z2) (- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1))":16128,"(* (sqrt z0) (- (* z1 z1) 1))":1536,"(* (sqrt z0) (- 1 (* z1 z1)))":1536,"(* -40 (pow (cos z0) 4))":13248,"(* 1/2 (- 1 (cos (+ z0 z0))))":7168,"(* 1/2 (- 1 (cos z0)))":6976,"(* 1/2 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))))":2432,"(* 1/2 (/ z1 (* (- 1 (* z2 z2)) (- 1 z0))))":2112,"(* 1/2 (/ z1 (* (- 1 (* z2 z2)) z0)))":1920,"(* 1/2 (/ z1 (* (- 1 z0) (- 1 (* z2 z2)))))":2112,"(* 1/2 (/ z1 (* z0 (- 1 (* z2 z2)))))":1920,"(* 1/8 (* (* (/ z2 z0) z1) z1))":1728,"(* 1/8 (* (* z2 (/ z1 (* z0 z0))) z1))":2048,"(* 1/8 (* (* z2 z0) z1))":1024,"(* 1/8 (/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))))":2432,"(* 11/2 (- (cos (+ z0 z0)) -1))":7168,"(* 11/2 (- (cos z0) -1))":6976,"(* 3 (* z1 (sin z0)))":7104,"(* 3/2 (cos z0))":6784,"(* 40 (- (cos (+ z0 z0)) -1))":7168,"(* 40 (- (cos z0) -1))":6976,"(* 40 (pow (cos z0) 4))":13248,"(* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2)))":7488,"(* 5 (- 1/2 (* (cos z0) -1/2)))":7296,"(* 5/2 (- (cos (+ z0 z0)) -1))":7168,"(* 5/2 (- (cos z0) -1))":6976,"(* 5/2 (cos (+ z0 z0)))":6976,"(* 5/2 (cos z0))":6784,"(* z0 (* (* (cos z2) z1) z1))":7424,"(* z0 (* (/ z2 (* z1 z1)) z2))":1728,"(* z0 (* (pow (cos z1) 4) 200))":13568,"(* z0 (- (* (* (- (cos (+ z1 z1)) -1) 1/2) 3) 1))":8000,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1)))":24320,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3)))":24320,"(* z0 (- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1)))":24320,"(* z0 (- (* z1 z1) 1))":896,"(* 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)) -1)) 1)))":28864,"(* z0 (- 1 (* z1 z1)))":896,"(* z0 (cos (+ z1 z1)))":6976,"(* z0 (cos z1))":6784,"(* z0 (pow (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)) -2))":14464,"(* z0 (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3))":14976,"(* z0 (sin (+ (+ z2 z2) z1)))":7168,"(* z0 (sin (+ z1 z1)))":6976,"(* z0 (sin z1))":6784,"(* z0 (tan z1))":6784,"(* z1 (* (* 1/2 z0) z2))":1024,"(* z1 (sin z0))":6784,"(* z2 (* (/ z2 (* z1 z1)) z0))":1728,"(* z2 (/ z1 (* z0 z0)))":1408,"(* z2 (/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1))))":3072,"(* z2 (/ z2 (* z0 (- (* z1 z1) 1))))":1920,"(+ (* (* (pow (cos z2) 3) z1) z1) (/ z1 z0))":14464,"(+ (* (pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))))":23808,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) (- 1 z0)))":23488,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 (cos z2)) -1) z0))":23296,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1))))":17408,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)":15680,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))))":23488,"(+ (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) z0) (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))))":23296,"(+ (* (sin (+ (+ z2 z2) z1)) z0) (sin (* (+ z2 z1) 2)))":14272,"(+ (- (* (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))))))":42240,"(+ (- (* (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))))))":35840,"(+ (- (* (pow (- 1 (* 5/2 z0)) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":35840,"(+ (- (* (pow (- 1 z0) -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":35520,"(+ (- (* (pow z0 -2) (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":35328,"(+ (- (* z0 (* (pow (cos z1) 4) 200)) -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":28864,"(+ (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) 1/3)":9408,"(+ (- z0 -11) (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":15360,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":22080,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":28480,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":22080,"(+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":21760,"(+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":21568,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- (* z1 z0) -1) (- 1 (* z1 z1))) (/ (- (* z1 z0) -1) (- 1 (* z1 z1)))) (- 1 (* z1 z1))))":12992,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))))":12352,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))))":11968,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (* z0 z0) (- 1 (* z1 z1))))":9536,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2) (- 1 (* z1 z1))))":23488,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* (pow (/ (- (* z1 (cos z2)) -1) z0) 2) (- 1 (* z1 z1))))":23296,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) (* z0 (- 1 (* z1 z1))))":9216,"(+ (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) z0)":8384,"(+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 z0)))))":16832,"(+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* (* (pow (cos z2) 3) z1) z1))":15488,"(+ (/ z1 (- (sqrt (- 1 z0)) -1)) (* z1 (+ (* (pow (cos z2) 3) z1) (sqrt (- 1 (* z1 z1))))))":16832,"(+ (/ z1 (- (sqrt z0) -1)) (* (* (pow (cos z2) 3) z1) z1))":15296,"(+ (sin (* (+ z2 z1) 2)) z0)":7168,"(+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5))":7680,"(+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11))":7680,"(- (* (* (- (cos (+ z0 z0)) -1) 1/2) 3) 1)":7680,"(- (* (* (- (cos z0) -1) 1/2) 3) 1)":7488,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":13184,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":13184,"(- (* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":13184,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":12544,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":12544,"(- (* (* (/ (- z0 -1) (- (* z1 z1) 1)) (/ (- z0 -1) (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":12544,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":12160,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":12160,"(- (* (* (/ z0 (- (* z1 z1) 1)) (/ z0 (- (* z1 z1) 1))) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":12160,"(- (* (* 1/2 (- z0 -1)) 3) 1)":1088,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":9728,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":9728,"(- (* (* z0 z0) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":9728,"(- (* (- (cos (+ z0 z0)) -1) 11/2) 1)":7360,"(- (* (- (cos (+ z0 z0)) -1) 5/2) 1)":7360,"(- (* (- (cos z0) -1) 11/2) 1)":7168,"(- (* (- (cos z0) -1) 5/2) 1)":7168,"(- (* (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)))))))":42432,"(- (* (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))))))":42240,"(- (* (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)))))":35840,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0)))))":35840,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0))))":35520,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0)))":35328,"(- (* (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)))))))":42240,"(- (* (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)))))))":35840,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":35648,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":35328,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) (- -11 z0))":27520,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* (pow (cos z1) 4) 200)) z0)":27328,"(- (* (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)))))))":36032,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) (* z0 200)) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":29568,"(- (* (pow (- -3/2 (* 5/2 (cos (+ z1 z1)))) -2) z0) (- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))))":29248,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1))":24000,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))":24000,"(- (* (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))":24000,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- z0 1)) 1/3))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1))":23488,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) z0) 1/3))":23488,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1))":17600,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3))":17600,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1))":17600,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1))":17280,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- (* z1 z1) 1)) 1/3))":17280,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ (- z0 -1) (- 1 (* z1 z1))) 1))":17280,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1))":17088,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- (* z1 z1) 1)) 1/3))":17088,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- (/ z0 (- 1 (* z1 z1))) 1))":17088,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1))":15872,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (- z0 1/3))":15872,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) z0)":15680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) (- 1 z0)) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 2) z0) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":23488,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":23680,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1))":23488,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1)) 1/3))":23488,"(- (* (pow (/ (- (* (cos z2) z1) -1) z0) 2) (- 1 (* z1 z1))) (- (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 1))":23488,"(- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ (- z0 -1) (- (* z1 z1) 1)))":17088,"(- (* (pow (/ (- (* z1 (cos z2)) -1) (- 1 (* z1 z1))) 2) (- 1 (* z1 z1))) (/ z0 (- (* z1 z1) 1)))":16896,"(- (* 11/2 (- (cos (+ z0 z0)) -1)) 1)":7360,"(- (* 11/2 (- (cos z0) -1)) 1)":7168,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":22272,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":28672,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":22272,"(- (+ (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":21952,"(- (+ (/ (* -40 (pow (cos z1) 4)) z0) (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":21760,"(- (+ z0 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 11)) -1)":7872,"(- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- (* z1 z1) 1))) -1)":9408,"(- (- (* z0 (- 1 (* z1 z1))) (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1)":9408,"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1)":28864,"(- (- (/ (* -40 (pow (cos z1) 4)) z0) (* 11/2 (- (cos (+ z1 z1)) -1))) -1)":21440,"(- (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":22464,"(- (- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":16000,"(- (- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11)) -1)":15680,"(- (- z0 (* 11/2 (- (cos (+ z1 z1)) -1))) -1)":7552,"(- (- z0 (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1)))) -1)":8576,"(- (/ (* -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))))) (- (* 11/2 (- (cos (+ z0 z0)) -1)) 1))":28544,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":21952,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos z0) -1) 1/2) 11))":28480,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 (- z0 -1)) 11))":22080,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* 1/2 z0) 11))":21888,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* z0 11))":21568,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* (- (cos z0) -1) 1/2) 11) 1))":28672,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 (- z0 -1)) 11) 1))":22272,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* (* 1/2 z0) 11) 1))":22080,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11 z0) 1))":21760,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos z0) -1)) 1))":28352,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- z0 -1)) 1))":21952,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 z0) 1))":21760,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* z0 11) 1))":21760,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- z0 1))":21440,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) z0)":21248,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0)))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":28352,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":21952,"(- (/ (* -40 (pow (cos z1) 4)) (- -3/2 z0)) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":21632,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":22272,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":22144,"(- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":15808,"(- (/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":15680,"(- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)":8384,"(- (/ (- (* (cos z2) z1) -1) (- 1 z0)) 1)":8064,"(- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1)":1984,"(- (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) 1/3)":1984,"(- (/ (- (* z0 z1) -1) (- 1 (* z1 z1))) 1)":1984,"(- (/ (- z0 -1) (- 1 (* z1 z1))) 1)":1664,"(- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (* (* (- (cos (+ z1 z1)) -1) 1/2) 11))":15488,"(- (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))) (- (* 11/2 (- (cos (+ z1 z1)) -1)) 1))":15360,"(- (cos (+ z0 z0)) -1)":6848,"(- (cos z0) -1)":6656,"(- (cos z1) (* (- -1 (cos (+ z1 z1))) (* 1/2 z0)))":14080,"(- (cos z2) (* (* (- -1 (cos z0)) 1/2) z1))":13888,"(- -1 (* (pow (cos z1) 3) z0))":13440,"(- -1 (cos (+ z0 z0)))":6848,"(- -1 (cos z0))":6656,"(- -11 (/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":15168,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0)))))":14976,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0))))":8576,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0)))":8256,"(- -11 (/ (* 40 (- (cos (+ z1 z1)) -1)) z0))":8064,"(- -11 (/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":14976,"(- -11 (/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":8576,"(- -11 (/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1))))))":8384,"(- -11 (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))))":8064,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":7168,"(- -3/2 (* 5/2 (cos z0)))":6976,"(- 1 (* (- 1/2 (* (cos z0) -1/2)) 5))":7488,"(- 1 (cos (+ z0 z0)))":6848,"(- 1 (cos z0))":6656,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7168,"(- 1/2 (* (cos z0) -1/2))":6976,"(- z0 (* (- -1 (cos (+ z2 z2))) (* 1/2 z1)))":7680,"(- z0 (* (sin (* (+ z2 z1) 2)) 3))":7488,"(- z1 (- (* -3 z0) z1))":768,"(/ (* (* z0 1/2) z1) (* (- 1 (* z2 z2)) (- 1 (* z2 z2))))":2752,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":21056,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5 z0)))":14464,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 (cos z0))))":20864,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 (* 5/2 z0)))":14464,"(/ (* -40 (pow (cos z1) 4)) (- -3/2 z0))":14144,"(/ (* -40 (pow (cos z1) 4)) z0)":13952,"(/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":14656,"(/ (* -40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":8192,"(/ (* 40 (- (cos (+ z0 z0)) -1)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":14976,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 (cos z0))))":14784,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- -3/2 (* 5/2 z0)))":8384,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 (* 5/2 z0)))":8384,"(/ (* 40 (- (cos (+ z1 z1)) -1)) (- 1 z0))":8064,"(/ (* 40 (- (cos (+ z1 z1)) -1)) z0)":7872,"(/ (* 40 (- (cos z0) -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":14784,"(/ (* 40 (- z0 -1)) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":8384,"(/ (* 40 (pow (cos z0) 4)) (- (* (- (cos (+ z0 z0)) -1) 5/2) 1))":21248,"(/ (* 40 (pow (cos z1) 4)) (- (* (- (cos z0) -1) 5/2) 1))":21056,"(/ (* 40 (pow (cos z1) 4)) (- (* (- z0 -1) 5/2) 1))":14656,"(/ (* 40 (pow (cos z1) 4)) (- (* z0 5/2) 1))":14464,"(/ (* 40 (pow (cos z1) 4)) (- z0 1))":14144,"(/ (* 40 (pow (cos z1) 4)) z0)":13952,"(/ (* 40 (pow z0 4)) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":14848,"(/ (* 40 z0) (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":8384,"(/ (* 40 z0) (- -3/2 (* 5/2 (cos (+ z1 z1)))))":8192,"(/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1))":8192,"(/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0)))":8192,"(/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0)))":8192,"(/ (- (* z0 z1) -1) (- (* z1 z1) 1))":1792,"(/ (- (* z0 z1) -1) (- 1 (* z1 z1)))":1792,"(/ (- (* z1 z0) -1) (- 1 (* z1 z1)))":1792,"(/ (- z0 -1) (- (* z1 z1) 1))":1472,"(/ (- z0 -1) (- 1 (* z1 z1)))":1472,"(/ -1 (* (sqrt (- 1 z0)) (- (* z1 z1) 1)))":2432,"(/ -1 (* (sqrt z0) (- (* z1 z1) 1)))":2240,"(/ -1 (* z0 (- (* z1 z1) 1)))":1600,"(/ 3 (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) z0))":2432,"(/ z0 (* (* z1 (- 1 (* z2 z2))) (- 1 (* z2 z2))))":2432,"(/ z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))":2112,"(/ z0 (* (- (* z1 z1) 1) (tan z2)))":8000,"(/ z0 (+ 1 (* (* -1/2 (- (cos (+ z1 z1)) -1)) 5)))":8384,"(/ z0 (- (* (- (cos (+ z1 z1)) -1) 5/2) 1))":8064,"(/ z0 (- (* z1 z1) 1))":1280,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":7872,"(/ z0 (- 1 (* z1 z1)))":1280,"(/ z1 (* (- 1 (* z2 z2)) (- 1 z0)))":1792,"(/ z1 (* (- 1 (* z2 z2)) z0))":1600,"(/ z1 (* (- 1 z0) (- 1 (* z2 z2))))":1792,"(/ z1 (* z0 (- 1 (* z2 z2))))":1600,"(/ z1 (* z0 z0))":1088,"(/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1)))":2752,"(/ z2 (* (* z0 (- 1 (* z1 z1))) (- 1 (* z1 z1))))":2432,"(/ z2 (* z0 (- (* z1 z1) 1)))":1600,"(/ z2 (* z0 (- 1 (* z1 z1))))":1600,"(cos (* (+ z1 z0) -2))":6976,"(cos (* 2 (+ z1 z0)))":6976,"(cos (+ (+ z1 z1) z0))":6848,"(cos (+ z1 z0))":6656,"(cos (- (+ z1 z1) z0))":6848,"(cos (- z1 (- (* -3 z0) z1)))":7168,"(cos (- z1 z0))":6656,"(pow (+ 1 (* (* -1/2 (- (cos (+ z0 z0)) -1)) 5)) -2)":14144,"(pow (- -3/2 (* 5/2 (cos (+ z0 z0)))) -2)":13632,"(pow (- -3/2 (* 5/2 (cos z0))) -2)":13440,"(pow (- -3/2 (* 5/2 z0)) -2)":7040,"(pow (- 1 (* (- 1/2 (* (cos z0) -1/2)) 5)) -2)":13952,"(pow (- 1 (* (- 1/2 (* z0 -1/2)) 5)) -2)":7552,"(pow (- 1 (* 5/2 z0)) -2)":7040,"(pow (- 1 (* z0 5)) -2)":7040,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 2)":14656,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)":14656,"(pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 2)":14336,"(pow (/ (- (* (cos z2) z1) -1) (- 1 z0)) 3)":14336,"(pow (/ (- (* (cos z2) z1) -1) z0) 2)":14144,"(pow (/ (- (* (cos z2) z1) -1) z0) 3)":14144,"(pow (/ (- (* z0 (cos z1)) -1) (- 1 (* z0 z0))) 2)":14656,"(pow (/ (- (* z1 (cos z2)) -1) (- 1 z0)) 2)":14336,"(pow (/ (- (* z1 (cos z2)) -1) z0) 2)":14144,"(pow (cos z0) 3)":12928,"(pow (cos z0) 4)":12928,"(pow (cos z0) 6)":12928,"(sin (* (+ z1 z0) 2))":6976,"(sin (+ (+ z1 z1) z0))":6848,"(sin (+ z1 z0))":6656,"(sin (- (+ z1 z1) z0))":6848,"(sin (- (- (* -3 z0) z1) z1))":7168,"(sin (- (- z0 z1) z1))":6848,"(sin (- z0 (* -3 z1)))":6976,"(sin (- z0 z1))":6656,"(sin (- z1 (- (* -3 z0) z1)))":7168}