(((sqrt (+ z0 (* z1 z1))) . 26699) ((sqrt (+ (* z0 z0) z1)) . 23152) ((sqrt (sqrt z0)) . 25457) ((* (sin z0) z1) . 99403) ((sqrt (- (* z0 z0) 1)) . 17659) ((sqrt (+ (* z0 z0) (* z1 z1))) . 21427) ((* z0 (sin z1)) . 72340) ((/ (sqrt (- (* z0 z0) 1)) z1) . 16394) ((/ 1 (sqrt z0)) . 9362) ((* z0 (* (sqrt 2) 1/2)) . 8621) ((* (sqrt z0) z1) . 6440) ((* (cos z0) z1) . 40029) ((/ z0 (sqrt z1)) . 7329) ((* z0 (cos z1)) . 35025) ((- 1 (cos z0)) . 30609) ((/ 2 (sqrt z0)) . 6189) ((* z0 (sqrt (fabs z1))) . 5041) ((- 1 (cos (+ z0 z0))) . 28762) ((/ z0 (cos z1)) . 57909/2) ((* z0 (/ (sqrt 2) 2)) . 6259) ((* (sqrt (fabs z0)) z1) . 4081) ((* (/ (sqrt 2) 2) z0) . 6060) ((* z0 (sqrt z1)) . 3430) ((* (* (sqrt 2) 1/2) z0) . 4500) ((* z0 (- 1 (cos (+ z1 z1)))) . 20393) ((/ 1 (pow z0 -1)) . 19681) ((/ (sqrt z0) (cos z1)) . 19416) ((* (sqrt z0) (fabs z1)) . 2771) ((sqrt (- z0 (* z1 (* z2 z2)))) . 3592) ((/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) . 9583/2) ((* z0 (sqrt (fabs (- z1 -1)))) . 2813) ((/ 1 (sqrt (fabs (- z0 1)))) . 3553) ((* z0 (sqrt (sqrt (fabs (- 1 z1))))) . 4078) ((* (sqrt 2) z0) . 2095) ((sqrt (* z0 (fabs z1))) . 2350) ((sqrt (+ (* (* z0 z1) z1) z2)) . 3064) ((* z0 (sqrt (fabs (- -1 z1)))) . 2666) ((* (sqrt (+ (* z0 z0) (* z1 z1))) z2) . 3641) ((atan (/ (sqrt (- (* z0 z0) 1)) z1)) . 16301) ((/ (sqrt (- (* z0 z0) 1)) (cos z1)) . 15718) ((* z0 (log z1)) . 12705) ((* z0 (sqrt 2)) . 1811) ((* (sqrt (fabs (- 1 z0))) z1) . 2186) ((sqrt (+ (* (* z0 z1) z1) (* z2 z2))) . 2949) ((* z0 (* z1 (sin z2))) . 65885/6) ((* z0 (sqrt (+ (* z1 z1) (* z2 z2)))) . 2827) ((- (sqrt (+ (* z0 z0) (* z1 z1)))) . 2308) ((sqrt (sqrt (fabs z0))) . 2037) ((* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) . 10138) ((* (sqrt (fabs (- z0 1))) z1) . 1763) ((- (cos z0) 1) . 8638) ((* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) . 9562) ((/ (* (sqrt 2) 1/2) z0) . 2199) ((* (sqrt (sqrt (fabs (- z0 1)))) z1) . 2519) ((- (cos (+ z0 z0)) 1) . 8290) ((* (sqrt z0) (+ z1 z2)) . 1467) ((sqrt (/ 1 z0)) . 1644) ((/ z0 (- 1 (* z1 (sin z2)))) . 8799) ((/ (* z0 z1) (sqrt z2)) . 1945) ((sin (- (* z0 1/2) z1)) . 7850) ((cos (+ z0 z1)) . 7458) ((fabs (* z0 (sqrt (fabs z1)))) . 1433) ((/ 1 (sin z0)) . 8016) ((/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) . 2471) ((sin (* 3 z0)) . 7359) ((* (log z0) z1) . 7278) ((- (cos z0) -1) . 6974) ((* z0 (tan z1)) . 6997) ((/ (+ 1 z0) (- 1 (* z1 (sin z2)))) . 8075) ((* z0 (* (sin z1) z2)) . 7278) ((sqrt (sqrt (+ (* z0 z0) (* z1 z1)))) . 2229) ((cos (- z0 z1)) . 6792) ((* z0 (cos (* -1/2 z1))) . 7123) ((* z0 (sin (* z1 1/2))) . 7064) ((/ (- -1 (* (sin z0) z1)) z2) . 7559) ((* (sqrt (fabs z0)) (fabs z0)) . 1245) ((* z0 (* (cos z1) z2)) . 6799) ((/ -1 (sqrt z0)) . 1345) ((- (cos (+ z0 z0)) -1) . 6391) ((/ (- -1 z0) (- (* (sin z1) z2) 1)) . 7342) ((fabs (* (sqrt (fabs z0)) z1)) . 1180) ((* (sqrt z0) (fabs (- z1 -1))) . 1235) ((sqrt (fabs (* z0 z1))) . 1058) ((sin (* z0 z1)) . 6223) ((* (cos (* -1/2 z0)) z1) . 6434) ((sqrt (* z0 (fabs (- z1 -1)))) . 1200) ((* (atan z0) z1) . 6029) ((* (- (* (sqrt 2) 1/2)) z0) . 1283) ((sqrt (* z0 (fabs (- -1 z1)))) . 1129) ((* (pow z0 4) z1) . 5596) ((* (tan z0) z1) . 5491) ((* (sqrt z0) (sqrt (fabs (- z1 -1)))) . 1600) ((sin (+ z0 z1)) . 5360) ((* (cos z0) (sin z1)) . 10399) ((/ 1 (cos z0)) . 5519) ((- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) . 5906) ((* (sqrt z0) (sqrt (fabs (- -1 z1)))) . 1518) ((* (sin (* -1/2 z0)) z1) . 5431) ((sin (- z0 (* 1/4 PI))) . 5330) ((* (sqrt z0) (fabs (- -1 z1))) . 1011) ((sin (+ z0 PI)) . 5003) ((sqrt (/ z0 (+ 1 (* z1 z1)))) . 1442) ((* z0 (- (sqrt (fabs (- z1 -1))))) . 1105) ((* (* z0 z1) (sqrt z2)) . 1002) ((- (/ 1 (sqrt (fabs (- z0 1))))) . 1378) ((/ (sqrt z0) z1) . 1036) ((- (* (cos (+ z0 z0)) 1/2) 1/2) . 5252) ((/ z0 (sin z1)) . 5226) ((* (- z0) (sin z1)) . 5032) ((* (sin (* 3 z0)) z1) . 5148) ((* (sqrt 2) (sqrt z0)) . 1186) ((* (- (sqrt (fabs z0))) z1) . 901) ((- (* z0 (sqrt (fabs z1)))) . 894) ((- 1/2 (* 1/2 (cos (+ z0 z0)))) . 4943) ((sqrt (* z0 z1)) . 706) ((* (sin (+ z0 z0)) z1) . 4777) ((sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) . 1686) ((* (sqrt (fabs (- z0 1))) (- z1)) . 992) ((+ 1/2 (* 1/2 (cos (+ z0 z0)))) . 4830) ((sqrt (* (sqrt (fabs z0)) z1)) . 1193) ((* (- 1 (cos (+ z0 z0))) z1) . 4744) ((sin (- (* z0 1/2) (* 1/4 PI))) . 4809) ((/ (cos z0) z1) . 4653) ((cos (* z0 z1)) . 4377) ((* (sqrt (fabs (- 1 z0))) (sqrt z1)) . 1275) ((log (tan z0)) . 8231) ((/ -1 (sin z0)) . 4553) ((* (sqrt (sqrt (fabs (- z0 1)))) (sqrt z1)) . 1666) ((fabs (* (* z0 z0) z1)) . 527) ((tan (* (+ (+ z0 z0) PI) 1/4)) . 4531) ((* (sin (* z0 1/2)) z1) . 4469) ((sin (- z0 (* -1/4 PI))) . 4345) ((* (* z0 (sin z1)) z2) . 4405) ((* (sin (* 4 z0)) z1) . 4398) ((/ (sqrt (fabs (- z0 -1))) z1) . 1064) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (+ z1 z2)) . 1259) ((- (* z0 (sqrt (sqrt (fabs (- 1 z1)))))) . 1295) ((* (sin z0) (cos z1)) . 7950) ((* (sqrt (fabs z0)) (fabs z1)) . 1533/2) ((* (sin z0) (* (sqrt 2) 1/2)) . 4625) ((/ 1 (* z0 (cos z1))) . 4423) ((sqrt (* (sqrt (fabs z0)) (fabs z0))) . 1122) ((* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2))))) . 1494) ((- -1 (* z0 (- 1 (cos (+ z1 z1))))) . 4254) ((- 1/2 (* (cos (+ z0 z0)) 1/2)) . 4139) ((* (sin z0) (sin z0)) . 7519) ((* (* (sin z0) z1) z2) . 4019) ((* (- (cos (+ z0 z0)) 1) z1) . 4004) ((* (* z0 (sqrt (fabs (- z1 -1)))) (sqrt (sqrt (fabs (- 1 z1))))) . 1806) ((tan (- z0 (* -1/2 z1))) . 3849) ((- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) . 4150) ((sin (+ z0 (* 1/4 PI))) . 3728) ((* (sqrt z0) (sqrt (fabs z1))) . 948) ((* (* z0 (sqrt 2)) 1/2) . 700) ((- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) . 3968) ((sqrt (fabs (- 1 (* z0 z0)))) . 691) ((/ 1 (* (cos z0) z1)) . 3820) ((pow (cos z0) 4) . 6568) ((sin (+ z0 (* PI 1/2))) . 3508) ((* (- (sin z0)) z1) . 3460) ((* (sqrt (fabs (- 1 z0))) (fabs z1)) . 736) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (* z2 z0)) . 1062) ((sin (- z0 z1)) . 3177) ((/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2)))) . 1190) ((cos (* (+ (+ z0 z0) PI) -1/4)) . 3289) ((- (* z0 (sqrt (fabs (- -1 z1))))) . 674) ((sin (- (* -1/2 z0) z1)) . 3183) ((* (/ (sqrt 2) 2) (sin z0)) . 3685) ((* (* z0 z1) (cos z2)) . 3211) ((* (sin (* -1/2 z0)) (/ z1 2)) . 3521) ((sqrt (- (* z0 z0) -1)) . 546) ((* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0)))) . 1029) ((/ (sin z0) z1) . 3184) ((* (sin z0) (/ (sqrt 2) 2)) . 3593) ((pow (* z0 z1) -1) . 2988) ((/ 1 (sqrt (fabs z0))) . 669) ((* (sqrt (+ (* z0 z0) (* z1 z1))) (* (+ z1 z2) z0)) . 1021) ((- (sqrt (- (* z0 z0) 1))) . 579) ((* (sqrt (fabs (- z0 1))) (fabs z1)) . 633) ((/ 2 (sqrt (fabs z0))) . 657) ((* (* (sqrt 2) z0) (sqrt (fabs (- z1 -1)))) . 985) ((* z0 (sin (* 4 z1))) . 3028) ((* (* (cos z0) z1) z2) . 3018) ((cos (* (+ (+ z0 z0) PI) 1/4)) . 3030) ((* (sin (* z0 1/2)) (* z1 1/2)) . 3126) ((+ (* (sin (* 3 z0)) z1) z2) . 3054) ((* (sqrt z0) (- (sqrt (fabs (- z1 -1))))) . 883) ((* z0 (* (sin z1) (sin z1))) . 5635) ((* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2) . 6235) ((sqrt (+ (* (* z0 z0) z1) z2)) . 635) ((/ z0 (sqrt (+ (* z1 z1) (* z0 z0)))) . 922) ((sqrt (- z0 (* (* z1 z1) z2))) . 632) ((* z0 (/ z1 (cos z2))) . 3018) ((* (pow (cos z0) 4) z1) . 5315) ((* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) . 3385) ((* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) . 2997) ((sin (- z0 (* z1 1/2))) . 2782) ((sqrt (* (sqrt (fabs (- 1 z0))) z1)) . 791) ((fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)) . 6004) ((tan (- (* 5/4 PI) z0)) . 2746) ((* (* z0 z1) (sin z2)) . 2786) ((+ (cos z0) 1) . 2554) ((tan (+ z0 (* 1/2 z1))) . 2667) ((* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) . 1116) ((log (/ z0 (- 1 (* z1 (sin z2))))) . 5306) ((log (/ (+ 1 (* z0 (sin z1))) z2)) . 5272) ((* z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))) . 737) ((* (* (sqrt (fabs z0)) z1) (sqrt (fabs z0))) . 828) ((sin (+ (* -1/2 z0) z1)) . 2543) ((tan (- (* 5/4 PI) (* -1/2 z0))) . 2632) ((fabs (+ (* z0 z1) (* z2 z2))) . 368) ((* z0 (pow z1 2)) . 2450) ((/ z0 (sin (- (* z1 1/2) (* 1/4 PI)))) . 2849) ((* (sqrt z0) (sqrt (sqrt (fabs (- 1 z1))))) . 932) ((* (/ 1 z0) (sqrt (fabs z1))) . 658) ((cos (+ z0 PI)) . 2358) ((tan (- z0 -27401669256311/40000000000000)) . 2354) ((* (sin (* z0 z1)) z2) . 2462) ((/ (* (sqrt (fabs (- z0 -1))) 2) z1) . 706) ((log (/ z0 (- (* (sin z1) z2) 1))) . 4844) ((+ 1 (* z0 (* (sin z1) (sin z1)))) . 4707) ((* (cos z0) (* (sqrt 2) 1/2)) . 2659) ((pow (sqrt z0) 2) . 2454) ((* (sin (* z0 1/2)) (* (sqrt 2) 1/2)) . 2760) ((* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) z1) . 1116) ((* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 2529) ((* z0 (sqrt (sqrt (sqrt (fabs (- z1 1)))))) . 885) ((/ 1 (pow z0 -2)) . 2434) ((sin (+ (* -1/2 z0) (* 1/4 PI))) . 2452) ((* z0 (sqrt (fabs (* z1 z2)))) . 494) ((log (/ (- -1 (* (sin z0) z1)) z2)) . 4712) ((- 1/2 (* -1/2 (cos (+ z0 z0)))) . 2397) ((- (sqrt (fabs (* z0 z1)))) . 427) ((* (/ z0 2) (sin (* z1 1/2))) . 2591) ((* (sin (* 1/4 PI)) z0) . 2355) ((* (- z0) (* (sqrt 2) 1/2)) . 486) ((* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))) . 841) ((* (cos (* -1/2 z0)) (* z1 1/2)) . 2432) ((* (cos (* -1/2 z0)) (/ z1 2)) . 2557) ((* (sqrt (sqrt (fabs z0))) z1) . 586) ((* z0 (- (sqrt (fabs z1)))) . 416) ((* z0 (sqrt (sqrt (fabs (- z1 1))))) . 642) ((- 1/2 (* (cos (+ z0 z0)) -1/2)) . 2311) ((* (cos z0) (/ (sqrt 2) 2)) . 2602) ((* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2) . 819) ((* z0 (- (cos (+ z1 z1)) 1)) . 2289) ((sqrt (* z0 (* z1 z1))) . 427) ((* (- z0) (sqrt (+ (* z1 z1) (* z2 z2)))) . 627) ((cos (- z0 (* z1 1/2))) . 2186) ((- -1/2 (* -1/2 (cos (+ z0 z0)))) . 2237) ((sin (- z0 PI)) . 2070) ((/ (sqrt (fabs (- z0 -1))) (- z1)) . 575) ((sqrt (fabs (- (* z0 z0) 1))) . 413) ((tan (+ z0 PI)) . 2028) ((cos (- (* z0 1/2) z1)) . 2125) ((* (* (tan z0) 1/2) z1) . 2160) ((tan (+ (/ PI 4) z0)) . 2226) ((* (sqrt z0) (cos z1)) . 2243) ((* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) . 2354) ((- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))) . 808) ((* (/ z0 (cos z1)) z2) . 2246) ((sin (- (* z0 1/2) (* -1/4 PI))) . 2187) ((- z0 (- -1/2 (* -1/2 (cos (+ z1 z1))))) . 2205) ((* (- z0) (sqrt z1)) . 344) ((* z0 (sqrt (fabs (* 1/2 (sqrt (fabs (- z1 1))))))) . 726) ((* (sqrt (sqrt (fabs (- z0 1)))) (fabs z1)) . 627) ((* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) . 2219) ((* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1))))) . 719) ((sqrt (* (sqrt (fabs (- z0 1))) z1)) . 585) ((- 1 (* z0 (- 1 (cos (+ z1 z1))))) . 2168) ((* (* z0 z1) (tan z2)) . 2077) ((* (/ (sqrt 2) 2) (sin (* z0 1/2))) . 2466) ((* (* (- (cos (+ z0 z0)) 1) z1) 1/2) . 2185) ((/ 1/2 (sqrt z0)) . 410) ((* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) . 2341) ((* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) . 2444) ((cos (- z0 (* -1/4 PI))) . 2012) ((+ (cos (+ z0 z0)) 1) . 1921) ((* (/ 2 (sqrt (fabs z0))) z1) . 520) ((sin (- (* 1/4 PI) z0)) . 1954) ((- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) . 2128) ((- (* z0 (- 1 (cos (+ z1 z1)))) -1) . 2026) ((* z0 (- (* (cos (+ z1 z1)) 1/2) 1/2)) . 2060) ((sin (- (* -1/2 z0) (* -1/4 PI))) . 2004) ((tan (+ (/ PI 4) (* 1/2 z0))) . 2107) ((- (- (sqrt (fabs (* z0 z1))))) . 386) ((/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) . 612) ((* z0 (- (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2) -1)) . 2183) ((* (sqrt (fabs z0)) z0) . 314) ((* (/ (sqrt 2) 2) (cos z0)) . 2212) ((* (- (cos z0)) z1) . 1875) ((* (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) z2) . 694) ((sqrt (- z0 (- -1/2 (* -1/2 (cos (+ z1 z1)))))) . 2162) ((cos (+ (fabs z0) z1)) . 1831) ((sqrt (- (* (/ z0 (* z1 z1)) z0) -1)) . 604) ((log (fabs (- z0 1))) . 1824) ((/ (* (sqrt (fabs (- z0 -1))) 2) (* z1 2)) . 635) ((/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) z1) . 2452) ((* (* z0 (cos z1)) z2) . 1901) ((sqrt (- (* z0 z0) z1)) . 325) ((cos (+ z0 (fabs z1))) . 1799) ((* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) . 1982) ((sqrt (* (sqrt (sqrt (fabs (- z0 1)))) z1)) . 693) ((* (- (sqrt 2)) z0) . 304) ((* (* z0 (sin z1)) (* z0 z2)) . 1958) ((* (* z0 z1) (* z0 (sin z2))) . 1958) ((* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (sqrt z1)) . 1029) ((* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2) . 2093) ((sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) . 600) ((cos (- (* z0 1/2) (* -1/4 PI))) . 1886) ((* (- (cos (+ z0 z0)) -1) 1/2) . 1851) ((/ z0 (* (sqrt (+ (* z0 z0) (* z1 z1))) z2)) . 660) ((cos (- (- z0) z1)) . 1747) ((+ (cos (- z0 z1)) z2) . 1759) ((- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) . 1964) ((/ (sqrt 1/2) z0) . 360) ((* z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 2039) ((cos (+ (- z0) z1)) . 1724) ((cos (- (* -1/4 PI) z0)) . 1770) ((- (* (* (- (cos (+ z0 z0)) 1) z1) 1/2) 1) . 1943) ((sqrt (* (* z0 z0) z1)) . 340) ((* z0 (atan z1)) . 1715) ((* z0 (sin (* 3 z1))) . 1795) ((sqrt (+ (* (* z0 z0) z1) (* z2 z2))) . 462) ((* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1))) . 573) ((sin (- z0 (* -1/2 PI))) . 1722) ((pow (sin z0) 2) . 3184) ((/ z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))) . 709) ((/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) z1) . 2253) ((sqrt (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))) . 767) ((* (/ z0 2) (cos (* -1/2 z1))) . 1909) ((/ (sqrt 2) z0) . 344) ((+ (* (- 1 (cos (+ z0 z0))) z1) 2) . 1795) ((/ z0 (- 1 (* (sin z1) z2))) . 1873) ((/ 2 (sqrt (fabs (- z0 1)))) . 420) ((* (+ (cos (+ z0 z0)) 1) 1/2) . 1725) ((* (sqrt z0) (sqrt (sqrt (sqrt (fabs (- z1 1)))))) . 785) ((cos (- z0 (fabs z1))) . 1623) ((tan (- (* z0 1/2) z1)) . 1665) ((- (sqrt (fabs (- (* z0 z0) 1)))) . 350) ((+ 1/2 (* 1/2 (cos (* 2 z0)))) . 1734) ((- (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 532) ((log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1))))) . 4961) ((* (- z0) (sqrt (fabs (* z1 z2)))) . 378) ((* z0 (/ 1 (sin z1))) . 1769) ((- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))) . 543) ((cos (- (fabs z0) z1)) . 1596) ((* (- (/ 1 (sqrt (fabs (- z0 1))))) 2) . 511) ((* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 1755) ((* (* z0 (fabs z1)) z1) . 195) ((+ (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 523) ((* (* (fabs z0) z0) z1) . 194) ((* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2)))))) . 4960) ((+ z0 (* (sin (* 4 z1)) z2)) . 1698) ((* z0 (- (cos (+ z1 z1)) -1)) . 1667) ((* z0 (sqrt (sqrt (fabs z1)))) . 415) ((/ z0 (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ z1 z2))) . 637) ((/ (- z0) (sqrt z1)) . 353) ((- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) -1) . 1763) ((* (* (sqrt 2) 1/2) (cos z0)) . 1774) ((cos (- z0 (- z1))) . 1554) ((* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) z1) . 601) ((tan (+ 27401669256311/40000000000000 z0)) . 1515) ((* (- z0) (cos z1)) . 1572) ((* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) . 698) ((* (* (tan z0) 1/2) (- z1 z2)) . 1653) ((- (+ (fabs z0) (* PI 1/2)) (+ z1 (* PI 1/2))) . 319) ((* z0 (sqrt 1/2)) . 230) ((/ z0 (/ 1 (sin z1))) . 1767) ((* (cos (* -1/4 PI)) z0) . 1592) ((sqrt (* (* (* z0 z0) z1) z1)) . 372) ((atan (/ z0 (- (* (* (- -1 z1) z2) z2) -1))) . 1827) ((* (- (sqrt (fabs z0))) (fabs z1)) . 312) ((sin (- (* -1/4 PI) z0)) . 1543) ((* (- (+ z0 z1)) (sqrt z2)) . 297) ((+ z0 (cos (* z1 z2))) . 1540) ((+ (* (pow (cos z0) 4) z1) z2) . 2962) ((log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) . 4624) ((* (- (- (sqrt (fabs (* z0 z1))))) z2) . 379) ((cos (- (* -1/4 PI) (* z0 1/2))) . 1595) ((* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2) . 433) ((* (- 1 z0) (* (cos z1) z2)) . 1592) ((* z0 (- 1/2 (* -1/2 (cos (+ z1 z1))))) . 1623) ((/ z0 (* (sqrt z0) z1)) . 374) ((cos (+ z0 (- z1))) . 1461) ((sin (- (* 1/4 PI) (* z0 1/2))) . 1565) ((* (cos z0) (sqrt z1)) . 1585) ((- (+ z0 (* PI 1/2)) (+ (fabs z1) (* PI 1/2))) . 300) ((* (/ (sqrt 2) 2) (cos (* -1/2 z0))) . 1794) ((tan (+ (* 1/2 z0) z1)) . 1474) ((/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))) . 500) ((/ (* (sqrt 2) 1/2) (cos z0)) . 1713) ((fabs (/ 1 (sqrt (fabs (- z0 1))))) . 389) ((+ (* (sin (* 3 z0)) z1) (* (sin z0) z2)) . 2922) ((/ 1 (pow z0 -1/2)) . 1506) ((- (* z0 (- (cos (+ z1 z1)) 1)) -1) . 1527) ((* z0 (- (sin z1))) . 1421) ((* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))) . 3083) ((sin (* (+ (+ z0 z0) PI) 1/4)) . 1469) ((* (* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) z1) . 693) ((* (* (sqrt (sqrt (fabs (- z0 1)))) z1) (sqrt (sqrt (fabs (- 1 z0))))) . 796) ((/ 1 (* (/ 2 (sqrt (fabs z0))) z1)) . 520) ((* (pow z0 2) z1) . 1389) ((* (sqrt (sqrt (fabs z0))) (fabs z0)) . 388) ((/ z0 (/ 1 (fabs z1))) . 323) ((* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) . 1576) ((/ (sqrt (+ (* z0 z0) (* z1 z1))) z2) . 452) ((- (* (- 1 (cos (+ z0 z0))) z1) -2) . 1482) ((/ z0 (cos (* (+ (+ z1 z1) PI) -1/4))) . 1580) ((* (fabs z0) (* (fabs z0) z1)) . 192) ((fabs (- z0 (* z1 (* z2 z2)))) . 204) ((asin (+ (* (cos z0) (sin z1)) z2)) . 3920) ((cos (* (+ (* z0 2) PI) -1/4)) . 1444) ((/ (* z0 z0) (sqrt z1)) . 341) ((* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2) . 4196) ((- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 503) ((- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) z1) . 1622) ((- z0 (sqrt (* (* (* z1 z1) z2) z2))) . 364) ((- (cos z0) (sin (* -1/2 z1))) . 2622) ((- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1) . 1505) ((/ -1 (sqrt (fabs (- z0 1)))) . 338) ((/ z0 (- (/ 1 (sqrt (fabs (- z1 1)))))) . 500) ((- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1) . 1560) ((/ z0 (sqrt (- (* z1 z1) -1))) . 374) ((- (* z0 (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) . 1495) ((pow (/ z0 z1) z2) . 1406) ((/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) z1) . 1779) ((* z0 (/ 1 (sqrt (fabs (- z1 1))))) . 397) ((* (/ 2 (sqrt (fabs z0))) (/ 1/2 z1)) . 495) ((/ z0 (sqrt 2)) . 272) ((+ (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* z0 1/2) (* -1/4 PI)))) . 494) ((/ (cos z0) (sqrt z1)) . 1501) ((sin (- (* 1/2 PI) z0)) . 1341) ((+ z0 (cos (+ z1 z2))) . 1316) ((- 1 (sin z0)) . 1275) ((/ 1 (* (sin z0) z1)) . 1434) ((sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) . 563) ((sqrt (* (* z0 z0) (* z0 z0))) . 317) ((/ -2 (sqrt z0)) . 268) ((sin (/ z0 z1)) . 1362) ((sqrt (sqrt (sqrt (fabs z0)))) . 400) ((* z0 (* (fabs z1) z2)) . 157) ((* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2) . 1509) ((/ z0 (cos (* (+ (+ z1 z1) PI) 1/4))) . 2967/2) ((* (fabs z0) (sqrt (fabs z1))) . 240) ((* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) . 1395) ((atan (* z0 (/ z1 z2))) . 1393) ((* 1 (- (sqrt (fabs (- (* z0 z0) 1))))) . 332) ((* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2))) . 612) ((/ (+ (sqrt (fabs z0)) z1) (fabs z0)) . 341) ((* (sqrt z0) (fabs (- z1 1))) . 246) ((sqrt (* z0 (fabs (- z1 1)))) . 246) ((/ 1 (* (cos z0) (cos z1))) . 2541) ((/ (+ z0 (sqrt (fabs z1))) (fabs z1)) . 339) ((* (cos (* 1/4 PI)) z0) . 1296) ((* z0 (sin (* 1/4 PI))) . 1286) ((tan (+ z0 (/ PI 4))) . 1328) ((- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) . 1443) ((* (* z0 z0) (sqrt z1)) . 242) ((- (+ z0 PI) (+ (fabs z1) PI)) . 138) ((sin (+ (* z0 1/2) z1)) . 1253) ((sin (+ (- z0) z1)) . 1217) ((/ z0 (cos (* (+ (* z1 2) PI) -1/4))) . 1435) ((- (sqrt (sqrt (fabs z0)))) . 287) ((sqrt (fabs (- -1 (* z0 z0)))) . 241) ((* z0 (* (sqrt (fabs z1)) z1)) . 260) ((/ (- (* (sin z0) z1) -1) z2) . 1356) ((* z0 (sqrt (fabs (- z1 1)))) . 237) ((* (/ 1 z0) (sqrt (fabs (- -1 z1)))) . 361) ((* (* z0 z1) (fabs z2)) . 146) ((cos (+ z0 (* PI 1/2))) . 1216) ((/ (* z0 z1) (fabs z2)) . 211) ((/ 1/2 (sin z0)) . 1241) ((/ z0 (/ 1 (sqrt (fabs (- z1 1))))) . 421) ((* (/ z0 z1) (sqrt z2)) . 299) ((/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) 2)) . 497) ((* (- z0) (sqrt 2)) . 198) ((* (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) z1) . 560) ((* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)) . 1391) ((* (sqrt (fabs z0)) (atan z1)) . 1292) ((* (- 1 (cos (+ z0 z0))) 1/2) . 1221) ((/ (+ z0 (cos (* z1 z2))) 2) . 1305) ((* (sin (- (* -1/2 z0) (* -1/4 PI))) z1) . 1293) ((/ 2 (sinh (/ z0 z1))) . 1334) ((fabs (* (* (sqrt 2) 1/2) z0)) . 248) ((* (atan z0) (sqrt (fabs z1))) . 1271) ((sin (+ (* PI 1/2) z0)) . 1173) ((* (* z0 1/2) (tan z1)) . 1193) ((* (sin z0) (sin z1)) . 2208) ((cos (+ (- (fabs z0)) z1)) . 1156) ((cos (- (- (fabs z0)) z1)) . 1156) ((/ (/ 1 (fabs z0)) z1) . 267) ((+ (* z0 z0) (* z1 (fabs z2))) . 170) ((* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) (sqrt z1)) . 540) ((- (cos (* -1/2 z0)) (sin z1)) . 2206) ((- (* z0 1/2) (- -1/2 (* -1/2 (cos (+ z1 z1))))) . 1263) ((/ 1 (/ z0 (sin z1))) . 1291) ((* (sqrt z0) (/ z1 z2)) . 282) ((* z0 (* (tan z1) z2)) . 1158) ((sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)) . 1353) ((cos (+ (- (- z0)) z1)) . 1122) ((cos (- (- (- z0)) z1)) . 1122) ((cos (+ z0 (- (fabs z1)))) . 1118) ((fabs (* z0 (* z1 z1))) . 134) ((* (- z0 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 1318) ((* (* (cos z0) z1) (cos z2)) . 2170) ((cos (- z0 (- (fabs z1)))) . 1110) ((tan (+ (* 1/2 z0) (/ PI 4))) . 1231) ((+ (* z0 (sin (* 4 z1))) z2) . 1166) ((- (sqrt (fabs (- 1 (* z0 z0))))) . 235) ((* (- (- (sqrt (fabs (* z0 z1))))) (sqrt z2)) . 376) ((sqrt (* z0 (- z1 1))) . 193) ((- (* (cos (* -1/2 z0)) (* (sqrt 2) 1/2)) (* z1 (* (sqrt 2) 1/2))) . 1512) ((* z0 (* (/ 1 (* (sqrt 2) 1/2)) 1/2)) . 375) ((- z0 (* (sin (* z1 1/2)) (* (sqrt 2) 1/2))) . 1307) ((fabs (* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))) . 2398) ((- z0 (* (sin (* 4 z1)) z2)) . 1153) ((cos (+ z0 (- (- z1)))) . 1090) ((* (* (tan z0) 1/2) (- z1 (/ 1 z1))) . 1260) ((asin (* z0 (- z1 (/ 1 z1)))) . 1207) ((cos (- z0 (- (- z1)))) . 1084) ((* z0 (sin (+ (* -1/2 z1) (* 1/4 PI)))) . 1192) ((* (* z0 (fabs z1)) (fabs z1)) . 150) ((- 1/2 (* 1/2 (cos (* 2 z0)))) . 1133) ((* (* (sqrt 2) -1/2) z0) . 208) ((/ (sqrt (fabs z0)) z1) . 237) ((sin (+ PI z0)) . 1027) ((sin (/ 1 z0)) . 1105) ((* z0 (pow (sin z1) 2)) . 2032) ((* (sin (+ (* -1/2 z0) (* 1/4 PI))) z1) . 1164) ((* (* (sqrt 2) (sqrt (fabs (* 1/2 (sqrt (fabs (- z0 1))))))) (sqrt z1)) . 615) ((/ (sqrt z0) (- z1)) . 234) ((* (sin (* -1/2 z0)) (* z1 1/2)) . 1131) ((* (* z0 (sqrt (fabs (* 1/2 (sqrt (fabs (- z1 1))))))) (sqrt (fabs (- z1 -1)))) . 565) ((+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1) . 1118) ((sin (- PI z0)) . 1010) ((* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) z0) . 1107) ((* (sin (* (+ z0 z0) 1/4)) z1) . 1107) ((* z0 (sin (* 2 z1))) . 1076) ((/ (fabs z0) (sqrt (- (* z1 z1) -1))) . 309) ((* (cos z0) (tan z1)) . 1989) ((sin (* (- (* z0 -2) PI) -1/4)) . 1100) ((/ (- z0 -1) (- 1 (* (sin z1) z2))) . 1183) ((* (* z0 1/2) (cos (* -1/2 z1))) . 1114) ((* (sqrt z0) (sqrt (sqrt (fabs (- z1 1))))) . 393) ((log (tan (+ (/ PI 4) (* 1/2 z0)))) . 2107) ((* (/ 1 (cos z0)) z1) . 1120) ((- (* 1/2 PI) (sqrt (* (* (* z0 z0) z1) z1))) . 325) ((- (* 1/2 z0) (sqrt (* (* (* z1 z1) z2) z2))) . 325) ((tan (/ 1 z0)) . 1062) ((/ (* z0 1/2) (cos (* (+ (+ z1 z1) PI) -1/4))) . 1213) ((sin (- (* -1/4 PI) (* z0 1/2))) . 1079) ((* (fabs z0) (* z1 z2)) . 123) ((sqrt (* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (+ (* (* z0 z1) z1) (* z2 z2)))) . 586) ((* (* z0 (sin z1)) (sin z1)) . 1994) ((/ (* z0 z1) (cos z2)) . 1104) ((sin (- z0 (* z1 z2))) . 1028) ((fabs (+ (* (pow (cos z0) 4) z1) z2)) . 1992) ((/ (* (- z0) z1) (sqrt z2)) . 272) ((* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))) . 1247) ((- 1 (* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)) . 1125) ((sqrt (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) . 2268) ((/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) z1) . 1338) ((* (- z0) (sin (* 4 z1))) . 1057) ((* (/ 1 z0) (sin z1)) . 1094) ((* (- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1) z2) . 1214) ((/ (sqrt 1/2) (/ 1 z0)) . 308) ((- (* (- (cos (+ z0 z0)) 1) z1) 2) . 1072) ((sin (+ (* z0 1/2) (* 1/4 PI))) . 1061) ((* (- (sqrt (fabs (- z0 1)))) z1) . 214) ((/ (+ 1 (* z0 (* (sin z1) (sin z1)))) z2) . 2089) ((* z0 (cos (* z1 1/2))) . 1030) ((pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1) . 1995) ((* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1)))) . 324) ((* 1/2 (+ (* (- 1 (cos (+ z0 z0))) z1) 2)) . 1109) ((pow (sin z0) -1) . 1864) ((* (* (fabs z0) z1) z2) . 119) ((/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) z2) . 1199) ((cos (/ 1 z0)) . 1025) ((/ (* z0 2) (* (- (/ 1 (sqrt (fabs (- z1 1))))) 2)) . 457) ((* (- 1 (* (sin z0) z1)) z2) . 1039) ((* (* z0 (sin z1)) (* z0 (sin z1))) . 1958) ((- z0 (* (sin (* 3 z1)) z2)) . 1033) ((sin (- z0 (fabs z1))) . 958) ((/ (fabs z0) (/ 1 (fabs z1))) . 244) ((/ z0 (cos (- (* -1/4 PI) (* z1 1/2)))) . 1129) ((/ z0 (/ 1 (sqrt (fabs z1)))) . 316) ((* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2))) . 1054) ((sqrt (sqrt (+ (* (* z0 z0) z1) (* z2 z2)))) . 351) ((* (tan z0) (/ z1 z2)) . 1051) ((* (* z0 (* (sqrt 2) 1/2)) 1) . 233) ((log (fabs (- -1 z0))) . 949) ((* (* z0 (- (cos (+ z1 z1)) -1)) 1/2) . 1047) ((pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) z2) . 2944) ((- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) . 1958) ((* (/ z0 2) (cos z1)) . 1043) ((/ (* z0 (sqrt z1)) z2) . 240) ((+ (+ (fabs z0) z1) z0) . 80) ((- (+ (fabs z0) z1) z0) . 80) ((* z0 (sqrt (- (* (/ z1 (* z2 z2)) z1) -1))) . 354) ((+ (* (sin z0) (sin z0)) z1) . 1847) ((* (sqrt (* (sqrt (sqrt (fabs (- z0 1)))) (fabs (- z0 -1)))) (sqrt z1)) . 538) ((sqrt (+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)) . 1102) ((* (- 1/2 z0) (- (cos (+ z1 z1)) -1)) . 1012) ((tan (- (* 1/4 PI) z0)) . 955) ((* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) . 1103) ((* (- z0) (sqrt (fabs z1))) . 175) ((* (- (+ z0 z1)) (sqrt (+ (* z2 z2) (* z0 z0)))) . 297) ((* (sqrt (+ (* z0 z0) (* z1 z1))) z0) . 253) ((* z0 (/ -1 (sin z1))) . 1020) ((cos (- z0 (+ (* PI 1/2) z1))) . 976) ((* z0 (sin (* z1 z2))) . 965) ((* (- 1 z0) (* (tan z1) z2)) . 991) ((/ (+ (sqrt (fabs z0)) (sqrt (fabs z0))) z1) . 339) ((/ (sqrt z0) (- (/ 1 (sqrt (fabs (- z1 1)))))) . 434) ((/ (/ 1 (fabs z0)) (fabs z1)) . 234) ((/ (* (sqrt 2) 1/2) (cos (* (+ (+ z0 z0) PI) -1/4))) . 1193) ((/ -1 (- (* (sin z0) z1) 1)) . 1033) ((* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) . 1084) ((* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- z2 1)) . 1101) ((+ 1 (* z0 (pow (sin z1) 2))) . 1806) ((sin (- z0 (- z1))) . 910) ((cos (- (fabs (fabs z0)) z1)) . 927) ((cos (+ (fabs (fabs z0)) z1)) . 927) ((cos (- z0 (fabs (fabs z1)))) . 925))