{"(* (* (* (- 1 (* z0 z0)) z0) (cos (+ z1 z1))) z2)":1716,"(* (* (* (cos z0) z1) z1) z2)":5736,"(* (* (* (pow (cos z0) 6) 400) (* z1 z1)) z2)":17316,"(* (* (* (pow (cos z0) 6) 400) z1) z1)":3242,"(* (* (* 1/2 z0) (cos (* -1/2 z1))) z2)":1602,"(* (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1)) (sin z2))":14796,"(* (* (* z0 z0) (cos z1)) z2)":7896,"(* (* (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))":23172,"(* (* (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1)) 2) z2)":26274,"(* (* (- 1 (* z0 z0)) (cos (+ z1 z1))) z2)":8682,"(* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) (+ (* (- (* (pow (cos z1) 3) z2) -1) z2) (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z2) (cos z1)) 3)))":9798,"(* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) z1)":4236,"(* (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) 3) (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 1)))":10716,"(* (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) 3) z1)":4386,"(* (* (- z0) (sin z1)) z2)":1452,"(* (* (cos (* -2 (+ z0 z1))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3)) 3)":4854,"(* (* (cos z0) (* z1 z1)) z2)":30096,"(* (* (cos z0) (cos z1)) z2)":5448,"(* (* (cos z0) (fabs (sin z0))) z1)":2952,"(* (* (cos z0) (sin z1)) (sin z2))":3732,"(* (* (cos z0) (sin z1)) z2)":8262,"(* (* (cos z0) z1) (sin z2))":4314,"(* (* (cos z0) z1) z2)":15228,"(* (* (pow (cos z0) 3) z1) z1)":17536,"(* (* (pow (cos z0) 6) 400) (* z1 z1))":5840,"(* (* (pow (cos z0) 6) 400) z1)":9244,"(* (* (pow (sqrt (- 1 (pow z0 2))) 3) (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))) (sin (* 2 z2)))":17450,"(* (* (pow (sqrt (- 1 (pow z0 2))) 3) (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))) z2)":21300,"(* (* (pow z0 2) (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))) (sin (* 2 z2)))":37212,"(* (* (pow z0 2) (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))) z2)":38166,"(* (* (sin (* z0 1/2)) z1) z2)":2760,"(* (* (sin (/ z0 2)) z1) (cos z2))":11070,"(* (* (sin (/ z0 2)) z1) (sin z2))":4908,"(* (* (sin (/ z0 2)) z1) z2)":17262,"(* (* (sin z0) (sin z1)) (cos z2))":5958,"(* (* (sin z0) (sin z1)) z2)":6318,"(* (* (sin z0) z1) (sin (* 1/2 z2)))":7512,"(* (* (sin z0) z1) z2)":13926,"(* (* (sqrt (* (- 1 z0) 2)) (sin (* 1/2 z1))) z2)":4704,"(* (* -200 (pow (cos z0) 4)) z1)":15774,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":25962,"(* (* 1/2 z0) (cos (* -1/2 z1)))":4278,"(* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2))":3430,"(* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2))":6284,"(* (* 11 (+ 2 (* 3 (pow z0 2)))) z1)":7696,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1))":14856,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) z1)":7772,"(* (* 3 (- 1 (pow (cos z0) 2))) z1)":8738,"(* (* 3 (cos (* (+ z0 z1) -2))) z2)":4716,"(* (* 3 (pow (sin z0) 2)) z1)":6606,"(* (* 3 z0) (cos (+ (* 2 z1) z2)))":30474,"(* (* 3 z0) (pow (cos z1) 2))":23562,"(* (* 3 z0) (sin (+ (* 2 z1) z2)))":101508,"(* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4))":3638,"(* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4))":7420,"(* (* 40 (+ 2 (* 5 (pow z0 2)))) z1)":7558,"(* (* 400 (* z0 z0)) (pow (cos z1) 6))":3636,"(* (* 400 (pow z0 2)) (pow (cos z1) 6))":7450,"(* (* 400 (pow z0 2)) z1)":7588,"(* (* z0 (cos z1)) z2)":4224,"(* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) 3)":12294,"(* (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2))) 3)":8244,"(* (+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2))) 3)":13200,"(* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4))":5862,"(* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))":5458,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (sqrt (- 1 (* z1 z1))) z1))) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))) z2)":8916,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))) (* (- 1 (+ 1/2 (* 1/2 (cos (* 2 z2))))) 3))":7770,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))) z2)":9282,"(* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) (sin (+ (* 2 z2) (* 3 z1))))":19944,"(* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) z2)":21138,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (* 2 z1)))":20614,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (sin (* 2 z1)))":13130,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) z1)":37632,"(* (+ (cos (+ z0 z0)) 1) 1/2)":6024,"(* (+ (sin (* (+ z0 z1) 2)) (* (sin (+ z0 (+ z1 z1))) z2)) 3)":5340,"(* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11)":4973,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11)":6301,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3)":9514,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80)":3820,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7172,"(* (- (* (* 1/2 z0) (cos (* -1/2 z1))) (sin (* -1/2 z1))) z2)":3702,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)":4402,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)":3970,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1)":14788,"(* (- (* (sin z0) z1) (- z2 z0)) -6)":9834,"(* (- (* (sin z0) z1) (- z2 z0)) 6)":18978,"(* (- (* 3 (pow (cos z0) 2)) 1) z1)":4264,"(* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1)))))":1806,"(* (- (* 6 (- 1 (* 5 (pow (cos z0) 2))))) z1)":10110,"(* (- (* z0 z0) 1) (tan z1))":6094,"(* (- (+ (* (sin z0) z1) z0) z2) 6)":36342,"(* (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) (sin (+ z2 z2)))":7278,"(* (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) z2)":7386,"(* (- (- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) -1) (sin (+ (* 2 z2) z1)))":12666,"(* (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) z2)":4788,"(* (- (cos z0)) z1)":2402,"(* (- (pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3) (/ 1 (* (- 1 (* z1 z1)) (sqrt (- 1 (* z1 z1)))))) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))":6852,"(* (- (pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3) (/ 1 (* (- 1 (* z1 z1)) (sqrt (- 1 (* z1 z1)))))) z2)":8118,"(* (- (sin z0)) z1)":3012,"(* (- (sqrt (fabs (- -1 z0)))) z1)":316,"(* (- (sqrt (fabs (- 1 z0)))) z1)":548,"(* (- (sqrt (fabs z0))) z1)":440,"(* (- (sqrt (sqrt (fabs z0)))) z1)":522,"(* (- 1 (* (* (+ (cos (+ z0 z0)) 1) 1/2) 3)) z1)":1516,"(* (- 1 (* z0 z0)) (cos (+ z1 z1)))":2906,"(* (- 1 (+ 1/2 (* 1/2 (cos (* 2 z0))))) 3)":2361,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3)":3442,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) 3)":4433,"(* (- 3 (* 5 (pow (cos z0) 2))) z1)":10274,"(* (- z0) (cos z1))":1410,"(* (- z0) (sin z1))":1276,"(* (/ (* 3 (- 1 (pow (cos z0) 2))) (pow (sqrt (- 1 (pow z1 2))) 6)) (+ (+ z1 (+ (* 3 (cos z2)) (* (* 3 z1) (pow (cos z2) 2)))) (* (pow z1 2) (pow (cos z2) 3))))":25782,"(* (/ (* 3 (- 1 (pow (cos z0) 2))) (pow (sqrt (- 1 (pow z1 2))) 6)) z2)":31296,"(* (/ (* z0 z0) (fabs z1)) z2)":390,"(* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2)":91242,"(* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":38862,"(* (/ (- z0) (fabs z1)) z2)":630,"(* (/ (cos z0) z1) z2)":2514,"(* (/ (fabs z0) (- z1)) z2)":600,"(* (/ (fabs z0) (fabs z1)) z2)":612,"(* (/ (fabs z0) z1) z2)":774,"(* (/ (sqrt (fabs (+ (* (- z0) 2) 2))) (sqrt 2)) z1)":978,"(* (/ 1 (/ (* (* (- 1 (* z0 z0)) (- 1 (* z0 z0))) (- 1 (* z0 z0))) (* (- 1 (+ 1/2 (* 1/2 (cos (* 2 z1))))) 3))) z2)":3894,"(* (/ z0 (fabs z1)) z2)":708,"(* (cos (* (+ z0 z1) -2)) z2)":6750,"(* (cos (* -1/2 z0)) z1)":14810,"(* (cos (* -2 (+ z0 z1))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":8598,"(* (cos (* -2 (+ z0 z1))) z2)":11694,"(* (cos (+ z0 (+ z1 z1))) z2)":21768,"(* (cos (+ z0 z0)) (cos (+ z1 z1)))":6240,"(* (cos (+ z0 z0)) z1)":21610,"(* (cos (- (* -3 z0) (+ z1 z1))) z2)":8940,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":10602,"(* (cos z0) (sin z1))":4746,"(* (cos z0) z1)":238184,"(* (fabs (- (* z0 z0) 1)) z1)":324,"(* (fabs (- 1 (* z0 z0))) z1)":208,"(* (fabs (/ z0 z1)) z2)":792,"(* (fabs (sin z0)) z1)":1764,"(* (fabs z0) (- 1 (* z1 z1)))":450,"(* (fabs z0) (sqrt (fabs z1)))":578,"(* (pow (* 10000/2928563 (- z0 2634/5)) 4) 5269/10000)":2964,"(* (pow (* 10000/2928563 (- z0 2634/5)) 5) -5889/10000)":2460,"(* (pow (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) 3) (cos (+ (* 2 z2) (* 2 z1))))":7998,"(* (pow (cos z0) 3) z1)":22086,"(* (pow (cos z0) 4) 40)":3376,"(* (pow (cos z0) 6) 400)":4656,"(* (pow z0 2) (pow (cos z1) 3))":25152,"(* (pow z0 2) z1)":44104,"(* (sin (* (+ z0 z1) 2)) 3)":13636,"(* (sin (* 1/2 z0)) (sqrt (- z1 -1)))":5274,"(* (sin (* 1/2 z0)) z1)":12530,"(* (sin (+ (* PI 1/2) z0)) z1)":1450,"(* (sin (+ (+ z0 z0) z1)) (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1)))":6630,"(* (sin (+ (+ z0 z0) z1)) z2)":9930,"(* (sin (+ z0 (+ z1 z1))) (* 3 z2))":13362,"(* (sin (+ z0 (+ z1 z1))) (- (pow (* (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) 1)))":19428,"(* (sin (+ z0 (+ z1 z1))) z2)":57870,"(* (sin (+ z0 z0)) (sin (+ z1 z1)))":6380,"(* (sin (+ z0 z0)) z1)":15804,"(* (sin (- (* -3 z0) (+ z1 z1))) z2)":2328,"(* (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)))":18702,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":110052,"(* (sin (/ z0 2)) z1)":5790,"(* (sin z0) (* (* (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)))":23004,"(* (sin z0) (cos z1))":2792,"(* (sin z0) (sin z1))":2684,"(* (sin z0) z1)":81624,"(* (sqrt (* (- 1 z0) 2)) (sin (* 1/2 z1)))":1724,"(* (sqrt (* (- 1 z0) 2)) z1)":3486,"(* (sqrt (* (fabs z0) (sqrt (fabs z1)))) z2)":408,"(* (sqrt (* (sqrt (fabs z0)) (fabs z1))) z2)":666,"(* (sqrt (* z0 z1)) z2)":1014,"(* (sqrt (+ 1 z0)) (sin (/ z1 2)))":1820,"(* (sqrt (- (* z0 -2) -2)) z1)":1320,"(* (sqrt (- 1 (- 1/2 (* 1/2 (cos (* 2 (+ (* PI 1/2) z0))))))) z1)":1888,"(* (sqrt (- 1 (pow (cos z0) 2))) z1)":3862,"(* (sqrt (fabs (- -1 z0))) z1)":492,"(* (sqrt (fabs (- 1 z0))) z1)":1168,"(* (sqrt (fabs (- z0 1))) z1)":302,"(* (sqrt (fabs (/ -1 (- z0 1)))) z1)":518,"(* (sqrt (fabs z0)) (fabs z0))":1242,"(* (sqrt (fabs z0)) (fabs z1))":654,"(* (sqrt (fabs z0)) z1)":4436,"(* (sqrt (sqrt (* (- 1 z0) 2))) z1)":594,"(* (sqrt (sqrt (- (* -2 z0) -2))) z1)":664,"(* (sqrt (sqrt (- 1 z0))) z1)":688,"(* (sqrt (sqrt (fabs z0))) z1)":1390,"(* (sqrt (sqrt (sqrt (fabs z0)))) z1)":1118,"(* (tan (* 1/2 z0)) z1)":9738,"(* -200 (pow (cos z0) 4))":8222,"(* -34047/100000 (pow (* 10000/2928563 (- z0 2634/5)) 6))":2676,"(* -40 (pow (cos z0) 4))":17066,"(* -6 (- (* (sin z0) z1) (- z2 z0)))":12276,"(* -6 (- (+ (* (sin z0) z1) z0) z2))":2454,"(* 1/2 (cos (* 2 (+ (* PI 1/2) z0))))":2808,"(* 1/2 (cos (* 2 (+ z0 (* PI 1/2)))))":2967,"(* 1/2 (cos (* 2 (+ z0 (/ PI 2)))))":3969,"(* 1/2 (sin (+ (+ z0 z0) (* PI 1/2))))":1878,"(* 11 (+ 2 (* 3 (pow z0 2))))":3848,"(* 11 (pow (cos z0) 2))":25203,"(* 2 (- (* 3 (pow (cos z0) 2)) 1))":3886,"(* 200 (pow (cos z0) 4))":11035,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))":6952,"(* 3 (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1)))))":7908,"(* 3 (+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2)))))":18774,"(* 3 (- 1 (pow (cos z0) 2)))":10108,"(* 3 (cos (* (+ z0 z1) -2)))":1590,"(* 3 (cos (+ (* 2 z0) (* 2 z1))))":6906,"(* 3 (cos z0))":12645,"(* 3 (pow (cos z0) 2))":6018,"(* 3 (pow (sin z0) 2))":3311,"(* 3 (pow z0 2))":3848,"(* 3 (sin (+ (* 2 z0) (* 2 z1))))":33518,"(* 40 (pow (cos z0) 4))":29259,"(* 400 (pow z0 2))":3794,"(* 5 (* (+ (cos (+ z0 z0)) 1) 1/2))":2664,"(* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":16914,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":13252,"(* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))":1897,"(* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2)))":8852,"(* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))":8471,"(* 5 (- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2)))))))":2810,"(* 5 (pow (cos z0) 2))":61255,"(* 5 (pow z0 2))":3779,"(* 5/2 (cos (+ z0 z0)))":3514,"(* 6 (+ (- z0 z1) (* z2 (sin z0))))":63822,"(* 6 (- 1 (* 5 (pow (cos z0) 2))))":5055,"(* 80 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":1556,"(* 80 (pow (cos z0) 2))":8642,"(* z0 (* (* (* (pow (cos z1) 6) 400) z2) z2))":6684,"(* z0 (* (* (cos z1) (* z2 z2)) (- (- (/ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2)))))":19698,"(* z0 (* (* (cos z1) z2) z2))":1440,"(* z0 (* (* z1 z1) (cos z2)))":10218,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (cos (* 2 z2))))":61842,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (sin (* 2 z2))))":39390,"(* z0 (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z1)))) 11) 1)) (* (sqrt (- 1 (* z2 z2))) (- 1 (* z2 z2)))))":7920,"(* z0 (* (- 1 (+ 1/2 (* 1/2 (cos (* 2 z1))))) 3))":3290,"(* z0 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) 3))":2198,"(* z0 (* (- 1/2 (* 1/2 (cos (+ z1 z1)))) 3))":4472,"(* z0 (* (cos (+ z1 z1)) (- 1 (* z2 z2))))":8520,"(* z0 (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))))":16184,"(* z0 (* (cos z1) (sin z2)))":4860,"(* z0 (* (cos z1) z2))":5562,"(* z0 (* (fabs (/ z1 z2)) (fabs (/ z1 z2))))":468,"(* z0 (* (sin z1) z2))":5964,"(* z0 (* (sqrt (* (- 1 z1) 2)) (sqrt 1/2)))":514,"(* z0 (* -1/2 (cos z1)))":2092,"(* z0 (* 1/2 (cos z1)))":10394,"(* z0 (+ (* (- (* (pow (cos z1) 3) z2) -1) z2) (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z2) (cos z1)) 3)))":11172,"(* z0 (+ (+ (+ (* (* (pow (cos z1) 3) z2) z2) (/ z2 (- (sqrt (- 1 (* z2 z2))) -1))) (* (sqrt (- 1 (* z2 z2))) z2)) (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z2) (cos z1)) 3)))":17202,"(* z0 (+ (+ (+ (* z1 (sqrt (- 1 (pow z1 2)))) (/ z1 (+ 1 (sqrt (- 1 (pow z1 2)))))) (+ (* 3 (cos z2)) (* (* 3 z1) (pow (cos z2) 2)))) (* (pow z1 2) (pow (cos z2) 3))))":27678,"(* z0 (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1))":24660,"(* z0 (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))":16184,"(* z0 (+ (+ z1 (+ (* 3 (cos z2)) (* (* 3 z1) (pow (cos z2) 2)))) (* (pow z1 2) (pow (cos z2) 3))))":37122,"(* z0 (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))))":9732,"(* z0 (+ 1/2 (* 1/2 (cos (* 2 z1)))))":5636,"(* z0 (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 3) 1))":17444,"(* z0 (- (* (cos (+ z1 z1)) (cos (+ z2 z2))) (* (sin (+ z1 z1)) (sin (+ z2 z2)))))":11232,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z1)))) 11) 1)))":6210,"(* z0 (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1)))":6920,"(* z0 (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1)) 1/3)))":22860,"(* z0 (- (pow (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) 3) (/ 1 (pow (sqrt (- 1 (pow z1 2))) 3))))":9096,"(* z0 (- (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3) (/ 1 (* (- 1 (* z2 z2)) (sqrt (- 1 (* z2 z2)))))))":3558,"(* z0 (- (sqrt (fabs (- -1 z1)))))":300,"(* z0 (- (sqrt (fabs (- 1 z1)))))":422,"(* z0 (- (sqrt (fabs (- z1 1)))))":298,"(* z0 (- (sqrt (fabs z1))))":412,"(* z0 (- (sqrt (sqrt (fabs (- -1 z1))))))":620,"(* z0 (- (sqrt (sqrt (fabs z1)))))":410,"(* z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":3068,"(* z0 (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))":1634,"(* z0 (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":2066,"(* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2)))":1830,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2)))":2352,"(* z0 (- 1/2 (* -1/2 (cos (+ z1 z1)))))":2160,"(* z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":9508,"(* z0 (- 3 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":3056,"(* z0 (- 3 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))":1612,"(* z0 (- 3 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":2006,"(* z0 (/ (- z1) (fabs z2)))":612,"(* z0 (/ (cos z1) z2))":2460,"(* z0 (/ (fabs z1) (- z2)))":606,"(* z0 (/ (fabs z1) (fabs z2)))":612,"(* z0 (/ (fabs z1) z2))":702,"(* z0 (/ 1 (sqrt 2)))":466,"(* z0 (/ z1 (fabs z2)))":678,"(* z0 (cos (* (+ z1 z2) -2)))":10452,"(* z0 (cos (* -1/2 z1)))":6762,"(* z0 (cos (* -2 (+ z1 z2))))":11658,"(* z0 (cos (* 2 z1)))":28822,"(* z0 (cos (+ (* 2 z1) (* 2 z2))))":42210,"(* z0 (cos (+ (* 2 z1) (* 3 z2))))":31122,"(* z0 (cos (+ (* 2 z1) z2)))":30594,"(* z0 (cos (+ (/ 1 (pow (+ z1 z1) -1)) (* 2 z2))))":3924,"(* z0 (cos (+ z1 z1)))":21480,"(* z0 (cos (- z1 (* -3 z2))))":3786,"(* z0 (cos (/ z1 2)))":4514,"(* z0 (cos z1))":124008,"(* z0 (fabs (- (* z1 z1) 1)))":376,"(* z0 (fabs (- 1 (* z1 z1))))":242,"(* z0 (fabs (/ z1 z2)))":792,"(* z0 (fabs (sin z1)))":3360,"(* z0 (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2))":8520,"(* z0 (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2))":7694,"(* z0 (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":9876,"(* z0 (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3))":8898,"(* z0 (pow (/ z1 z2) 2))":275058,"(* z0 (pow (cos z1) 2))":33700,"(* z0 (pow (cos z1) 3))":26030,"(* z0 (pow (cos z1) 4))":20742,"(* z0 (pow (cos z1) 6))":11338,"(* z0 (sin (* -1/2 z1)))":1756,"(* z0 (sin (* 1/2 z1)))":7552,"(* z0 (sin (* 2 z1)))":65158,"(* z0 (sin (+ (* -2 z1) (* PI 1/2))))":1570,"(* z0 (sin (+ (* 2 (+ z1 z2)) (/ PI 2))))":3066,"(* z0 (sin (+ (* 2 z1) (* 3 z2))))":132102,"(* z0 (sin (+ (* 2 z1) z2)))":121986,"(* z0 (sin (+ (+ z1 z1) (* PI 1/2))))":1448,"(* z0 (sin (+ (+ z1 z1) z2)))":1416,"(* z0 (sin (+ (- z1 (* -3 z2)) z1)))":2478,"(* z0 (sin (+ z1 (+ z2 z2))))":60006,"(* z0 (sin (+ z1 z1)))":41892,"(* z0 (sin (- (* (+ z1 z2) 2) (* -1/2 PI))))":6276,"(* z0 (sin (- (+ z1 z1) (* -3 z2))))":3276,"(* z0 (sin (- z1 (* -3 z2))))":3960,"(* z0 (sin (- z1)))":1410,"(* z0 (sin (/ z1 2)))":4172,"(* z0 (sin z1))":92288,"(* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1))))":408,"(* z0 (sqrt (- 1 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":2752,"(* z0 (sqrt (fabs (+ -1 z1))))":256,"(* z0 (sqrt (fabs (- -1 z1))))":1574,"(* z0 (sqrt (fabs (- 1 z1))))":834,"(* z0 (sqrt (fabs (- z1 -1))))":570,"(* z0 (sqrt (fabs (- z1 1))))":532,"(* z0 (sqrt (fabs z1)))":3946,"(* z0 (sqrt (sqrt (* (- 1 z1) 2))))":538,"(* z0 (sqrt (sqrt (- (* -2 z1) -2))))":1622,"(* z0 (sqrt (sqrt (- 1 z1))))":662,"(* z0 (sqrt (sqrt (fabs (- -1 z1)))))":370,"(* z0 (sqrt (sqrt (fabs z1))))":1872,"(* z0 (sqrt (sqrt (sqrt (fabs z1)))))":2196,"(* z0 (sqrt 1/2))":1617,"(* z0 (tan (* 1/2 z1)))":3078,"(* z0 (tan z1))":17734,"(+ (* (* (pow (cos z0) 3) z1) z1) (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (sqrt (- 1 (* z1 z1))) z1)))":3422,"(+ (* (+ (sin (* (+ z0 z1) 2)) (* (sin (+ z0 (+ z1 z1))) z2)) 3) (* (sin (- (+ z1 z1) (* -3 z0))) z2))":4656,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))":6952,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) z2)":21252,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0))":13944,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2)":42372,"(+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2)))":8418,"(+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1))))":7926,"(+ (* (cos (- (* -3 z0) (+ z1 z1))) z2) (* 3 (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1))))))":7170,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2))) 3))":6912,"(+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2)))":13530,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* (+ (* (sin (+ z1 (+ z0 z0))) z2) (sin (* (+ z1 z0) 2))) 3))":5958,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* 3 (+ (* z2 (sin (+ z1 (+ z0 z0)))) (sin (* 2 (+ z1 z0))))))":8982,"(+ (* (sin z0) (cos (- z0 (* -3 z1)))) z2)":3774,"(+ (* 3 (- (* (cos (+ z0 z0)) (cos (+ z1 z1))) (* (sin (+ z0 z0)) (sin (+ z1 z1))))) z2)":5094,"(+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (cos (+ (* 2 z0) z1))))":19368,"(+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) z2)":20718,"(+ (* 3 (cos z0)) (* (* 3 z1) (pow (cos z0) 2)))":23450,"(+ (* 3 (sin (+ (* -2 (+ z0 z1)) (* PI 1/2)))) (* (* 3 z2) (cos (+ (* 2 z1) z0))))":2868,"(+ (* 3 (sin (+ (* -2 (+ z0 z1)) (* PI 1/2)))) z2)":3126,"(+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (sin (+ (* 2 z0) z1))))":37008,"(+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) z2)":38100,"(+ (* 34047/100000 (pow (/ (- z0 2634/5) 2928563/10000) 6)) z1)":1458,"(+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2))))":18774,"(+ (* z0 (sqrt (- 1 (pow z0 2)))) (/ z0 (+ 1 (sqrt (- 1 (pow z0 2))))))":5260,"(+ (+ (* (* (pow (cos z0) 3) z1) z1) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* (sqrt (- 1 (* z1 z1))) z1))":7078,"(+ (+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (cos (+ (* 2 z0) z1)))) (* z2 (cos (+ (* 2 z0) (* 3 z1)))))":17874,"(+ (+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (sin (+ (* 2 z0) z1)))) (* z2 (sin (+ (* 2 z0) (* 3 z1)))))":35778,"(+ (+ (* z0 (sqrt (- 1 (pow z0 2)))) (/ z0 (+ 1 (sqrt (- 1 (pow z0 2)))))) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2))))":9390,"(+ (+ (+ (* (* (pow (cos z0) 3) z1) z1) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* (sqrt (- 1 (* z1 z1))) z1)) (* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) 3))":6204,"(+ (+ (+ 2 (* z0 z0)) (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)))) z2)":10152,"(+ (+ (+ 2 (pow z0 2)) (- (* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2)))) z2)":18636,"(+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) z1)":16908,"(+ (+ 2 (* z0 z0)) (- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2))))":3384,"(+ (+ 2 (pow z0 2)) (- (* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2))))":6212,"(+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (pow z0 2) (pow (cos z1) 3)))":12374,"(+ (- 1 (* 11 (- 1/2 (* 1/2 (cos (* 2 (+ (* PI 1/2) z0))))))) z1)":1846,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":23682,"(+ (- 1 (* 11 (pow (cos z0) 2))) z1)":50406,"(+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) (* (sqrt (- 1 (* z0 z0))) z0))":2057,"(+ (cos (* (+ z0 z1) -2)) z2)":3102,"(+ (cos (+ z0 z0)) 1)":6027,"(+ (cos (+ z0 z1)) z2)":1434,"(+ (cos (- z0 z1)) z2)":1674,"(+ (sin (* (+ z0 z1) 2)) (* (sin (+ z0 (+ z1 z1))) z2))":5562,"(+ (sin (* (+ z0 z1) 2)) z2)":5670,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":30275,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":37561,"(+ 1/2 (* 1/2 (sin (+ (+ z0 z0) (* PI 1/2)))))":1867,"(+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2)))))":8454,"(+ z0 (* (* 3 z1) (pow (cos z2) 2)))":70686,"(+ z0 (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z2) (cos z1)) 3))":33480,"(+ z0 (* (cos z1) (sin (- z1 (* -3 z2)))))":3774,"(+ z0 (* (pow z1 2) (pow (cos z2) 3)))":75456,"(+ z0 (* (sin (- z1 z2)) 1/2))":1956,"(+ z0 (* -5269/10000 (pow (/ (- z1 2634/5) 2928563/10000) 4)))":1508,"(+ z0 (* -5889/10000 (pow (/ (- z1 2634/5) 2928563/10000) 5)))":1454,"(+ z0 (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1))))":20460,"(+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2))))":12784,"(+ z0 (+ (* 3 (cos z1)) (* (* 3 z2) (pow (cos z1) 2))))":31998,"(+ z0 (- (* (* 11 (+ 2 (* 3 (* z1 z1)))) (pow (cos z2) 2))))":10290,"(+ z0 (- (* (* 11 (+ 2 (* 3 (pow z1 2)))) (- 1/2 (* (cos (+ z2 z2)) -1/2)))))":2868,"(+ z0 (- (* (* 11 (+ 2 (* 3 (pow z1 2)))) (pow (cos z2) 2))))":18852,"(+ z0 (- (* 3 (sin (+ (* 2 z1) (* 2 z2))))))":61872,"(+ z0 (- (- (/ (* (* 40 (+ 2 (* 5 (pow z1 2)))) (pow (cos z2) 4)) (- 1 (* 5 (pow (cos z2) 2)))) (/ (* (* 400 (pow z1 2)) (pow (cos z2) 6)) (pow (- 1 (* 5 (pow (cos z2) 2))) 2)))))":17130,"(+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))":48226,"(+ z0 (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))":16932,"(+ z0 (cos (* (+ z1 z2) -2)))":9066,"(+ z0 (cos (* -2 (+ z1 z2))))":8544,"(+ z0 (cos (+ z1 z2)))":1638,"(+ z0 (cos (- z1 z2)))":1308,"(+ z0 (sin (* (+ z1 z2) 2)))":13998,"(+ z0 (sin (* 2 (+ z1 z2))))":19446,"(- (* (* (* (pow (cos z0) 6) 400) (* z1 z1)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))) -2)) z2)":7068,"(- (* (* -3 z0) (sin (+ z1 (+ z2 z2)))) (* (sin (- (+ z2 z2) (* -3 z1))) z0))":4116,"(- (* (* 11 (+ 2 (* 3 (* z0 z0)))) (pow (cos z1) 2)))":3430,"(- (* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2)))":6284,"(- (* (* 3 z0) (sin (+ (* 2 z1) z2))))":62628,"(- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)":4908,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)":6253,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1)":9484,"(- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1)":3662,"(- (* (cos (+ z0 z0)) (cos (+ z1 z1))) (* (sin (+ z0 z0)) (sin (+ z1 z1))))":5476,"(- (* (cos (+ z0 z0)) (cos (+ z1 z1))) z2)":17442,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":20208,"(- (* (pow (* 10000/2928563 (- z0 2634/5)) 4) 5269/10000) z1)":4988,"(- (* (pow (* 10000/2928563 (- z0 2634/5)) 5) -5889/10000) z1)":4400,"(- (* (pow (cos z0) 3) z1) -1)":4372,"(- (* (sin (* (+ z0 z1) 2)) 3) z2)":5802,"(- (* 3 (+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2))))))":9306,"(- (* 3 (pow (cos z0) 2)) 1)":6018,"(- (* 3 (sin (+ (* 2 z0) (* 2 z1)))))":20624,"(- (* 6 (- 1 (* 5 (pow (cos z0) 2)))))":5055,"(- (* z0 (sin (+ (* 2 z1) (* 3 z2)))))":63630,"(- (- (* (- 1 (* (cosh z0) z1)) z0) z0) z2)":1728,"(- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1))))))":5388,"(- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1))))))":1764,"(- (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) z2)":8730,"(- (- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1)))))) z2)":5214,"(- (- (/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) -11) z1)":7310,"(- (- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 11)) z1)":1646,"(- (/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) z2)":9966,"(- (/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) z2)":18114,"(- (/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) z2)":8406,"(- (/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) -11)":3682,"(- (/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1))))))) z2)":4980,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))) z1)":5536,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) z1)":9308,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) z1)":9230,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":24113,"(- (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 1)":12470,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1)":2950,"(- (cos (+ z0 z0)) -1)":2400,"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1/3))":7632,"(- (pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3) (/ 1 (* (- 1 (* z1 z1)) (sqrt (- 1 (* z1 z1))))))":3900,"(- (sqrt (sqrt (fabs z0))))":556,"(- (sqrt (sqrt (sqrt (fabs z0)))))":442,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":2547,"(- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))":3341,"(- 1 (* 11 (pow (cos z0) 2)))":25203,"(- 1 (* 5 (* (+ (cos (+ z0 z0)) 1) 1/2)))":2559,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))":15218,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":13105,"(- 1 (* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2))))":7133,"(- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0))))))":7209,"(- 1 (* 5 (- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2))))))))":2240,"(- 1 (* 5 (pow (cos z0) 2)))":56113,"(- 1 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":3840,"(- 1 (pow (cos z0) 2))":12046,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":12705,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":6223,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":12586,"(- 1/2 (* 1/2 (cos (* 2 (+ (* PI 1/2) z0)))))":2806,"(- 1/2 (* 1/2 (cos (* 2 (+ z0 (* PI 1/2))))))":2967,"(- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2))))))":3969,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":9366,"(- 3 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))":1542,"(- 3 (* 5 (- 1/2 (* (cos (+ z0 z0)) -1/2))))":1487,"(- 3 (* 5 (pow (cos z0) 2)))":5142,"(- z0 (* (* (* (pow (cos z1) 6) 400) (* z2 z2)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2)))":8256,"(- z0 (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2)))":7388,"(- z0 (* (+ (* 33 (* z1 z1)) 22) (+ 1/2 (* 1/2 (cos (* 2 z2))))))":16356,"(- z0 (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* -1/2 (cos (+ z2 z2))))))":5364,"(- z0 (* (pow (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))) -2) (* (* (* (pow (cos z1) 6) 400) z2) z2)))":5502,"(- z0 (* (sin (* (+ z1 z2) 2)) 3))":34074,"(- z0 (* (sin (+ z1 z1)) (sin (+ z2 z2))))":18624,"(- z0 (* -3 (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z2) (cos z1))))":4368,"(- z0 (* -34047/100000 (pow (* 10000/2928563 (- z1 2634/5)) 6)))":4592,"(- z0 (- (* (+ 1/2 (* 1/2 (cos (* 2 z1)))) 11) 1))":9798,"(- z0 (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))":12494,"(- z0 (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1))":7164,"(- z0 (- (* (- 1/2 (* -1/2 (cos (+ z1 z1)))) 11) 1))":1912,"(- z0 (- (* (pow (* 10000/2928563 (- z1 2634/5)) 5) -5889/10000) (* -34047/100000 (pow (* 10000/2928563 (- z1 2634/5)) 6))))":3024,"(- z0 (- (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 1))":37398,"(- z0 (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))":8538,"(- z0 (/ (* (* 400 (* z1 z1)) (pow (cos z2) 6)) (pow (- 1 (* 5 (pow (cos z2) 2))) 2)))":9852,"(- z0 (/ (* (* 400 (pow z1 2)) (pow (cos z2) 6)) (pow (- 1 (* 5 (pow (cos z2) 2))) 2)))":17976,"(- z0 (/ (* (+ (* 200 (* z1 z1)) 80) (pow (cos z2) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2))))))))":7188,"(- z0 (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)))":2910,"(- z0 (/ (- -1 (* (cos z1) z2)) (- 1 (* z2 z2))))":10620,"(/ (* (* (+ (cos (+ z0 z0)) 1) 1/2) 80) z1)":2100,"(/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) z2)":10914,"(/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) z2)":22260,"(/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) z2)":10908,"(/ (* (* 400 (pow z0 2)) (pow (cos z1) 6)) z2)":22350,"(/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":5226,"(/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) z2)":17484,"(/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":3696,"(/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) z1)":7630,"(/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) z2)":7110,"(/ (* (cos z0) z1) z2)":4692,"(/ (* (pow (cos z0) 4) 40) z1)":5302,"(/ (* (sin z0) z1) z2)":3174,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))))":4692,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":4647,"(/ (* -40 (pow (cos z0) 4)) z1)":33520,"(/ (* 1/2 (* z0 z1)) (fabs z2))":282,"(/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))":8466,"(/ (* 200 (pow (cos z0) 4)) z1)":20940,"(/ (* 3 (- 1 (pow (cos z0) 2))) (pow (sqrt (- 1 (pow z1 2))) 6))":10432,"(/ (* 3 (- 1 (pow (cos z0) 2))) z1)":11478,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":24113,"(/ (* 40 (pow (cos z0) 4)) z1)":58518,"(/ (* 80 (+ 1/2 (* 1/2 (cos (* 2 z0))))) z1)":3104,"(/ (* 80 (- 1/2 (* (cos (+ z0 z0)) -1/2))) z1)":1906,"(/ (* 80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) z1)":2206,"(/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))":8458,"(/ (* 80 (pow (cos z0) 2)) z1)":17284,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":18976,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":52828,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":26774,"(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))":5764,"(/ (cos z0) z1)":2252,"(/ (sin z0) z1)":2188,"(/ (sqrt (* (- 1 z0) 2)) z1)":590,"(/ (sqrt (fabs (+ (* (- z0) 2) 2))) z1)":1024,"(/ (sqrt (fabs (- 1 z0))) z1)":496,"(/ 1 (pow (* (sin (+ z0 (+ z1 z1))) (- (pow (* (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) 1))) -1))":7344,"(/ 1 (pow (+ z0 z0) -1))":1521,"(/ z0 (* (- (* z1 z1) 1) (tan z2)))":17664,"(/ z0 (* (- 1 (* z1 z1)) (tan z2)))":3150,"(/ z0 (* (fabs z1) (- 1 (* z2 z2))))":936,"(/ z0 (* (pow (sqrt (- 1 (pow z1 2))) 2) (tan z2)))":27510,"(/ z0 (* (sin z1) z2))":1506,"(/ z0 (- (sqrt (sqrt (fabs (- -1 z1))))))":858,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":3388,"(/ z0 (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5)))":6412,"(/ z0 (- 1 (* 5 (* (+ (cos (+ z1 z1)) 1) 1/2))))":2228,"(/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":18420,"(/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":17916,"(/ z0 (- 1 (* 5 (- (* (cos (+ z1 z1)) 1/2) -1/2))))":1578,"(/ z0 (- 1 (* 5 (- 1/2 (* (cos (+ z1 z1)) -1/2)))))":6788,"(/ z0 (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":6936,"(/ z0 (- 1 (* 5 (- 1/2 (* 1/2 (cos (* 2 (+ (* PI 1/2) z1))))))))":1810,"(/ z0 (- 1 (* 5 (- 1/2 (* 1/2 (cos (* 2 (+ z1 (/ PI 2)))))))))":2240,"(/ z0 (- 1 (* 5 (pow (cos z1) 2))))":75468,"(/ z0 (/ 1 (cos (* -1/2 z1))))":1540,"(/ z0 (fabs (* (- (* z1 z1) 1) z2)))":360,"(/ z0 (fabs (- (* z1 z1) 1)))":860,"(/ z0 (pow (- 1 (* 5 (pow (cos z1) 2))) 2))":26600,"(/ z0 (sqrt (fabs (- -1 z1))))":1518,"(/ z0 (sqrt (fabs (- 1 z1))))":502,"(/ z0 (sqrt 2))":3022,"(cos (* (+ z0 z1) -2))":12642,"(cos (* -2 (+ z0 z1)))":10724,"(cos (* 2 (+ (* PI 1/2) z0)))":2823,"(cos (* 2 (+ z0 (* PI 1/2))))":2967,"(cos (* 2 (+ z0 (/ PI 2))))":3969,"(cos (+ (* 2 z0) (* 2 z1)))":20976,"(cos (+ (* 2 z0) (* 3 z1)))":10374,"(cos (+ (* 2 z0) z1))":10198,"(cos (+ z0 (+ z1 z1)))":7450,"(cos (+ z0 z1))":2280,"(cos (- (* -3 z0) (+ z1 z1)))":2986,"(cos (- (- (* -3 z0) z1) z1))":3668,"(cos (- z0 (* -3 z1)))":1312,"(cos (- z0 z1))":1680,"(fabs (* (- (* z0 z0) 1) z1))":304,"(pow (* (sin (+ z0 (+ z1 z1))) (- (pow (* (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z0) z2) -1) (- 1 (* z2 z2))) 1))) -1)":7344,"(pow (* 10000/2928563 (- z0 2634/5)) 4)":3234,"(pow (* 10000/2928563 (- z0 2634/5)) 5)":3260,"(pow (* 10000/2928563 (- z0 2634/5)) 6)":3258,"(pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))) -2)":4261,"(pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)":3864,"(pow (- 1 (* 5 (pow (cos z0) 2))) 2)":13300,"(pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3)":9684,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":6594,"(pow (/ z0 z1) 2)":91794,"(pow (cos z0) 2)":130974,"(pow (cos z0) 3)":24120,"(pow (cos z0) 4)":82512,"(pow (cos z0) 6)":10400,"(pow (sin z0) 2)":3739,"(sin (* (+ z0 z1) 2))":21166,"(sin (* 2 (+ z0 z1)))":6706,"(sin (+ (* 2 z0) (* 2 z1)))":33518,"(sin (+ (* 2 z0) (* 3 z1)))":44034,"(sin (+ (* 2 z0) z1))":40664,"(sin (+ (* PI 1/2) z0))":3107,"(sin (+ (+ z0 z0) (* PI 1/2)))":2658,"(sin (+ (+ z0 z0) z1))":3946,"(sin (+ z0 (+ z1 z1)))":39558,"(sin (+ z0 z1))":1906,"(sin (- (* (+ z0 z1) 2) (* -1/2 PI)))":2096,"(sin (- (+ z0 z0) (* -3 z1)))":38116,"(sin (- z0 (* -3 z1)))":1402,"(sin (- z0 z1))":1364,"(sqrt (* (- (* z0 z0) 1) (- (* z0 z0) 1)))":486,"(sqrt (* (fabs z0) (sqrt (fabs z1))))":400,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":1124,"(sqrt (* (sqrt (fabs z0)) (fabs z1)))":458,"(sqrt (* z0 z1))":1042,"(sqrt (fabs (* z0 z1)))":338,"(sqrt (fabs (- 1 (* z0 z0))))":324,"(sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0))))":584,"(sqrt (sqrt (* z0 z1)))":478,"(sqrt (sqrt (fabs z0)))":4685,"(sqrt (sqrt (sqrt (fabs z0))))":2386}