{"(* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) 8) z0)":31,"(* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1))":26,"(* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))":14,"(* (* (* 1/180 PI) z0) 2)":15,"(* (* (* 1/180 z0) PI) 2)":76,"(* (* (* z0 (floor z1)) z0) (floor z1))":177,"(* (* (* z0 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))))) (sin (* 2 z2)))":11,"(* (* (* z1 z1) z0) z0)":12,"(* (* (- (* z1 z1) 1) z0) z0)":26,"(* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2)))":12,"(* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))":12,"(* (* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))) (cos (+ z2 z2)))":36,"(* (* (- 1 (* z1 z1)) z0) z0)":14,"(* (* (/ z2 z1) z2) z0)":12,"(* (* (cos z1) (* z0 z0)) (- (- (* (+ 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))))":38,"(* (* (floor z1) z0) (* (floor z1) z0))":23,"(* (* (pow (- 1 (* z0 z0)) -3) 3) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":15,"(* (* (pow (cos z1) 3) z0) z0)":25,"(* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0))))":14,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":22,"(* (* (sqrt 2) 1/2) (sin (* z0 1/2)))":11,"(* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))":39,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":39,"(* (* 1/180 PI) z0)":22,"(* (* 1/180 z0) PI)":90,"(* (* 1/2 (/ z2 z1)) z0)":27,"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))":19,"(* (* 1/90 PI) z0)":93,"(* (* 3 z0) (cos (+ (* 2 z2) z1)))":97,"(* (* 3 z0) (pow (cos z1) 2))":17,"(* (* 3 z0) (sin (+ (* 2 z2) z1)))":17,"(* (* 3 z0) z0)":42,"(* (* PI z0) 1/90)":48,"(* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1)))":18,"(* (* z0 z0) (* (floor z1) (floor z1)))":57,"(* (* z0 z0) (pow (cos z1) 3))":17,"(* (* z0 z0) z1)":25,"(* (* z0 z1) z1)":16,"(* (* z0 z2) z1)":34,"(* (* z1 (- 1 (cos (+ z0 z0)))) 1/2)":24,"(* (* z1 z0) z0)":15,"(* (* z1 z0) z2)":75,"(* (* z1 z1) (* (* 1/2 z0) z2))":13,"(* (* z1 z1) z0)":16,"(* (* z1 z2) z0)":37,"(* (* z2 z0) z1)":16,"(* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3)":28,"(* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3)":19,"(* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2)":16,"(* (+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))) (* (- 1 (+ 1/2 (* 1/2 (cos (+ z2 z2))))) (* 3 (pow (- 1 (* z0 z0)) -3))))":14,"(* (+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))) (cos (+ z1 z1)))":23,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (+ z1 z1)))":94,"(* (+ (cos (+ z0 z0)) 1) 1/2)":16,"(* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2)":13,"(* (+ 1 (* z0 10)) (+ 1 (* z0 10)))":12,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))":38,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11)":66,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3)":18,"(* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0)":25,"(* (+ PI PI) z0)":22,"(* (+ z0 z0) PI)":15,"(* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0))":16,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)":30,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)":29,"(* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0)":36,"(* (- (* z0 z0) 1) (tan z1))":51,"(* (- (* z0 z0) 1) z1)":12,"(* (- (* z1 z1) 1) z0)":99,"(* (- (+ (* (sin z2) z1) z2) z0) 6)":39,"(* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0)))":13,"(* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1)))":36,"(* (- 1 (* z0 z0)) (tan z1))":11,"(* (- 1 (* z1 z1)) z0)":14,"(* (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) (* 3 (pow (- 1 (* z0 z0)) -3)))":14,"(* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) (* z1 z1))":11,"(* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z0 z0))":11,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)":65,"(* (- z0 -15234687407/1000000000) z0)":12,"(* (/ (- z0 z1) (* z2 z2)) (- z0 z1))":24,"(* (/ PI z1) z0)":28,"(* (/ z0 (* z1 z1)) z0)":29,"(* (/ z0 180) PI)":23,"(* (/ z0 z1) (/ z0 z1))":46,"(* (/ z0 z1) z0)":27,"(* (/ z0 z1) z2)":16,"(* (/ z1 (* z0 z0)) z1)":25,"(* (/ z1 z0) (/ z1 z0))":404,"(* (/ z1 z0) z1)":23,"(* (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))) z2)":14,"(* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0)))":16,"(* (/ z2 (* z1 z1)) z0)":20,"(* (atan2 z0 z1) z2)":18,"(* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0))))":20,"(* (cos (* (* (* 1/180 PI) z0) 2)) 1/2)":14,"(* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)":68,"(* (cos (* (* 1/90 PI) z0)) 1/2)":36,"(* (cos (* (* PI z0) 1/90)) 1/2)":36,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":19,"(* (cos (* -1/4 PI)) (sin (* z0 1/2)))":13,"(* (cos (* z0 1/2)) (sin (* z1 1/2)))":21,"(* (cos (+ z0 z0)) (cos (+ z1 z1)))":36,"(* (cos (+ z1 (+ z2 z2))) z0)":49,"(* (cos (- (* -3 z1) (+ z2 z2))) z0)":36,"(* (cos (- (- (* -3 z1) z2) z2)) z0)":13,"(* (cos (- z1 z0)) 1/2)":55,"(* (cos z0) (+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))))":11,"(* (cos z0) (sin z1))":18,"(* (cos z0) z1)":26,"(* (cos z1) (sin z0))":17,"(* (cos z1) z0)":136,"(* (fabs z0) 3275911/10000000)":21,"(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1)":20,"(* (log (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":13,"(* (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) z0)":67,"(* (pow (* (- 1 z2) (- 1 z2)) z1) z0)":28,"(* (pow (cos z1) 3) z0)":61,"(* (sin (* (+ z0 z1) 2)) 3)":48,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":17,"(* (sin (* 1/4 PI)) (cos (* -1/2 z0)))":17,"(* (sin (* 3 z1)) z0)":14,"(* (sin (* 4 z1)) z0)":18,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":20,"(* (sin (* z0 1/2)) (cos (* z1 1/2)))":21,"(* (sin (+ (+ z1 z2) z2)) z0)":19,"(* (sin (+ z0 z0)) (sin (+ z1 z1)))":37,"(* (sin (+ z1 (+ z2 z2))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)))":12,"(* (sin (+ z1 z1)) z0)":19,"(* (sin (- (+ z2 z2) (* -3 z1))) z0)":70,"(* (sin (- PI (* z1 z0))) z2)":13,"(* (sin z0) (cos z1))":21,"(* (sin z0) (sin z1))":47,"(* (sin z0) z1)":27,"(* (sin z1) (* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)))":12,"(* (sin z1) (cos z0))":14,"(* (sin z1) (sin z0))":21,"(* (sin z1) z0)":178,"(* (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (cos z0))":16,"(* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0))))":55,"(* (sqrt 2) z0)":11,"(* (tan (+ (* 1/2 z1) (/ PI 4))) z0)":16,"(* (tan z1) z0)":18,"(* -1/50000 z0)":20,"(* -200 (pow (cos z0) 4))":59,"(* -3 (* z0 z0))":35,"(* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))))":13,"(* -40 (pow (cos z0) 4))":113,"(* 1/180 z0)":100,"(* 1/2 (cos (* 2 (* 1/2 (- z0 z1)))))":22,"(* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":23,"(* 11 (pow (cos z0) 2))":108,"(* 11/2 (- (cos (+ z0 z0)) -1))":19,"(* 200 (pow (cos z0) 4))":12,"(* 3 (* z0 z0))":25,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))":25,"(* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))))":28,"(* 3 (- 1 (pow (cos z0) 2)))":17,"(* 3 (cos (+ (* 2 z1) (* 2 z0))))":78,"(* 3 (cos (+ (+ z0 z0) (+ z1 z1))))":25,"(* 3 (cos z0))":17,"(* 3 (pow (cos z0) 2))":13,"(* 3 (sin (+ (* 2 z1) (* 2 z0))))":15,"(* 40 (pow (cos z0) 4))":127,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":176,"(* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))":13,"(* 5 (pow (cos z0) 2))":143,"(* 5/2 (cos (+ z0 z0)))":21,"(* 6 (+ (- z2 z0) (* z1 (sin z2))))":13,"(* 80 (pow (cos z0) 2))":12,"(* PI z0)":83,"(* z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))":13,"(* z0 (- (* z1 z1) 1))":37,"(* z0 (/ (+ PI PI) z1))":12,"(* z0 (cos (+ (* 2 z2) (* 3 z1))))":100,"(* z0 (cos z1))":37,"(* z0 (pow (* (- z2 1) (- z2 1)) (/ 1 (* 2 z1))))":25,"(* z0 (sin (+ (* 2 z2) (* 3 z1))))":17,"(* z0 (sin z1))":154,"(* z0 105691/20000)":60,"(* z0 108401/20000)":66,"(* z0 121951/100000)":54,"(* z0 182927/100000)":72,"(* z0 223577/100000)":118,"(* z0 223577/50000)":356,"(* z0 27439/12500)":12,"(* z0 284553/100000)":142,"(* z0 31831/400000)":12,"(* z0 361337/100000)":22,"(* z0 50813/12500)":78,"(* z0 50813/25000)":112,"(* z0 50813/50000)":12,"(* z0 50813/6250)":2494,"(* z0 50813/62500)":190,"(* z0 7259/3125)":30,"(* z0 7259/500)":17,"(* z0 PI)":77,"(* z1 (* (* 1/2 z0) z2))":16,"(* z1 (* z0 3))":16,"(* z1 (* z0 z2))":61,"(* z1 (- 1 (cos (+ z0 z0))))":24,"(* z1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":17,"(* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2))))))":40,"(+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))":20,"(+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))":25,"(+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1))":36,"(+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))":13,"(+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))":28,"(+ (* (cos (- (* -3 z1) (+ z2 z2))) z0) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))))":28,"(+ (* (sin (* 3 z2)) z1) (* (sin z2) z0))":14,"(+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2)))":19,"(+ (* (sin (- (+ z2 z2) (* -3 z1))) z0) (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3))":19,"(+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1)))":18,"(+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0)))":12,"(+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)":23,"(+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1))))":78,"(+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1))))":19,"(+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))":17,"(+ (* z0 223577/100000) (* z1 50813/12500))":32,"(+ (* z1 284553/100000) (* z0 223577/50000))":28,"(+ (* z1 50813/25000) (* z0 223577/50000))":28,"(+ (+ (* (* (pow (cos z1) 3) z0) z0) (* (sqrt (- 1 (* z0 z0))) z0)) (+ (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))))":11,"(+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))))":14,"(+ (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1)))))":78,"(+ (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1)))))":19,"(+ (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))) (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))":14,"(+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))))":23,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":103,"(+ (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))) (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0)))":12,"(+ (cos (+ z0 z0)) 1)":17,"(+ (sin (* z0 1/2)) (cos (* -1/2 z0)))":20,"(+ (sqrt (* (+ z1 z0) (- z0 z1))) z0)":18,"(+ 1 (* (/ z0 z1) (/ z0 z1)))":24,"(+ 1 (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0))))))":17,"(+ 1 (pow (/ (- z0 z1) z2) 2))":16,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":398,"(+ 1/4 (* z0 50813/6250))":14,"(+ 109/40 (* z0 50813/6250))":26,"(+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2)))))":11,"(+ 11/4 (* z0 50813/6250))":13,"(+ 13/8 (* z0 50813/6250))":15,"(+ 153/40 (* z0 50813/6250))":41,"(+ 19/10 (* z0 50813/6250))":29,"(+ 19/100 (* z0 50813/62500))":12,"(+ 197/40 (* z0 50813/6250))":29,"(+ 21/40 (* z0 50813/6250))":16,"(+ 23/40 (* z0 50813/62500))":12,"(+ 241/40 (* z0 50813/6250))":13,"(+ 26/5 (* z0 50813/6250))":23,"(+ 27/20 (* z0 50813/6250))":13,"(+ 3 (* z0 50813/6250))":23,"(+ 31/10 (* z0 50813/6250))":13,"(+ 4/5 (* z0 50813/6250))":30,"(+ 41/10 (* z0 50813/6250))":36,"(+ 49/20 (* z0 50813/6250))":14,"(+ 63/10 (* z0 50813/6250))":28,"(+ 63/100 (* z0 50813/62500))":14,"(+ 71/20 (* z0 50813/6250))":18,"(+ 93/20 (* z0 50813/6250))":12,"(+ 97/20 (* z0 50813/6250))":14,"(- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":12,"(- (* (* 3 z0) (sin (+ (* 2 z2) z1))))":13,"(- (* (* z2 z0) 4) (* z1 z1))":31,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11)":38,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)":66,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1)":18,"(- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1)":22,"(- (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)) -1)":12,"(- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2)":32,"(- (* (cos (* (* PI z0) 1/90)) 1/2) -1/2)":18,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":116,"(- (* (cos (- (- (* -3 z1) z2) z2)) z0) (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))))":13,"(- (* (pow (cos z1) 3) z0) -1)":16,"(- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)":22,"(- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":11,"(- (* 3 (pow (cos z0) 2)) 1)":13,"(- (* 3 (sin (+ (* 2 z1) (* 2 z0)))))":12,"(- (* z0 (sin (+ (* 2 z2) (* 3 z1)))))":13,"(- (* z0 50813/6250) 111/40)":36,"(- (* z0 50813/6250) 127/20)":13,"(- (* z0 50813/6250) 17/20)":15,"(- (* z0 50813/6250) 199/40)":33,"(- (* z0 50813/6250) 21/4)":15,"(- (* z0 50813/6250) 23/40)":35,"(- (* z0 50813/6250) 243/40)":24,"(- (* z0 50813/6250) 31/8)":26,"(- (* z0 50813/6250) 57/10)":12,"(- (* z0 50813/6250) 61/20)":11,"(- (* z0 50813/6250) 67/40)":17,"(- (* z1 z1) (* (* z2 z0) 4))":22,"(- (* z1 z1) (* z2 (* z0 3)))":16,"(- (* z1 z1) (* z2 (* z0 4)))":18,"(- (* z2 (* z0 4)) (* z1 z1))":22,"(- (+ 19/10 (* z0 50813/6250)))":23,"(- (+ 26/5 (* z0 50813/6250)))":21,"(- (+ 3 (* z0 50813/6250)))":21,"(- (+ 4/5 (* z0 50813/6250)))":24,"(- (+ 41/10 (* z0 50813/6250)))":32,"(- (+ 63/10 (* z0 50813/6250)))":19,"(- (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)))":38,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1))":21,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1))":60,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))":24,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":103,"(- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)":12,"(- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))":16,"(- (cbrt z0) (cbrt (- -1 z0)))":20,"(- (cos (* (* 1/90 PI) z0)) -1)":32,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":15,"(- (cos (* -1/2 z0)) (sin (* z0 1/2)))":17,"(- (cos (+ z0 z0)) -1)":23,"(- (cos (+ z0 z0)) 1)":13,"(- (exp (* z0 z1)) 1)":13,"(- (exp z0) 1)":13,"(- (log (- 1 z0)))":23,"(- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))":12,"(- (sin (* (+ (+ z0 z0) PI) 1/4)))":23,"(- (sqrt (* (- z0 z1) (+ z1 z0))) z0)":12,"(- (sqrt (+ z0 1)) (sqrt z0))":19,"(- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))":15,"(- -1 (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2))":19,"(- -1 (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)))":12,"(- -1 (* (fabs z0) 3275911/10000000))":13,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":19,"(- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))":27,"(- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))":55,"(- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":23,"(- 1 (* 11 (pow (cos z0) 2)))":108,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":173,"(- 1 (* 5 (pow (cos z0) 2)))":139,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":42,"(- 1 (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))))":11,"(- 1 (cos (+ z0 z0)))":51,"(- 1 (pow (cos z0) 2))":97,"(- 1/2 (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2))":11,"(- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2))":28,"(- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2))":36,"(- 1/2 (* (cos (* (* PI z0) 1/90)) 1/2))":18,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":61,"(- 1/2 (* (cos (- z1 z0)) 1/2))":36,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":93,"(- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1))))))":15,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":66,"(- 1/2 (fabs (- z0 1/2)))":48,"(- 18/5 (* z0 50813/6250))":18,"(- 29/5 (* z0 50813/6250))":23,"(- 3/10 (* z0 50813/6250))":22,"(- 47/10 (* z0 50813/6250))":22,"(- 5/2 (* z0 50813/6250))":19,"(- 7/5 (* z0 50813/6250))":17,"(/ (* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2))) (* (- (* z0 z0) 1) (tan z1)))":12,"(/ (* (/ z2 z0) (/ z2 z0)) (* (- 1 (* z1 z1)) (- 1 (* z1 z1))))":64,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":19,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)))":21,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":60,"(/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))":11,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":24,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":103,"(/ (* PI z0) z1)":12,"(/ (* z0 PI) z1)":19,"(/ (* z1 z0) z2)":13,"(/ (* z1 z1) (* z0 z0))":16,"(/ (* z1 z1) z0)":31,"(/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))))":12,"(/ (+ PI PI) z0)":16,"(/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1))":24,"(/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0)))":68,"(/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1))":17,"(/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) (sin (- (* z0 1/2) (* 1/4 PI))))":11,"(/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))":12,"(/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1))":16,"(/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))":13,"(/ (- z0 z1) (* z2 z2))":24,"(/ (/ z1 z0) z2)":12,"(/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0))":12,"(/ (sin (* (* 1/90 PI) z0)) z1)":14,"(/ -269813/62500 (- (fabs z0) -269813/62500))":19,"(/ 1 (sqrt (fabs (- z1 z0))))":12,"(/ 1/3 z0)":12,"(/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":38,"(/ PI z0)":34,"(/ z0 (* (tan z2) z1))":12,"(/ z0 (* z1 z1))":52,"(/ z1 (* z0 z0))":72,"(/ z1 (* z0 z2))":21,"(/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1))))":14,"(/ z2 (* (- (* z1 z1) 1) z0))":48,"(cbrt (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2))":13,"(cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))":16,"(cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))":15,"(cbrt (- -1 z0))":21,"(cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0)))":12,"(cbrt z0)":68,"(cos (* (* (* 1/180 PI) z0) 2))":14,"(cos (* (* (* 1/180 z0) PI) 2))":68,"(cos (* (* 1/90 PI) z0))":76,"(cos (* (* PI z0) 1/90))":36,"(cos (* (+ (+ z0 z0) PI) 1/4))":12,"(cos (* (+ z0 z1) -2))":24,"(cos (* (/ PI z1) z0))":20,"(cos (* -2 (+ z0 z1)))":40,"(cos (* 2 (* 1/2 (- z0 z1))))":22,"(cos (* z0 (/ (+ PI PI) z1)))":12,"(cos (+ (* 2 z1) (* 2 z0)))":93,"(cos (+ (* 2 z1) (* 3 z0)))":100,"(cos (+ (* 2 z1) z0))":97,"(cos (+ (+ z0 z0) (+ z1 z1)))":36,"(cos (+ z0 (+ z1 z1)))":49,"(cos (+ z0 z1))":13,"(cos (+ z1 z0))":18,"(cos (- (* -1/4 PI) (* z0 1/2)))":18,"(cos (- (* -3 z0) (+ z1 z1)))":36,"(cos (- (* z0 1/2) (* -1/4 PI)))":11,"(cos (- (- (* -3 z0) z1) z1))":14,"(cos (- z1 z0))":79,"(cos (/ (* z0 PI) z1))":12,"(fabs (remainder z0 (+ PI PI)))":12,"(fabs (sin (- (* -1/4 PI) (* z0 1/2))))":13,"(fabs (sin (- (* z0 1/2) (* 1/4 PI))))":17,"(fabs (tan (* (+ (+ z0 z0) PI) 1/4)))":21,"(log (- 1 z0))":60,"(log (- z0 -1))":13,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":41,"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))":22,"(log (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))":21,"(log (sqrt (+ (* z1 z1) (* z0 z0))))":14,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":47,"(pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))":17,"(pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0))":68,"(pow (* (- 1 z1) (- 1 z1)) z0)":28,"(pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z0)))":28,"(pow (+ 109/40 (* z0 50813/6250)) 2)":22,"(pow (+ 13/8 (* z0 50813/6250)) 2)":13,"(pow (+ 153/40 (* z0 50813/6250)) 2)":36,"(pow (+ 197/40 (* z0 50813/6250)) 2)":24,"(pow (+ 21/40 (* z0 50813/6250)) 2)":12,"(pow (+ 241/40 (* z0 50813/6250)) 2)":13,"(pow (- (* z0 50813/6250) 111/40) 2)":32,"(pow (- (* z0 50813/6250) 199/40) 2)":30,"(pow (- (* z0 50813/6250) 23/40) 2)":32,"(pow (- (* z0 50813/6250) 243/40) 2)":20,"(pow (- (* z0 50813/6250) 31/8) 2)":24,"(pow (- (* z0 50813/6250) 67/40) 2)":17,"(pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)":18,"(pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)":40,"(pow (- 1 (* 5 (pow (cos z0) 2))) 2)":16,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)":20,"(pow (/ (- z0 z1) z2) 2)":16,"(pow (/ 1 z0) 2)":15,"(pow (cos z0) 2)":397,"(pow (cos z0) 3)":78,"(pow (cos z0) 4)":349,"(pow (cos z0) 6)":16,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) -1)":16,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) 1)":16,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":12,"(pow (tanh (* z1 (* z0 z2))) -2)":15,"(remainder z0 (* 2 PI))":11,"(remainder z0 (+ PI PI))":12,"(sin (* (* 1/90 PI) z0))":17,"(sin (* (* PI z0) 1/90))":12,"(sin (* (+ (+ z0 z0) PI) 1/4))":14,"(sin (* (+ z0 z1) 2))":68,"(sin (* (/ z0 180) PI))":13,"(sin (* 3 z0))":24,"(sin (* z0 30))":12,"(sin (* z0 PI))":12,"(sin (* z0 z1))":17,"(sin (+ (* 2 z1) (* 2 z0)))":15,"(sin (+ (* 2 z1) (* 3 z0)))":21,"(sin (+ (* 2 z1) z0))":21,"(sin (+ (+ z0 z1) z1))":28,"(sin (+ z0 (+ z1 z1)))":54,"(sin (- (* -1/4 PI) (* z0 1/2)))":21,"(sin (- (* 1/4 PI) (* z0 1/2)))":15,"(sin (- (* z0 1/2) (* -1/4 PI)))":19,"(sin (- (* z0 1/2) (* 1/4 PI)))":55,"(sin (- (* z0 1/2) (* z1 1/2)))":21,"(sin (- (+ z1 z1) (* -3 z0)))":83,"(sin (- PI (* z1 z0)))":14,"(sin (/ (- z0 z1) 2))":29,"(sin (fabs (remainder z0 (+ PI PI))))":12,"(sqrt (* (+ z1 z0) (- z0 z1)))":24,"(sqrt (* (- z0 z1) (+ z1 z0)))":14,"(sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1)))":21,"(sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1)))":15,"(sqrt (+ (* z0 z0) (* z1 z1)))":19,"(sqrt (+ (* z1 z1) (* z0 z0)))":19,"(sqrt (- (* z1 z1) (* z2 (* z0 3))))":16,"(sqrt (- (* z1 z1) (* z2 (* z0 4))))":15,"(sqrt (- (log (- 1 z0))))":16,"(sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":28,"(sqrt (- 1 (pow (cos z0) 2)))":80,"(sqrt (- 1/2 (* (cos (+ z0 z0)) 1/2)))":23,"(sqrt (fabs (* z1 z0)))":18,"(tan (* (+ (+ z0 z0) PI) 1/4))":60,"(tan (+ (* 1/2 z0) (/ PI 4)))":47,"(tan (+ (/ PI 4) (* 1/2 z0)))":48,"(tan (- (* z0 1/2) (* -1/4 PI)))":18,"(tanh (* (* z1 z0) z2))":34,"(tanh (* (* z1 z2) z0))":15,"(tanh (* z1 (* z0 z2)))":54}