{"(* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) 8) z0)":2.65,"(* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1))":2.65,"(* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))":2.65,"(* (* (* 1/180 PI) z0) 2)":1.25,"(* (* (* 1/180 z0) PI) 2)":1.25,"(* (* (* z0 (floor z1)) z0) (floor z1))":1.85,"(* (* (* 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)))":41.575,"(* (* (* z1 z1) z0) z0)":1.25,"(* (* (- (* z1 z1) 1) z0) z0)":1.575,"(* (* (- (/ (* -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)))":25.449999999999996,"(* (* (- (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))":23.05,"(* (* (- 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)))":25.449999999999996,"(* (* (- 1 (* z1 z1)) z0) z0)":1.575,"(* (* (/ z2 z1) z2) z0)":1.35,"(* (* (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))))":33.225,"(* (* (floor z1) z0) (* (floor z1) z0))":1.85,"(* (* (pow (- 1 (* z0 z0)) -3) 3) (- 1/2 (* (cos (+ z1 z1)) 1/2)))":8.925,"(* (* (pow (cos z1) 3) z0) z0)":7.2,"(* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0))))":10.6,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":5.7,"(* (* (sqrt 2) 1/2) (sin (* z0 1/2)))":5.7,"(* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))":15.25,"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))":5.725,"(* (* 1/180 PI) z0)":0.875,"(* (* 1/180 z0) PI)":0.875,"(* (* 1/2 (/ z2 z1)) z0)":1.35,"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))":5.7250000000000005,"(* (* 1/90 PI) z0)":0.875,"(* (* 3 z0) (cos (+ (* 2 z2) z1)))":5.775,"(* (* 3 z0) (pow (cos z1) 2))":7.2,"(* (* 3 z0) (sin (+ (* 2 z2) z1)))":5.775,"(* (* 3 z0) z0)":0.875,"(* (* PI z0) 1/90)":0.875,"(* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1)))":2.65,"(* (* z0 z0) (* (floor z1) (floor z1)))":1.85,"(* (* z0 z0) (pow (cos z1) 3))":7.2,"(* (* z0 z0) z1)":0.875,"(* (* z0 z1) z1)":0.875,"(* (* z0 z2) z1)":0.875,"(* (* z1 (- 1 (cos (+ z0 z0)))) 1/2)":5.7250000000000005,"(* (* z1 z0) z0)":0.875,"(* (* z1 z0) z2)":0.875,"(* (* z1 z1) (* (* 1/2 z0) z2))":1.625,"(* (* z1 z1) z0)":0.875,"(* (* z1 z2) z0)":0.875,"(* (* z2 z0) z1)":0.875,"(* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3)":10.625,"(* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3)":10.95,"(* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2)":18.375,"(* (+ (+ (* (* (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))))":27.849999999999998,"(* (+ (- 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)))":24.5,"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (+ z1 z1)))":26.700000000000003,"(* (+ (cos (+ z0 z0)) 1) 1/2)":5.3500000000000005,"(* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2)":2.0999999999999996,"(* (+ 1 (* z0 10)) (+ 1 (* z0 10)))":1.9,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))":12.125,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11)":5.7250000000000005,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3)":5.7250000000000005,"(* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0)":5.7250000000000005,"(* (+ PI PI) z0)":0.825,"(* (+ z0 z0) PI)":0.825,"(* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0))":6.9,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11)":5.7250000000000005,"(* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)":5.7250000000000005,"(* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0)":5.7250000000000005,"(* (- (* z0 z0) 1) (tan z1))":5.8500000000000005,"(* (- (* z0 z0) 1) z1)":1.2,"(* (- (* z1 z1) 1) z0)":1.2,"(* (- (+ (* (sin z2) z1) z2) z0) 6)":5.7250000000000005,"(* (- (/ (* -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)))":20.549999999999997,"(* (- 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)))":20.549999999999997,"(* (- 1 (* z0 z0)) (tan z1))":5.8500000000000005,"(* (- 1 (* z1 z1)) z0)":1.2,"(* (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) (* 3 (pow (- 1 (* z0 z0)) -3)))":9.25,"(* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) (* z1 z1))":6.525,"(* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z0 z0))":6.525,"(* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)":5.7250000000000005,"(* (- z0 -15234687407/1000000000) z0)":0.825,"(* (/ (- z0 z1) (* z2 z2)) (- z0 z1))":1.9999999999999998,"(* (/ PI z1) z0)":0.975,"(* (/ z0 (* z1 z1)) z0)":1.35,"(* (/ z0 180) PI)":0.975,"(* (/ z0 z1) (/ z0 z1))":1.45,"(* (/ z0 z1) z0)":0.975,"(* (/ z0 z1) z2)":0.975,"(* (/ z1 (* z0 z0)) z1)":1.35,"(* (/ z1 z0) (/ z1 z0))":1.45,"(* (/ z1 z0) z1)":0.975,"(* (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))) z2)":3.5,"(* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0)))":3.5999999999999996,"(* (/ z2 (* z1 z1)) z0)":1.35,"(* (atan2 z0 z1) z2)":2.625,"(* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0))))":7.15,"(* (cos (* (* (* 1/180 PI) z0) 2)) 1/2)":5.825,"(* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)":5.825,"(* (cos (* (* 1/90 PI) z0)) 1/2)":5.45,"(* (cos (* (* PI z0) 1/90)) 1/2)":5.45,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":5.8,"(* (cos (* -1/4 PI)) (sin (* z0 1/2)))":9.65,"(* (cos (* z0 1/2)) (sin (* z1 1/2)))":9.65,"(* (cos (+ z0 z0)) (cos (+ z1 z1)))":9.55,"(* (cos (+ z1 (+ z2 z2))) z0)":5.35,"(* (cos (- (* -3 z1) (+ z2 z2))) z0)":5.725,"(* (cos (- (- (* -3 z1) z2) z2)) z0)":5.725,"(* (cos (- z1 z0)) 1/2)":5.025,"(* (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))))":35.875,"(* (cos z0) (sin z1))":8.9,"(* (cos z0) z1)":4.7,"(* (cos z1) (sin z0))":8.9,"(* (cos z1) z0)":4.7,"(* (fabs z0) 3275911/10000000)":0.625,"(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1)":11.525,"(* (log (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":2.575,"(* (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) z0)":4.125,"(* (pow (* (- 1 z2) (- 1 z2)) z1) z0)":3.65,"(* (pow (cos z1) 3) z0)":6.825,"(* (sin (* (+ z0 z1) 2)) 3)":5.4,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":5.8,"(* (sin (* 1/4 PI)) (cos (* -1/2 z0)))":9.65,"(* (sin (* 3 z1)) z0)":5.075,"(* (sin (* 4 z1)) z0)":5.075,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":5.7,"(* (sin (* z0 1/2)) (cos (* z1 1/2)))":9.65,"(* (sin (+ (+ z1 z2) z2)) z0)":5.35,"(* (sin (+ z0 z0)) (sin (+ z1 z1)))":9.55,"(* (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)))":21.6,"(* (sin (+ z1 z1)) z0)":5.025,"(* (sin (- (+ z2 z2) (* -3 z1))) z0)":5.725,"(* (sin (- PI (* z1 z0))) z2)":5.4,"(* (sin z0) (cos z1))":8.9,"(* (sin z0) (sin z1))":8.9,"(* (sin z0) z1)":4.7,"(* (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)))":27.625,"(* (sin z1) (cos z0))":8.9,"(* (sin z1) (sin z0))":8.9,"(* (sin z1) z0)":4.7,"(* (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (cos z0))":10.5,"(* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0))))":1.9,"(* (sqrt 2) z0)":0.75,"(* (tan (+ (* 1/2 z1) (/ PI 4))) z0)":6.325,"(* (tan z1) z0)":5.15,"(* -1/50000 z0)":0.5,"(* -200 (pow (cos z0) 4))":6.825,"(* -3 (* z0 z0))":0.875,"(* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))))":10.95,"(* -40 (pow (cos z0) 4))":6.825,"(* 1/180 z0)":0.5,"(* 1/2 (cos (* 2 (* 1/2 (- z0 z1)))))":5.775,"(* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":5.7250000000000005,"(* 11 (pow (cos z0) 2))":6.825,"(* 11/2 (- (cos (+ z0 z0)) -1))":5.3500000000000005,"(* 200 (pow (cos z0) 4))":6.825,"(* 3 (* z0 z0))":0.875,"(* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))":10.625,"(* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))))":10.95,"(* 3 (- 1 (pow (cos z0) 2)))":7.15,"(* 3 (cos (+ (* 2 z1) (* 2 z0))))":5.775,"(* 3 (cos (+ (+ z0 z0) (+ z1 z1))))":5.675000000000001,"(* 3 (cos z0))":4.7,"(* 3 (pow (cos z0) 2))":6.825,"(* 3 (sin (+ (* 2 z1) (* 2 z0))))":5.775,"(* 40 (pow (cos z0) 4))":6.825,"(* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":5.7250000000000005,"(* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2))":5.7250000000000005,"(* 5 (pow (cos z0) 2))":6.825,"(* 5/2 (cos (+ z0 z0)))":5.025,"(* 6 (+ (- z2 z0) (* z1 (sin z2))))":5.7250000000000005,"(* 80 (pow (cos z0) 2))":6.825,"(* PI z0)":0.5,"(* z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1)))":2.275,"(* z0 (- (* z1 z1) 1))":1.2,"(* z0 (/ (+ PI PI) z1))":1.2999999999999998,"(* z0 (cos (+ (* 2 z2) (* 3 z1))))":5.775,"(* z0 (cos z1))":4.7,"(* z0 (pow (* (- z2 1) (- z2 1)) (/ 1 (* 2 z1))))":4.5,"(* z0 (sin (+ (* 2 z2) (* 3 z1))))":5.775,"(* z0 (sin z1))":4.7,"(* z0 105691/20000)":0.5,"(* z0 108401/20000)":0.5,"(* z0 121951/100000)":0.5,"(* z0 182927/100000)":0.5,"(* z0 223577/100000)":0.5,"(* z0 223577/50000)":0.5,"(* z0 27439/12500)":0.5,"(* z0 284553/100000)":0.5,"(* z0 31831/400000)":0.5,"(* z0 361337/100000)":0.5,"(* z0 50813/12500)":0.5,"(* z0 50813/25000)":0.5,"(* z0 50813/50000)":0.5,"(* z0 50813/6250)":0.5,"(* z0 50813/62500)":0.5,"(* z0 7259/3125)":0.5,"(* z0 7259/500)":0.5,"(* z0 PI)":0.5,"(* z1 (* (* 1/2 z0) z2))":1.25,"(* z1 (* z0 3))":0.875,"(* z1 (* z0 z2))":0.875,"(* z1 (- 1 (cos (+ z0 z0))))":5.3500000000000005,"(* z1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))":5.7250000000000005,"(* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2))))))":11.525,"(+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))":12.7,"(+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))":10.25,"(+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1))":10.25,"(+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))":10.575,"(+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))":10.575,"(+ (* (cos (- (* -3 z1) (+ z2 z2))) z0) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))))":16.874999999999996,"(+ (* (sin (* 3 z2)) z1) (* (sin z2) z0))":9.975,"(+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2)))":10.575,"(+ (* (sin (- (+ z2 z2) (* -3 z1))) z0) (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3))":16.874999999999996,"(+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1)))":18.0,"(+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0)))":18.0,"(+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)":2.225,"(+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1))))":11.75,"(+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1))))":11.65,"(+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2)))":12.1,"(+ (* z0 223577/100000) (* z1 50813/12500))":1.2,"(+ (* z1 284553/100000) (* z0 223577/50000))":1.2,"(+ (* z1 50813/25000) (* z0 223577/50000))":1.2,"(+ (+ (* (* (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))))":21.749999999999996,"(+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))))":18.349999999999998,"(+ (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1)))))":17.724999999999998,"(+ (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1)))))":17.625,"(+ (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))) (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))":8.774999999999999,"(+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))))":19.599999999999998,"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))":21.8,"(+ (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))) (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0)))":11.299999999999999,"(+ (cos (+ z0 z0)) 1)":4.9750000000000005,"(+ (sin (* z0 1/2)) (cos (* -1/2 z0)))":9.6,"(+ (sqrt (* (+ z1 z0) (- z0 z1))) z0)":1.7249999999999999,"(+ 1 (* (/ z0 z1) (/ z0 z1)))":1.775,"(+ 1 (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0))))))":6.050000000000001,"(+ 1 (pow (/ (- z0 z1) z2) 2))":3.375,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":5.3500000000000005,"(+ 1/4 (* z0 50813/6250))":0.825,"(+ 109/40 (* z0 50813/6250))":0.825,"(+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2)))))":14.65,"(+ 11/4 (* z0 50813/6250))":0.825,"(+ 13/8 (* z0 50813/6250))":0.825,"(+ 153/40 (* z0 50813/6250))":0.825,"(+ 19/10 (* z0 50813/6250))":0.825,"(+ 19/100 (* z0 50813/62500))":0.825,"(+ 197/40 (* z0 50813/6250))":0.825,"(+ 21/40 (* z0 50813/6250))":0.825,"(+ 23/40 (* z0 50813/62500))":0.825,"(+ 241/40 (* z0 50813/6250))":0.825,"(+ 26/5 (* z0 50813/6250))":0.825,"(+ 27/20 (* z0 50813/6250))":0.825,"(+ 3 (* z0 50813/6250))":0.825,"(+ 31/10 (* z0 50813/6250))":0.825,"(+ 4/5 (* z0 50813/6250))":0.825,"(+ 41/10 (* z0 50813/6250))":0.825,"(+ 49/20 (* z0 50813/6250))":0.825,"(+ 63/10 (* z0 50813/6250))":0.825,"(+ 63/100 (* z0 50813/62500))":0.825,"(+ 71/20 (* z0 50813/6250))":0.825,"(+ 93/20 (* z0 50813/6250))":0.825,"(+ 97/20 (* z0 50813/6250))":0.825,"(- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))":11.6,"(- (* (* 3 z0) (sin (+ (* 2 z2) z1))))":5.9,"(- (* (* z2 z0) 4) (* z1 z1))":1.575,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11)":12.45,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)":6.050000000000001,"(- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1)":6.050000000000001,"(- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1)":6.050000000000001,"(- (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)) -1)":2.325,"(- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2)":6.15,"(- (* (cos (* (* PI z0) 1/90)) 1/2) -1/2)":5.775,"(- (* (cos (+ z0 z0)) 1/2) -1/2)":5.3500000000000005,"(- (* (cos (- (- (* -3 z1) z2) z2)) z0) (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))))":16.874999999999996,"(- (* (pow (cos z1) 3) z0) -1)":7.15,"(- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)":2.225,"(- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))":18.075,"(- (* 3 (pow (cos z0) 2)) 1)":7.15,"(- (* 3 (sin (+ (* 2 z1) (* 2 z0)))))":5.9,"(- (* z0 (sin (+ (* 2 z2) (* 3 z1)))))":5.9,"(- (* z0 50813/6250) 111/40)":0.825,"(- (* z0 50813/6250) 127/20)":0.825,"(- (* z0 50813/6250) 17/20)":0.825,"(- (* z0 50813/6250) 199/40)":0.825,"(- (* z0 50813/6250) 21/4)":0.825,"(- (* z0 50813/6250) 23/40)":0.825,"(- (* z0 50813/6250) 243/40)":0.825,"(- (* z0 50813/6250) 31/8)":0.825,"(- (* z0 50813/6250) 57/10)":0.825,"(- (* z0 50813/6250) 61/20)":0.825,"(- (* z0 50813/6250) 67/40)":0.825,"(- (* z1 z1) (* (* z2 z0) 4))":1.575,"(- (* z1 z1) (* z2 (* z0 3)))":1.575,"(- (* z1 z1) (* z2 (* z0 4)))":1.575,"(- (* z2 (* z0 4)) (* z1 z1))":1.575,"(- (+ 19/10 (* z0 50813/6250)))":0.95,"(- (+ 26/5 (* z0 50813/6250)))":0.95,"(- (+ 3 (* z0 50813/6250)))":0.95,"(- (+ 4/5 (* z0 50813/6250)))":0.95,"(- (+ 41/10 (* z0 50813/6250)))":0.95,"(- (+ 63/10 (* z0 50813/6250)))":0.95,"(- (- (* (+ 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)))":27.9,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1))":19.474999999999998,"(- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1))":19.474999999999998,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))":13.35,"(- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))":14.450000000000001,"(- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1)":6.525,"(- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))":4.35,"(- (cbrt z0) (cbrt (- -1 z0)))":4.775,"(- (cos (* (* 1/90 PI) z0)) -1)":5.4,"(- (cos (* -1/2 z0)) (sin (* -1/2 z0)))":9.6,"(- (cos (* -1/2 z0)) (sin (* z0 1/2)))":9.6,"(- (cos (+ z0 z0)) -1)":4.9750000000000005,"(- (cos (+ z0 z0)) 1)":4.9750000000000005,"(- (exp (* z0 z1)) 1)":2.2,"(- (exp z0) 1)":1.825,"(- (log (- 1 z0)))":1.325,"(- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3))":16.375,"(- (sin (* (+ (+ z0 z0) PI) 1/4)))":5.475,"(- (sqrt (* (- z0 z1) (+ z1 z0))) z0)":1.7249999999999999,"(- (sqrt (+ z0 1)) (sqrt z0))":1.275,"(- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))":6.050000000000001,"(- -1 (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2))":6.050000000000001,"(- -1 (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)))":2.325,"(- -1 (* (fabs z0) 3275911/10000000))":0.95,"(- -3/2 (* 5/2 (cos (+ z0 z0))))":5.3500000000000005,"(- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))":6.050000000000001,"(- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))":6.050000000000001,"(- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":6.050000000000001,"(- 1 (* 11 (pow (cos z0) 2)))":7.15,"(- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":6.050000000000001,"(- 1 (* 5 (pow (cos z0) 2)))":7.15,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":5.675000000000001,"(- 1 (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))))":18.4,"(- 1 (cos (+ z0 z0)))":4.9750000000000005,"(- 1 (pow (cos z0) 2))":6.775,"(- 1/2 (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2))":18.7,"(- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2))":6.15,"(- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2))":5.775,"(- 1/2 (* (cos (* (* PI z0) 1/90)) 1/2))":5.775,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":5.3500000000000005,"(- 1/2 (* (cos (- z1 z0)) 1/2))":5.3500000000000005,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":5.3500000000000005,"(- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1))))))":6.1000000000000005,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":5.3500000000000005,"(- 1/2 (fabs (- z0 1/2)))":0.8999999999999999,"(- 18/5 (* z0 50813/6250))":0.825,"(- 29/5 (* z0 50813/6250))":0.825,"(- 3/10 (* z0 50813/6250))":0.825,"(- 47/10 (* z0 50813/6250))":0.825,"(- 5/2 (* z0 50813/6250))":0.825,"(- 7/5 (* z0 50813/6250))":0.825,"(/ (* (* (- (/ (* -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)))":31.65,"(/ (* (/ z2 z0) (/ z2 z0)) (* (- 1 (* z1 z1)) (- 1 (* z1 z1))))":3.6999999999999997,"(/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))":12.525,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)))":13.225,"(/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":13.225,"(/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))":16.450000000000003,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":13.225,"(/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))":14.325000000000001,"(/ (* PI z0) z1)":0.975,"(/ (* z0 PI) z1)":0.975,"(/ (* z1 z0) z2)":0.975,"(/ (* z1 z1) (* z0 z0))":1.35,"(/ (* z1 z1) z0)":0.975,"(/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))))":3.5,"(/ (+ PI PI) z0)":0.9249999999999999,"(/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1))":6.2,"(/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0)))":6.2,"(/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1))":3.025,"(/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) (sin (- (* z0 1/2) (* 1/4 PI))))":11.225,"(/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))":2.525,"(/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1))":6.2,"(/ (- 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)))":46.72500000000001,"(/ (- z0 z1) (* z2 z2))":1.2999999999999998,"(/ (/ z1 z0) z2)":1.075,"(/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0))":6.574999999999999,"(/ (sin (* (* 1/90 PI) z0)) z1)":5.55,"(/ -269813/62500 (- (fabs z0) -269813/62500))":1.0499999999999998,"(/ 1 (sqrt (fabs (- z1 z0))))":1.2999999999999998,"(/ 1/3 z0)":0.6,"(/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))":6.525,"(/ PI z0)":0.6,"(/ z0 (* (tan z2) z1))":5.625,"(/ z0 (* z1 z1))":0.975,"(/ z1 (* z0 z0))":0.975,"(/ z1 (* z0 z2))":0.975,"(/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1))))":3.125,"(/ z2 (* (- (* z1 z1) 1) z0))":1.6749999999999998,"(cbrt (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2))":4.1,"(cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))":4.225,"(cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))":4.225,"(cbrt (- -1 z0))":2.45,"(cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0)))":4.525,"(cbrt z0)":2.125,"(cos (* (* (* 1/180 PI) z0) 2))":5.45,"(cos (* (* (* 1/180 z0) PI) 2))":5.45,"(cos (* (* 1/90 PI) z0))":5.075,"(cos (* (* PI z0) 1/90))":5.075,"(cos (* (+ (+ z0 z0) PI) 1/4))":5.35,"(cos (* (+ z0 z1) -2))":5.025,"(cos (* (/ PI z1) z0))":5.175,"(cos (* -2 (+ z0 z1)))":5.025,"(cos (* 2 (* 1/2 (- z0 z1))))":5.4,"(cos (* z0 (/ (+ PI PI) z1)))":5.5,"(cos (+ (* 2 z1) (* 2 z0)))":5.4,"(cos (+ (* 2 z1) (* 3 z0)))":5.4,"(cos (+ (* 2 z1) z0))":5.025,"(cos (+ (+ z0 z0) (+ z1 z1)))":5.300000000000001,"(cos (+ z0 (+ z1 z1)))":4.975,"(cos (+ z0 z1))":4.65,"(cos (+ z1 z0))":4.65,"(cos (- (* -1/4 PI) (* z0 1/2)))":5.4,"(cos (- (* -3 z0) (+ z1 z1)))":5.35,"(cos (- (* z0 1/2) (* -1/4 PI)))":5.4,"(cos (- (- (* -3 z0) z1) z1))":5.35,"(cos (- z1 z0))":4.65,"(cos (/ (* z0 PI) z1))":5.175,"(fabs (remainder z0 (+ PI PI)))":1.7,"(fabs (sin (- (* -1/4 PI) (* z0 1/2))))":5.525,"(fabs (sin (- (* z0 1/2) (* 1/4 PI))))":5.525,"(fabs (tan (* (+ (+ z0 z0) PI) 1/4)))":5.925000000000001,"(log (- 1 z0))":1.2,"(log (- z0 -1))":1.2,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":11.15,"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))":11.15,"(log (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))":6.675000000000001,"(log (sqrt (+ (* z1 z1) (* z0 z0))))":2.2,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":6.7,"(pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))":4.075,"(pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0))":3.75,"(pow (* (- 1 z1) (- 1 z1)) z0)":3.275,"(pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z0)))":4.125,"(pow (+ 109/40 (* z0 50813/6250)) 2)":2.95,"(pow (+ 13/8 (* z0 50813/6250)) 2)":2.95,"(pow (+ 153/40 (* z0 50813/6250)) 2)":2.95,"(pow (+ 197/40 (* z0 50813/6250)) 2)":2.95,"(pow (+ 21/40 (* z0 50813/6250)) 2)":2.95,"(pow (+ 241/40 (* z0 50813/6250)) 2)":2.95,"(pow (- (* z0 50813/6250) 111/40) 2)":2.95,"(pow (- (* z0 50813/6250) 199/40) 2)":2.95,"(pow (- (* z0 50813/6250) 23/40) 2)":2.95,"(pow (- (* z0 50813/6250) 243/40) 2)":2.95,"(pow (- (* z0 50813/6250) 31/8) 2)":2.95,"(pow (- (* z0 50813/6250) 67/40) 2)":2.95,"(pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2)":8.175,"(pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)":8.175,"(pow (- 1 (* 5 (pow (cos z0) 2))) 2)":9.275,"(pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)":8.325,"(pow (/ (- z0 z1) z2) 2)":3.05,"(pow (/ 1 z0) 2)":2.725,"(pow (cos z0) 2)":6.45,"(pow (cos z0) 3)":6.45,"(pow (cos z0) 4)":6.45,"(pow (cos z0) 6)":6.45,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) -1)":7.925000000000001,"(pow (tan (* (+ (+ z0 z0) PI) 1/4)) 1)":7.925000000000001,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":7.925000000000001,"(pow (tanh (* z1 (* z0 z2))) -2)":4.0,"(remainder z0 (* 2 PI))":1.625,"(remainder z0 (+ PI PI))":1.575,"(sin (* (* 1/90 PI) z0))":5.075,"(sin (* (* PI z0) 1/90))":5.075,"(sin (* (+ (+ z0 z0) PI) 1/4))":5.35,"(sin (* (+ z0 z1) 2))":5.025,"(sin (* (/ z0 180) PI))":5.175,"(sin (* 3 z0))":4.7,"(sin (* z0 30))":4.7,"(sin (* z0 PI))":4.7,"(sin (* z0 z1))":4.7,"(sin (+ (* 2 z1) (* 2 z0)))":5.4,"(sin (+ (* 2 z1) (* 3 z0)))":5.4,"(sin (+ (* 2 z1) z0))":5.025,"(sin (+ (+ z0 z1) z1))":4.975,"(sin (+ z0 (+ z1 z1)))":4.975,"(sin (- (* -1/4 PI) (* z0 1/2)))":5.4,"(sin (- (* 1/4 PI) (* z0 1/2)))":5.4,"(sin (- (* z0 1/2) (* -1/4 PI)))":5.4,"(sin (- (* z0 1/2) (* 1/4 PI)))":5.4,"(sin (- (* z0 1/2) (* z1 1/2)))":5.4,"(sin (- (+ z1 z1) (* -3 z0)))":5.35,"(sin (- PI (* z1 z0)))":5.025,"(sin (/ (- z0 z1) 2))":5.125,"(sin (fabs (remainder z0 (+ PI PI))))":5.9,"(sqrt (* (+ z1 z0) (- z0 z1)))":1.4,"(sqrt (* (- z0 z1) (+ z1 z0)))":1.4,"(sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1)))":2.0999999999999996,"(sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1)))":2.0999999999999996,"(sqrt (+ (* z0 z0) (* z1 z1)))":1.45,"(sqrt (+ (* z1 z1) (* z0 z0)))":1.45,"(sqrt (- (* z1 z1) (* z2 (* z0 3))))":1.825,"(sqrt (- (* z1 z1) (* z2 (* z0 4))))":1.825,"(sqrt (- (log (- 1 z0))))":1.575,"(sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))":5.925000000000001,"(sqrt (- 1 (pow (cos z0) 2)))":7.025,"(sqrt (- 1/2 (* (cos (+ z0 z0)) 1/2)))":5.6000000000000005,"(sqrt (fabs (* z1 z0)))":0.875,"(tan (* (+ (+ z0 z0) PI) 1/4))":5.800000000000001,"(tan (+ (* 1/2 z0) (/ PI 4)))":5.95,"(tan (+ (/ PI 4) (* 1/2 z0)))":5.95,"(tan (- (* z0 1/2) (* -1/4 PI)))":5.8500000000000005,"(tanh (* (* z1 z0) z2))":1.875,"(tanh (* (* z1 z2) z0))":1.875,"(tanh (* z1 (* z0 z2)))":1.875}