{"(* (* (* (* z0 z1) (* z0 z0)) (- (- 1 z0) (/ z0 z0))) (sin (+ z2 z2)))":19,"(* (* (* (/ z0 8) z1) (pow (sqrt z0) 2)) (* (+ (- 1 z0) (- z0)) (cos (* 2 z2))))":23,"(* (* (* (/ z0 8) z1) (pow (sqrt z0) 3)) (* (+ (- 1 z0) (- z0)) (sin (* 2 z2))))":24,"(* (* (* 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))":17,"(* (* (* 2 (- z0 1)) (+ (+ z0 z0) 1)) (sin z1))":21,"(* (* (* 2 z0) (+ z0 1)) (sin z1))":21,"(* (* (* E E) E) (pow (log (- 1 z0)) 2))":30,"(* (* (* z0 z0) (- z0 z0)) (sin (+ z1 z1)))":19,"(* (* (* z0 z0) E) (pow (log z0) 2))":30,"(* (* (* z0 z1) (pow z0 2)) (* (+ z0 z0) (cos z0)))":23,"(* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0)))":24,"(* (* (+ (cos z0) 1) 1/2) (* z1 z1))":26,"(* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1)))":17,"(* (* (- 1 (sqrt E)) 3) z0)":20,"(* (* (- 1 (sqrt z0)) 3) (- (+ (+ z0 z0) (+ z0 z0)) 24))":20,"(* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) z1)":21,"(* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2)":24,"(* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 2))":22,"(* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 3))":22,"(* (* (/ z0 8) z1) (pow (sqrt z0) 2))":23,"(* (* (/ z0 8) z1) (pow (sqrt z0) 3))":24,"(* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1))":30,"(* (* (cos z0) (cos z1)) z2)":17,"(* (* (cos z0) z1) z2)":18,"(* (* (exp 3/2) 2) (pow (log (- 1 z0)) 2))":60,"(* (* (exp 3/2) 2) (pow (log z0) 2))":60,"(* (* (exp 3/2) 2) z0)":60,"(* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) z0)":52,"(* (* (log (- 1 z0)) (log (- 1 z0))) (log (- 1 (/ 1 z0))))":52,"(* (* (log z0) (log z0)) (log (- 1 z0)))":52,"(* (* (pow (cos z0) 3) z1) z1)":49,"(* (* (pow (cos z0) 3) z1) z2)":49,"(* (* (pow z0 1/2) (pow z0 1/2)) (- 1 (* z0 z0)))":29,"(* (* (pow z0 3) z1) z1)":49,"(* (* (sin z0) z1) z2)":18,"(* (* (sqrt 2) 1/2) z0)":49,"(* (* -108 (sqrt E)) (log (- 1 (/ 1 z0))))":19,"(* (* -108 (sqrt E)) z0)":19,"(* (* -108 (sqrt z0)) (log (- 1 z0)))":19,"(* (* -108 z0) (log z0))":19,"(* (* -115 (sqrt E)) (log (- 1 (/ 1 z0))))":19,"(* (* -115 (sqrt z0)) (log (- 1 z0)))":19,"(* (* -115 z0) (log z0))":19,"(* (* -1280 E) (log (- 1 (/ 1 z0))))":19,"(* (* -1280 E) (log (- 1 z0)))":19,"(* (* -1280 z0) (log z0))":19,"(* (* -15 z0) (log z0))":19,"(* (* -16 (exp 3/2)) z0)":22,"(* (* -18 (sqrt E)) (log (- 1 (/ 1 z0))))":19,"(* (* -18 (sqrt E)) z0)":38,"(* (* -18 (sqrt z0)) (log (- 1 z0)))":19,"(* (* -18 z0) (log z0))":26,"(* (* -18 z0) (pow z0 2))":20,"(* (* -180 z0) (log z0))":19,"(* (* -20 z0) (pow z0 2))":20,"(* (* -200 (pow (cos z0) 4)) z1)":23,"(* (* -200 z0) (pow z0 -2))":23,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":18,"(* (* -3 z0) (sin (+ z1 z2)))":18,"(* (* -3 z0) (sin z1))":18,"(* (* -378 E) (log (- 1 (/ 1 z0))))":17,"(* (* -378 E) (log (- 1 z0)))":17,"(* (* -4 (* E E)) (log (- 1 (/ 1 z0))))":90,"(* (* -4 (* z0 z0)) (log (- 1 z0)))":90,"(* (* -4 (pow E 2)) (log (- 1 (/ 1 z0))))":24,"(* (* -4 (pow E 2)) z0)":24,"(* (* -4 (pow z0 2)) (log (- 1 z0)))":24,"(* (* -4 z0) (log z0))":114,"(* (* -530 z0) (log z0))":19,"(* (* -66 z0) (log z0))":19,"(* (* -7 z0) (log z0))":19,"(* (* -70 E) (log (- 1 (/ 1 z0))))":19,"(* (* -70 E) (log (- 1 z0)))":19,"(* (* -70 z0) (log z0))":19,"(* (* -8 (pow E 2)) (* (log (- 1 z0)) (log (- 1 z0))))":24,"(* (* -8 (pow E 2)) z0)":24,"(* (* -8 (pow z0 2)) (* (log z0) (log z0)))":24,"(* (* -8 E) (* (log (- 1 z0)) (log (- 1 z0))))":24,"(* (* -8 E) (* (log z0) (log z0)))":24,"(* (* -8 E) (log (- 1 (/ 1 z0))))":19,"(* (* -8 E) (log (- 1 z0)))":19,"(* (* -8 E) (pow (log (- 1 z0)) 2))":90,"(* (* -8 E) (pow (log z0) 2))":90,"(* (* -8 z0) (log z0))":47,"(* (* -84 E) (log (- 1 (/ 1 z0))))":114,"(* (* -84 E) (log (- 1 z0)))":114,"(* (* -84 z0) (log z0))":114,"(* (* -9 (exp 5/2)) z0)":20,"(* (* -9 (pow E 5/2)) z0)":18,"(* (* -9 z0) (pow z0 2))":30,"(* (* -930 z0) (log z0))":19,"(* (* 1/2 (- 2 z0)) (/ (fabs z1) (sqrt z0)))":19,"(* (* 1/2 (pow z0 2)) (/ z1 z2))":29,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":41,"(* (* 1/2 z0) (- 1 (cos z1)))":41,"(* (* 120 z0) (log z0))":19,"(* (* 13 E) (log (- 1 (/ 1 z0))))":19,"(* (* 13 E) (log (- 1 z0)))":19,"(* (* 13 z0) (log z0))":19,"(* (* 15 (sqrt E)) (log (- 1 (/ 1 z0))))":19,"(* (* 15 (sqrt z0)) (log (- 1 z0)))":19,"(* (* 15 z0) (log z0))":19,"(* (* 16 (exp 3/2)) (log (- 1 (/ 1 z0))))":60,"(* (* 16 (exp 3/2)) (log (- 1 z0)))":60,"(* (* 16 (exp 3/2)) z0)":60,"(* (* 16 (pow E 3/2)) (log (- 1 (/ 1 z0))))":54,"(* (* 16 (pow E 3/2)) z0)":54,"(* (* 16 (pow z0 3/2)) (log (- 1 z0)))":54,"(* (* 16 (sqrt E)) (log (- 1 (/ 1 z0))))":114,"(* (* 16 (sqrt E)) z0)":114,"(* (* 16 (sqrt z0)) (log (- 1 z0)))":114,"(* (* 16 z0) (log z0))":228,"(* (* 18 (sqrt E)) z0)":19,"(* (* 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))":17,"(* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) z1)":19,"(* (* 2 (pow E 3/2)) (* (log (- 1 z0)) (log (- 1 z0))))":24,"(* (* 2 (pow E 3/2)) (pow (log (- 1 z0)) 2))":30,"(* (* 2 (pow E 3/2)) z0)":54,"(* (* 2 (pow z0 3/2)) (* (log z0) (log z0)))":24,"(* (* 2 (pow z0 3/2)) (pow (log z0) 2))":30,"(* (* 20 (sqrt E)) z0)":19,"(* (* 20 E) (log (- 1 (/ 1 z0))))":19,"(* (* 20 E) (log (- 1 z0)))":19,"(* (* 20 z0) (log z0))":19,"(* (* 210 (sqrt E)) (log (- 1 (/ 1 z0))))":19,"(* (* 210 (sqrt E)) z0)":19,"(* (* 210 (sqrt z0)) (log (- 1 z0)))":19,"(* (* 210 z0) (log z0))":19,"(* (* 3 z0) (pow z0 2))":20,"(* (* 30 z0) (log z0))":19,"(* (* 53 z0) (log z0))":19,"(* (* 72 z0) (log z0))":19,"(* (* 83 z0) (log z0))":38,"(* (* 90 z0) (log z0))":19,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":45,"(* (* z0 (- 1 (cos (+ z1 z1)))) z2)":45,"(* (* z0 (- 1 (cos z1))) 1/2)":45,"(* (* z0 -1/8) (sin z0))":18,"(* (* z0 z0) (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2)))":22,"(* (* z0 z0) (- 1/2 (* (cos z1) 1/2)))":28,"(* (* z0 z0) (cos z0))":43,"(* (* z0 z0) (floor z1))":18,"(* (* z0 z0) (log z0))":69,"(* (* z0 z0) (pow z0 2))":39,"(* (* z0 z0) (sin z0))":94,"(* (* z0 z0) (sin z1))":31,"(* (* z0 z0) (sqrt z0))":36,"(* (* z0 z1) (pow z0 2))":23,"(* (* z0 z1) (pow z0 3))":24,"(* (* z0 z1) (pow z0 z0))":39,"(* (* z0 z1) (sin z2))":34,"(* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) z2)":18,"(* (+ (+ (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))))":17,"(* (+ (+ (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)":17,"(* (+ (+ (pow z0 2) (/ z0 z0)) 1/3) (sin (+ (* 2 z1) (* 3 z2))))":19,"(* (+ (+ z0 z0) 1/3) (sin (+ z0 z0)))":19,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (* 2 z1)))":25,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (sin (* 2 z1)))":20,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) z1)":45,"(* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (cos (* 2 z1)))":25,"(* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (sin (* 2 z1)))":24,"(* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) z0)":21,"(* (+ (- 1 z0) (- z0)) (cos (* 2 z1)))":25,"(* (+ (- 1 z0) (- z0)) (sin (* 2 z1)))":24,"(* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) 1/2)":21,"(* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) z1)":21,"(* (+ (cos (* z0 z0)) 1) 1/2)":38,"(* (+ (cos z0) 1) 1/2)":59,"(* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) (* z1 z1))":24,"(* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) z1)":24,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":84,"(* (+ 1/2 (* 1/2 (cos z0))) (* z1 z1))":28,"(* (+ 1/2 (* 1/2 (cos z0))) 11)":20,"(* (+ 1/2 (* 1/2 (cos z0))) z1)":33,"(* (+ z0 1/3) (sin z0))":19,"(* (+ z0 z0) (cos z0))":28,"(* (+ z0 z0) (cos z1))":24,"(* (+ z0 z0) (sin z0))":31,"(* (+ z0 z0) (sin z1))":30,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1)":67,"(* (- (* (cos z0) 1/2) -1/2) z1)":40,"(* (- (+ (* (sin z0) z1) z0) z2) 6)":18,"(* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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) z0)":20,"(* (- (- (pow z0 2) (/ z0 z0)) -1) (sin (+ (* 2 z1) z2)))":18,"(* (- (- z0 z0) -1) (sin (+ z0 z1)))":18,"(* (- (cos (* (* 1/90 z0) PI)) -1) (* 1/2 (* z1 z1)))":18,"(* (- (cos (* (* 1/90 z0) PI)) -1) z1)":18,"(* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z1 z1)))":29,"(* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) z1)":30,"(* (- (cos (* z0 z0)) -1) (* 1/2 (* z1 z1)))":47,"(* (- (cos (+ z0 z0)) -1) z1)":42,"(* (- (cos z0) -1) (* 1/2 (* z1 z1)))":47,"(* (- 1 (sqrt E)) z0)":43,"(* (- 1 (sqrt z0)) 3)":20,"(* (- 1 z0) (* 4343/1000 (log z1)))":19,"(* (- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)) z1)":32,"(* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) (* z1 z1))":20,"(* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) z1)":22,"(* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1))":37,"(* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) z1)":37,"(* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1)":19,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3)":33,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":41,"(* (- 1/2 (* (cos (- z0 z1)) 1/2)) z2)":25,"(* (- 1/2 (* (cos z0) 1/2)) (* z1 z1))":86,"(* (- 1/2 (* (cos z0) 1/2)) 3)":33,"(* (- 1/2 (* (cos z0) 1/2)) z1)":18,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11)":18,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) z1)":34,"(* (- 1/2 (* -1/2 (cos z0))) 11)":18,"(* (- 1/2 (* 1/2 (cos z0))) (* z1 z1))":18,"(* (- 1/2 (* z0 1/2)) (* (cos z1) (cos z2)))":21,"(* (- z0 -1) (sin z0))":18,"(* (/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2)) (sqrt (- 1 (pow z0 2))))":53,"(* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0)))":59,"(* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2)":33,"(* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":67,"(* (/ (/ (* z0 z0) (pow z0 4)) 4) (* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0))))":20,"(* (/ (/ (* z0 z0) (pow z0 4)) 8) z1)":46,"(* (/ (tan z0) z1) z2)":22,"(* (/ 1 (sqrt (fabs (- z0 z1)))) z2)":24,"(* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1)))":30,"(* (/ z0 z1) (pow (* z2 z2) (- z2 1)))":30,"(* (/ z0 z1) (pow z2 z2))":30,"(* (atan2 z0 z1) z2)":34,"(* (cbrt z0) (- (cbrt z0) (cbrt z1)))":17,"(* (cbrt z0) z1)":22,"(* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)":42,"(* (cos (* (* (+ PI PI) 1/180) z0)) z1)":42,"(* (cos (* (* 1/180 z0) (+ PI PI))) 1/2)":22,"(* (cos (* (* 1/180 z0) (+ PI PI))) z1)":22,"(* (cos (* (* 1/180 z0) (+ z1 z1))) 1/2)":22,"(* (cos (* (* 1/90 z0) PI)) 1/2)":21,"(* (cos (* (* 1/90 z0) PI)) z1)":21,"(* (cos (* (* z0 1/180) z1)) 1/2)":42,"(* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)":39,"(* (cos (* (+ PI PI) (* 1/180 z0))) z1)":39,"(* (cos (* (+ z0 z0) (* 1/180 z1))) 1/2)":39,"(* (cos (* -1/2 z0)) z1)":37,"(* (cos (* z0 1/2)) (sin (* z1 1/2)))":40,"(* (cos (* z0 1/2)) z1)":40,"(* (cos (* z0 z0)) 1/2)":103,"(* (cos (* z0 z1)) 1/2)":42,"(* (cos (+ z0 (+ z1 z1))) z2)":32,"(* (cos (+ z0 z0)) 5/2)":36,"(* (cos (+ z0 z0)) z1)":187,"(* (cos (+ z0 z1)) z2)":19,"(* (cos (- (* PI 1/2) z0)) z1)":18,"(* (cos (- (- (* -3 z0) z1) z1)) z2)":32,"(* (cos (- z0 z1)) 1/2)":42,"(* (cos (- z0 z1)) z2)":69,"(* (cos z0) (* z0 1/2))":17,"(* (cos z0) (cos z0))":22,"(* (cos z0) (sin z0))":59,"(* (cos z0) (sin z1))":43,"(* (cos z0) 5/2)":36,"(* (cos z0) z1)":881,"(* (exp 3/2) z0)":90,"(* (exp 5/2) (pow (log (- 1 z0)) 2))":60,"(* (exp 5/2) (pow (log z0) 2))":60,"(* (exp 5/2) (pow z0 2))":60,"(* (exp 5/2) z0)":100,"(* (exp 7/2) z0)":20,"(* (fabs z0) 3275911/10000000)":26,"(* (log (- 1 (/ 1 z0))) (log (- 1 (/ 1 z0))))":268,"(* (log (- 1 (/ 1 z0))) E)":22,"(* (log (- 1 z0)) (log (- 1 z0)))":268,"(* (log (- 1 z0)) E)":22,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":24,"(* (log (fabs z0)) z1)":19,"(* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) z1)":61,"(* (log z0) (log z0))":268,"(* (log z0) E)":22,"(* (log z0) z1)":65,"(* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)":28,"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)":328,"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)":132,"(* (pow (* z0 z0) (- z0 1)) z1)":18,"(* (pow (* z0 z0) (/ 1/2 z1)) z2)":167,"(* (pow (* z0 z0) z1) z2)":66,"(* (pow (/ z0 z1) 1/2) (pow (/ z0 z2) 1/2))":29,"(* (pow (/ z0 z1) 1/2) z2)":29,"(* (pow (cos z0) 3) z1)":103,"(* (pow (cos z0) 4) 40)":17,"(* (pow (cos z0) 4) z1)":28,"(* (pow (log (- 1 (/ 1 (sqrt E)))) 2) z0)":88,"(* (pow (log (- 1 (/ 1 (sqrt E)))) 3) z0)":22,"(* (pow (log (- 1 z0)) 2) (sqrt E))":88,"(* (pow (log (- 1 z0)) 3) (sqrt E))":22,"(* (pow (log z0) 2) (sqrt E))":88,"(* (pow (log z0) 3) (sqrt E))":22,"(* (pow (sqrt (- 1 z0)) 3) (+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0))))":21,"(* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0)))":21,"(* (pow E 5/2) (* (log (- 1 z0)) (log (- 1 z0))))":24,"(* (pow E 5/2) (* (log z0) (log z0)))":24,"(* (pow E 5/2) (pow (log (- 1 z0)) 2))":32,"(* (pow E 5/2) (pow (log z0) 2))":32,"(* (pow E 5/2) z0)":56,"(* (pow E 7/2) z0)":18,"(* (pow z0 (- z1 3)) z2)":17,"(* (pow z0 -2/3) z1)":54,"(* (pow z0 1/2) (pow z0 1/2))":29,"(* (pow z0 2) (sqrt z0))":88,"(* (pow z0 2/3) z1)":90,"(* (pow z0 3) z1)":51,"(* (pow z0 4) z1)":35,"(* (sin (* (* 1/180 z0) PI)) z1)":50,"(* (sin (* (+ z0 z1) 2)) 3)":17,"(* (sin (* -1/2 z0)) z1)":26,"(* (sin (* z0 1/2)) (cos (* z1 1/2)))":40,"(* (sin (* z0 1/2)) z1)":60,"(* (sin (* z0 z0)) z1)":52,"(* (sin (* z0 z1)) z2)":17,"(* (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)))":20,"(* (sin (+ (+ z0 z0) z1)) (- (pow (* z2 z2) 2) (- (/ z2 z2) 1)))":20,"(* (sin (+ (+ z0 z0) z1)) z2)":20,"(* (sin (+ z0 (+ z1 z1))) z2)":26,"(* (sin (+ z0 z0)) z1)":42,"(* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1)))":20,"(* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3)))":18,"(* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* z2 z2) 2) (+ (/ z2 z2) 1/3)))":18,"(* (sin (- (+ z0 z0) (* -3 z1))) z2)":94,"(* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3)))":18,"(* (sin (- z0 z0)) (- (* z0 z0) (* z0 z0)))":18,"(* (sin (/ (* z0 z0) z1)) (sin (/ (* z0 z0) z1)))":24,"(* (sin (/ z0 z1)) (sin (/ z0 z1)))":24,"(* (sin z0) (* z0 1/2))":26,"(* (sin z0) (+ z0 z0))":23,"(* (sin z0) (- z1 z2))":24,"(* (sin z0) (cos z0))":74,"(* (sin z0) (cos z1))":49,"(* (sin z0) (sin z0))":101,"(* (sin z0) (sin z1))":52,"(* (sin z0) 3)":17,"(* (sin z0) z1)":637,"(* (sqrt (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) -2)) z1)":24,"(* (sqrt (fabs (- z0 z1))) (sqrt (fabs (+ z0 z1))))":24,"(* (sqrt (fabs (- z0 z1))) z2)":24,"(* (sqrt (fabs z0)) (fabs z1))":17,"(* (sqrt (fabs z0)) (sqrt (fabs z0)))":64,"(* (sqrt (fabs z0)) (sqrt (fabs z1)))":17,"(* (sqrt (fabs z0)) z1)":53,"(* (sqrt 2) z0)":130,"(* (sqrt E) (* (log (- 1 z0)) (log (- 1 z0))))":28,"(* (sqrt E) (* (log z0) (log z0)))":28,"(* (sqrt E) (pow (log (- 1 z0)) 2))":17,"(* (sqrt E) (pow (log z0) 2))":17,"(* (sqrt E) z0)":99,"(* (sqrt z0) (* z0 z0))":59,"(* (sqrt z0) (fabs z1))":18,"(* (sqrt z0) (pow z0 2))":17,"(* (sqrt z0) (sqrt z0))":91,"(* (sqrt z0) z1)":97,"(* (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":28,"(* (tan (+ (* 1/2 z0) (/ PI 4))) z1)":22,"(* (tan z0) z1)":133,"(* -108 (sqrt z0))":19,"(* -115 (sqrt z0))":19,"(* -18 (sqrt z0))":38,"(* -200 (pow (cos z0) 4))":27,"(* -40 (pow (cos z0) 4))":72,"(* -8 (pow (* E (log z0)) 2))":78,"(* -8 (pow (* z0 z0) 2))":78,"(* -9 (pow z0 5/2))":18,"(* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))":40,"(* 1/2 (cos (* (* z0 1/180) (+ z1 z1))))":40,"(* 1/2 (cos (* z0 z0)))":48,"(* 1/2 (pow (/ (* z0 z1) (* 2 z2)) 2))":29,"(* 1/2 (sin (+ (- (+ z0 z0)) (* PI 1/2))))":20,"(* 11 (pow (cos z0) 2))":49,"(* 11 (pow z0 2))":49,"(* 11/2 (cos (+ z0 z0)))":17,"(* 11/2 (cos z0))":17,"(* 15 (sqrt z0))":19,"(* 18 (sqrt z0))":19,"(* 180 (/ (atan z0) PI))":17,"(* 2 (- (* 3 (pow (cos z0) 2)) 1))":19,"(* 20 (sqrt z0))":19,"(* 210 (sqrt z0))":19,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))":28,"(* 3 (+ (* (+ 1/2 z0) z1) (cos z2)))":28,"(* 3 (+ (* z0 z1) (cos z2)))":28,"(* 3 (- 1 (pow (cos z0) 2)))":18,"(* 3 (- 1 (sqrt z0)))":17,"(* 3 (cos z0))":22,"(* 3 (pow (cos z0) 2))":19,"(* 3 (pow z0 2))":42,"(* 40 (pow (cos z0) 4))":50,"(* 4343/1000 (log (* z0 z0)))":22,"(* 4343/1000 (log z0))":31,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":35,"(* 5 (+ 1/2 (* 1/2 (cos z0))))":48,"(* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))":20,"(* 5 (- 1/2 (* -1/2 (cos z0))))":20,"(* 5 (pow (cos z0) 2))":56,"(* 5 (pow z0 2))":57,"(* 5/2 (cos (+ z0 z0)))":21,"(* 5/2 (cos z0))":21,"(* E (log (- 1 (/ 1 z0))))":122,"(* E (log (- 1 z0)))":122,"(* E (log z0))":123,"(* z0 (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))":52,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (cos (* 2 z2))))":25,"(* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (sin (* 2 z2))))":20,"(* z0 (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))":18,"(* z0 (* (cos z1) (cos z2)))":35,"(* z0 (* (cos z1) (sin z2)))":20,"(* z0 (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))":212,"(* z0 (* (sin z1) (sin z1)))":68,"(* z0 (* (sqrt 2) 1/2))":43,"(* z0 (* 1 (sqrt E)))":21,"(* z0 (* 1/2 (cos z1)))":18,"(* z0 (* 2 (atan2 (sqrt z1) (sqrt z1))))":23,"(* z0 (* 2 (atan2 z1 z1)))":23,"(* z0 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1)))":28,"(* z0 (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24))":24,"(* 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))":19,"(* z0 (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3)))":18,"(* z0 (+ 1/2 (* 1/2 (cos (* 2 z1)))))":17,"(* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":36,"(* z0 (- (* (sin (* z1 1/2)) (cos (* z2 1/2))) (* (cos (* z1 1/2)) (sin (* z2 1/2)))))":22,"(* z0 (- (* 3 (pow (cos z1) 2)) 1))":19,"(* z0 (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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))":40,"(* z0 (- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24))":17,"(* z0 (- (log z1) (* z2 z1)))":19,"(* z0 (- 1 (cos (+ z1 z1))))":138,"(* z0 (- 1 (cos z1)))":48,"(* z0 (- 1 (pow (cos z1) 2)))":18,"(* z0 (- 1 (sqrt E)))":40,"(* z0 (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2)))":22,"(* z0 (- 1/2 (* -1/2 (cos (+ z1 z1)))))":22,"(* z0 (/ (* (- 1/2 z1) (- 1/2 z1)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))))":18,"(* z0 (/ (- z1 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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))))":20,"(* z0 (cbrt z1))":25,"(* z0 (cos (* (* 1/180 z1) PI)))":24,"(* z0 (cos (* (* PI 1/180) (+ z1 z1))))":40,"(* z0 (cos (* (/ z1 180) PI)))":60,"(* z0 (cos (* -1/2 z1)))":50,"(* z0 (cos (* 2 z1)))":72,"(* z0 (cos (* z1 1/2)))":48,"(* z0 (cos (* z1 z1)))":39,"(* z0 (cos (+ (* 2 z1) (* 3 z2))))":18,"(* z0 (cos (+ z1 z1)))":247,"(* z0 (cos (/ z1 2)))":17,"(* z0 (cos z1))":641,"(* z0 (exp 3/2))":264,"(* z0 (exp 5/2))":80,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":58,"(* z0 (log (/ (+ 1 z1) (- 1 z1))))":31,"(* z0 (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000)))":30,"(* z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":22,"(* z0 (log (tan (+ z1 z1))))":18,"(* z0 (log (tan z1)))":18,"(* z0 (log z1))":133,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)))":26,"(* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1)))":44,"(* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z2)) 1)))":40,"(* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2))))":174,"(* z0 (pow (* (- z1 1) (- z1 1)) z2))":50,"(* z0 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2))":120,"(* z0 (pow (* z1 z1) (/ 1 z1)))":87,"(* z0 (pow (* z1 z1) z2))":27,"(* z0 (pow (/ z1 z2) 1/2))":29,"(* z0 (pow (/ z1 z2) 2))":108,"(* z0 (pow (cos z1) 2))":139,"(* z0 (pow (cos z1) 4))":161,"(* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 2))":587,"(* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 3))":151,"(* z0 (pow (sin z1) 2))":28,"(* z0 (pow E 2))":108,"(* z0 (pow E 3/2))":311,"(* z0 (pow E 5/2))":106,"(* z0 (pow z1 2))":47,"(* z0 (pow z1 2/3))":36,"(* z0 (pow z1 4))":19,"(* z0 (pow z1 4681/10000))":21,"(* z0 (sin (* (/ z1 180) PI)))":72,"(* z0 (sin (* 2 z1)))":36,"(* z0 (sin (* z1 1/2)))":58,"(* z0 (sin (* z1 z1)))":32,"(* z0 (sin (+ (* 2 z1) (* 3 z2))))":33,"(* z0 (sin (+ (* 2 z1) z2)))":25,"(* z0 (sin (+ (- (+ z1 z1)) (* PI 1/2))))":26,"(* z0 (sin (+ z1 (+ z2 z2))))":27,"(* z0 (sin (+ z1 z1)))":84,"(* z0 (sin z1))":577,"(* z0 (sqrt (* (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000)) -2)))":21,"(* z0 (sqrt (* z1 z2)))":48,"(* z0 (sqrt (fabs (+ z1 z2))))":25,"(* z0 (sqrt (fabs z1)))":54,"(* z0 (sqrt E))":670,"(* z0 (sqrt z1))":124,"(* z0 (tan z1))":56,"(+ (* (* (exp 3/2) 2) (pow (log z0) 2)) (* (* 16 (exp 3/2)) (log (- 1 z0))))":60,"(+ (* (* (pow z0 3) z1) z1) z1)":24,"(+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6))":18,"(+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) z0)":78,"(+ (* (* -4 (* z0 z0)) (log (- 1 z0))) (+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0))))":78,"(+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0)))":78,"(+ (* (* -8 E) (pow (log z0) 2)) (+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0))))":78,"(+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0)))":78,"(+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0)":60,"(+ (* (* -84 E) (log (- 1 z0))) (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))))":60,"(+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0)))":60,"(+ (* (* 16 (sqrt z0)) (log (- 1 z0))) (* (pow (log z0) 2) (sqrt E)))":78,"(+ (* (* 16 z0) (log z0)) (* (pow z0 2) (sqrt z0)))":78,"(+ (* (* z0 2) (pow z0 2)) (* (* 16 z0) (log z0)))":60,"(+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0)))":21,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))":28,"(+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) z2)":28,"(+ (* (+ z0 z0) (+ z0 z0)) (* z1 (pow z0 z2)))":24,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0))":23,"(+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2)":23,"(+ (* (- (- z0 z0) -1) (sin (+ z0 z1))) (* (+ (+ z0 z0) 1/3) (sin (+ z0 z0))))":18,"(+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) (* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z2 z2))))":25,"(+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) z2)":25,"(+ (* (- 1/2 (* z0 1/2)) (* z1 z1)) (* (- (cos z0) -1) (* 1/2 (* z2 z2))))":27,"(+ (* (- z0 -1) (sin z0)) (* (+ z0 1/3) (sin z0)))":18,"(+ (* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3))) (* (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))))":18,"(+ (* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3))) (* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1))))":18,"(+ (* (sin z0) (+ z0 z0)) (* (sin z0) (- z0 z0)))":18,"(+ (* (sqrt E) (* (log z0) (log z0))) (* (* 16 (sqrt z0)) (log (- 1 z0))))":24,"(+ (* (sqrt z0) (* z0 z0)) (* (* 16 z0) (log z0)))":24,"(+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log z0) 2)))":60,"(+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) z0)":78,"(+ (* -8 (pow (* z0 z0) 2)) (- (+ (* z0 z0) (* z0 z0)) (* 64 (sqrt z0))))":78,"(+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0)))":78,"(+ (* z0 z1) (* (- 1 z0) (* 4343/1000 (log z2))))":19,"(+ (* z0 z1) (pow z0 2))":55,"(+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) z0)":18,"(+ (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))) (- (* (* -84 z0) (log z0)) (* -16 E)))":18,"(+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) z0)":18,"(+ (+ (+ (* z0 z0) (* z0 z0)) (* -64 (sqrt z0))) (* (* -8 (pow z0 2)) (* (log z0) (log z0))))":24,"(+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0)":18,"(+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":24,"(+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) z0)":24,"(+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":24,"(+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) z0)":24,"(+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) z0)":24,"(+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0)":24,"(+ (+ (+ (+ z0 z0) (* -64 z0)) (* (* -8 z0) (* z0 z0))) (* (* -4 (pow z0 2)) (log (- 1 z0))))":24,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0))) (* (* -8 E) (* (log z0) (log z0))))":24,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -8 z0) (* z0 z0))) (* (* -84 E) (log (- 1 z0))))":24,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0))) (* 16 E))":29,"(+ (+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2))) (* (pow E 5/2) (* (log z0) (log z0))))":24,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0)))":29,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0)))":36,"(+ (+ (+ z0 z0) (* z0 z0)) (* (* 16 z0) (log z0)))":47,"(+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2)))":29,"(+ (+ (- (+ z0 z0) (* -16 z0)) (+ (* z0 z0) (* z0 z0))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow z0 2))))":60,"(+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1)":21,"(+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1/3)":19,"(+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -16 E)) z0)":60,"(+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) z0)":18,"(+ (- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2))) (* (pow E 5/2) (pow (log z0) 2)))":25,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":46,"(+ (- 1 (* 11 (pow (cos z0) 2))) z1)":49,"(+ (- 1 (* 11 (pow z0 2))) (- (/ (* 40 z0) (- 1 z0))))":46,"(+ (- 1 z0) (* z1 (pow (* z2 z2) (/ 1 z2))))":87,"(+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":34,"(+ (cos (* (* 1/180 z0) (+ PI PI))) 1)":21,"(+ (cos (* (* 1/180 z0) (+ PI PI))) z1)":21,"(+ (cos (* (* 1/180 z0) (+ z1 z1))) 1)":21,"(+ (cos (* z0 z0)) 1)":38,"(+ (cos z0) 1)":60,"(+ (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1/3))":18,"(+ (pow (* (/ z0 z0) (sqrt z0)) 2) (+ (/ (- -1 z0) (- z0 1)) 1/3))":18,"(+ (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2)))":40,"(+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2)))":40,"(+ (pow (* z0 z1) 2) (pow (* z2 z1) 2))":149,"(+ (pow (+ 153/40 (* z0 50813/6250)) 2) z1)":36,"(+ (pow (+ 197/40 (* z0 50813/6250)) 2) z1)":21,"(+ (pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2) z2)":18,"(+ (pow (- (* z0 50813/6250) 111/40) 2) z1)":19,"(+ (pow (- (* z0 50813/6250) 23/40) 2) z1)":29,"(+ (pow (- (* z0 50813/6250) 243/40) 2) z1)":20,"(+ (pow (- (* z0 50813/6250) 31/8) 2) z1)":22,"(+ (pow z0 806282737481277/100000000000000) (* z0 z0))":19,"(+ (pow z0 806282737481277/100000000000000) z1)":19,"(+ 1 (* z0 (* (sin z1) (sin z1))))":34,"(+ 1 (pow (/ z0 z1) 2))":38,"(+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0)))))":24,"(+ 1/2 (* 1/2 (cos (* 2 z0))))":49,"(+ 1/2 (* 1/2 (cos (* z0 z0))))":26,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":93,"(+ 1/2 (* 1/2 (cos z0)))":174,"(+ 1/2 (* 1/2 (sin (+ z0 z0))))":20,"(+ 1/2 (* 1/2 (sin z0)))":20,"(+ z0 (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E))))))":24,"(+ z0 (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))))":24,"(+ z0 (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))))":36,"(+ z0 (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))":60,"(+ z0 (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E))))))":54,"(+ z0 (* (- (cos (* (+ PI PI) (* 1/180 z1))) -1) (* 1/2 (* z2 z2))))":29,"(+ z0 (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))))":24,"(+ z0 (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))":30,"(+ z0 (* 1/2 (cos (* (* PI 1/180) (+ z1 z1)))))":24,"(+ z0 (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1))))":28,"(+ z0 (* z1 (* (sin z2) (sin z2))))":34,"(+ z0 (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))":60,"(+ z0 (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))":78,"(+ z0 (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))))":60,"(+ z0 (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))))":60,"(+ z0 (+ (* -8 (pow (* E (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)))))":78,"(+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2))))))":46,"(+ z0 (pow (* (sin (* (* 1/180 z1) PI)) z2) 2))":20,"(+ z0 (pow (+ 109/40 (* z1 50813/6250)) 2))":19,"(+ z0 (pow (- (* z1 50813/6250) 199/40) 2))":25,"(+ z0 (pow (/ z1 z2) 2))":19,"(- (* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0))) (* (/ (/ z0 z0) 4) (* (pow z0 3) (+ z0 z0))))":20,"(- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0)":18,"(- (* (* -84 E) (log (- 1 z0))) (* -16 E))":18,"(- (* (* -84 z0) (log z0)) (* -16 E))":18,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) z2)":17,"(- (* (* z0 z0) (sin z0)) (* (* z0 z0) (+ z0 z0)))":19,"(- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) -1/2)":20,"(- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) z1)":20,"(- (* (cos (* z0 z1)) 1/2) -1/2)":20,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":46,"(- (* (cos z0) (cos z0)) (* (sin z0) (sin z0)))":19,"(- (* (cos z0) 1/2) -1/2)":90,"(- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1)))":21,"(- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2))))":40,"(- (* 11/2 (cos z0)) -9/2)":17,"(- (* 3 (pow (cos z0) 2)) 1)":19,"(- (* 3 (pow (cos z0) 2)) z1)":19,"(- (+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6)) (* (sin (* z1 2)) 3))":17,"(- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) z0)":60,"(- (+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0))) (* -16 E))":60,"(- (+ (* z0 z0) (* z0 6)) (* (sin z0) 3))":17,"(- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) z0)":18,"(- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2)))":25,"(- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0)":18,"(- (- (+ z0 z0) (* z0 3)) (* (sin z0) z1))":18,"(- (- (/ z0 z0) -11) (* (* -200 z0) (pow z0 -2)))":23,"(- (- (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))) z2)":17,"(- (- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) -1)":19,"(- (- (pow z0 2) (/ z0 z0)) -1)":19,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2))":17,"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1)":17,"(- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (cos z0)) -9/2))":17,"(- (/ (* -40 (pow z0 4)) (- 1 (* 5 z0))) (- (* (+ 1/2 z0) 11) 1))":23,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":46,"(- (/ (* 40 (pow z0 4)) (- 1 (* 5 z0))))":50,"(- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) z2)":22,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1)":23,"(- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":29,"(- (cbrt z0) (cbrt z1))":18,"(- (cbrt z0) z1)":17,"(- (cos (* (* 1/90 z0) PI)) -1)":18,"(- (cos (* (* 1/90 z0) PI)) z1)":18,"(- (cos (* (+ PI PI) (* 1/180 z0))) -1)":40,"(- (cos (* (+ PI PI) (* 1/180 z0))) z1)":40,"(- (cos (* (+ z0 z0) (* 1/180 z1))) -1)":40,"(- (cos (* z0 z0)) -1)":72,"(- (cos (+ z0 z0)) -1)":60,"(- (cos z0) -1)":138,"(- (exp (* z0 z1)) 1)":20,"(- (exp z0) 1)":36,"(- (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)))":17,"(- (pow (* (/ z0 z0) (sqrt z0)) 2) (- (/ (- -1 z0) (- z0 1)) 1))":23,"(- (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2)))":19,"(- (pow (* z0 z0) 2) (- (/ z0 z0) 1))":47,"(- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2)))":19,"(- (pow z0 z1) 1)":18,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z2)":20,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 1/16)":22,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 1/4)":19,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 11/40)":152,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 13/80)":22,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 3/40)":28,"(- (sqrt (+ (pow z0 2) (pow z0 2))) 7/40)":20,"(- (sqrt (+ z0 1)) (sqrt z0))":18,"(- (sqrt (- (* z0 z0) (* z1 z2))) z0)":27,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":22,"(- -1 (* (* 1/2 z0) (- 1 (cos z1))))":22,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":30,"(- -1 (* (fabs z0) 3275911/10000000))":19,"(- -3/2 (* (cos (+ z0 z0)) 5/2))":34,"(- -3/2 (* (cos z0) 5/2))":34,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":20,"(- -3/2 (* 5/2 (cos z0)))":20,"(- 1 (* (* 1/2 (pow z0 2)) (/ z1 z2)))":29,"(- 1 (* 11 (pow (cos z0) 2)))":49,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":35,"(- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0))))))":18,"(- 1 (* 5 (pow (cos z0) 2)))":55,"(- 1 (/ 1 (sqrt z0)))":2716,"(- 1 (cos (* z0 z0)))":28,"(- 1 (cos (+ z0 z0)))":103,"(- 1 (cos z0))":147,"(- 1 (exp z0))":44,"(- 1 (pow (cos z0) 2))":26,"(- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2))":22,"(- 1/2 (* (cos (* (* 1/180 z0) (+ PI PI))) 1/2))":22,"(- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2))":21,"(- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2))":39,"(- 1/2 (* (cos (* z0 z0)) 1/2))":98,"(- 1/2 (* (cos (* z0 z1)) 1/2))":22,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":19,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":51,"(- 1/2 (* (cos (- z0 z1)) 1/2))":41,"(- 1/2 (* (cos z0) -1/2))":20,"(- 1/2 (* (cos z0) 1/2))":218,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":56,"(- 1/2 (* -1/2 (cos z0)))":56,"(- 1/2 (* 1/2 (cos (* 2 z0))))":30,"(- 1/2 (* 1/2 (cos (* z0 z0))))":22,"(- 1/2 (* 1/2 (cos z0)))":63,"(- 1/2 (fabs (- z0 1/2)))":96,"(- 3/20 (sqrt (+ (pow z0 2) (pow z0 2))))":19,"(- 3/40 (sqrt (+ (pow z0 2) (pow z0 2))))":20,"(- 7/40 (sqrt (+ (pow z0 2) (pow z0 2))))":125,"(- 9/20 (sqrt (+ (pow z0 2) (pow z0 2))))":17,"(- z0 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))":24,"(- z0 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2))":30,"(- z0 (* (cos (* (* (+ PI PI) 1/180) z1)) 1/2))":22,"(- z0 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2))":22,"(- z0 (* (cos (* (* 1/90 z1) PI)) 1/2))":21,"(- z0 (* (cos (* (+ PI PI) (* 1/180 z1))) 1/2))":39,"(- z0 (* (cos (+ z1 z1)) 5/2))":36,"(- z0 (* (cos (- z1 z2)) 1/2))":41,"(- z0 (* (fabs z1) 3275911/10000000))":19,"(- z0 (* 11 (pow (cos z1) 2)))":49,"(- z0 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":35,"(- z0 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1))))))":20,"(- z0 (* 5 (pow (cos z1) 2)))":56,"(- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2))":17,"(- z0 (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))":23,"(- z0 (log (tan (+ (/ PI 4) (* 1/2 z1)))))":20,"(- z0 (pow (cos z1) 2))":26,"(/ (* (- 1/2 z0) (- 1/2 z0)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))":18,"(/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4))":65,"(/ (* (/ z0 z1) (* (/ z0 z1) (* 1/2 z2))) (pow (sqrt (- 1 z2)) 4))":18,"(/ (* (/ z0 z1) (* z2 z2)) (pow (sqrt z2) 4))":24,"(/ (* (pow (cos z0) 4) 40) z1)":17,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":20,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos z1))))":20,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 z1))))":23,"(/ (* -40 (pow (cos z0) 4)) z1)":72,"(/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0)))":20,"(/ (* -40 (pow z0 4)) (- 1 (* 5 z0)))":25,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":46,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow z1 2))))":46,"(/ (* 40 (pow (cos z0) 4)) z1)":50,"(/ (* 40 (pow z0 4)) (- 1 (* 5 z0)))":50,"(/ (* z0 z0) (pow z0 4))":91,"(/ (* z0 z0) (sin z0))":22,"(/ (* z0 z0) (sqrt z0))":28,"(/ (* z0 z1) (pow z0 z2))":23,"(/ (+ (pow z0 2) (pow z0 2)) z1)":28,"(/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 z2)) 2))":118,"(/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2))":118,"(/ (+ 1 z0) (pow z0 2))":119,"(/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1))":22,"(/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1)))":44,"(/ (- (sqrt z0) z1) (+ z2 z2))":28,"(/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1))":158,"(/ (- z0 (log z1)) z2)":18,"(/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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)))":20,"(/ (/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4)) 8)":35,"(/ (/ (* z0 z0) (pow z0 4)) 4)":22,"(/ (/ (* z0 z0) (pow z0 4)) 8)":48,"(/ (/ (+ (pow z0 2) (pow z0 2)) z1) z1)":28,"(/ (atan z0) PI)":17,"(/ (fabs z0) (sqrt (fabs (* z1 z2))))":19,"(/ (fabs z0) (sqrt (fabs z1)))":20,"(/ (fabs z0) (sqrt z1))":20,"(/ (pow z0 -2/3) z1)":20,"(/ (sin z0) z1)":41,"(/ (sqrt (fabs z0)) z1)":45,"(/ (sqrt 2) z0)":34,"(/ (sqrt z0) z1)":38,"(/ (tan z0) z1)":25,"(/ 1 (* (pow z0 2/3) z1))":26,"(/ 1 (+ (+ z0 z0) (log z0)))":19,"(/ 1 (pow z0 -1))":27,"(/ 1 (sqrt (fabs (- z0 z1))))":24,"(/ 1 (sqrt (fabs z0)))":25,"(/ 1 (sqrt z0))":2767,"(/ z0 (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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)))":20,"(/ z0 (* (* 1000000000000000000 (exp z1)) z2))":20,"(/ z0 (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (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))))))) (* -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) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))":18,"(/ z0 (* (pow z1 2/3) z2))":29,"(/ z0 (* (tan z1) z2))":44,"(/ z0 (+ 1 (pow (/ z1 z2) 2)))":20,"(/ z0 (- (sqrt z1) -1))":25,"(/ z0 (- -269813/62500 (fabs z1)))":18,"(/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2)))":17,"(/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1)))))":20,"(/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":20,"(/ z0 (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))":17,"(/ z0 (- 1 (* 5 (pow (cos z1) 2))))":50,"(/ z0 (cos z1))":37,"(/ z0 (pow z1 2))":19,"(/ z0 (sin (- (* z1 1/2) (* 1/4 PI))))":34,"(/ z0 (sin z1))":25,"(/ z0 (sqrt (fabs (* z1 z2))))":31,"(/ z0 (sqrt (fabs (- z1 z2))))":24,"(/ z0 (sqrt (fabs z1)))":38,"(/ z0 (sqrt E))":2723,"(/ z0 (sqrt z1))":40,"(atan (/ (* z0 z1) z2))":23,"(cbrt (* z0 z0))":25,"(cbrt (/ (- z0 z1) (+ z2 z2)))":20,"(cbrt z0)":286,"(cos (* (* (+ PI PI) 1/180) z0))":44,"(cos (* (* (+ z0 z0) 1/180) z1))":44,"(cos (* (* 1/180 z0) (+ PI PI)))":44,"(cos (* (* 1/180 z0) (+ z1 z1)))":44,"(cos (* (* 1/90 z0) PI))":46,"(cos (* (* PI 1/180) (+ z0 z0)))":64,"(cos (* (* z0 1/180) (+ z1 z1)))":64,"(cos (* (* z0 1/180) z1))":44,"(cos (* (+ PI PI) (* 1/180 z0)))":83,"(cos (* (+ z0 z0) (* 1/180 z1)))":83,"(cos (* (+ z0 z1) -2))":31,"(cos (* (/ z0 180) PI))":38,"(cos (* z0 z0))":363,"(cos (* z0 z1))":92,"(cos (+ z0 z1))":57,"(cos (- z0 z1))":100,"(cos (/ z0 z1))":17,"(exp (* (- z0 2) -100))":23,"(fabs (* (* z0 z0) (floor z1)))":18,"(fmax (- (+ 19/10 (* z0 50813/6250))) z1)":22,"(fmax (- 1/2 (fabs (- z0 1/2))) z1)":95,"(fmax (- 29/5 (* z0 50813/6250)) z1)":17,"(log (* z0 z0))":50,"(log (+ (* z0 z0) (* z1 z1)))":25,"(log (+ 1 z0))":19,"(log (- 1 (/ 1 (sqrt z0))))":2707,"(log (- 1 (/ 1 z0)))":2707,"(log (- 1 z0))":2716,"(log (- z0 -1))":18,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":29,"(log (/ (+ 1 (* z0 z1)) (- 1 (* z0 z1))))":29,"(log (/ (+ 1 z0) (- 1 z0)))":30,"(log (/ z0 z1))":27,"(log (fabs (cos z0)))":17,"(log (fabs (sin z0)))":18,"(log (fabs (tan z0)))":57,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":49,"(log (tan (+ (/ z0 4) (* 1/2 z1))))":49,"(log (tan (+ z0 z0)))":68,"(log (tan z0))":92,"(pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))":60,"(pow (* (- 1 z0) (- 1 z0)) (- z1 1))":43,"(pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1))":164,"(pow (* (- 1 z0) (- 1 z0)) z1)":425,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1))":40,"(pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1))":40,"(pow (* (- z0 1) (- z0 1)) (- z1 1))":19,"(pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1)))":87,"(pow (* (- z0 1) (- z0 1)) z1)":197,"(pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) z2)":53,"(pow (* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0))) 2)":59,"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)":33,"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)":67,"(pow (* (/ (- -1 z0) (- z0 1)) (sqrt (- 1 z0))) 2)":67,"(pow (* (/ (- z0 -1) (- 1 z0)) (sqrt (- 1 z0))) 2)":33,"(pow (* (/ z0 z0) (sqrt z0)) 2)":159,"(pow (* (log (- 1 z0)) E) 3)":22,"(pow (* (log z0) E) 3)":22,"(pow (* (sin (* (* 1/180 z0) PI)) z1) 2)":20,"(pow (* (sin (* (* 1/180 z0) PI)) z1) z2)":20,"(pow (* (sin (* z0 z0)) z1) 2)":20,"(pow (* (sin z0) z1) 2)":22,"(pow (* E (log (- 1 z0))) 2)":120,"(pow (* E (log z0)) 2)":120,"(pow (* z0 (cos (* (/ z1 180) PI))) 2)":22,"(pow (* z0 (cos (* (/ z1 180) PI))) z2)":22,"(pow (* z0 (cos (* z1 z1))) 2)":35,"(pow (* z0 (cos z1)) 2)":38,"(pow (* z0 (floor z1)) 2)":240,"(pow (* z0 (floor z1)) z2)":240,"(pow (* z0 (sin (* (/ z1 180) PI))) 2)":28,"(pow (* z0 (sin (* (/ z1 180) PI))) z2)":28,"(pow (* z0 (sin (* z1 z1))) 2)":32,"(pow (* z0 (sin z1)) 2)":40,"(pow (* z0 z0) (- z0 1))":125,"(pow (* z0 z0) (- z1 1))":65,"(pow (* z0 z0) (/ 1 z0))":87,"(pow (* z0 z0) (/ 1/2 z1))":167,"(pow (* z0 z0) 2)":350,"(pow (* z0 z0) 3)":23,"(pow (* z0 z0) z1)":107,"(pow (* z0 z1) 2)":356,"(pow (* z0 z1) z2)":23,"(pow (+ (* z0 z1) (pow z0 2)) (- z2 2))":29,"(pow (+ 109/40 (* z0 50813/6250)) 2)":22,"(pow (+ 153/40 (* z0 50813/6250)) 2)":36,"(pow (+ 153/40 z0) 2)":36,"(pow (+ 197/40 (* z0 50813/6250)) 2)":24,"(pow (+ z0 z0) (- z1 1))":19,"(pow (+ z0 z0) (- z1 3))":23,"(pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2)":18,"(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 (- (* z0 z0) (* z0 z0)) 2)":18,"(pow (- (/ (+ z0 z0) (* z1 z1)) (/ (+ z0 z0) (* z2 z2))) 2)":22,"(pow (- 1 (sqrt z0)) 4)":19,"(pow (- z0 199/40) 2)":30,"(pow (- z0 23/40) 2)":32,"(pow (/ (* z0 z1) (* 2 z2)) 2)":33,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3)":28,"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)":28,"(pow (/ (- -1 (* z0 z1)) (- (* z0 z1) 1)) (* z1 1/2))":19,"(pow (/ (- -1 (* z0 z1)) (- (* z1 z1) 1)) 3)":28,"(pow (/ (- -1 z0) (- z0 1)) (* z1 1/2))":19,"(pow (/ z0 (+ z1 z0)) z0)":17,"(pow (/ z0 (+ z1 z0)) z2)":18,"(pow (/ z0 z1) 1/2)":58,"(pow (/ z0 z1) 2)":168,"(pow (/ z0 z1) z0)":17,"(pow (/ z0 z1) z2)":225,"(pow (cos z0) 2)":166,"(pow (cos z0) 3)":65,"(pow (cos z0) 4)":186,"(pow (cos z0) z1)":424,"(pow (log (- 1 (/ 1 z0))) 2)":690,"(pow (log (- 1 (/ 1 z0))) 3)":173,"(pow (log (- 1 z0)) 2)":690,"(pow (log (- 1 z0)) 3)":173,"(pow (log z0) 2)":690,"(pow (log z0) 3)":173,"(pow (sin z0) 2)":59,"(pow (sqrt (- 1 (* z0 z0))) z1)":29,"(pow (sqrt (- 1 (pow z0 2))) z1)":273,"(pow (sqrt (- 1 z0)) 2)":159,"(pow (sqrt (- 1 z0)) 3)":47,"(pow (sqrt (- 1 z0)) 4)":91,"(pow (sqrt z0) 2)":159,"(pow (sqrt z0) 3)":47,"(pow (sqrt z0) 4)":91,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) z1)":19,"(pow (tanh (* z0 (* z1 z2))) -2)":21,"(pow (tanh (* z0 z1)) -2)":21,"(pow z0 (- (/ 1 (* 2 z1)) 1))":40,"(pow z0 (- (/ 1/2 z1) 1))":73,"(pow z0 (- z1 1))":90,"(pow z0 (- z1 3))":53,"(pow z0 -2/3)":120,"(pow z0 2/3)":229,"(pow z0 2/5)":20,"(pow z0 33/10)":20,"(pow z0 4681/10000)":50,"(pow z0 806282737481277/100000000000000)":78,"(sin (* (* 1/180 z0) PI))":36,"(sin (* (+ PI PI) (* 1/180 z0)))":20,"(sin (* (+ z0 z0) (* 1/180 z1)))":20,"(sin (* (+ z0 z1) 2))":25,"(sin (* (- z0 z1) -1/2))":18,"(sin (* (/ z0 180) PI))":44,"(sin (* z0 z0))":183,"(sin (* z0 z1))":72,"(sin (+ (* 2 z0) (* 3 z1)))":26,"(sin (+ (* 2 z0) z1))":25,"(sin (+ (+ z0 z0) z1))":23,"(sin (+ (- (+ z0 z0)) (* PI 1/2)))":30,"(sin (+ z0 (+ z1 z1)))":41,"(sin (+ z0 z1))":105,"(sin (- (* z0 1/2) (* 1/4 PI)))":36,"(sin (- (* z0 1/2) (* 1/4 z1)))":36,"(sin (- (+ z0 z0) (* -3 z1)))":64,"(sin (/ (* (* z0 z1) (/ z0 z0)) z2))":48,"(sin (/ (* z0 z0) z1))":48,"(sin (/ (- z0 z1) 2))":31,"(sin (/ z0 z1))":64,"(sqrt (* (* z0 1000) z1))":22,"(sqrt (* (+ z0 z1) (- z1 z0)))":27,"(sqrt (* (fabs z0) 1000))":24,"(sqrt (* (log z0) -2))":62,"(sqrt (* z0 1000))":24,"(sqrt (* z0 z0))":85,"(sqrt (* z0 z1))":97,"(sqrt (+ (* (- z0 z1) (- z0 z1)) (* z2 z2)))":36,"(sqrt (+ (* z0 z0) (* z0 z0)))":24,"(sqrt (+ (* z0 z0) (* z1 z1)))":63,"(sqrt (+ (pow z0 2) (* z0 z0)))":24,"(sqrt (+ (pow z0 2) (pow z0 2)))":498,"(sqrt (- (* z0 z0) (* z0 z0)))":17,"(sqrt (- (* z0 z0) (* z1 z1)))":20,"(sqrt (- (* z0 z0) (* z1 z2)))":55,"(sqrt (/ z0 z1))":24,"(sqrt (fabs (* z0 z0)))":41,"(sqrt (fabs (* z0 z1)))":40,"(sqrt (fmax (+ (pow z0 2) (pow z0 2)) (+ (pow z0 2) (pow z0 2))))":31,"(sqrt (sqrt z0))":18,"(tan (* (+ (+ z0 z0) PI) 1/4))":49,"(tan (+ (* 1/2 z0) (/ PI 4)))":30,"(tan (+ (* 1/2 z0) (/ z1 4)))":30,"(tan (+ (/ PI 4) (* 1/2 z0)))":55,"(tan (+ (/ z0 4) (* 1/2 z1)))":55,"(tanh (* (* z0 z1) z2))":25,"(tanh (* z0 (* z1 z2)))":35}