{"(* (* (* (* z0 (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) z1) (sin (+ z2 z2)))":16128,"(* (* (* (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))) 1)) 2) z2) (sin z0))":10008,"(* (* (* (pow (cos z0) 6) 400) (* z1 z1)) (pow z2 -2))":15684,"(* (* (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0))) z1) (sin (* 2 z2)))":4700,"(* (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) z1) (sin z2))":21852,"(* (* (* z0 z0) z1) (sin (* 2 z2)))":8388,"(* (* (+ (cos (+ z0 z0)) 1) 1/2) 11)":2329,"(* (* (- (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))":20778,"(* (* (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1)) 2) (- z2 1))":23484,"(* (* (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))) 1)) 2) (- (* (- (* (cos (+ z2 z2)) 1/2) -1/2) 3) 1))":9776,"(* (* (- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))) 1)) 2) (- z2 1))":10462,"(* (* (- (sin z0)) z1) z2)":5208,"(* (* (- 1 (* z0 z0)) z0) (sqrt z1))":556,"(* (* (cos (* -2 (+ z0 z1))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3)) 3)":7668,"(* (* (cos (* -2 (+ z0 z1))) z2) 3)":10524,"(* (* (cos (+ z0 (* PI 1/2))) z1) 3)":4944,"(* (* (cos z0) (* z1 z1)) (- (- (/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) -11) z2))":13544,"(* (* (cos z0) (* z1 z1)) (- z2 (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))))":13884,"(* (* (cos z0) z1) (cos z2))":5404,"(* (* (cos z0) z1) (sin z2))":10560,"(* (* (cos z0) z1) z2)":4542,"(* (* (pow (cos z0) 3) z1) z1)":20834,"(* (* (pow (cos z0) 6) 400) (* z1 z1))":5338,"(* (* (pow (sqrt (- 1 (* z0 z0))) 3) z1) (sin (* 2 z2)))":7470,"(* (* (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)))":17740,"(* (* (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 z2))":21492,"(* (* (pow (sqrt (- 1 (pow z0 2))) 3) z1) (sin (* 2 z2)))":23020,"(* (* (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)))":45528,"(* (* (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 z2))":46128,"(* (* (pow z0 2) z1) (sin (* 2 z2)))":61680,"(* (* (sin (/ z0 2)) z1) (cos z2))":6882,"(* (* (sin (/ z0 2)) z1) (sin z2))":5094,"(* (* (sin z0) (sin z1)) (cos z2))":6792,"(* (* (sin z0) z1) (cos z2))":10657,"(* (* (sin z0) z1) (sin (* 1/2 z2)))":7764,"(* (* (sin z0) z1) (sin z2))":9630,"(* (* (sin z0) z1) z2)":4008,"(* (* (sqrt (- 1 (* z0 z0))) z1) (tan z2))":3732,"(* (* -1/8 z0) (sin (+ z1 z1)))":2132,"(* (* -200 (pow (cos z0) 4)) (pow z1 -2))":14946,"(* (* -200 z0) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2))":5042,"(* (* -200 z0) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2))":6040,"(* (* -3 z0) (sin (+ (+ z1 z2) z2)))":6000,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":18354,"(* (* -3 z0) (sin z1))":8336,"(* (* 1/2 z0) (cos (* -1/2 z1)))":3728,"(* (* 1/2 z0) (cos z1))":8166,"(* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2))":7774,"(* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow z1 2))":7892,"(* (* 11 z0) (pow (cos z1) 2))":9372,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ z1 1))":7140,"(* (* 2 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))":18024,"(* (* 3 z0) (cos (+ (* 2 z1) z2)))":28884,"(* (* 3 z0) (cos z1))":9976,"(* (* 3 z0) (pow (cos z1) 2))":20066,"(* (* 3 z0) (pow z1 2))":20414,"(* (* 3 z0) (sin (+ (* 2 z1) z2)))":99402,"(* (* 3 z0) (sin z1))":33886,"(* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow z1 4))":2532,"(* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4))":9096,"(* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow z1 4))":9234,"(* (* 40 z0) (pow (cos z1) 4))":11862,"(* (* 400 (* z0 z0)) (pow z1 6))":2528,"(* (* 400 (pow z0 2)) (pow (cos z1) 6))":9120,"(* (* 400 (pow z0 2)) (pow z1 6))":9258,"(* (* 400 z0) (pow (cos z1) 6))":11752,"(* (* 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)))":50436,"(* (* z0 (* z1 z1)) (- (- (/ (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z2 z2))))))) -11) (* (* -200 (pow (cos z2) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z2 z2)))))) -2))))":13062,"(* (* z0 (* z1 z1)) (cos z2))":6294,"(* (* z0 (* z1 z1)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2)))))) -2))":14280,"(* (* 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)) (sin z2))":18282,"(* (* z0 (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))) (sin (* 2 z2)))":26766,"(* (* z0 (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 3) 1)) (sin z2))":10956,"(* (* z0 (- 1 (* z0 z0))) (sqrt z1))":5516,"(* (* z0 (- 1 (* z1 z1))) (cos (+ z2 z2)))":27672,"(* (* z0 (- 1/2 (* 1/2 (cos (+ z1 z1))))) 3)":5400,"(* (* z0 (cos (+ z1 (* PI 1/2)))) 3)":4944,"(* (* z0 (cos (+ z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z2)))) 11) 1)))":16896,"(* (* z0 (cos z1)) (cos z2))":6841,"(* (* z0 (cos z1)) (sin z2))":4374,"(* (* z0 (cos z1)) z2)":5988,"(* (* z0 (fabs z1)) z2)":258,"(* (* z0 (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3)) 3)":13307,"(* (* z0 (sin (* -1/2 z1))) z2)":3882,"(* (* z0 (sin (+ z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z2 z2))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 11) 1)))":14707,"(* (* z0 (sin z1)) (cos z2))":14922,"(* (* z0 (sin z1)) z2)":3114,"(* (* z0 (sqrt (- 1 (* z1 z1)))) (tan z2))":3732,"(* (* z0 -1/2) (cos z1))":5554,"(* (* z0 -1/8) (sin (+ z1 z1)))":12746,"(* (* z0 -6) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":4000,"(* (* z0 1/8) (* (* z1 z1) (cos z2)))":16140,"(* (* z0 2) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 3) 1))":9242,"(* (* z0 2) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 3) 1))":3818,"(* (* z0 3) (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 1)))":10920,"(* (* z0 3) (- 1/2 (* 1/2 (cos (+ z1 z1)))))":4068,"(* (* z0 3) (cos (* (+ z1 z2) -2)))":5196,"(* (* z0 z0) (* (cos z1) z2))":8304,"(* (* z0 z1) (* (cos (+ z2 z2)) (- 1 (* z1 z1))))":6308,"(* (* z0 z1) (* (fabs z2) 1000))":348,"(* (* z0 z1) (cos z2))":15564,"(* (* z0 z1) (fabs z2))":294,"(* (* z0 z1) (sin (* 1/2 z2)))":10902,"(* (* z0 z1) (sin z2))":17538,"(* (* z0 z1) (sqrt (fabs z2)))":732,"(* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) 3)":8900,"(* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2) 3)":27030,"(* (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2))) 3)":8910,"(* (+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2))) 3)":14106,"(* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4))":5348,"(* (+ (* 200 (* z0 z0)) 80) (pow z1 4))":5458,"(* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))":4956,"(* (+ (+ (* (* (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))":13122,"(* (+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))) (* z2 3))":15372,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (* 2 z1)))":21468,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos z1))":23392,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) z1) (cos (* 2 z2)))":78012,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) z1) (sin (* 2 z2)))":34680,"(* (+ (cos (* (+ z0 z1) -2)) z2) 3)":3876,"(* (+ (cos (+ z0 z0)) 1) 1/2)":7392,"(* (+ (sin (* (+ z0 z1) 2)) (* (sin (+ z0 (+ z1 z1))) z2)) 3)":5694,"(* (+ (sin (* (+ z0 z1) 2)) z2) 3)":5802,"(* (+ (sin (/ z0 2)) z1) (sin z2))":5130,"(* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11)":7109,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11)":3774,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3)":6621,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80)":3053,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":11908,"(* (+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (cos (* 2 z2)))":66000,"(* (+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (sin (* 2 z2)))":37452,"(* (+ z0 (cos (* (+ z1 z2) -2))) 3)":9444,"(* (+ z0 (cos z1)) (cos z2))":11472,"(* (+ z0 (cos z1)) (sin z2))":8850,"(* (+ z0 (cos z1)) 3)":9424,"(* (+ z0 (sin (* (+ z1 z2) 2))) 3)":14538,"(* (+ z0 (sin z1)) (cos z2))":8774,"(* (+ z0 (sin z1)) (sin z2))":9936,"(* (+ z0 1/3) (sin (+ (* 2 z1) (* 3 z2))))":19200,"(* (+ z0 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))":5078,"(* (+ z0 80) (pow (cos z1) 4))":5486,"(* (- (* (* z0 z0) 200) -80) (pow z1 4))":2596,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)":2769,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 3)":2289,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)":3392,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1)":11342,"(* (- (* (sin z0) z1) (- z2 z0)) -6)":13884,"(* (- (* (sin z0) z1) (- z2 z0)) 6)":25896,"(* (- (* (sin z0) z1) z2) -6)":13956,"(* (- (* (sin z0) z1) z2) 6)":26022,"(* (- (* 3 (pow (cos z0) 2)) 1) (- z1 (/ 1 (pow (sqrt (- 1 (pow z2 2))) 3))))":9222,"(* (- (* z0 z0) 1) (/ (- (sin z1)) z2))":2683,"(* (- (* z0 z0) 1) (/ z1 (cos (+ z2 PI))))":2574,"(* (- (* z0 z0) 1) (sqrt z1))":4954,"(* (- (* z0 z0) 1) (tan z1))":5286,"(* (- (+ (* (sin z0) z1) z0) z2) 6)":15012,"(* (- (- (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))) 1/3) (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2)) (sin (- (+ z2 z2) (* -3 z0))))":9498,"(* (- (- (/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1))) 1/3) (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2)) (sin z2))":9682,"(* (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)) (* (sqrt (- 1 (* z1 z1))) z2))":13266,"(* (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)) (* z1 (- 1 (* z2 z2))))":13686,"(* (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) z1) (* (sqrt (- 1 (* z2 z2))) (- 1 (* z2 z2))))":11205,"(* (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) (- z2 1))":9618,"(* (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) z1) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))":8340,"(* (- (sin (* -1/2 z0)) z1) (sin z2))":4314,"(* (- 1 (* z0 z0)) (sqrt z1))":13384,"(* (- 1 (+ 1/2 (* 1/2 (cos (* 2 z0))))) 3)":2742,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5)":5365,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3)":3222,"(* (- z0 (+ (* (sin z1) z2) z1)) 6)":6930,"(* (- z0 (- (* (+ 1/2 (* 1/2 (cos (* 2 z1)))) 11) 1)) (* (sqrt (- 1 (* z2 z2))) (- 1 (* z2 z2))))":14184,"(* (- z0 (/ -1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1)))))) (- (* (- (cos (+ z2 z2)) -1) 3/2) 1))":4008,"(* (- z0 -1) (sin (+ (* 2 z1) z2)))":22644,"(* (- z0) (cos z1))":2186,"(* (- z0) (sin z1))":2430,"(* (- z0) (sqrt (fabs z1)))":472,"(* (/ (* z0 z1) 2) (pow z2 2))":196092,"(* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt z2))":76842,"(* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt z2))":44886,"(* (/ (fabs z0) z1) (/ z2 z1))":576,"(* (/ z0 (* (- 1 (* z1 z1)) (- 1 (* z1 z1)))) (* 1/2 (cos z2)))":3240,"(* (/ z0 (* (- 1 (* z1 z1)) (- 1 (* z1 z1)))) (* 1/2 (sin (+ (- z2) (* PI 1/2)))))":2790,"(* (/ z0 (fabs z1)) (/ z0 z2))":576,"(* (/ z0 (pow (sqrt (- 1 (pow z1 2))) 6)) (+ (+ z1 (+ (* 3 (cos z2)) (* (* 3 z1) (pow (cos z2) 2)))) (* (pow z1 2) (pow (cos z2) 3))))":25038,"(* (/ z0 2) (pow (* (/ 1 z1) z2) 2))":5175,"(* (/ z0 2) (pow (/ z1 z2) 2))":187710,"(* (/ z0 E) (sqrt (- z1 -1)))":1162,"(* (/ z0 z1) (/ (fabs z2) z1))":576,"(* (/ z0 z1) (/ z0 (fabs z2)))":576,"(* (/ z0 z1) (fabs (* z2 1)))":642,"(* (cos (* -1/2 z0)) (sqrt z1))":13110,"(* (cos (* -2 (+ z0 z1))) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":7740,"(* (cos (* -2 (+ z0 z1))) (pow z2 3))":10026,"(* (cos (+ z0 (* PI 1/2))) (cos z1))":4954,"(* (cos (+ z0 (+ z1 z1))) z2)":25656,"(* (cos (+ z0 z0)) (cos (+ z1 z1)))":9346,"(* (cos (+ z0 z0)) (sin z1))":5582,"(* (cos (- (* -3 z0) (+ z1 z1))) z2)":12108,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":9366,"(* (cos (- z0 (- (* -3 z1) z0))) z2)":4374,"(* (cos z0) (* (sin z1) z2))":3978,"(* (cos z0) (* z1 z2))":3300,"(* (cos z0) (+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) z1))":18018,"(* (cos z0) (+ z1 (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))))":18054,"(* (cos z0) (/ z1 z2))":2946,"(* (cos z0) (cos (+ z1 (* PI 1/2))))":4954,"(* (cos z0) (cos (+ z1 z1)))":9748,"(* (cos z0) (fabs z1))":2776,"(* (cos z0) (pow (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 3))":8496,"(* (cos z0) (sin z1))":8894,"(* (cos z0) z1)":164218,"(* (fabs (* z0 z1)) (sqrt z2))":540,"(* (fabs (/ z0 z1)) (fabs z2))":906,"(* (fabs z0) (- 1 (* z1 z1)))":556,"(* (fabs z0) (fabs (/ z1 z2)))":906,"(* (fabs z0) (sqrt (fabs z1)))":651,"(* (fabs z0) (sqrt z1))":616,"(* (pow (* 10000/2928563 (- z0 2634/5)) 5) -5889/10000)":2198,"(* (pow (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))) -2) (* z1 z2))":6312,"(* (pow (cos z0) 3) z1)":23994,"(* (pow (cos z0) 6) 400)":4492,"(* (pow (sqrt (- 1 (pow z0 2))) 3) (+ (- 1 (* 11 (pow (cos z1) 2))) z2))":22650,"(* (pow (sqrt (- 1 (pow z0 2))) 3) (+ z1 (- (/ (* 40 (pow (cos z2) 4)) (- 1 (* 5 (pow (cos z2) 2)))))))":21900,"(* (pow z0 -2) (* (* (* (pow (cos z1) 6) 400) z2) z2))":7998,"(* (pow z0 2) (* (cos z1) z2))":61122,"(* (pow z0 2) (* z1 (+ (+ 11 (/ (* 80 (pow (cos z2) 2)) (- 1 (* 5 (pow (cos z2) 2))))) (/ (* 200 (pow (cos z2) 4)) (pow (- 1 (* 5 (pow (cos z2) 2))) 2)))))":46638,"(* (pow z0 2) (pow (cos z1) 3))":21268,"(* (pow z0 2) (pow z1 3))":21560,"(* (pow z0 2) (tan z1))":10500,"(* (pow z0 3) (cos (+ (* 2 z1) (* 2 z2))))":11670,"(* (pow z0 3) z1)":24348,"(* (pow z0 4) 5269/10000)":2477,"(* (sin (* (+ z0 z1) 2)) 3)":9084,"(* (sin (* 1/2 z0)) (sqrt (- 1 z1)))":7476,"(* (sin (* 1/2 z0)) (sqrt z1))":10278,"(* (sin (* z0 1/2)) z1)":2132,"(* (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)))":10926,"(* (sin (+ z0 (+ z1 z1))) (* 3 z2))":2202,"(* (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)))":12954,"(* (sin (+ z0 (+ z1 z1))) z2)":21546,"(* (sin (+ z0 z0)) (cos z1))":5032,"(* (sin (+ z0 z0)) (sin (+ z1 z1)))":9798,"(* (sin (+ z0 z0)) (sin z1))":10218,"(* (sin (- (* -3 z0) (+ z1 z1))) z2)":5304,"(* (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)))":22758,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":68208,"(* (sin (- (- (* -3 z0) z1) z1)) z2)":7092,"(* (sin (/ z0 2)) z1)":4108,"(* (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)))":20610,"(* (sin z0) (* (* (- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1)) 2) z2))":23538,"(* (sin z0) (* z1 (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)))":27714,"(* (sin z0) (- (pow (* (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- (* (cos z1) z2) -1) (- (* z2 z2) 1)) 1/3)))":23582,"(* (sin z0) (cos z1))":8486,"(* (sin z0) (sin (+ z1 z1)))":10136,"(* (sin z0) (sin z1))":5446,"(* (sin z0) (sqrt (- 1 z1)))":7802,"(* (sin z0) 3)":4673,"(* (sin z0) z1)":91478,"(* (sqrt (fabs (- 1 z0))) (tan (* 1/2 z1)))":2748,"(* (sqrt (fabs (- 1 z0))) (tan z1))":2816,"(* (sqrt (fabs z0)) (fabs z0))":830,"(* (sqrt (fabs z0)) (fabs z1))":794,"(* (sqrt 2) (sqrt z0))":1154,"(* (sqrt z0) (* z1 z2))":1212,"(* (sqrt z0) (- 1 (* z1 z1)))":10024,"(* (sqrt z0) (cos (/ z1 2)))":6818,"(* (sqrt z0) (fabs z1))":2684,"(* (sqrt z0) (sin (* 1/2 z1)))":2526,"(* (sqrt z0) (sin (/ z1 2)))":2754,"(* (sqrt z0) (sqrt (fabs z1)))":508,"(* (sqrt z0) (sqrt (sqrt (fabs z1))))":1018,"(* (sqrt z0) (tan (* 1/2 z1)))":4850,"(* (sqrt z0) z1)":12370,"(* (tan (* 1/2 z0)) (sqrt z1))":6402,"(* -200 (pow (cos z0) 4))":7733,"(* -200 (pow z0 4))":8467,"(* -3 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))":2568,"(* -3 (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2))":5623,"(* -40 (pow (cos z0) 4))":17406,"(* -6 (- (* (sin z0) z1) (- z2 z0)))":12012,"(* -6 (- (* (sin z0) z1) z2))":12066,"(* -6 (- (+ (* (sin z0) z1) z0) z2))":5664,"(* 1/2 (cos (* 2 (+ z0 (/ PI 2)))))":6362,"(* 11 (pow (cos z0) 2))":25509,"(* 11 (pow z0 2))":26008,"(* 200 (pow (cos z0) 4))":11495,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))":11672,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) z2))":35690,"(* 3 (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1)))))":11244,"(* 3 (+ (* (sin (+ z0 z0)) (cos (+ z1 z1))) z2))":6474,"(* 3 (+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2)))))":31380,"(* 3 (+ z0 (* (cos (+ z1 z1)) (sin (+ z2 z2)))))":6558,"(* 3 (+ z0 (cos (* -2 (+ z1 z2)))))":11862,"(* 3 (+ z0 (cos z1)))":12774,"(* 3 (+ z0 (sin (* 2 (+ z1 z2)))))":32460,"(* 3 (- (* (cos (+ z0 z0)) (cos (+ z1 z1))) z2))":8340,"(* 3 (- 1 (pow (cos z0) 2)))":8037,"(* 3 (- z0 (* (sin (+ z1 z1)) (sin (+ z2 z2)))))":9150,"(* 3 (cos (+ (* 2 z0) (* 2 z1))))":6390,"(* 3 (cos z0))":14254,"(* 3 (pow (cos z0) 2))":5709,"(* 3 (pow z0 2))":12554,"(* 3 (sin (+ (* 2 z0) (* 2 z1))))":30528,"(* 3 (sin z0))":15837,"(* 40 (/ z0 (- (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) 1)))":2505,"(* 40 (pow (cos z0) 4))":27627,"(* 400 (pow z0 2))":4652,"(* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":22066,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":11397,"(* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))":2436,"(* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))":12599,"(* 5 (- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2)))))))":4153,"(* 5 (pow (cos z0) 2))":59373,"(* 5 (pow z0 2))":65114,"(* 6 (+ (- z0 z1) (* z2 (sin z0))))":68034,"(* 6 (+ z0 (* z1 (sin z2))))":68424,"(* 6 (- 1 (* 5 (pow (cos z0) 2))))":4042,"(* 80 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":2565,"(* 80 (pow (cos z0) 2))":9225,"(* 80 (pow z0 2))":9405,"(* E (* z0 (sqrt (- z1 -1))))":886,"(* z0 (cos (+ (* 2 z1) (* 3 z2))))":29244,"(* z0 (cos z1))":62760,"(* z0 (sin (+ (* 2 z1) (* 3 z2))))":100710,"(* z0 (sin (+ z1 (+ z2 z2))))":32544,"(* z0 (sin z1))":85788,"(* z0 (sqrt z1))":10822,"(+ (* (* (pow (cos z0) 3) z1) z1) (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (sqrt (- 1 (* z1 z1))) z1)))":5834,"(+ (* (* (pow (cos z0) 3) z1) z1) (/ z1 z2))":14112,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))":11672,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0))":10968,"(+ (* (- (* (pow (cos z0) 3) z1) -1) z1) (* z2 3))":8767,"(+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2)))":9054,"(+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1))))":11262,"(+ (* (cos (- (* -3 z0) (+ z1 z1))) z2) (* 3 (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* -2 (+ z0 z1))))))":10506,"(+ (* (cos (- (- (* -3 z0) z1) z1)) z2) (* (+ (* (cos (+ z0 (+ z1 z1))) z2) (cos (* (+ z0 z1) -2))) 3))":7608,"(+ (* (sin (+ z0 (+ z1 z1))) z2) (sin (* (+ z0 z1) 2)))":14508,"(+ (* (sin (+ z0 z0)) (cos (+ z1 z1))) (* (cos (+ z0 z0)) z2))":6410,"(+ (* (sin (+ z0 z0)) (cos (+ z1 z1))) (* z2 (sin (+ z1 z1))))":6516,"(+ (* (sin (+ z0 z0)) z1) (* (cos (+ z0 z0)) (sin (+ z2 z2))))":6516,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* (+ (* (sin (+ z1 (+ z0 z0))) z2) (sin (* (+ z1 z0) 2))) 3))":6294,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) z2) (* 3 (+ (* z2 (sin (+ z1 (+ z0 z0)))) (sin (* 2 (+ z1 z0))))))":15030,"(+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (cos (+ (* 2 z0) z1))))":18060,"(+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) (* z2 (cos (+ (* 2 z0) z1))))":18132,"(+ (* 3 (cos z0)) (* (* 3 z1) (pow (cos z0) 2)))":19966,"(+ (* 3 (cos z0)) (* (* 3 z1) z2))":63210,"(+ (* 3 (cos z0)) (* z1 (pow (cos z0) 2)))":20066,"(+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (sin (+ (* 2 z0) z1))))":30828,"(+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) (* z2 (sin (+ (* 2 z0) z1))))":30924,"(+ (* 3 z0) (* (* 3 z1) (pow (cos z2) 2)))":59898,"(+ (* 6 z0) (- (* 3 (sin (+ (* 2 z1) (* 2 z2))))))":59178,"(+ (* z0 (cos (+ z1 z1))) (* (cos (+ z2 z2)) (sin (+ z1 z1))))":6408,"(+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2))))":31380,"(+ (* z0 (sqrt (- 1 (pow z0 2)))) (/ z0 (+ 1 (sqrt (- 1 (pow z0 2))))))":4980,"(+ (* z0 z1) (* (+ (* (- (* (cos (+ z2 z2)) 1/2) -1/2) z1) (cos z2)) 3))":8286,"(+ (+ (* (* (pow (cos z0) 3) z1) z1) (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (sqrt (- 1 (* z1 z1))) z1))) (* 3 z2))":17231,"(+ (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* 3 z2))":17435,"(+ (+ (* (* (pow (cos z0) 3) z1) z1) z2) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))))":17646,"(+ (+ (* 3 (cos (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (cos (+ (* 2 z0) z1)))) (* z2 (cos (+ (* 2 z0) (* 3 z1)))))":16872,"(+ (+ (* 3 (sin (+ (* 2 z0) (* 2 z1)))) (* (* 3 z2) (sin (+ (* 2 z0) z1)))) (* z2 (sin (+ (* 2 z0) (* 3 z1)))))":29838,"(+ (+ (+ (* (* (pow (cos z0) 3) z1) z1) (/ z1 (- (sqrt (- 1 (* z1 z1))) -1))) (* (sqrt (- 1 (* z1 z1))) z1)) (* z2 3))":12150,"(+ (+ (+ (* z0 (sqrt (- 1 (pow z0 2)))) (/ z0 (+ 1 (sqrt (- 1 (pow z0 2)))))) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (pow z0 2) z2))":26376,"(+ (+ (+ (* z0 (sqrt (- 1 (pow z0 2)))) (/ z0 (+ 1 (sqrt (- 1 (pow z0 2)))))) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* z2 (pow (cos z1) 3)))":26232,"(+ (+ (+ 2 (pow z0 2)) (- (* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2)))) (- z2))":22842,"(+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ (* 200 (pow (cos z0) 4)) z1))":17522,"(+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ z1 (pow (- 1 (* 5 (pow (cos z0) 2))) 2)))":17330,"(+ (+ 11 z0) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))":17708,"(+ (+ 2 z0) (- (* (* 11 (+ 2 (* 3 (* z1 z1)))) (- 1/2 (* 1/2 (cos (* 2 (+ z2 (/ PI 2)))))))))":2910,"(+ (+ 2 z0) (- (* (* 11 (+ 2 (* 3 (pow z1 2)))) (pow (cos z2) 2))))":23112,"(+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* (pow z0 2) z2))":28260,"(+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))) (* z2 (pow (cos z1) 3)))":28872,"(+ (+ z0 (+ (* 3 (cos z1)) (* (* 3 z2) (pow (cos z1) 2)))) (* (pow z2 2) (pow (cos z1) 3)))":29322,"(+ (+ z0 (+ (/ z1 (- (sqrt (- 1 (* z1 z1))) -1)) (* (sqrt (- 1 (* z1 z1))) z1))) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) z1) (cos z2))))":15882,"(+ (+ z0 z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) z1) (cos z2))))":16086,"(+ (+ z0 z1) (fabs z0))":542,"(+ (+ z0 z1) (fabs z1))":244,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":22557,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- z1))":47434,"(+ (- 1 z0) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))":46986,"(+ (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)) (* (sqrt (- 1 (* z0 z0))) z0))":3297,"(+ (cos (+ z0 z0)) 1)":7400,"(+ (cos z0) 1)":7493,"(+ (sin (* (+ z0 z1) 2)) (* (sin (+ z0 (+ z1 z1))) z2))":5988,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":38990,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":31521,"(+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2)))))":9009,"(+ 11 (/ (* 80 (pow (cos z0) 2)) z1))":18436,"(+ 11 (/ z0 (- 1 (* 5 (pow (cos z1) 2)))))":18186,"(+ z0 (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2))))":9774,"(- (* (* 11 (+ 2 (* 3 (pow z0 2)))) (pow (cos z1) 2)))":7774,"(- (* (* 11 (+ 2 (* 3 (pow z0 2)))) z1))":9426,"(- (* (* 3 z0) (sin (+ (* 2 z1) z2))))":67524,"(- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)":7044,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)":3584,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1)":6591,"(- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 3) 1)":2195,"(- (* (cos (+ z0 z0)) (cos (+ z1 z1))) (* (sin (+ z0 z0)) (sin (+ z1 z1))))":8544,"(- (* (cos (+ z0 z0)) (cos (+ z1 z1))) (* (sin (+ z0 z0)) z2))":25920,"(- (* (cos (+ z0 z0)) (cos (+ z1 z1))) (* z2 (sin (+ z1 z1))))":25920,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":18782,"(- (* (cos (+ z0 z0)) z1) (* (sin (+ z0 z0)) (sin (+ z2 z2))))":26364,"(- (* 3 (+ (* z0 (sin (+ z1 (+ z2 z2)))) (sin (* 2 (+ z1 z2))))))":15702,"(- (* 3 (pow (cos z0) 2)) 1)":5709,"(- (* 3 (sin (+ (* 2 z0) (* 2 z1)))))":19956,"(- (* 6 (- 1 (* 5 (pow (cos z0) 2)))))":4042,"(- (* z0 (cos (+ z1 z1))) (* (sin (+ z2 z2)) (sin (+ z1 z1))))":26412,"(- (* z0 (pow (cos z1) 2)))":9440,"(- (* z0 (sin (+ (* 2 z1) (* 3 z2)))))":68592,"(- (* z0 (sin (+ (* 2 z1) z2))))":67764,"(- (+ (* (* (pow (cos z0) 3) z1) z1) z1) (* -3 z2))":5694,"(- (+ z0 z1) (* -3 (+ (* (- (* (cos (+ z2 z2)) 1/2) -1/2) z1) (cos z2))))":5431,"(- (+ z0 z1) (fabs z0))":542,"(- (+ z0 z1) (fabs z1))":244,"(- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1))))))":4890,"(- (- (* z0 z0) -2) (* z1 (+ 1/2 (* 1/2 (cos (* 2 z2))))))":14874,"(- (- (* z0 z0) -2) (* z1 (- 1/2 (* -1/2 (cos (+ z2 z2))))))":6264,"(- (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) (- (/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) z2))":13278,"(- (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) (- z2 (* (* (* (pow (cos z1) 6) 400) (* z0 z0)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2))))":13038,"(- (- (/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) z2))":22416,"(- (- z0 (/ (* (* 400 (pow z1 2)) (pow (cos z2) 6)) (pow (- 1 (* 5 (pow (cos z2) 2))) 2))))":22194,"(- (- z0 (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) -1)":18918,"(- (- z0 -2) (* (+ (* 33 (* z1 z1)) 22) (+ 1/2 (* 1/2 (cos (* 2 z2))))))":14670,"(- (- z0 -2) (* (- (* 33 (* z1 z1)) -22) (- 1/2 (* -1/2 (cos (+ z2 z2))))))":5431,"(- (/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (pow z0 2)) (pow (cos z1) 6)) z2))":21498,"(- (/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))) (/ z2 (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))":21618,"(- (/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) z2) (/ (* (* 400 (pow z0 2)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))":21210,"(- (/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (* (* (* (pow (cos z1) 6) 400) (* z0 z0)) z2))":13380,"(- (/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (* z2 (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2)))":13530,"(- (/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) z1) -11)":6066,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) (- z1 1))":10976,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) (- z1 1))":6636,"(- (/ (* -40 (pow (cos z0) 4)) z1) (- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1))":11140,"(- (/ (* -40 (pow (cos z0) 4)) z1) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1))":6752,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":23707,"(- (/ (* 40 (pow (cos z0) 4)) z1))":55070,"(- (/ (* 80 (+ 1/2 (* 1/2 (cos (* 2 z0))))) z1) -11)":5098,"(- (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 1)":8794,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1)":4604,"(- (/ z0 (* (* (sqrt (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) (tan z2))))":3726,"(- (/ z0 (* (pow (sqrt (- 1 (pow z1 2))) 2) (tan z2))))":29388,"(- (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (* (* (* (pow (cos z1) 6) 400) (* z2 z2)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2)))":13554,"(- (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z1)))) 11) 1))":13622,"(- (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) -11)":5058,"(- (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))":6804,"(- (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) -11)":5962,"(- (/ z0 (- 1 (* 5 (pow (cos z1) 2)))) (/ (* (* 400 (pow z2 2)) (pow (cos z1) 6)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2)))":21882,"(- (/ z0 (- 1 (* 5 (pow (cos z1) 2)))))":47814,"(- (cos (+ z0 z0)) -1)":4859,"(- (cos z0) -1)":5596,"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) 1/3))":8030,"(- (pow z0 2) (- (/ (- (* (cos z1) z2) -1) (- 1 (* z2 z2))) 1))":25950,"(- (pow z0 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))":13380,"(- (sqrt (sqrt (fabs z0))))":499,"(- (sqrt z0) (* (sqrt (fabs (- 1 z1))) (tan (* 1/2 z2))))":2934,"(- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))":3023,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) 5))":4095,"(- 1 (* 11 (pow (cos z0) 2)))":25509,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))":19338,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":9970,"(- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0))))))":10753,"(- 1 (* 5 (- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2))))))))":3638,"(- 1 (* 5 (pow (cos z0) 2)))":55259,"(- 1 (+ 1/2 (* 1/2 (cos (* 2 z0)))))":4507,"(- 1 (pow (cos z0) 2))":10178,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7197,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":8488,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":18690,"(- 1/2 (* 1/2 (cos (* 2 (+ z0 (/ PI 2))))))":6362,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":9311,"(- 3 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))":2571,"(- 3 (* 5 (pow (cos z0) 2)))":4111,"(- z0 (* z1 (sqrt (fabs z2))))":942,"(/ (* (* 40 (+ 2 (* 5 (* z0 z0)))) (pow (cos z1) 4)) (- 1 z2))":7422,"(/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) (pow (cos z1) 4)) (- 1 z2))":27114,"(/ (* (* 40 (+ 2 (* 5 (pow z0 2)))) z1) (- 1 (* 5 (pow (cos z2) 2))))":22452,"(/ (* (* 400 (* z0 z0)) (pow (cos z1) 6)) (pow z2 2))":7386,"(/ (* (* 400 (pow z0 2)) (pow (cos z1) 6)) (pow z2 2))":27066,"(/ (* (* 400 (pow z0 2)) z1) (pow (- 1 (* 5 (pow (cos z2) 2))) 2))":22230,"(/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 z2))":15804,"(/ (* (+ (* 200 (* z0 z0)) 80) z1) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2)))))))":14496,"(/ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 80) (- 1 z1))":6044,"(/ (* (- (* (* z0 z0) 200) -80) (pow (cos z1) 4)) (- 1 z2))":7404,"(/ (* (- (* (* z0 z0) 200) -80) z1) (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z2 z2)))))))":5340,"(/ (* (- z0) z1) (* (* (sqrt (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) (tan z2)))":3726,"(/ (* (- z0) z1) (* (pow (sqrt (- 1 (pow z0 2))) 2) (tan z2)))":28812,"(/ (* -40 (pow (cos z0) 4)) (- 1 z1))":31878,"(/ (* -40 z0) (- 1 (* (* (+ (cos (+ z1 z1)) 1) 1/2) 5)))":3338,"(/ (* -40 z0) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5)))":2800,"(/ (* -40 z0) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":13810,"(/ (* -40 z0) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":6972,"(/ (* 1/2 (* z0 z1)) (fabs z2))":744,"(/ (* 200 (pow (cos z0) 4)) (pow z1 2))":21858,"(/ (* 200 z0) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))":18086,"(/ (* 3 (- 1 (pow (cos z0) 2))) (pow z1 6))":8220,"(/ (* 3 z0) (pow (sqrt (- 1 (pow z1 2))) 6))":9852,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":23707,"(/ (* 40 (pow (cos z0) 4)) (- 1 z1))":54632,"(/ (* 40 z0) (- 1 (* 5 (pow (cos z1) 2))))":47558,"(/ (* 80 (+ 1/2 (* 1/2 (cos (* 2 z0))))) (- 1 z1))":5080,"(/ (* 80 (- 1/2 (* -1/2 (cos (+ z0 z0))))) (- 1 z1))":3422,"(/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))":9016,"(/ (* 80 (pow (cos z0) 2)) (- 1 z1))":18326,"(/ (* 80 z0) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))))":5032,"(/ (* 80 z0) (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":3412,"(/ (* 80 z0) (- 1 (* 5 (pow (cos z1) 2))))":18064,"(/ (* z0 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))":9102,"(/ (* z0 80) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":5926,"(/ (* z0 z0) (fabs z1))":368,"(/ (* z0 z1) (fabs (- (* z2 z2) 1)))":564,"(/ (* z0 z1) (fabs z2))":588,"(/ (+ 1 (* z0 (cos z1))) (pow z2 2))":140676,"(/ (+ 1 (* z0 (sin (+ (* PI 1/2) z1)))) (pow z2 2))":4620,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":18464,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":43880,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":32094,"(/ (- -1 (* (cos z0) z1)) (- 1 (* z1 z1)))":9006,"(/ (/ z0 (* z1 z1)) (pow (sqrt (- 1 (pow z2 2))) 4))":6804,"(/ (fabs z0) (* z1 z2))":384,"(/ (sqrt (- z0 -1)) (/ 1 z1))":912,"(/ -1 (sqrt z0))":756,"(/ 1 (pow z0 -1))":12562,"(/ 1 (pow z0 3))":2090,"(/ 1 (sqrt (- 1 z0)))":1311,"(/ 1 (sqrt z0))":3635,"(cos (* (+ z0 z1) -2))":14070,"(cos (* -2 (+ z0 z1)))":10384,"(cos (* 2 (+ z0 (/ PI 2))))":6362,"(cos (+ (* 2 z0) (* 2 z1)))":18754,"(cos (+ (* 2 z0) (* 3 z1)))":9748,"(cos (+ (* 2 z0) z1))":38412,"(cos (+ (- z0) z1))":2070,"(cos (+ (fabs z0) z1))":2218,"(cos (+ z0 (* 2 z1)))":18982,"(cos (+ z0 (* 3 z1)))":9852,"(cos (+ z0 (* PI 1/2)))":5122,"(cos (+ z0 (+ z1 z1)))":9760,"(cos (+ z0 (- z1)))":1972,"(cos (+ z0 (fabs z1)))":2218,"(cos (+ z0 z1))":39610,"(cos (- (* -3 z0) (+ z1 z1)))":4066,"(cos (- (* -3 z0) z1))":4114,"(cos (- (- (* -3 z0) z1) z1))":3230,"(cos (- (- z0) z1))":2218,"(cos (- (fabs z0) z1))":2208,"(cos (- z0 (+ z1 z1)))":4448,"(cos (- z0 (- z1)))":2208,"(cos (- z0 (fabs z1)))":2224,"(cos (- z0 z1))":11464,"(fabs (* (- (* z0 z0) 1) z1))":454,"(fabs (* z0 (* z1 z2)))":504,"(fabs (* z0 (- (* z1 z1) 1)))":358,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2) 2)":78834,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2) 2)":42882,"(pow (* 10000/2928563 (- z0 2634/5)) 4)":2985,"(pow (* 10000/2928563 (- z0 2634/5)) 5)":3347,"(pow (* 10000/2928563 (- z0 2634/5)) 6)":3358,"(pow (* 10000/2928563 z0) 4)":3057,"(pow (* 10000/2928563 z0) 5)":3427,"(pow (* 10000/2928563 z0) 6)":3438,"(pow (* z0 z1) -1)":2548,"(pow (* z0 z1) 2)":2610,"(pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0)))))) -2)":5024,"(pow (- 1 (* 5 (pow (cos z0) 2))) 2)":13569,"(pow (/ (+ 1 (* z0 (cos z1))) z2) 3)":18354,"(pow (/ (+ 1 (* z0 (sin (+ (* PI 1/2) z1)))) z2) 3)":4800,"(pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) 3)":8428,"(pow (/ (- (* (cos z0) z1) -1) z2) 3)":27432,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":9942,"(pow (/ (- -1 (* (cos z0) z1)) z2) 3)":30978,"(pow (/ z0 (- (* z1 z1) 1)) 3)":10422,"(pow (/ z0 (- 1 (* z1 z1))) 3)":9218,"(pow (/ z0 z1) 2)":64010,"(pow (cos z0) 2)":126349,"(pow (cos z0) 3)":23360,"(pow (cos z0) 4)":80954,"(pow (cos z0) 6)":10629,"(pow (sqrt z0) 2)":50641,"(pow (sqrt z0) 3)":22509,"(pow (sqrt z0) 4)":54124,"(pow (sqrt z0) 6)":5264,"(sin (* (+ z0 z1) 2))":17468,"(sin (* 2 (+ z0 z1)))":11020,"(sin (+ (* 2 (+ z0 z1)) z2))":3930,"(sin (+ (* 2 z0) (* 2 z1)))":30528,"(sin (+ (* 2 z0) (* 3 z1)))":40068,"(sin (+ (* 2 z0) z1))":111890,"(sin (+ (* PI 1/2) z0))":3301,"(sin (+ (+ z0 z0) z1))":5968,"(sin (+ (+ z0 z1) z1))":3008,"(sin (+ (- z0) (* PI 1/2)))":2373,"(sin (+ (- z0) z1))":5348,"(sin (+ z0 (* 2 z1)))":30842,"(sin (+ z0 (* 3 z1)))":40450,"(sin (+ z0 (* PI 1/2)))":5541,"(sin (+ z0 (+ z1 z1)))":36992,"(sin (+ z0 (/ PI 2)))":2126,"(sin (+ z0 z1))":94754,"(sin (- (+ z0 z0) (* -3 z1)))":37800,"(sin (- (+ z0 z0) z1))":38528,"(sin (- (- (* -3 z0) z1) z1))":2436,"(sin (- z0 (* -3 z1)))":38206,"(sin (- z0 (+ z1 z1)))":1990,"(sin (- z0 z1))":6396,"(sqrt (* (- (* z0 z0) 1) z1))":1026,"(sqrt (* (fabs z0) z1))":558,"(sqrt (* (sin z0) z1))":4870,"(sqrt (* (sqrt (* z0 z1)) z2))":577,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":733,"(sqrt (* (sqrt (fabs z0)) z1))":2354,"(sqrt (* z0 (* z1 z2)))":732,"(sqrt (* z0 (- (* z1 z1) 1)))":1026,"(sqrt (* z0 (fabs z1)))":2186,"(sqrt (* z0 (sin z1)))":4870,"(sqrt (* z0 (sqrt (fabs z1))))":1024,"(sqrt (* z0 z1))":1410,"(sqrt (/ (- -1 z0) z1))":636,"(sqrt (/ (- 1 z0) z1))":4276,"(sqrt (/ (- z0 1) z1))":3878,"(sqrt (/ 1 z0))":1271,"(sqrt (/ z0 (- -1 z1)))":4410,"(sqrt (/ z0 (- 1 z1)))":694,"(sqrt (/ z0 (- z1 -1)))":3824,"(sqrt (fabs (* z0 z1)))":702,"(sqrt (sqrt (* z0 z1)))":508,"(sqrt (sqrt (fabs z0)))":3249,"(sqrt (sqrt (sqrt (fabs z0))))":1221,"(sqrt (sqrt z0))":12887}