{"(* (* (* z0 (sqrt z1)) z0) z2)":1664,"(* (* (+ (cos (+ z0 z0)) 1) 1/2) z1)":7488,"(* (* (- (* (- 1 (cos (+ z0 z0))) z1) -2) 1/2) z2)":8000,"(* (* (- (cos (+ z0 z0)) 1) 1/2) z1)":7488,"(* (* (- 1 (cos (+ z0 z0))) 1/2) z1)":7488,"(* (* (- z0) (fabs z1)) z2)":960,"(* (* (- z0) (sin z1)) z2)":7232,"(* (* (cos z0) (cos z1)) (sin z2))":19904,"(* (* (cos z0) (cos z1)) z2)":13504,"(* (* (cos z0) (sin z1)) (cos z2))":19904,"(* (* (cos z0) (sin z1)) z2)":13504,"(* (* (cos z0) z1) (cos z2))":13504,"(* (* (cos z0) z1) (sin z2))":13504,"(* (* (cos z0) z1) z2)":7104,"(* (* (fabs z0) z0) z1)":832,"(* (* (fabs z0) z1) z2)":832,"(* (* (sin (* (+ z0 z0) -1/2)) -2) z1)":7616,"(* (* (sin z0) z1) (cos z2))":13504,"(* (* (sin z0) z1) z2)":7104,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) z1)":3264,"(* (* (sqrt 2) -1/2) z0)":1344,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":8064,"(* (* (sqrt 2) 1/2) z0)":1344,"(* (* (sqrt z0) z1) z1)":1344,"(* (* (tan z0) 1/2) (- z1 (/ 1 z1)))":8000,"(* (* (tan z0) 1/2) z1)":7104,"(* (* -1/2 (sqrt 2)) z0)":1344,"(* (* -1/2 z0) (- 1 (cos (+ z1 z1))))":7488,"(* (* 1/2 (- (* z0 (- (cos (+ z1 z1)) 1)) -2)) z2)":8000,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":7488,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":7488,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":7488,"(* (* z0 (cos z1)) z2)":7104,"(* (* z0 (fabs z1)) z2)":832,"(* (* z0 (sin z1)) (* z0 (sin z1)))":13824,"(* (* z0 (sin z1)) z2)":7104,"(* (* z0 (sqrt z1)) z0)":1344,"(* (* z0 z1) (sin z2))":7104,"(* (+ (cos (+ z0 z0)) 1) 1/2)":7168,"(* (+ 1 (* z0 (* (sin z1) (sin z1)))) z2)":14016,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7488,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) z2)":8000,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1))":7808,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1)":7488,"(* (- (* (sqrt 2) 1/2)) z0)":1472,"(* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8512,"(* (- (- (sin z0))) z1)":7040,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) (- E))":2304,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) E)":2176,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) z1)":2176,"(* (- (cos (* -1/2 z0))) z1)":7232,"(* (- (cos (+ z0 z0)) -1) 1/2)":7168,"(* (- (cos (+ z0 z0)) -1) z1)":7168,"(* (- (cos (+ z0 z0)) 1) 1/2)":7168,"(* (- (cos z0)) z1)":6912,"(* (- (sin z0)) z1)":6912,"(* (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) -1)":2304,"(* (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) 1)":2304,"(* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":1984,"(* (- (sqrt (fabs (- 1 (* z0 z0))))) z1)":1792,"(* (- (sqrt (fabs (- z0 -1)))) z1)":1472,"(* (- (sqrt (fabs (- z0 1)))) z1)":1472,"(* (- (sqrt (fabs z0))) z1)":1280,"(* (- (sqrt (sqrt (fabs z0)))) z1)":1920,"(* (- (sqrt 2)) z0)":1152,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":8000,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* z2 z2) 1))":8512,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2)":8000,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))":8128,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":8000,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) (* (cos z1) z2))":21056,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) z2)":14336,"(* (- 1 (cos (+ z0 z0))) (* -1/2 z1))":7488,"(* (- 1 (cos (+ z0 z0))) 1/2)":7168,"(* (- 1 (cos (+ z0 z0))) z1)":7168,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))":7808,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":7488,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7488,"(* (- z0) (sin (* z1 z2)))":7232,"(* (- z0) (sin z1))":6912,"(* (- z0) (sqrt z1))":1152,"(* (/ (sin z0) (cos z1)) (cos z2))":20288,"(* (/ (sin z0) (cos z1)) z2)":13888,"(* (/ (sin z0) z1) z2)":7488,"(* (/ (sqrt (fabs (* (- z0 1) E))) (sqrt E)) z1)":3008,"(* (/ (sqrt 2) 2) (cos (* -1/2 z0)))":8448,"(* (/ (sqrt 2) 2) (sin (* z0 1/2)))":8448,"(* (/ (sqrt 2) 2) z0)":1728,"(* (/ -1 (- (* (sin z0) z1) 1)) z2)":8000,"(* (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (/ 1 (cos z0)) z1)":7488,"(* (/ 1 (fabs z0)) z1)":1216,"(* (/ 1 (sin z0)) z1)":7488,"(* (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (/ z0 (cos z1)) z2)":7488,"(* (/ z0 (sin z1)) z2)":7488,"(* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) z2)":2560,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2)))":15808,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)":15040,"(* (atan (exp (/ z0 z1))) z2)":13888,"(* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))":8064,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":8448,"(* (cos (* -1/2 z0)) z1)":7104,"(* (cos (* 1/4 PI)) z0)":7104,"(* (cos (* 2 (+ (/ z0 z1) z2))) 1/2)":8000,"(* (cos (* z0 1/2)) z1)":7104,"(* (cos (/ z0 z1)) (cos z2))":13888,"(* (cos (/ z0 z1)) z2)":7488,"(* (cos z0) (sin z1))":13184,"(* (cos z0) (tan z1))":13184,"(* (cos z0) z1)":6784,"(* (fabs (* z0 z1)) z2)":832,"(* (fabs (- 1 z0)) (- E))":832,"(* (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1)))) z2)":15168,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":21312,"(* (pow (- -1 (* (* (sin z0) z1) (sin z0))) -2) z2)":20480,"(* (pow (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) -2) z2)":14464,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":22080,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) z2)":14464,"(* (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2)) z2)":21696,"(* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)":21504,"(* (pow (cos z0) 4) z1)":13248,"(* (sin (* (/ 1 z0) z1)) z2)":7808,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":8448,"(* (sin (* -1/2 z0)) z1)":7104,"(* (sin (* -3 z0)) z1)":7104,"(* (sin (* 1/4 PI)) (sin (* z0 1/2)))":13824,"(* (sin (* 1/4 PI)) z0)":7104,"(* (sin (* 3 z0)) z1)":7104,"(* (sin (* 4 z0)) z1)":7104,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":8064,"(* (sin (* z0 1/2)) z1)":7104,"(* (sin (* z0 z1)) z2)":7104,"(* (sin (+ (* z0 1/2) (* 1/4 PI))) z1)":7616,"(* (sin (+ z0 z0)) z1)":6976,"(* (sin (/ (- 0 (+ z0 z0)) 2)) z1)":7872,"(* (sin (/ z0 z1)) (sin z2))":13888,"(* (sin (/ z0 z1)) z2)":7488,"(* (sin z0) (cos z1))":13184,"(* (sin z0) (sin z0))":13184,"(* (sin z0) z1)":6784,"(* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) z1)":2624,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) z1)":2240,"(* (sqrt (+ (* z0 z0) (* z1 z1))) z2)":1856,"(* (sqrt (+ 1 (* (/ 1 z0) (* (/ z1 z0) z1)))) z2)":3264,"(* (sqrt (+ 1 (/ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (sqrt (- (* (/ z0 (* z1 z1)) z0) -1)) z2)":2560,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) (sqrt (fabs z2)))":9408,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) z2)":8640,"(* (sqrt (/ (+ (* (/ z0 z1) z0) z1) z1)) z2)":2944,"(* (sqrt (/ (fabs (* (- z0 1) E)) E)) (sqrt (fabs (- -1 z0))))":3328,"(* (sqrt (/ (fabs (* (- z0 1) E)) E)) z1)":2368,"(* (sqrt (/ 1/4 (fabs (- z0 1)))) z1)":2048,"(* (sqrt (fabs (* (* z0 z1) z0))) z2)":1792,"(* (sqrt (fabs (* z0 z1))) z2)":1472,"(* (sqrt (fabs (- -1 z0))) z1)":1344,"(* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0))))":2304,"(* (sqrt (fabs (- 1 z0))) z1)":1344,"(* (sqrt (fabs (- z0 -1))) (- E))":1472,"(* (sqrt (fabs (- z0 -1))) E)":1344,"(* (sqrt (fabs (- z0 -1))) z1)":1344,"(* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1)))))":2432,"(* (sqrt (fabs (- z0 1))) z1)":1344,"(* (sqrt (fabs (/ (+ (* (- z0) E) E) E))) (sqrt (fabs (- -1 z0))))":3456,"(* (sqrt (fabs (/ (+ (* (- z0) E) E) E))) z1)":2496,"(* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":15808,"(* (sqrt (fabs z0)) (fabs z0))":1280,"(* (sqrt (fabs z0)) z1)":1152,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1))))":2944,"(* (sqrt (sqrt (fabs (- z0 1)))) z1)":1984,"(* (sqrt (sqrt (fabs z0))) (sqrt (sqrt (fabs z0))))":3200,"(* (sqrt (sqrt (fabs z0))) z1)":1792,"(* (sqrt (sqrt z0)) z1)":1664,"(* (sqrt 1/2) z0)":1024,"(* (sqrt 2) z0)":1024,"(* (sqrt z0) z1)":1024,"(* (tan z0) (- 1 (* z1 (* z2 z2))))":7616,"(* (tan z0) z1)":6784,"(* -1/2 (* (- 1 (cos (+ z0 z0))) z1))":7488,"(* 1 (- (sqrt (fabs (- (* z0 z0) 1)))))":1792,"(* 1/2 (- (* z0 (- (cos (+ z1 z1)) 1)) -2))":7680,"(* 2 (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":2304,"(* 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":16192,"(* 2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":2176,"(* 3 (sin z0))":6784,"(* z0 (* (* z1 z1) (sqrt z2)))":1664,"(* z0 (* (+ (cos (+ z1 z1)) 1) 1/2))":7488,"(* z0 (* (- z1) (fabs z2)))":960,"(* z0 (* (- z1) (sin z2)))":7232,"(* z0 (* (cos z1) (cos z2)))":13504,"(* z0 (* (cos z1) (sin z2)))":13504,"(* z0 (* (cos z1) z2))":7104,"(* z0 (* (fabs z1) (fabs z1)))":960,"(* z0 (* (fabs z1) 3))":832,"(* z0 (* (fabs z1) z1))":832,"(* z0 (* (fabs z1) z2))":832,"(* z0 (* (sin (* z1 1/2)) (* (sqrt 2) 1/2)))":8384,"(* z0 (* (sin (+ (* 1/2 PI) z1)) z2))":7616,"(* z0 (* (sin (+ (- z1) (* 1/2 PI))) z2))":7744,"(* z0 (* (sin z1) (sin z1)))":13504,"(* z0 (* (sin z1) z2))":7104,"(* z0 (* (sqrt (sqrt (fabs z1))) (sqrt (sqrt (fabs z1)))))":3520,"(* z0 (* (sqrt 2) 1/2))":1344,"(* z0 (* (sqrt z1) z0))":1344,"(* z0 (* (sqrt z1) z2))":1344,"(* z0 (* (tan z1) z2))":7104,"(* z0 (* -2 (* (sin (/ (- 0 (+ z1 z1)) 2)) (sin (/ (+ 0 (+ z1 z1)) 2)))))":16000,"(* z0 (* 1/2 (- (* (- 1 (cos (+ z1 z1))) z2) -2)))":8000,"(* z0 (* z1 (fabs z2)))":832,"(* z0 (* z1 (sin z2)))":7104,"(* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":7488,"(* z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) -1))":8000,"(* z0 (- (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2) -1))":8000,"(* z0 (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z2 z2)) 1))":8320,"(* z0 (- (cos (* -1/2 z1)) (sin (* -1/2 z1))))":14016,"(* z0 (- (cos (+ z1 z1)) -1))":7168,"(* z0 (- (cos (+ z1 z1)) 1))":7168,"(* z0 (- (cos (+ z1 z1))))":7104,"(* z0 (- (sin z1)))":6912,"(* z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":1984,"(* z0 (- (sqrt (fabs (- 1 (* z1 z1))))))":1792,"(* z0 (- (sqrt (fabs (- z1 -1)))))":1472,"(* z0 (- (sqrt (fabs (- z1 1)))))":1472,"(* z0 (- (sqrt (fabs z1))))":1280,"(* z0 (- (sqrt z1)))":1152,"(* z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8000,"(* z0 (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))":8000,"(* z0 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z2 z2))))":8320,"(* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":7680,"(* z0 (- 1 (cos (+ z1 z1))))":7168,"(* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2)))":7488,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2)))":7488,"(* z0 (- 1/2 (* -1/2 (cos (+ z1 z1)))))":7488,"(* z0 (/ (sin z1) z2))":7488,"(* z0 (/ (sqrt 2) 2))":1728,"(* z0 (/ (tan z1) z2))":7488,"(* z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ 1 (cos z1)))":7488,"(* z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ 1/2 (fabs (- z1 1))))":1408,"(* z0 (/ z1 (cos z2)))":7488,"(* z0 (/ z1 (sqrt (+ (* z0 z0) (* z2 z2)))))":2560,"(* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":2560,"(* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":15040,"(* z0 (cos (* -1/2 z1)))":7104,"(* z0 (cos (* z1 z2)))":7104,"(* z0 (cos (+ z1 z1)))":6976,"(* z0 (cos (- (/ (- z1) z2) (* 1/2 PI))))":8128,"(* z0 (cos (/ z1 z2)))":7488,"(* z0 (cos z1))":6784,"(* z0 (fabs (* z1 z1)))":832,"(* z0 (fabs (sin z1)))":6912,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":21312,"(* z0 (pow (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2)))) (* 1/2 z1)))":21696,"(* z0 (pow (/ (- -1 (* (sin z1) z2)) (- (* (sin z1) z2) 1)) (* z2 1/2)))":21696,"(* z0 (pow (sin z1) 2))":13248,"(* z0 (pow (tan (- (* 5/4 PI) (* -1/2 z1))) (- z2)))":14208,"(* z0 (pow (tan (- (* 5/4 PI) (* -1/2 z1))) z2))":14080,"(* z0 (sin (* -1/2 z1)))":7104,"(* z0 (sin (* 1/2 (+ z1 z1))))":7296,"(* z0 (sin (* 2 z1)))":7104,"(* z0 (sin (* 3 z1)))":7104,"(* z0 (sin (* 4 z1)))":7104,"(* z0 (sin (* z1 1/2)))":7104,"(* z0 (sin (* z1 z2)))":7104,"(* z0 (sin (+ (* z1 1/2) (* 1/4 PI))))":7616,"(* z0 (sin (- (* -1/2 z1) PI)))":7296,"(* z0 (sin (- (* z1 1/2) (* -1/4 PI))))":7616,"(* z0 (sin (- (/ (- z1) z2) (* 1/2 PI))))":8128,"(* z0 (sin (/ (+ 0 (+ z1 z1)) 2)))":7872,"(* z0 (sin (/ z1 z2)))":7488,"(* z0 (sin z1))":6784,"(* z0 (sqrt (+ (* z1 z1) (* z2 z2))))":1856,"(* z0 (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)))":2560,"(* z0 (sqrt (- (* z1 z1) 1)))":1536,"(* z0 (sqrt (fabs (* z1 z2))))":1472,"(* z0 (sqrt (fabs (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))))":8768,"(* z0 (sqrt (fabs (- -1 z1))))":1344,"(* z0 (sqrt (fabs (- 1 z1))))":1344,"(* z0 (sqrt (fabs (- z1 -1))))":1344,"(* z0 (sqrt (fabs (- z1 1))))":1344,"(* z0 (sqrt (fabs z1)))":1152,"(* z0 (sqrt (sqrt (fabs (- 1 z1)))))":1984,"(* z0 (sqrt (sqrt (fabs z1))))":1792,"(* z0 (sqrt (sqrt z1)))":1664,"(* z0 (sqrt 1/2))":1024,"(* z0 (sqrt 2))":1024,"(* z0 (sqrt z1))":1024,"(* z0 (tan z1))":6784,"(+ (* (pow (cos z0) 4) z1) z2)":13440,"(+ (* (sin (* 3 z0)) z1) (* (sin z0) z2))":14016,"(+ (* (sin (* 3 z0)) z1) z2)":7296,"(+ (* (sin (* 4 z0)) z1) z2)":7296,"(+ (* (sin (+ z0 z0)) z1) z2)":7168,"(+ (* (sin (- (+ PI (+ z0 z0)))) z1) z2)":7488,"(+ (* (sin z0) (sin z0)) z1)":13376,"(+ (* (sqrt (fabs (* z0 z1))) (sqrt (fabs (* z0 z1)))) z2)":2752,"(+ (* z0 (sin (* 3 z1))) z2)":7296,"(+ (* z0 (sin (* 4 z1))) z2)":7296,"(+ (* z0 (sin z1)) (* z2 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4))))":27392,"(+ (* z0 (sin z1)) (* z2 (sin (* 3 z1))))":14016,"(+ (* z0 (sin z1)) (* z2 (sin (+ (- (* 3 z1)) PI))))":14336,"(+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":7360,"(+ (cos (* z0 z1)) z2)":6976,"(+ (cos (+ (fabs z0) z1)) z2)":6976,"(+ (cos (+ z0 z0)) 1)":6848,"(+ (cos (+ z0 z1)) z2)":6848,"(+ (cos (- z0 z1)) z2)":6848,"(+ (sin (+ z0 z1)) z2)":6848,"(+ 1 (* z0 (* (sin z1) (sin z1))))":13696,"(+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":7872,"(+ 1 (* z0 (pow (sin z1) 2)))":13440,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(+ z0 (* (* 1/2 z1) (- (cos (+ z2 z2)))))":7616,"(+ z0 (* (- (log (fabs (- -1 z1)))) z2))":7424,"(+ z0 (* (/ 1 (/ 1 (sin z1))) z2))":8384,"(+ z0 (* (pow (cos z1) 4) z2))":13440,"(+ z0 (* (sin (* 4 z1)) z2))":7296,"(+ z0 (* (sin (+ z1 z1)) z2))":7168,"(+ z0 (* -3689471323/1000000000000000000000000000000000 (+ (* (* z1 z1) (* z1 z1)) (+ (pow z2 4) (* -6 (* (* z1 z1) (* z2 z2)))))))":9664,"(+ z0 (* z1 (- (* 3 (sin z2)) (* (pow (sin z2) 3) 4))))":20672,"(+ z0 (* z1 (sin (* 3 z2))))":7296,"(+ z0 (* z1 (sin (+ (- (* 3 z2)) PI))))":7616,"(+ z0 (+ (/ 1 (pow (* z1 z1) -2)) (* -6 (* (* z2 z2) (* z1 z1)))))":9216,"(+ z0 (+ (pow z1 4) (* -6 (* (* z2 z2) (* z1 z1)))))":8192,"(+ z0 (- (cos (* z1 z2))))":7104,"(+ z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":7360,"(+ z0 (cos (* z1 z2)))":6976,"(+ z0 (cos (+ z1 z2)))":6848,"(+ z0 (cos (- z1 (fabs z2))))":6976,"(+ z0 (cos (- z1 z2)))":6848,"(+ z0 (sin (- z1 z2)))":6848,"(- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1)":7680,"(- (* (* -1/2 z0) (- 1 (cos (+ z1 z1)))) 1)":7680,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":7680,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1)":7680,"(- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1)":7680,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1)":8000,"(- (* (- 1 (cos (+ z0 z0))) (* -1/2 z1)) -1)":7680,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":7360,"(- (* (- z0) (sin (* 4 z1))) z2)":7424,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) z1)":14016,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":7168,"(- (* (cos z0) (tan z1)) (* (sin z0) z2))":20096,"(- (* (sin (* -3 z0)) z1) (* (sin z0) z2))":14016,"(- (* (sin (* -3 z0)) z1) z2)":7296,"(- (* (sin (* 4 z0)) z1) z2)":7296,"(- (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)) z1)":8256,"(- (* -1/2 (* (- 1 (cos (+ z0 z0))) z1)) 1)":7680,"(- (* z0 (- (cos (+ z1 z1)) 1)) -2)":7360,"(- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))))":2688,"(- (+ z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))) z2)":14464,"(- (- (* PI 1/2) (fabs (* z0 z1))) (* PI 1/2))":1536,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":1792,"(- (/ (* (pow (cos z0) 4) z1) z2) -1)":14144,"(- (/ 1 (sqrt (fabs (- z0 1)))))":1856,"(- (cos (+ z0 z0)) -1)":6848,"(- (cos (+ z0 z0)) 1)":6848,"(- (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15296,"(- (log (fabs (- -1 (* (sin z0) z1)))) z2)":13696,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) z1)":14272,"(- (sin (- (* PI 1/2) (* z0 z1))) z2)":7488,"(- (sin (- (* z0 z1) (* PI -1/2))) z2)":7488,"(- (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":1984,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":1664,"(- (sqrt (- (* z0 z0) 1)))":1344,"(- (sqrt (fabs (- (* E z0) E))))":1472,"(- (sqrt (fabs (- (* z0 z0) 1))))":1472,"(- (sqrt (fabs (- 1 (* z0 z0)))))":1472,"(- (sqrt (sqrt (fabs z0))))":1600,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":7680,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":7680,"(- -1/2 (* -1/2 (cos (+ z0 z0))))":7168,"(- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))":7680,"(- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":7680,"(- 1 (* (* z0 (sin z1)) (* z0 (sin z1))))":14016,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":7360,"(- 1 (cos (+ z0 z0)))":6848,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":7168,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":7168,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":7168,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":7168,"(- z0 (* (log (fabs (- -1 z1))) z2))":7296,"(- z0 (* (sin (* -3 z1)) z2))":7296,"(- z0 (* (sin (* 1/4 PI)) (sin (* z1 1/2))))":14016,"(- z0 (* (sin (* 3 z1)) z2))":7296,"(- z0 (* (sin (* 4 z1)) z2))":7296,"(- z0 (* (sin (+ z1 z1)) z2))":7168,"(- z0 (* (sin (- (* -3 z1) PI)) z2))":7488,"(- z0 (* (sqrt (fabs (* (* z1 z2) z1))) (sqrt (fabs z2))))":2752,"(- z0 (* (sqrt z1) (/ -1 z2)))":1920,"(- z0 (* z1 (sin (* 4 z2))))":7296,"(- z0 (- -1/2 (* -1/2 (cos (+ z1 z1)))))":7360,"(- z0 (log (fabs (- (* (sin z1) z2) 1))))":13696,"(- z0 (sin (- (* 1/4 PI) (* z1 1/2))))":7488,"(/ (* (* (sqrt z0) z1) z1) z2)":2048,"(/ (* (- z0) z1) (sqrt (+ (* z0 z0) (* z2 z2))))":2688,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) z1)":9152,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) z1)":9152,"(/ (* (/ (sqrt 2) 2) (sin (- (* -1/2 z0) PI))) z1)":9344,"(/ (* (/ 1 (/ (sqrt z0) z0)) z1) z2)":3136,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) z1)":9152,"(/ (* (cos z0) (cos z1)) z2)":13888,"(/ (* (cos z0) (sin z1)) z2)":13888,"(/ (* (cos z0) z1) z2)":7488,"(/ (* (pow (cos z0) 4) z1) z2)":13952,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) z1)":9152,"(/ (* (sin z0) (cos z1)) z2)":13888,"(/ (* (sin z0) z1) z2)":7488,"(/ (* (sqrt (fabs (- z0 -1))) (- E)) z1)":2176,"(/ (* (sqrt (fabs (- z0 -1))) E) z1)":2048,"(/ (* (sqrt 2) 1/2) z0)":1728,"(/ (* (sqrt z0) z1) z2)":1728,"(/ (* (tan (+ (* 1/2 z0) (/ PI 4))) z1) z2)":8704,"(/ (* z0 (sin z1)) z2)":7488,"(/ (* z0 (sqrt z1)) z2)":1728,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":2560,"(/ (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":2560,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z2 (* (sin z1) (sin z1)))))":28032,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) z2)":14400,"(/ (+ 1 (* z0 (- (- 1 (* 1/2 (cos (+ z1 z1)))) 1/2))) z2)":8576,"(/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (+ 1 (* z2 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))))":16384,"(/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) z2)":8576,"(/ (+ 1 (* z0 (pow (sin z1) 2))) z2)":14144,"(/ (+ 1 (* z0 (sin z1))) z2)":7680,"(/ (- (* (* -1/2 z0) (- 1 (cos (+ z1 z1)))) 1) z2)":8384,"(/ (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) z2)":8384,"(/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) z2)":8384,"(/ (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1) z2)":8704,"(/ (- (* (sin z0) z1) -1) z2)":7680,"(/ (- (* -1/2 (* (- 1 (cos (+ z0 z0))) z1)) 1) z2)":8384,"(/ (- (cos z0)) z1)":7296,"(/ (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2368,"(/ (- (sqrt (- (* z0 z0) 1))) z1)":2048,"(/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":8384,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":16000,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2)":8384,"(/ (- z0) (sqrt (+ (* z1 z1) (* z2 z2))))":2368,"(/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) (fabs z2))":16384,"(/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) z2)":16256,"(/ (cos z0) z1)":7168,"(/ (fabs (* (- z0 1) E)) z1)":1408,"(/ (fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))) z2)":8512,"(/ (fabs (- -1 (* z0 z0))) z1)":1408,"(/ (sin (* z0 1/2)) z1)":7488,"(/ (sin z0) (cos z1))":13568,"(/ (sin z0) z1)":7168,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (- z1))":2688,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) z1)":2560,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) (- (* z0 z2) (* z1 z1)))":3072,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) (- (* z1 z1) (* z0 z2)))":3072,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":2240,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":8320,"(/ (sqrt (- (* z0 z0) 1)) z1)":1920,"(/ (sqrt (fabs (* (- z0 1) E))) (sqrt E))":2688,"(/ (sqrt (fabs (* (- z0 1) E))) z1)":2048,"(/ (sqrt (fabs (- z0 -1))) z1)":1728,"(/ (sqrt (sqrt (- 1 z0))) z1)":2240,"(/ (sqrt 1/2) z0)":1408,"(/ (sqrt 2) z0)":1408,"(/ (sqrt z0) z1)":1408,"(/ (tan z0) z1)":7168,"(/ -1 (- (* (sin z0) z1) 1))":7680,"(/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ -1 (sin z0))":7168,"(/ -1 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ -1 (sqrt z0))":1408,"(/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ 1 (* (* (cos z0) z1) (cos z2)))":14208,"(/ 1 (* (cos z0) (- (* (* (- -1 z1) z2) z2) -1)))":8512,"(/ 1 (* (cos z0) (cos z1)))":13888,"(/ 1 (/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) (fabs z2)))":17088,"(/ 1 (cos z0))":7168,"(/ 1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ 1 (sin z0))":7168,"(/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":2560,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ 1 (sqrt (- 1 z0)))":1600,"(/ 1 (sqrt (fabs (- z0 1))))":1728,"(/ 1 (sqrt z0))":1408,"(/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15872,"(/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) (- E)))":3008,"(/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) E))":2880,"(/ z0 (* (cos z1) (sin z2)))":13888,"(/ z0 (* (sqrt z1) z2))":1728,"(/ z0 (* z1 (* (sqrt z2) z1)))":2048,"(/ z0 (* z1 (cos z2)))":7488,"(/ z0 (+ 1 (* z1 (* (sin z2) (sin z2)))))":14400,"(/ z0 (+ 1 (* z1 (- 1 (+ 1/2 (* 1/2 (cos (+ z2 z2))))))))":8576,"(/ z0 (+ 1 (* z1 (pow (sin z2) 2))))":14144,"(/ z0 (+ 1 (+ (* (* 1/2 z1) 1) (* (* 1/2 z1) (- (cos (+ z2 z2)))))))":9152,"(/ z0 (+ 1 (sin z1)))":7360,"(/ z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) -1))":8384,"(/ z0 (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) (* z2 z2)) -1))":8704,"(/ z0 (- (* (- 1 (cos (+ z1 z1))) (* -1/2 z2)) -1))":8384,"(/ z0 (- (* (sin z1) z2) 1))":7680,"(/ z0 (- (- (sqrt (+ (* z1 z1) (* z2 z2))))))":2496,"(/ z0 (- (/ 1 (sqrt (fabs (- z1 1))))))":2560,"(/ z0 (- (cos z1)))":7296,"(/ z0 (- (sin z1) -1))":7360,"(/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":2368,"(/ z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8384,"(/ z0 (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))":8384,"(/ z0 (/ 1 (* (cos z1) (cos z2))))":14592,"(/ z0 (/ 1 (cos z1)))":7872,"(/ z0 (/ 1 (fabs z1)))":1600,"(/ z0 (/ 1 (sin z1)))":7872,"(/ z0 (atan (exp (/ z1 z2))))":14272,"(/ z0 (cos (* (+ (* 2 z1) PI) -1/4)))":8000,"(/ z0 (cos (* (+ (* z1 2) PI) -1/4)))":8000,"(/ z0 (cos (* (+ (+ z1 z1) PI) 1/4)))":7872,"(/ z0 (cos (- (* -1/4 PI) (* z1 1/2))))":8000,"(/ z0 (cos z1))":7168,"(/ z0 (fabs (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))))":8512,"(/ z0 (sin (- (* z1 1/2) (* 1/4 PI))))":8000,"(/ z0 (sin z1))":7168,"(/ z0 (sqrt (+ (* (* z1 z0) z0) (* z2 z2))))":2560,"(/ z0 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ z0 (sqrt (+ (* z1 z1) (* z0 z0))))":2240,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":2240,"(/ z0 (sqrt (- (* (* (- (cos (+ z1 z1)) 1) 1/2) z2) -1)))":9024,"(/ z0 (sqrt (- (* z1 z1) -1)))":1920,"(/ z0 (sqrt (fabs (- 1 z1))))":1728,"(/ z0 (sqrt (fabs (- z1 1))))":1728,"(/ z0 (sqrt (fabs z1)))":1536,"(/ z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))":2880,"(/ z0 (sqrt 2))":1408,"(/ z0 (sqrt E))":1408,"(/ z0 (sqrt z1))":1408,"(atan2 z0 (cos (* z1 z2)))":13248,"(atan2 z0 (sin (- (* PI 1/2) (* z1 z2))))":13760,"(cos (* (+ (* 2 z0) PI) -1/4))":7296,"(cos (* (+ (+ z0 z0) PI) 1/4))":7168,"(cos (* -1/4 (+ (+ z0 z0) PI)))":7168,"(cos (* -2 (+ (/ z0 z1) z2)))":7680,"(cos (* 2 (+ (/ z0 z1) z2)))":7680,"(cos (* z0 z1))":6784,"(cos (+ (/ z0 z1) z2))":7360,"(cos (+ z0 z1))":6656,"(cos (- (* -1/4 PI) (* z0 1/2)))":7296,"(cos (- (* z0 1/2) (* -1/4 PI)))":7296,"(cos (- (/ z0 z1) z2))":7360,"(cos (- z0 z1))":6656,"(cos (/ z0 z1))":7168,"(fabs (* (* E (- z0 1)) (- z0 -1)))":1216,"(fabs (* (* z0 z1) z0))":832,"(fabs (* (- z0 1) E))":704,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2))))":15936,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))":15168,"(fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))":21632,"(fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))))":15936,"(fabs (+ (* (pow (cos z0) 4) z1) z2))":13568,"(fabs (+ z0 (* (pow (cos z1) 4) z2)))":13568,"(fabs (- (* E z0) E))":704,"(fabs (- (- (* PI 1/2) (fabs (* z0 z1))) (* PI 1/2)))":1664,"(fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":7808,"(fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))":7808,"(fabs (/ (+ (* (- z0) E) E) E))":1536,"(fabs (/ 1 (sqrt (fabs (- z0 1)))))":1856,"(fabs (sin (+ (/ z0 z1) z2)))":7488,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":20992,"(log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)))":20992,"(log (fabs (- -1 z0)))":6784,"(log (fabs (- z0 1)))":6784,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":14080,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2)":14144,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":21376,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) z2)":21056,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2))":21376,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) z2)":21056,"(pow (/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))) -1)":22336,"(pow (/ z0 z1) (/ 1 z2))":7936,"(pow (/ z0 z1) z2)":7232,"(pow (cos z0) 4)":12928,"(pow (sin z0) 2)":12928,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1)":13760,"(sin (* -3 z0))":6784,"(sin (* 3 z0))":6784,"(sin (* z0 z1))":6784,"(sin (+ (* z0 1/2) (* 1/4 PI)))":7296,"(sin (+ (/ z0 z1) z2))":7360,"(sin (+ z0 z1))":6656,"(sin (- (* -1/2 z0) PI))":6976,"(sin (- (* 1/4 PI) (* z0 1/2)))":7296,"(sin (- (* PI 1/2) (* z0 z1)))":7296,"(sin (- (* z0 1/2) (* -1/4 PI)))":7296,"(sin (- (* z0 1/2) (* 1/4 PI)))":7296,"(sin (- (* z0 1/2) (* PI -3/4)))":7296,"(sin (- z0 z1))":6656,"(sin (/ z0 z1))":7168,"(sqrt (* (+ (* (* z0 z1) z1) (* z2 z2)) 2))":2176,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)))":8768,"(sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0))))":2304,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":1920,"(sqrt (+ (* (* z0 z0) z1) (* z2 z2)))":1856,"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))":1856,"(sqrt (+ (* z0 z0) (* z1 z1)))":1536,"(sqrt (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":8320,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":2240,"(sqrt (- (* z0 z0) -1))":1216,"(sqrt (- (* z0 z0) 1))":1216,"(sqrt (- (/ (* (pow (cos z0) 4) z1) z2) -1))":14784,"(sqrt (/ (+ (* (/ z0 z1) z0) z1) z1))":2624,"(sqrt (/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (+ 1 (* z2 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))))":17024,"(sqrt (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2))))":16640,"(sqrt (fabs (* (- z0 1) E)))":1344,"(sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":15808,"(sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)))":22272,"(sqrt (fabs (* z0 z1)))":1152,"(sqrt (fabs (+ (* (/ z0 z1) z0) z1)))":2048,"(sqrt (fabs (+ (* (pow (cos z0) 4) z1) z2)))":14208,"(sqrt (fabs (+ z0 (* (pow (cos z1) 4) z2))))":14208,"(sqrt (fabs (- (* E z0) E)))":1344,"(sqrt (fabs (- (* z0 z0) 1)))":1344,"(sqrt (fabs (- 1 (* z0 z0))))":1344,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":2176,"(sqrt (sqrt (fabs z0)))":1472,"(sqrt (sqrt (sqrt (fabs z0))))":2112,"(sqrt (sqrt z0))":1344,"(tan (* (+ (+ z0 z0) PI) 1/4))":7168,"(tan (+ (/ PI 4) (* 1/2 z0)))":7680,"(tan (- (* 5/4 PI) (* -1/2 z0)))":7296,"(tan (- (* z0 1/2) (* -1/4 PI)))":7296}