(((sqrt (+ z0 (* z1 z1))) . 1216) ((sqrt (+ (* z0 z0) z1)) . 1216) ((sqrt (sqrt z0)) . 1344) ((* (sin z0) z1) . 6784) ((sqrt (- (* z0 z0) 1)) . 1216) ((sqrt (+ (* z0 z0) (* z1 z1))) . 1536) ((* z0 (sin z1)) . 6784) ((/ (sqrt (- (* z0 z0) 1)) z1) . 1920) ((/ 1 (sqrt z0)) . 1408) ((* z0 (* (sqrt 2) 1/2)) . 1344) ((* (sqrt z0) z1) . 1024) ((* (cos z0) z1) . 6784) ((/ z0 (sqrt z1)) . 1408) ((* z0 (cos z1)) . 6784) ((- 1 (cos z0)) . 6656) ((/ 2 (sqrt z0)) . 1408) ((* z0 (sqrt (fabs z1))) . 1152) ((- 1 (cos (+ z0 z0))) . 6848) ((/ z0 (cos z1)) . 7168) ((* z0 (/ (sqrt 2) 2)) . 1728) ((* (sqrt (fabs z0)) z1) . 1152) ((* (/ (sqrt 2) 2) z0) . 1728) ((* z0 (sqrt z1)) . 1024) ((* (* (sqrt 2) 1/2) z0) . 1344) ((* z0 (- 1 (cos (+ z1 z1)))) . 7168) ((/ 1 (pow z0 -1)) . 7232) ((/ (sqrt z0) (cos z1)) . 7808) ((* (sqrt z0) (fabs z1)) . 1152) ((sqrt (- z0 (* z1 (* z2 z2)))) . 1536) ((/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) . 2240) ((* z0 (sqrt (fabs (- z1 -1)))) . 1344) ((/ 1 (sqrt (fabs (- z0 1)))) . 1728) ((* z0 (sqrt (sqrt (fabs (- 1 z1))))) . 1984) ((* (sqrt 2) z0) . 1024) ((sqrt (* z0 (fabs z1))) . 1152) ((sqrt (+ (* (* z0 z1) z1) z2)) . 1536) ((* z0 (sqrt (fabs (- -1 z1)))) . 1344) ((* (sqrt (+ (* z0 z0) (* z1 z1))) z2) . 1856) ((atan (/ (sqrt (- (* z0 z0) 1)) z1)) . 8320) ((/ (sqrt (- (* z0 z0) 1)) (cos z1)) . 8320) ((* z0 (log z1)) . 6784) ((* z0 (sqrt 2)) . 1024) ((* (sqrt (fabs (- 1 z0))) z1) . 1344) ((sqrt (+ (* (* z0 z1) z1) (* z2 z2))) . 1856) ((* z0 (* z1 (sin z2))) . 7104) ((* z0 (sqrt (+ (* z1 z1) (* z2 z2)))) . 1856) ((- (sqrt (+ (* z0 z0) (* z1 z1)))) . 1664) ((sqrt (sqrt (fabs z0))) . 1472) ((* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) . 7488) ((* (sqrt (fabs (- z0 1))) z1) . 1344) ((- (cos z0) 1) . 6656) ((* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) . 7488) ((/ (* (sqrt 2) 1/2) z0) . 1728) ((* (sqrt (sqrt (fabs (- z0 1)))) z1) . 1984) ((- (cos (+ z0 z0)) 1) . 6848) ((* (sqrt z0) (+ z1 z2)) . 1216) ((sqrt (/ 1 z0)) . 1408) ((/ z0 (- 1 (* z1 (sin z2)))) . 7680) ((/ (* z0 z1) (sqrt z2)) . 1728) ((sin (- (* z0 1/2) z1)) . 6976) ((cos (+ z0 z1)) . 6656) ((fabs (* z0 (sqrt (fabs z1)))) . 1280) ((/ 1 (sin z0)) . 7168) ((/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) . 2240) ((sin (* 3 z0)) . 6784) ((* (log z0) z1) . 6784) ((- (cos z0) -1) . 6656) ((* z0 (tan z1)) . 6784) ((/ (+ 1 z0) (- 1 (* z1 (sin z2)))) . 7872) ((* z0 (* (sin z1) z2)) . 7104) ((sqrt (sqrt (+ (* z0 z0) (* z1 z1)))) . 2176) ((cos (- z0 z1)) . 6656) ((* z0 (cos (* -1/2 z1))) . 7104) ((* z0 (sin (* z1 1/2))) . 7104) ((/ (- -1 (* (sin z0) z1)) z2) . 7680) ((* (sqrt (fabs z0)) (fabs z0)) . 1280) ((* z0 (* (cos z1) z2)) . 7104) ((/ -1 (sqrt z0)) . 1408) ((- (cos (+ z0 z0)) -1) . 6848) ((/ (- -1 z0) (- (* (sin z1) z2) 1)) . 7872) ((fabs (* (sqrt (fabs z0)) z1)) . 1280) ((* (sqrt z0) (fabs (- z1 -1))) . 1344) ((sqrt (fabs (* z0 z1))) . 1152) ((sin (* z0 z1)) . 6784) ((* (cos (* -1/2 z0)) z1) . 7104) ((sqrt (* z0 (fabs (- z1 -1)))) . 1344) ((* (atan z0) z1) . 6784) ((* (- (* (sqrt 2) 1/2)) z0) . 1472) ((sqrt (* z0 (fabs (- -1 z1)))) . 1344) ((* (pow z0 4) z1) . 6848) ((* (tan z0) z1) . 6784) ((* (sqrt z0) (sqrt (fabs (- z1 -1)))) . 1984) ((sin (+ z0 z1)) . 6656) ((* (cos z0) (sin z1)) . 13184) ((/ 1 (cos z0)) . 7168) ((- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) . 7680) ((* (sqrt z0) (sqrt (fabs (- -1 z1)))) . 1984) ((* (sin (* -1/2 z0)) z1) . 7104) ((sin (- z0 (* 1/4 PI))) . 6976) ((* (sqrt z0) (fabs (- -1 z1))) . 1344) ((sin (+ z0 PI)) . 6656) ((sqrt (/ z0 (+ 1 (* z1 z1)))) . 1920) ((* z0 (- (sqrt (fabs (- z1 -1))))) . 1472) ((* (* z0 z1) (sqrt z2)) . 1344) ((- (/ 1 (sqrt (fabs (- z0 1))))) . 1856) ((/ (sqrt z0) z1) . 1408) ((- (* (cos (+ z0 z0)) 1/2) 1/2) . 7168) ((/ z0 (sin z1)) . 7168) ((* (- z0) (sin z1)) . 6912) ((* (sin (* 3 z0)) z1) . 7104) ((* (sqrt 2) (sqrt z0)) . 1664) ((* (- (sqrt (fabs z0))) z1) . 1280) ((- (* z0 (sqrt (fabs z1)))) . 1280) ((- 1/2 (* 1/2 (cos (+ z0 z0)))) . 7168) ((sqrt (* z0 z1)) . 1024) ((* (sin (+ z0 z0)) z1) . 6976) ((sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) . 2496) ((* (sqrt (fabs (- z0 1))) (- z1)) . 1472) ((+ 1/2 (* 1/2 (cos (+ z0 z0)))) . 7168) ((sqrt (* (sqrt (fabs z0)) z1)) . 1792) ((* (- 1 (cos (+ z0 z0))) z1) . 7168) ((sin (- (* z0 1/2) (* 1/4 PI))) . 7296) ((/ (cos z0) z1) . 7168) ((cos (* z0 z1)) . 6784) ((* (sqrt (fabs (- 1 z0))) (sqrt z1)) . 1984) ((log (tan z0)) . 12864) ((/ -1 (sin z0)) . 7168) ((* (sqrt (sqrt (fabs (- z0 1)))) (sqrt z1)) . 2624) ((fabs (* (* z0 z0) z1)) . 832) ((tan (* (+ (+ z0 z0) PI) 1/4)) . 7168) ((* (sin (* z0 1/2)) z1) . 7104) ((sin (- z0 (* -1/4 PI))) . 6976) ((* (* z0 (sin z1)) z2) . 7104) ((* (sin (* 4 z0)) z1) . 7104) ((/ (sqrt (fabs (- z0 -1))) z1) . 1728) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (+ z1 z2)) . 2048) ((- (* z0 (sqrt (sqrt (fabs (- 1 z1)))))) . 2112) ((* (sin z0) (cos z1)) . 13184) ((* (sqrt (fabs z0)) (fabs z1)) . 1280) ((* (sin z0) (* (sqrt 2) 1/2)) . 7744) ((/ 1 (* z0 (cos z1))) . 7488) ((sqrt (* (sqrt (fabs z0)) (fabs z0))) . 1920) ((* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2))))) . 2560) ((- -1 (* z0 (- 1 (cos (+ z1 z1))))) . 7360) ((- 1/2 (* (cos (+ z0 z0)) 1/2)) . 7168) ((* (sin z0) (sin z0)) . 13184) ((* (* (sin z0) z1) z2) . 7104) ((* (- (cos (+ z0 z0)) 1) z1) . 7168) ((* (* z0 (sqrt (fabs (- z1 -1)))) (sqrt (sqrt (fabs (- 1 z1))))) . 3264) ((tan (- z0 (* -1/2 z1))) . 6976) ((- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) . 7680) ((sin (+ z0 (* 1/4 PI))) . 6976) ((* (sqrt z0) (sqrt (fabs z1))) . 1792) ((* (* z0 (sqrt 2)) 1/2) . 1344) ((- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) . 7680) ((sqrt (fabs (- 1 (* z0 z0)))) . 1344) ((/ 1 (* (cos z0) z1)) . 7488) ((pow (cos z0) 4) . 12928) ((sin (+ z0 (* PI 1/2))) . 6976) ((* (- (sin z0)) z1) . 6912) ((* (sqrt (fabs (- 1 z0))) (fabs z1)) . 1472) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (* z2 z0)) . 2176) ((sin (- z0 z1)) . 6656) ((/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2)))) . 2560) ((cos (* (+ (+ z0 z0) PI) -1/4)) . 7168) ((- (* z0 (sqrt (fabs (- -1 z1))))) . 1472) ((sin (- (* -1/2 z0) z1)) . 6976) ((* (/ (sqrt 2) 2) (sin z0)) . 8128) ((* (* z0 z1) (cos z2)) . 7104) ((* (sin (* -1/2 z0)) (/ z1 2)) . 7808) ((sqrt (- (* z0 z0) -1)) . 1216) ((* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0)))) . 2304) ((/ (sin z0) z1) . 7168) ((* (sin z0) (/ (sqrt 2) 2)) . 8128) ((pow (* z0 z1) -1) . 6848) ((/ 1 (sqrt (fabs z0))) . 1536) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (* (+ z1 z2) z0)) . 2368) ((- (sqrt (- (* z0 z0) 1))) . 1344) ((* (sqrt (fabs (- z0 1))) (fabs z1)) . 1472) ((/ 2 (sqrt (fabs z0))) . 1536) ((* (* (sqrt 2) z0) (sqrt (fabs (- z1 -1)))) . 2304) ((* z0 (sin (* 4 z1))) . 7104) ((* (* (cos z0) z1) z2) . 7104) ((cos (* (+ (+ z0 z0) PI) 1/4)) . 7168) ((* (sin (* z0 1/2)) (* z1 1/2)) . 7424) ((+ (* (sin (* 3 z0)) z1) z2) . 7296) ((* (sqrt z0) (- (sqrt (fabs (- z1 -1))))) . 2112) ((* z0 (* (sin z1) (sin z1))) . 13504) ((* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2) . 15040) ((sqrt (+ (* (* z0 z0) z1) z2)) . 1536) ((/ z0 (sqrt (+ (* z1 z1) (* z0 z0)))) . 2240) ((sqrt (- z0 (* (* z1 z1) z2))) . 1536) ((* z0 (/ z1 (cos z2))) . 7488) ((* (pow (cos z0) 4) z1) . 13248) ((* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) . 8448) ((* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) . 7488) ((sin (- z0 (* z1 1/2))) . 6976) ((sqrt (* (sqrt (fabs (- 1 z0))) z1)) . 1984) ((fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) . 15168) ((tan (- (* 5/4 PI) z0)) . 6976) ((* (* z0 z1) (sin z2)) . 7104) ((+ (cos z0) 1) . 6656) ((tan (+ z0 (* 1/2 z1))) . 6976) ((* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) . 2944) ((log (/ z0 (- 1 (* z1 (sin z2))))) . 14080) ((log (/ (+ 1 (* z0 (sin z1))) z2)) . 14080) ((* z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))) . 1984) ((* (* (sqrt (fabs z0)) z1) (sqrt (fabs z0))) . 2240) ((sin (+ (* -1/2 z0) z1)) . 6976) ((tan (- (* 5/4 PI) (* -1/2 z0))) . 7296) ((fabs (+ (* z0 z1) (* z2 z2))) . 1024) ((* z0 (pow z1 2)) . 6848) ((/ z0 (sin (- (* z1 1/2) (* 1/4 PI)))) . 8000) ((* (sqrt z0) (sqrt (sqrt (fabs (- 1 z1))))) . 2624) ((* (/ 1 z0) (sqrt (fabs z1))) . 1856) ((cos (+ z0 PI)) . 6656) ((tan (- z0 -27401669256311/40000000000000)) . 6656) ((* (sin (* z0 z1)) z2) . 7104) ((/ (* (sqrt (fabs (- z0 -1))) 2) z1) . 2048) ((log (/ z0 (- (* (sin z1) z2) 1))) . 14080) ((+ 1 (* z0 (* (sin z1) (sin z1)))) . 13696) ((* (cos z0) (* (sqrt 2) 1/2)) . 7744) ((pow (sqrt z0) 2) . 7168) ((* (sin (* z0 1/2)) (* (sqrt 2) 1/2)) . 8064) ((* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) z1) . 3264) ((* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 7488) ((* z0 (sqrt (sqrt (sqrt (fabs (- z1 1)))))) . 2624) ((/ 1 (pow z0 -2)) . 7232) ((sin (+ (* -1/2 z0) (* 1/4 PI))) . 7296) ((* z0 (sqrt (fabs (* z1 z2)))) . 1472) ((log (/ (- -1 (* (sin z0) z1)) z2)) . 14080) ((- 1/2 (* -1/2 (cos (+ z0 z0)))) . 7168) ((- (sqrt (fabs (* z0 z1)))) . 1280) ((* (/ z0 2) (sin (* z1 1/2))) . 7808) ((* (sin (* 1/4 PI)) z0) . 7104) ((* (- z0) (* (sqrt 2) 1/2)) . 1472) ((* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))) . 2560) ((* (cos (* -1/2 z0)) (* z1 1/2)) . 7424) ((* (cos (* -1/2 z0)) (/ z1 2)) . 7808) ((* (sqrt (sqrt (fabs z0))) z1) . 1792) ((* z0 (- (sqrt (fabs z1)))) . 1280) ((* z0 (sqrt (sqrt (fabs (- z1 1))))) . 1984) ((- 1/2 (* (cos (+ z0 z0)) -1/2)) . 7168) ((* (cos z0) (/ (sqrt 2) 2)) . 8128) ((* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2) . 2560) ((* z0 (- (cos (+ z1 z1)) 1)) . 7168) ((sqrt (* z0 (* z1 z1))) . 1344) ((* (- z0) (sqrt (+ (* z1 z1) (* z2 z2)))) . 1984) ((cos (- z0 (* z1 1/2))) . 6976) ((- -1/2 (* -1/2 (cos (+ z0 z0)))) . 7168) ((sin (- z0 PI)) . 6656) ((/ (sqrt (fabs (- z0 -1))) (- z1)) . 1856) ((sqrt (fabs (- (* z0 z0) 1))) . 1344) ((tan (+ z0 PI)) . 6656) ((cos (- (* z0 1/2) z1)) . 6976) ((* (* (tan z0) 1/2) z1) . 7104) ((tan (+ (/ PI 4) z0)) . 7360) ((* (sqrt z0) (cos z1)) . 7424) ((* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) . 7808) ((- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))) . 2688) ((* (/ z0 (cos z1)) z2) . 7488) ((sin (- (* z0 1/2) (* -1/4 PI))) . 7296) ((- z0 (- -1/2 (* -1/2 (cos (+ z1 z1))))) . 7360) ((* (- z0) (sqrt z1)) . 1152) ((* z0 (sqrt (fabs (* 1/2 (sqrt (fabs (- z1 1))))))) . 2432) ((* (sqrt (sqrt (fabs (- z0 1)))) (fabs z1)) . 2112) ((* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) . 7488) ((* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1))))) . 2432) ((sqrt (* (sqrt (fabs (- z0 1))) z1)) . 1984) ((- 1 (* z0 (- 1 (cos (+ z1 z1))))) . 7360) ((* (* z0 z1) (tan z2)) . 7104) ((* (/ (sqrt 2) 2) (sin (* z0 1/2))) . 8448) ((* (* (- (cos (+ z0 z0)) 1) z1) 1/2) . 7488) ((/ 1/2 (sqrt z0)) . 1408) ((* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) . 8064) ((* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) . 8448) ((cos (- z0 (* -1/4 PI))) . 6976) ((+ (cos (+ z0 z0)) 1) . 6848) ((* (/ 2 (sqrt (fabs z0))) z1) . 1856) ((sin (- (* 1/4 PI) z0)) . 6976) ((- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) . 7680) ((- (* z0 (- 1 (cos (+ z1 z1)))) -1) . 7360) ((* z0 (- (* (cos (+ z1 z1)) 1/2) 1/2)) . 7488) ((sin (- (* -1/2 z0) (* -1/4 PI))) . 7296) ((tan (+ (/ PI 4) (* 1/2 z0))) . 7680) ((- (- (sqrt (fabs (* z0 z1))))) . 1408) ((/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) . 2240) ((* z0 (- (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2) -1)) . 8000) ((* (sqrt (fabs z0)) z0) . 1152) ((* (/ (sqrt 2) 2) (cos z0)) . 8128) ((* (- (cos z0)) z1) . 6912) ((* (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) z2) . 2560) ((sqrt (- z0 (- -1/2 (* -1/2 (cos (+ z1 z1)))))) . 8000) ((cos (+ (fabs z0) z1)) . 6784) ((sqrt (- (* (/ z0 (* z1 z1)) z0) -1)) . 2240) ((log (fabs (- z0 1))) . 6784) ((/ (* (sqrt (fabs (- z0 -1))) 2) (* z1 2)) . 2368) ((/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) z1) . 9152) ((* (* z0 (cos z1)) z2) . 7104) ((sqrt (- (* z0 z0) z1)) . 1216) ((cos (+ z0 (fabs z1))) . 6784) ((* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) . 7488) ((sqrt (* (sqrt (sqrt (fabs (- z0 1)))) z1)) . 2624) ((* (- (sqrt 2)) z0) . 1152) ((* (* z0 (sin z1)) (* z0 z2)) . 7424) ((* (* z0 z1) (* z0 (sin z2))) . 7424) ((* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (sqrt z1)) . 3904) ((* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2) . 8000) ((sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) . 2304) ((cos (- (* z0 1/2) (* -1/4 PI))) . 7296) ((* (- (cos (+ z0 z0)) -1) 1/2) . 7168) ((/ z0 (* (sqrt (+ (* z0 z0) (* z1 z1))) z2)) . 2560) ((cos (- (- z0) z1)) . 6784) ((+ (cos (- z0 z1)) z2) . 6848) ((- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) . 7680) ((/ (sqrt 1/2) z0) . 1408) ((* z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 8000) ((cos (+ (- z0) z1)) . 6784) ((cos (- (* -1/4 PI) z0)) . 6976) ((- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) . 7680) ((sqrt (* (* z0 z0) z1)) . 1344) ((* z0 (atan z1)) . 6784) ((* z0 (sin (* 3 z1))) . 7104) ((sqrt (+ (* (* z0 z0) z1) (* z2 z2))) . 1856) ((* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1))) . 2304) ((sin (- z0 (* -1/2 PI))) . 6976) ((pow (sin z0) 2) . 12928) ((/ z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))) . 2880) ((/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) z1) . 9152) ((sqrt (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))) . 3136) ((* (/ z0 2) (cos (* -1/2 z1))) . 7808) ((/ (sqrt 2) z0) . 1408) ((+ (* (- 1 (cos (+ z0 z0))) z1) 2) . 7360) ((/ z0 (- 1 (* (sin z1) z2))) . 7680) ((/ 2 (sqrt (fabs (- z0 1)))) . 1728) ((* (+ (cos (+ z0 z0)) 1) 1/2) . 7168) ((* (sqrt z0) (sqrt (sqrt (sqrt (fabs (- z1 1)))))) . 3264) ((cos (- z0 (fabs z1))) . 6784) ((tan (- (* z0 1/2) z1)) . 6976) ((- (sqrt (fabs (- (* z0 z0) 1)))) . 1472) ((+ 1/2 (* 1/2 (cos (* 2 z0)))) . 7296) ((- (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 2240) ((log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1))))) . 20992) ((* (- z0) (sqrt (fabs (* z1 z2)))) . 1600) ((* z0 (/ 1 (sin z1))) . 7488) ((- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))) . 2304) ((cos (- (fabs z0) z1)) . 6784) ((* (- (/ 1 (sqrt (fabs (- z0 1))))) 2) . 2176) ((* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 7488) ((* (* z0 (fabs z1)) z1) . 832) ((+ (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 2240) ((* (* (fabs z0) z0) z1) . 832) ((* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2)))))) . 21312) ((+ z0 (* (sin (* 4 z1)) z2)) . 7296) ((* z0 (- (cos (+ z1 z1)) -1)) . 7168) ((* z0 (sqrt (sqrt (fabs z1)))) . 1792) ((/ z0 (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ z1 z2))) . 2752) ((/ (- z0) (sqrt z1)) . 1536) ((- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) -1) . 7680) ((* (* (sqrt 2) 1/2) (cos z0)) . 7744) ((cos (- z0 (- z1))) . 6784) ((* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) z1) . 2624) ((tan (+ 27401669256311/40000000000000 z0)) . 6656) ((* (- z0) (cos z1)) . 6912) ((* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) . 3072) ((* (* (tan z0) 1/2) (- z1 z2)) . 7296) ((- (+ (fabs z0) (* PI 1/2)) (+ z1 (* PI 1/2))) . 1408) ((* z0 (sqrt 1/2)) . 1024) ((/ z0 (/ 1 (sin z1))) . 7872) ((* (cos (* -1/4 PI)) z0) . 7104) ((sqrt (* (* (* z0 z0) z1) z1)) . 1664) ((atan (/ z0 (- (* (* (- -1 z1) z2) z2) -1))) . 8192) ((* (- (sqrt (fabs z0))) (fabs z1)) . 1408) ((sin (- (* -1/4 PI) z0)) . 6976) ((* (- (+ z0 z1)) (sqrt z2)) . 1344) ((+ z0 (cos (* z1 z2))) . 6976) ((+ (* (pow (cos z0) 4) z1) z2) . 13440) ((log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) . 20992) ((* (- (- (sqrt (fabs (* z0 z1))))) z2) . 1728) ((cos (- (* -1/4 PI) (* z0 1/2))) . 7296) ((* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2) . 1984) ((* (- 1 z0) (* (cos z1) z2)) . 7296) ((* z0 (- 1/2 (* -1/2 (cos (+ z1 z1))))) . 7488) ((/ z0 (* (sqrt z0) z1)) . 1728) ((cos (+ z0 (- z1))) . 6784) ((sin (- (* 1/4 PI) (* z0 1/2))) . 7296) ((* (cos z0) (sqrt z1)) . 7424) ((- (+ z0 (* PI 1/2)) (+ (fabs z1) (* PI 1/2))) . 1408) ((* (/ (sqrt 2) 2) (cos (* -1/2 z0))) . 8448) ((tan (+ (* 1/2 z0) z1)) . 6976) ((/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))) . 2368) ((/ (* (sqrt 2) 1/2) (cos z0)) . 8128) ((fabs (/ 1 (sqrt (fabs (- z0 1))))) . 1856) ((+ (* (sin (* 3 z0)) z1) (* (sin z0) z2)) . 14016) ((/ 1 (pow z0 -1/2)) . 7232) ((- (* z0 (- (cos (+ z1 z1)) 1)) -1) . 7360) ((* z0 (- (sin z1))) . 6912) ((* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) . 15040) ((sin (* (+ (+ z0 z0) PI) 1/4)) . 7168) ((* (* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) z1) . 3392) ((* (* (sqrt (sqrt (fabs (- z0 1)))) z1) (sqrt (sqrt (fabs (- 1 z0))))) . 3904) ((/ 1 (* (/ 2 (sqrt (fabs z0))) z1)) . 2560) ((* (pow z0 2) z1) . 6848) ((* (sqrt (sqrt (fabs z0))) (fabs z0)) . 1920) ((/ z0 (/ 1 (fabs z1))) . 1600) ((* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) . 7808) ((/ (sqrt (+ (* z0 z0) (* z1 z1))) z2) . 2240) ((- (* (- 1 (cos (+ z0 z0))) z1) -2) . 7360) ((/ z0 (cos (* (+ (+ z1 z1) PI) -1/4))) . 7872) ((* (fabs z0) (* (fabs z0) z1)) . 960) ((fabs (- z0 (* z1 (* z2 z2)))) . 1024) ((asin (+ (* (cos z0) (sin z1)) z2)) . 19776) ((cos (* (+ (* z0 2) PI) -1/4)) . 7296) ((/ (* z0 z0) (sqrt z1)) . 1728) ((* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2) . 21312) ((- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 2560) ((- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) z1) . 8256) ((- z0 (sqrt (* (* (* z1 z1) z2) z2))) . 1856) ((- (cos z0) (sin (* -1/2 z1))) . 13376) ((- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1) . 7680) ((/ -1 (sqrt (fabs (- z0 1)))) . 1728) ((/ z0 (- (/ 1 (sqrt (fabs (- z1 1)))))) . 2560) ((- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1) . 8000) ((/ z0 (sqrt (- (* z1 z1) -1))) . 1920) ((- (* z0 (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) . 7680) ((pow (/ z0 z1) z2) . 7232) ((/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) z1) . 9152) ((* z0 (/ 1 (sqrt (fabs (- z1 1))))) . 2048) ((* (/ 2 (sqrt (fabs z0))) (/ 1/2 z1)) . 2560) ((/ z0 (sqrt 2)) . 1408) ((+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 2560) ((/ (cos z0) (sqrt z1)) . 7808) ((sin (- (* 1/2 PI) z0)) . 6976) ((+ z0 (cos (+ z1 z2))) . 6848) ((- 1 (sin z0)) . 6656) ((/ 1 (* (sin z0) z1)) . 7488) ((sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) . 2944) ((sqrt (* (* z0 z0) (* z0 z0))) . 1664) ((/ -2 (sqrt z0)) . 1408) ((sin (/ z0 z1)) . 7168) ((sqrt (sqrt (sqrt (fabs z0)))) . 2112) ((* z0 (* (fabs z1) z2)) . 832) ((* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2) . 8000) ((/ z0 (cos (* (+ (+ z1 z1) PI) 1/4))) . 7872) ((* (fabs z0) (sqrt (fabs z1))) . 1280) ((* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) . 7488) ((atan (* z0 (/ z1 z2))) . 7488) ((* 1 (- (sqrt (fabs (- (* z0 z0) 1))))) . 1792) ((* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2))) . 3328) ((/ (+ (sqrt (fabs z0)) z1) (fabs z0)) . 1856) ((* (sqrt z0) (fabs (- z1 1))) . 1344) ((sqrt (* z0 (fabs (- z1 1)))) . 1344) ((/ 1 (* (cos z0) (cos z1))) . 13888) ((/ (+ z0 (sqrt (fabs z1))) (fabs z1)) . 1856) ((* (cos (* 1/4 PI)) z0) . 7104) ((* z0 (sin (* 1/4 PI))) . 7104) ((tan (+ z0 (/ PI 4))) . 7360) ((- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) . 8000) ((* (* z0 z0) (sqrt z1)) . 1344) ((- (+ z0 PI) (+ (fabs z1) PI)) . 768) ((sin (+ (* z0 1/2) z1)) . 6976) ((sin (+ (- z0) z1)) . 6784) ((/ z0 (cos (* (+ (* z1 2) PI) -1/4))) . 8000) ((- (sqrt (sqrt (fabs z0)))) . 1600) ((sqrt (fabs (- -1 (* z0 z0)))) . 1344) ((* z0 (* (sqrt (fabs z1)) z1)) . 1472) ((/ (- (* (sin z0) z1) -1) z2) . 7680) ((* z0 (sqrt (fabs (- z1 1)))) . 1344) ((* (/ 1 z0) (sqrt (fabs (- -1 z1)))) . 2048) ((* (* z0 z1) (fabs z2)) . 832) ((cos (+ z0 (* PI 1/2))) . 6976) ((/ (* z0 z1) (fabs z2)) . 1216) ((/ 1/2 (sin z0)) . 7168) ((/ z0 (/ 1 (sqrt (fabs (- z1 1))))) . 2432) ((* (/ z0 z1) (sqrt z2)) . 1728) ((/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) 2)) . 2880) ((* (- z0) (sqrt 2)) . 1152) ((* (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) z1) . 3264) ((* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)) . 8128) ((* (sqrt (fabs z0)) (atan z1)) . 7552) ((* (- 1 (cos (+ z0 z0))) 1/2) . 7168) ((/ (+ z0 (cos (* z1 z2))) 2) . 7680) ((* (sin (- (* -1/2 z0) (* -1/4 PI))) z1) . 7616) ((/ 2 (sinh (/ z0 z1))) . 7872) ((fabs (* (* (sqrt 2) 1/2) z0)) . 1472) ((* (atan z0) (sqrt (fabs z1))) . 7552) ((sin (+ (* PI 1/2) z0)) . 6976) ((* (* z0 1/2) (tan z1)) . 7104) ((* (sin z0) (sin z1)) . 13184) ((cos (+ (- (fabs z0)) z1)) . 6912) ((cos (- (- (fabs z0)) z1)) . 6912) ((/ (/ 1 (fabs z0)) z1) . 1600) ((+ (* z0 z0) (* z1 (fabs z2))) . 1024) ((* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) (sqrt z1)) . 3264) ((- (cos (* -1/2 z0)) (sin z1)) . 13376) ((- (* z0 1/2) (- -1/2 (* -1/2 (cos (+ z1 z1))))) . 7680) ((/ 1 (/ z0 (sin z1))) . 7872) ((* (sqrt z0) (/ z1 z2)) . 1728) ((* z0 (* (tan z1) z2)) . 7104) ((sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)) . 8320) ((cos (+ (- (- z0)) z1)) . 6912) ((cos (- (- (- z0)) z1)) . 6912) ((cos (+ z0 (- (fabs z1)))) . 6912) ((fabs (* z0 (* z1 z1))) . 832) ((* (- z0 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 8192) ((* (* (cos z0) z1) (cos z2)) . 13504) ((cos (- z0 (- (fabs z1)))) . 6912) ((tan (+ (* 1/2 z0) (/ PI 4))) . 7680) ((+ (* z0 (sin (* 4 z1))) z2) . 7296) ((- (sqrt (fabs (- 1 (* z0 z0))))) . 1472) ((* (- (- (sqrt (fabs (* z0 z1))))) (sqrt z2)) . 2368) ((sqrt (* z0 (- z1 1))) . 1216) ((- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* z1 (* (sqrt 2) 1/2))) . 9536) ((* z0 (* (/ 1 (* (sqrt 2) 1/2)) 1/2)) . 2368) ((- z0 (* (sin (* z1 1/2)) (* (sqrt 2) 1/2))) . 8256) ((fabs (* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))) . 15168) ((- z0 (* (sin (* 4 z1)) z2)) . 7296) ((cos (+ z0 (- (- z1)))) . 6912) ((* (* (tan z0) 1/2) (- z1 (/ 1 z1))) . 8000) ((asin (* z0 (- z1 (/ 1 z1)))) . 7680) ((cos (- z0 (- (- z1)))) . 6912) ((* z0 (sin (+ (* -1/2 z1) (* 1/4 PI)))) . 7616) ((* (* z0 (fabs z1)) (fabs z1)) . 960) ((- 1/2 (* 1/2 (cos (* 2 z0)))) . 7296) ((* (* (sqrt 2) -1/2) z0) . 1344) ((/ (sqrt (fabs z0)) z1) . 1536) ((sin (+ PI z0)) . 6656) ((sin (/ 1 z0)) . 7168) ((* z0 (pow (sin z1) 2)) . 13248) ((* (sin (+ (* -1/2 z0) (* 1/4 PI))) z1) . 7616) ((* (* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) (sqrt z1)) . 4032) ((/ (sqrt z0) (- z1)) . 1536) ((* (sin (* -1/2 z0)) (* z1 1/2)) . 7424) ((* (* z0 (sqrt (fabs (* 1/2 (sqrt (fabs (- z1 1))))))) (sqrt (fabs (- z1 -1)))) . 3712) ((+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 7360) ((sin (- PI z0)) . 6656) ((* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) z0) . 7296) ((* (sin (* (+ z0 z0) 1/4)) z1) . 7296) ((* z0 (sin (* 2 z1))) . 7104) ((/ (fabs z0) (sqrt (- (* z1 z1) -1))) . 2048) ((* (cos z0) (tan z1)) . 13184) ((sin (* (- (* z0 -2) PI) -1/4)) . 7296) ((/ (- z0 -1) (- 1 (* (sin z1) z2))) . 7872) ((* (* z0 1/2) (cos (* -1/2 z1))) . 7424) ((* (sqrt z0) (sqrt (sqrt (fabs (- z1 1))))) . 2624) ((log (tan (+ (/ PI 4) (* 1/2 z0)))) . 14080) ((* (/ 1 (cos z0)) z1) . 7488) ((- (* 1/2 PI) (sqrt (* (* (* z0 z0) z1) z1))) . 2176) ((- (* 1/2 z0) (sqrt (* (* (* z1 z1) z2) z2))) . 2176) ((tan (/ 1 z0)) . 7168) ((/ (* z0 1/2) (cos (* (+ (+ z1 z1) PI) -1/4))) . 8192) ((sin (- (* -1/4 PI) (* z0 1/2))) . 7296) ((* (fabs z0) (* z1 z2)) . 832) ((sqrt (* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2)))) . 3968) ((* (* z0 (sin z1)) (sin z1)) . 13504) ((/ (* z0 z1) (cos z2)) . 7488) ((sin (- z0 (* z1 z2))) . 6976) ((fabs (+ (* (pow (cos z0) 4) z1) z2)) . 13568) ((/ (* (- z0) z1) (sqrt z2)) . 1856) ((* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 8512) ((- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)) . 7680) ((sqrt (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) . 15488) ((/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) z1) . 9152) ((* (- z0) (sin (* 4 z1))) . 7232) ((* (/ 1 z0) (sin z1)) . 7488) ((* (- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) z2) . 8320) ((/ (sqrt 1/2) (/ 1 z0)) . 2112) ((- (* (- (cos (+ z0 z0)) 1) z1) 2) . 7360) ((sin (+ (* z0 1/2) (* 1/4 PI))) . 7296) ((* (- (sqrt (fabs (- z0 1)))) z1) . 1472) ((/ (+ 1 (* z0 (* (sin z1) (sin z1)))) z2) . 14400) ((* z0 (cos (* z1 1/2))) . 7104) ((pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1) . 13760) ((* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1)))) . 2240) ((* 1/2 (+ (* (- 1 (cos (+ z0 z0))) z1) 2)) . 7680) ((pow (sin z0) -1) . 12928) ((* (* (fabs z0) z1) z2) . 832) ((/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) z2) . 8384) ((cos (/ 1 z0)) . 7168) ((/ (* z0 2) (* (- (/ 1 (sqrt (fabs (- z1 1))))) 2)) . 3200) ((* (- 1 (* (sin z0) z1)) z2) . 7296) ((* (* z0 (sin z1)) (* z0 (sin z1))) . 13824) ((- z0 (* (sin (* 3 z1)) z2)) . 7296) ((sin (- z0 (fabs z1))) . 6784) ((/ (fabs z0) (/ 1 (fabs z1))) . 1728) ((/ z0 (cos (- (* -1/4 PI) (* z1 1/2)))) . 8000) ((/ z0 (/ 1 (sqrt (fabs z1)))) . 2240) ((* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2))) . 7488) ((sqrt (sqrt (+ (* (* z0 z0) z1) (* z2 z2)))) . 2496) ((* (tan z0) (/ z1 z2)) . 7488) ((* (* z0 (* (sqrt 2) 1/2)) 1) . 1664) ((log (fabs (- -1 z0))) . 6784) ((* (* z0 (- (cos (+ z1 z1)) -1)) 1/2) . 7488) ((pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) z2) . 21056) ((- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) . 14016) ((* (/ z0 2) (cos z1)) . 7488) ((/ (* z0 (sqrt z1)) z2) . 1728) ((+ (+ (fabs z0) z1) z0) . 576) ((- (+ (fabs z0) z1) z0) . 576) ((* z0 (sqrt (- (* (/ z1 (* z2 z2)) z1) -1))) . 2560) ((+ (* (sin z0) (sin z0)) z1) . 13376) ((* (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) (sqrt z1)) . 3904) ((sqrt (+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)) . 8000) ((* (- 1/2 z0) (- (cos (+ z1 z1)) -1)) . 7360) ((tan (- (* 1/4 PI) z0)) . 6976) ((* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) . 8064) ((* (- z0) (sqrt (fabs z1))) . 1280) ((* (- (+ z0 z1)) (sqrt (+ (* z2 z2) (* z0 z0)))) . 2176) ((* (sqrt (+ (* z0 z0) (* z1 z1))) z0) . 1856) ((* z0 (/ -1 (sin z1))) . 7488) ((cos (- z0 (+ (* PI 1/2) z1))) . 7168) ((* z0 (sin (* z1 z2))) . 7104) ((* (- 1 z0) (* (tan z1) z2)) . 7296) ((/ (+ (sqrt (fabs z0)) (sqrt (fabs z0))) z1) . 2496) ((/ (sqrt z0) (- (/ 1 (sqrt (fabs (- z1 1)))))) . 3200) ((/ (/ 1 (fabs z0)) (fabs z1)) . 1728) ((/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) . 8832) ((/ -1 (- (* (sin z0) z1) 1)) . 7680) ((* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) . 8064) ((* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- z2 1)) . 8192) ((+ 1 (* z0 (pow (sin z1) 2))) . 13440) ((sin (- z0 (- z1))) . 6784) ((cos (- (fabs (fabs z0)) z1)) . 6912) ((cos (+ (fabs (fabs z0)) z1)) . 6912) ((cos (- z0 (fabs (fabs z1)))) . 6912))