{"(* (* (* z0 (sqrt z1)) z0) z2)":822,"(* (* (+ (cos (+ z0 z0)) 1) 1/2) z1)":2330,"(* (* (- (* (- 1 (cos (+ z0 z0))) z1) -2) 1/2) z2)":1518,"(* (* (- (cos (+ z0 z0)) 1) 1/2) z1)":4196,"(* (* (- 1 (cos (+ z0 z0))) 1/2) z1)":1992,"(* (* (- z0) (fabs z1)) z2)":186,"(* (* (- z0) (sin z1)) z2)":2136,"(* (* (cos z0) (cos z1)) (sin z2))":3636,"(* (* (cos z0) (cos z1)) z2)":4500,"(* (* (cos z0) (sin z1)) (cos z2))":6108,"(* (* (cos z0) (sin z1)) z2)":7728,"(* (* (cos z0) z1) (cos z2))":8772,"(* (* (cos z0) z1) (sin z2))":2796,"(* (* (cos z0) z1) z2)":18006,"(* (* (fabs z0) z0) z1)":194,"(* (* (fabs z0) z1) z2)":930,"(* (* (sin (* (+ z0 z0) -1/2)) -2) z1)":1578,"(* (* (sin z0) z1) (cos z2))":5964,"(* (* (sin z0) z1) z2)":27936,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) z1)":2472,"(* (* (sqrt 2) -1/2) z0)":284,"(* (* (sqrt 2) 1/2) (cos (* -1/2 z0)))":1421,"(* (* (sqrt 2) 1/2) z0)":5340,"(* (* (sqrt z0) z1) z1)":492,"(* (* (tan z0) 1/2) (- z1 (/ 1 z1)))":1746,"(* (* (tan z0) 1/2) z1)":2880,"(* (* -1/2 (sqrt 2)) z0)":254,"(* (* -1/2 z0) (- 1 (cos (+ z1 z1))))":2998,"(* (* 1/2 (- (* z0 (- (cos (+ z1 z1)) 1)) -2)) z2)":3642,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":1966,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":26932,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":22504,"(* (* z0 (cos z1)) z2)":1764,"(* (* z0 (fabs z1)) z2)":432,"(* (* z0 (sin z1)) (* z0 (sin z1)))":5612,"(* (* z0 (sin z1)) z2)":20286,"(* (* z0 (sqrt z1)) z0)":300,"(* (* z0 z1) (sin z2))":3372,"(* (+ (cos (+ z0 z0)) 1) 1/2)":3047,"(* (+ 1 (* z0 (* (sin z1) (sin z1)))) z2)":4248,"(* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":4254,"(* (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) z2)":1728,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1))":4568,"(* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1)":6068,"(* (- (* (sqrt 2) 1/2)) z0)":3018,"(* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8988,"(* (- (- (sin z0))) z1)":1412,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) (- E))":441,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) E)":469,"(* (- (/ 1 (sqrt (fabs (- z0 1))))) z1)":1968,"(* (- (cos (* -1/2 z0))) z1)":1604,"(* (- (cos (+ z0 z0)) -1) 1/2)":1434,"(* (- (cos (+ z0 z0)) -1) z1)":1996,"(* (- (cos (+ z0 z0)) 1) 1/2)":2261,"(* (- (cos z0)) z1)":2712,"(* (- (sin z0)) z1)":4436,"(* (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) -1)":384,"(* (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) 1)":486,"(* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2274,"(* (- (sqrt (fabs (- 1 (* z0 z0))))) z1)":308,"(* (- (sqrt (fabs (- z0 -1)))) z1)":268,"(* (- (sqrt (fabs (- z0 1)))) z1)":244,"(* (- (sqrt (fabs z0))) z1)":1134,"(* (- (sqrt (sqrt (fabs z0)))) z1)":310,"(* (- (sqrt 2)) z0)":195,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":4830,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* z2 z2) 1))":7032,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2)":12528,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))":6528,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":7338,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) (* (cos z1) z2))":10062,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) z2)":14832,"(* (- 1 (cos (+ z0 z0))) (* -1/2 z1))":1308,"(* (- 1 (cos (+ z0 z0))) 1/2)":1823,"(* (- 1 (cos (+ z0 z0))) z1)":8488,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 z1))":2820,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":4918,"(* (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":4184,"(* (- z0) (sin (* z1 z2)))":2202,"(* (- z0) (sin z1))":3942,"(* (- z0) (sqrt z1))":388,"(* (/ (sin z0) (cos z1)) (cos z2))":4704,"(* (/ (sin z0) (cos z1)) z2)":7314,"(* (/ (sin z0) z1) z2)":1800,"(* (/ (sqrt (fabs (* (- z0 1) E))) (sqrt E)) z1)":1340,"(* (/ (sqrt 2) 2) (cos (* -1/2 z0)))":1374,"(* (/ (sqrt 2) 2) (sin (* z0 1/2)))":1441,"(* (/ (sqrt 2) 2) z0)":4875,"(* (/ -1 (- (* (sin z0) z1) 1)) z2)":2358,"(* (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":528,"(* (/ 1 (cos z0)) z1)":1286,"(* (/ 1 (fabs z0)) z1)":298,"(* (/ 1 (sin z0)) z1)":2442,"(* (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2706,"(* (/ z0 (cos z1)) z2)":11268,"(* (/ z0 (sin z1)) z2)":1746,"(* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":1866,"(* (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))) z2)":1956,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2)))":2730,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)":57606,"(* (atan (exp (/ z0 z1))) z2)":2550,"(* (cos (* -1/2 z0)) (* (sqrt 2) 1/2))":1410,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":1626,"(* (cos (* -1/2 z0)) z1)":9372,"(* (cos (* 1/4 PI)) z0)":2332,"(* (cos (* 2 (+ (/ z0 z1) z2))) 1/2)":1608,"(* (cos (* z0 1/2)) z1)":1828,"(* (cos (/ z0 z1)) (cos z2))":2556,"(* (cos (/ z0 z1)) z2)":3642,"(* (cos z0) (sin z1))":13536,"(* (cos z0) (tan z1))":2906,"(* (cos z0) z1)":68502,"(* (fabs (* z0 z1)) z2)":342,"(* (fabs (- 1 z0)) (- E))":160,"(* (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1)))) z2)":2694,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":16926,"(* (pow (- -1 (* (* (sin z0) z1) (sin z0))) -2) z2)":4896,"(* (pow (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) -2) z2)":2436,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) (- (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2) -1))":8292,"(* (pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2) z2)":10860,"(* (pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2)) z2)":12024,"(* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)":6000,"(* (pow (cos z0) 4) z1)":10910,"(* (sin (* (/ 1 z0) z1)) z2)":1752,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":2593,"(* (sin (* -1/2 z0)) z1)":9120,"(* (sin (* -3 z0)) z1)":2620,"(* (sin (* 1/4 PI)) (sin (* z0 1/2)))":2565,"(* (sin (* 1/4 PI)) z0)":3622,"(* (sin (* 3 z0)) z1)":9112,"(* (sin (* 4 z0)) z1)":9006,"(* (sin (* z0 1/2)) (* (sqrt 2) 1/2))":3072,"(* (sin (* z0 1/2)) z1)":9180,"(* (sin (* z0 z1)) z2)":16776,"(* (sin (+ (* z0 1/2) (* 1/4 PI))) z1)":2718,"(* (sin (+ z0 z0)) z1)":9402,"(* (sin (/ (- 0 (+ z0 z0)) 2)) z1)":3390,"(* (sin (/ z0 z1)) (sin z2))":3576,"(* (sin (/ z0 z1)) z2)":5274,"(* (sin z0) (cos z1))":15350,"(* (sin z0) (sin z0))":7823,"(* (sin z0) z1)":143450,"(* (sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0)))) z1)":1132,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) z1)":388,"(* (sqrt (+ (* z0 z0) (* z1 z1))) z2)":6384,"(* (sqrt (+ 1 (* (/ 1 z0) (* (/ z1 z0) z1)))) z2)":696,"(* (sqrt (+ 1 (/ (* z0 z0) (* z1 z1)))) z2)":888,"(* (sqrt (- (* (/ z0 (* z1 z1)) z0) -1)) z2)":492,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) (sqrt (fabs z2)))":1650,"(* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) z2)":3462,"(* (sqrt (/ (+ (* (/ z0 z1) z0) z1) z1)) z2)":1950,"(* (sqrt (/ (fabs (* (- z0 1) E)) E)) (sqrt (fabs (- -1 z0))))":637,"(* (sqrt (/ (fabs (* (- z0 1) E)) E)) z1)":1340,"(* (sqrt (/ 1/4 (fabs (- z0 1)))) z1)":368,"(* (sqrt (fabs (* (* z0 z1) z0))) z2)":624,"(* (sqrt (fabs (* z0 z1))) z2)":618,"(* (sqrt (fabs (- -1 z0))) z1)":312,"(* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0))))":490,"(* (sqrt (fabs (- 1 z0))) z1)":3234,"(* (sqrt (fabs (- z0 -1))) (- E))":666,"(* (sqrt (fabs (- z0 -1))) E)":942,"(* (sqrt (fabs (- z0 -1))) z1)":3724,"(* (sqrt (fabs (- z0 1))) (- (sqrt (fabs (- z0 -1)))))":471,"(* (sqrt (fabs (- z0 1))) z1)":2010,"(* (sqrt (fabs (/ (+ (* (- z0) E) E) E))) (sqrt (fabs (- -1 z0))))":979,"(* (sqrt (fabs (/ (+ (* (- z0) E) E) E))) z1)":2318,"(* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":3804,"(* (sqrt (fabs z0)) (fabs z0))":818,"(* (sqrt (fabs z0)) z1)":4184,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1))))":1236,"(* (sqrt (sqrt (fabs (- z0 1)))) z1)":2930,"(* (sqrt (sqrt (fabs z0))) (sqrt (sqrt (fabs z0))))":580,"(* (sqrt (sqrt (fabs z0))) z1)":1730,"(* (sqrt (sqrt z0)) z1)":368,"(* (sqrt 1/2) z0)":376,"(* (sqrt 2) z0)":634,"(* (sqrt z0) z1)":3088,"(* (tan z0) (- 1 (* z1 (* z2 z2))))":1602,"(* (tan z0) z1)":6852,"(* -1/2 (* (- 1 (cos (+ z0 z0))) z1))":1950,"(* 1 (- (sqrt (fabs (- (* z0 z0) 1)))))":810,"(* 1/2 (- (* z0 (- (cos (+ z1 z1)) 1)) -2))":1328,"(* 2 (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":492,"(* 2 (/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))))":2718,"(* 2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":528,"(* 3 (sin z0))":1466,"(* z0 (* (* z1 z1) (sqrt z2)))":624,"(* z0 (* (+ (cos (+ z1 z1)) 1) 1/2))":2030,"(* z0 (* (- z1) (fabs z2)))":162,"(* z0 (* (- z1) (sin z2)))":1698,"(* z0 (* (cos z1) (cos z2)))":4008,"(* z0 (* (cos z1) (sin z2)))":10458,"(* z0 (* (cos z1) z2))":14436,"(* z0 (* (fabs z1) (fabs z1)))":164,"(* z0 (* (fabs z1) 3))":136,"(* z0 (* (fabs z1) z1))":176,"(* z0 (* (fabs z1) z2))":696,"(* z0 (* (sin (* z1 1/2)) (* (sqrt 2) 1/2)))":2832,"(* z0 (* (sin (+ (* 1/2 PI) z1)) z2))":2190,"(* z0 (* (sin (+ (- z1) (* 1/2 PI))) z2))":1746,"(* z0 (* (sin z1) (sin z1)))":10852,"(* z0 (* (sin z1) z2))":6822,"(* z0 (* (sqrt (sqrt (fabs z1))) (sqrt (sqrt (fabs z1)))))":1008,"(* z0 (* (sqrt 2) 1/2))":8511,"(* z0 (* (sqrt z1) z0))":254,"(* z0 (* (sqrt z1) z2))":1212,"(* z0 (* (tan z1) z2))":8646,"(* z0 (* -2 (* (sin (/ (- 0 (+ z1 z1)) 2)) (sin (/ (+ 0 (+ z1 z1)) 2)))))":2648,"(* z0 (* 1/2 (- (* (- 1 (cos (+ z1 z1))) z2) -2)))":2196,"(* z0 (* z1 (fabs z2)))":174,"(* z0 (* z1 (sin z2)))":21816,"(* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))":2582,"(* z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) -1))":5430,"(* z0 (- (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2) -1))":15630,"(* z0 (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z2 z2)) 1))":3294,"(* z0 (- (cos (* -1/2 z1)) (sin (* -1/2 z1))))":2474,"(* z0 (- (cos (+ z1 z1)) -1))":1864,"(* z0 (- (cos (+ z1 z1)) 1))":3632,"(* z0 (- (cos (+ z1 z1))))":1344,"(* z0 (- (sin z1)))":2890,"(* z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":3144,"(* z0 (- (sqrt (fabs (- 1 (* z1 z1))))))":512,"(* z0 (- (sqrt (fabs (- z1 -1)))))":1544,"(* z0 (- (sqrt (fabs (- z1 1)))))":242,"(* z0 (- (sqrt (fabs z1))))":1120,"(* z0 (- (sqrt z1)))":236,"(* z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":12606,"(* z0 (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))":3552,"(* z0 (- 1 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) (* z2 z2))))":2376,"(* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))":3614,"(* z0 (- 1 (cos (+ z1 z1))))":53756,"(* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2)))":1560,"(* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2)))":1906,"(* z0 (- 1/2 (* -1/2 (cos (+ z1 z1)))))":3390,"(* z0 (/ (sin z1) z2))":1350,"(* z0 (/ (sqrt 2) 2))":5048,"(* z0 (/ (tan z1) z2))":1578,"(* z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":516,"(* z0 (/ 1 (cos z1)))":1340,"(* z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":852,"(* z0 (/ 1/2 (fabs (- z1 1))))":472,"(* z0 (/ z1 (cos z2)))":4788,"(* z0 (/ z1 (sqrt (+ (* z0 z0) (* z2 z2)))))":2874,"(* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":4446,"(* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":10638,"(* z0 (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))))":7296,"(* z0 (cos (* -1/2 z1)))":17134,"(* z0 (cos (* z1 z2)))":1314,"(* z0 (cos (+ z1 z1)))":1266,"(* z0 (cos (- (/ (- z1) z2) (* 1/2 PI))))":1824,"(* z0 (cos (/ z1 z2)))":2088,"(* z0 (cos z1))":64386,"(* z0 (fabs (* z1 z1)))":164,"(* z0 (fabs (sin z1)))":1286,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":35568,"(* z0 (pow (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2)))) (* 1/2 z1)))":18822,"(* z0 (pow (/ (- -1 (* (sin z1) z2)) (- (* (sin z1) z2) 1)) (* z2 1/2)))":4950,"(* z0 (pow (sin z1) 2))":3944,"(* z0 (pow (tan (- (* 5/4 PI) (* -1/2 z1))) (- z2)))":4242,"(* z0 (pow (tan (- (* 5/4 PI) (* -1/2 z1))) z2))":3114,"(* z0 (sin (* -1/2 z1)))":2686,"(* z0 (sin (* 1/2 (+ z1 z1))))":1566,"(* z0 (sin (* 2 z1)))":2542,"(* z0 (sin (* 3 z1)))":4882,"(* z0 (sin (* 4 z1)))":8406,"(* z0 (sin (* z1 1/2)))":13542,"(* z0 (sin (* z1 z2)))":5616,"(* z0 (sin (+ (* z1 1/2) (* 1/4 PI))))":1502,"(* z0 (sin (- (* -1/2 z1) PI)))":2040,"(* z0 (sin (- (* z1 1/2) (* -1/4 PI))))":1528,"(* z0 (sin (- (/ (- z1) z2) (* 1/2 PI))))":1464,"(* z0 (sin (/ (+ 0 (+ z1 z1)) 2)))":3192,"(* z0 (sin (/ z1 z2)))":1704,"(* z0 (sin z1))":132820,"(* z0 (sqrt (+ (* z1 z1) (* z2 z2))))":9336,"(* z0 (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)))":2430,"(* z0 (sqrt (- (* z1 z1) 1)))":254,"(* z0 (sqrt (fabs (* z1 z2))))":618,"(* z0 (sqrt (fabs (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))))":2064,"(* z0 (sqrt (fabs (- -1 z1))))":9926,"(* z0 (sqrt (fabs (- 1 z1))))":368,"(* z0 (sqrt (fabs (- z1 -1))))":4424,"(* z0 (sqrt (fabs (- z1 1))))":292,"(* z0 (sqrt (fabs z1)))":6886,"(* z0 (sqrt (sqrt (fabs (- 1 z1)))))":4432,"(* z0 (sqrt (sqrt (fabs z1))))":2220,"(* z0 (sqrt (sqrt z1)))":286,"(* z0 (sqrt 1/2))":519,"(* z0 (sqrt 2))":1322,"(* z0 (sqrt z1))":2212,"(* z0 (tan z1))":14188,"(+ (* (pow (cos z0) 4) z1) z2)":17838,"(+ (* (sin (* 3 z0)) z1) (* (sin z0) z2))":19008,"(+ (* (sin (* 3 z0)) z1) z2)":19710,"(+ (* (sin (* 4 z0)) z1) z2)":1284,"(+ (* (sin (+ z0 z0)) z1) z2)":5520,"(+ (* (sin (- (+ PI (+ z0 z0)))) z1) z2)":1218,"(+ (* (sin z0) (sin z0)) z1)":4540,"(+ (* (sqrt (fabs (* z0 z1))) (sqrt (fabs (* z0 z1)))) z2)":564,"(+ (* z0 (sin (* 3 z1))) z2)":3852,"(+ (* z0 (sin (* 4 z1))) z2)":16056,"(+ (* z0 (sin z1)) (* z2 (- (* 3 (sin z1)) (* (pow (sin z1) 3) 4))))":5040,"(+ (* z0 (sin z1)) (* z2 (sin (* 3 z1))))":9162,"(+ (* z0 (sin z1)) (* z2 (sin (+ (- (* 3 z1)) PI))))":2832,"(+ (- 1/2 (* 1/2 (cos (+ z0 z0)))) z1)":1294,"(+ (cos (* z0 z1)) z2)":2532,"(+ (cos (+ (fabs z0) z1)) z2)":1200,"(+ (cos (+ z0 z0)) 1)":3118,"(+ (cos (+ z0 z1)) z2)":3132,"(+ (cos (- z0 z1)) z2)":8580,"(+ (sin (+ z0 z1)) z2)":4524,"(+ 1 (* z0 (* (sin z1) (sin z1))))":8804,"(+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))":3518,"(+ 1 (* z0 (pow (sin z1) 2)))":2930,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":6014,"(+ z0 (* (* 1/2 z1) (- (cos (+ z2 z2)))))":2748,"(+ z0 (* (- (log (fabs (- -1 z1)))) z2))":1938,"(+ z0 (* (/ 1 (/ 1 (sin z1))) z2))":1464,"(+ z0 (* (pow (cos z1) 4) z2))":2574,"(+ z0 (* (sin (* 4 z1)) z2))":12276,"(+ z0 (* (sin (+ z1 z1)) z2))":6462,"(+ z0 (* -3689471323/1000000000000000000000000000000000 (+ (* (* z1 z1) (* z1 z1)) (+ (pow z2 4) (* -6 (* (* z1 z1) (* z2 z2)))))))":2724,"(+ z0 (* z1 (- (* 3 (sin z2)) (* (pow (sin z2) 3) 4))))":5130,"(+ z0 (* z1 (sin (* 3 z2))))":9354,"(+ z0 (* z1 (sin (+ (- (* 3 z2)) PI))))":2862,"(+ z0 (+ (/ 1 (pow (* z1 z1) -2)) (* -6 (* (* z2 z2) (* z1 z1)))))":1518,"(+ z0 (+ (pow z1 4) (* -6 (* (* z2 z2) (* z1 z1)))))":3078,"(+ z0 (- (cos (* z1 z2))))":1890,"(+ z0 (- 1/2 (* 1/2 (cos (+ z1 z1)))))":2370,"(+ z0 (cos (* z1 z2)))":6744,"(+ z0 (cos (+ z1 z2)))":8466,"(+ z0 (cos (- z1 (fabs z2))))":1176,"(+ z0 (cos (- z1 z2)))":2874,"(+ z0 (sin (- z1 z2)))":4530,"(- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1)":3786,"(- (* (* -1/2 z0) (- 1 (cos (+ z1 z1)))) 1)":2218,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":1634,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1)":6298,"(- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1)":7216,"(- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1)":2172,"(- (* (- 1 (cos (+ z0 z0))) (* -1/2 z1)) -1)":1256,"(- (* (- 1 (cos (+ z0 z0))) z1) -2)":2220,"(- (* (- z0) (sin (* 4 z1))) z2)":2412,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) z1)":4322,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":3653,"(- (* (cos z0) (tan z1)) (* (sin z0) z2))":3834,"(- (* (sin (* -3 z0)) z1) (* (sin z0) z2))":4836,"(- (* (sin (* -3 z0)) z1) z2)":5148,"(- (* (sin (* 4 z0)) z1) z2)":1596,"(- (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)) z1)":1942,"(- (* -1/2 (* (- 1 (cos (+ z0 z0))) z1)) 1)":1410,"(- (* z0 (- (cos (+ z1 z1)) 1)) -2)":1328,"(- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))))":10476,"(- (+ z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))) z2)":5004,"(- (- (* PI 1/2) (fabs (* z0 z1))) (* PI 1/2))":394,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":628,"(- (/ (* (pow (cos z0) 4) z1) z2) -1)":3504,"(- (/ 1 (sqrt (fabs (- z0 1)))))":1893,"(- (cos (+ z0 z0)) -1)":5317,"(- (cos (+ z0 z0)) 1)":7113,"(- (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":8994,"(- (log (fabs (- -1 (* (sin z0) z1)))) z2)":2454,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) z1)":6040,"(- (sin (- (* PI 1/2) (* z0 z1))) z2)":1278,"(- (sin (- (* z0 z1) (* PI -1/2))) z2)":1314,"(- (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":3456,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":4218,"(- (sqrt (- (* z0 z0) 1)))":635,"(- (sqrt (fabs (- (* E z0) E))))":423,"(- (sqrt (fabs (- (* z0 z0) 1))))":830,"(- (sqrt (fabs (- 1 (* z0 z0)))))":612,"(- (sqrt (sqrt (fabs z0))))":479,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":14182,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":14774,"(- -1/2 (* -1/2 (cos (+ z0 z0))))":1637,"(- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))":1556,"(- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":3968,"(- 1 (* (* z0 (sin z1)) (* z0 (sin z1))))":5612,"(- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))":1834,"(- 1 (cos (+ z0 z0)))":34752,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":1356,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":4973,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":2383,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":4982,"(- z0 (* (log (fabs (- -1 z1))) z2))":1368,"(- z0 (* (sin (* -3 z1)) z2))":2112,"(- z0 (* (sin (* 1/4 PI)) (sin (* z1 1/2))))":5118,"(- z0 (* (sin (* 3 z1)) z2))":5238,"(- z0 (* (sin (* 4 z1)) z2))":10554,"(- z0 (* (sin (+ z1 z1)) z2))":13506,"(- z0 (* (sin (- (* -3 z1) PI)) z2))":1944,"(- z0 (* (sqrt (fabs (* (* z1 z2) z1))) (sqrt (fabs z2))))":546,"(- z0 (* (sqrt z1) (/ -1 z2)))":660,"(- z0 (* z1 (sin (* 4 z2))))":5604,"(- z0 (- -1/2 (* -1/2 (cos (+ z1 z1)))))":3024,"(- z0 (log (fabs (- (* (sin z1) z2) 1))))":2412,"(- z0 (sin (- (* 1/4 PI) (* z1 1/2))))":1334,"(/ (* (* (sqrt z0) z1) z1) z2)":1008,"(/ (* (- z0) z1) (sqrt (+ (* z0 z0) (* z2 z2))))":570,"(/ (* (/ (sqrt 2) 2) (cos (* -1/2 z0))) z1)":2708,"(/ (* (/ (sqrt 2) 2) (sin (* z0 1/2))) z1)":2850,"(/ (* (/ (sqrt 2) 2) (sin (- (* -1/2 z0) PI))) z1)":1526,"(/ (* (/ 1 (/ (sqrt z0) z0)) z1) z2)":750,"(/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) z1)":2464,"(/ (* (cos z0) (cos z1)) z2)":6630,"(/ (* (cos z0) (sin z1)) z2)":4320,"(/ (* (cos z0) z1) z2)":3948,"(/ (* (pow (cos z0) 4) z1) z2)":4686,"(/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) z1)":4384,"(/ (* (sin z0) (cos z1)) z2)":10986,"(/ (* (sin z0) z1) z2)":2220,"(/ (* (sqrt (fabs (- z0 -1))) (- E)) z1)":1332,"(/ (* (sqrt (fabs (- z0 -1))) E) z1)":1550,"(/ (* (sqrt 2) 1/2) z0)":1262,"(/ (* (sqrt z0) z1) z2)":1164,"(/ (* (tan (+ (* 1/2 z0) (/ PI 4))) z1) z2)":2802,"(/ (* z0 (sin z1)) z2)":3102,"(/ (* z0 (sqrt z1)) z2)":1818,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":2304,"(/ (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":4674,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) (+ 1 (* z2 (* (sin z1) (sin z1)))))":6444,"(/ (+ 1 (* z0 (* (sin z1) (sin z1)))) z2)":13020,"(/ (+ 1 (* z0 (- (- 1 (* 1/2 (cos (+ z1 z1)))) 1/2))) z2)":1470,"(/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (+ 1 (* z2 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))))":3600,"(/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) z2)":6348,"(/ (+ 1 (* z0 (pow (sin z1) 2))) z2)":3690,"(/ (+ 1 (* z0 (sin z1))) z2)":58704,"(/ (- (* (* -1/2 z0) (- 1 (cos (+ z1 z1)))) 1) z2)":2388,"(/ (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) z2)":2616,"(/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) z2)":3462,"(/ (- (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (* z1 z1)) -1) z2)":2106,"(/ (- (* (sin z0) z1) -1) z2)":3684,"(/ (- (* -1/2 (* (- 1 (cos (+ z0 z0))) z1)) 1) z2)":3834,"(/ (- (cos z0)) z1)":1254,"(/ (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":456,"(/ (- (sqrt (- (* z0 z0) 1))) z1)":468,"(/ (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":2490,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2)))":4020,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2)":5142,"(/ (- z0) (sqrt (+ (* z1 z1) (* z2 z2))))":456,"(/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) (fabs z2))":2784,"(/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) z2)":3474,"(/ (cos z0) z1)":9560,"(/ (fabs (* (- z0 1) E)) z1)":1378,"(/ (fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))) z2)":1398,"(/ (fabs (- -1 (* z0 z0))) z1)":384,"(/ (sin (* z0 1/2)) z1)":2156,"(/ (sin z0) (cos z1))":3162,"(/ (sin z0) z1)":13326,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (- z1))":714,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) z1)":1038,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) (- (* z0 z2) (* z1 z1)))":1164,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) (- (* z1 z1) (* z0 z2)))":786,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":6396,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":31572,"(/ (sqrt (- (* z0 z0) 1)) z1)":33524,"(/ (sqrt (fabs (* (- z0 1) E))) (sqrt E))":675,"(/ (sqrt (fabs (* (- z0 1) E))) z1)":1374,"(/ (sqrt (fabs (- z0 -1))) z1)":1394,"(/ (sqrt (sqrt (- 1 z0))) z1)":1278,"(/ (sqrt 1/2) z0)":382,"(/ (sqrt 2) z0)":629,"(/ (sqrt z0) z1)":578,"(/ (tan z0) z1)":1162,"(/ -1 (- (* (sin z0) z1) 1))":2256,"(/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":6450,"(/ -1 (sin z0))":1977,"(/ -1 (sqrt (+ (* z0 z0) (* z1 z1))))":482,"(/ -1 (sqrt z0))":351,"(/ -2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":3546,"(/ 1 (* (* (cos z0) z1) (cos z2)))":3612,"(/ 1 (* (cos z0) (- (* (* (- -1 z1) z2) z2) -1)))":3174,"(/ 1 (* (cos z0) (cos z1)))":3476,"(/ 1 (/ (/ 1 (fabs (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))) (fabs z2)))":2784,"(/ 1 (cos z0))":3721,"(/ 1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":3900,"(/ 1 (sin z0))":4966,"(/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":1062,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":1714,"(/ 1 (sqrt (- 1 z0)))":872,"(/ 1 (sqrt (fabs (- z0 1))))":2714,"(/ 1 (sqrt z0))":405,"(/ 2 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":6396,"(/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) (- E)))":882,"(/ z0 (* (- (/ 1 (sqrt (fabs (- z1 1))))) E))":938,"(/ z0 (* (cos z1) (sin z2)))":2310,"(/ z0 (* (sqrt z1) z2))":1464,"(/ z0 (* z1 (* (sqrt z2) z1)))":756,"(/ z0 (* z1 (cos z2)))":1302,"(/ z0 (+ 1 (* z1 (* (sin z2) (sin z2)))))":7434,"(/ z0 (+ 1 (* z1 (- 1 (+ 1/2 (* 1/2 (cos (+ z2 z2))))))))":4164,"(/ z0 (+ 1 (* z1 (pow (sin z2) 2))))":2760,"(/ z0 (+ 1 (+ (* (* 1/2 z1) 1) (* (* 1/2 z1) (- (cos (+ z2 z2)))))))":1770,"(/ z0 (+ 1 (sin z1)))":1554,"(/ z0 (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) -1))":5580,"(/ z0 (- (* (- (* (cos (+ z1 z1)) 1/2) 1/2) (* z2 z2)) -1))":2940,"(/ z0 (- (* (- 1 (cos (+ z1 z1))) (* -1/2 z2)) -1))":3762,"(/ z0 (- (* (sin z1) z2) 1))":47976,"(/ z0 (- (- (sqrt (+ (* z1 z1) (* z2 z2))))))":888,"(/ z0 (- (/ 1 (sqrt (fabs (- z1 1))))))":898,"(/ z0 (- (cos z1)))":1616,"(/ z0 (- (sin z1) -1))":1618,"(/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":2268,"(/ z0 (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":3114,"(/ z0 (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))":5286,"(/ z0 (/ 1 (* (cos z1) (cos z2))))":4542,"(/ z0 (/ 1 (cos z1)))":1384,"(/ z0 (/ 1 (fabs z1)))":700,"(/ z0 (/ 1 (sin z1)))":1828,"(/ z0 (atan (exp (/ z1 z2))))":8436,"(/ z0 (cos (* (+ (* 2 z1) PI) -1/4)))":5124,"(/ z0 (cos (* (+ (* z1 2) PI) -1/4)))":1572,"(/ z0 (cos (* (+ (+ z1 z1) PI) 1/4)))":3918,"(/ z0 (cos (- (* -1/4 PI) (* z1 1/2))))":2312,"(/ z0 (cos z1))":60842,"(/ z0 (fabs (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))))))":1914,"(/ z0 (sin (- (* z1 1/2) (* 1/4 PI))))":8018,"(/ z0 (sin z1))":7042,"(/ z0 (sqrt (+ (* (* z1 z0) z0) (* z2 z2))))":504,"(/ z0 (sqrt (+ (* z0 z0) (* z1 z1))))":2164,"(/ z0 (sqrt (+ (* z1 z1) (* z0 z0))))":3684,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":24600,"(/ z0 (sqrt (- (* (* (- (cos (+ z1 z1)) 1) 1/2) z2) -1)))":8046,"(/ z0 (sqrt (- (* z1 z1) -1)))":922,"(/ z0 (sqrt (fabs (- 1 z1))))":1136,"(/ z0 (sqrt (fabs (- z1 1))))":1310,"(/ z0 (sqrt (fabs z1)))":1250,"(/ z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))":486,"(/ z0 (sqrt 2))":1140,"(/ z0 (sqrt E))":911,"(/ z0 (sqrt z1))":1312,"(atan2 z0 (cos (* z1 z2)))":3240,"(atan2 z0 (sin (- (* PI 1/2) (* z1 z2))))":2400,"(cos (* (+ (* 2 z0) PI) -1/4))":2643,"(cos (* (+ (+ z0 z0) PI) 1/4))":4100,"(cos (* -1/4 (+ (+ z0 z0) PI)))":1437,"(cos (* -2 (+ (/ z0 z1) z2)))":1662,"(cos (* 2 (+ (/ z0 z1) z2)))":4008,"(cos (* z0 z1))":7926,"(cos (+ (/ z0 z1) z2))":6984,"(cos (+ z0 z1))":4736,"(cos (- (* -1/4 PI) (* z0 1/2)))":1527,"(cos (- (* z0 1/2) (* -1/4 PI)))":1606,"(cos (- (/ z0 z1) z2))":2580,"(cos (- z0 z1))":4656,"(cos (/ z0 z1))":2054,"(fabs (* (* E (- z0 1)) (- z0 -1)))":216,"(fabs (* (* z0 z1) z0))":228,"(fabs (* (- z0 1) E))":1701,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) (sqrt (fabs z2))))":2652,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))":51546,"(fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2))":5784,"(fabs (* (sqrt (fabs z0)) (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2)))))":2802,"(fabs (+ (* (pow (cos z0) 4) z1) z2))":14778,"(fabs (+ z0 (* (pow (cos z1) 4) z2)))":2484,"(fabs (- (* E z0) E))":813,"(fabs (- (- (* PI 1/2) (fabs (* z0 z1))) (* PI 1/2)))":270,"(fabs (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))":2776,"(fabs (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))":1568,"(fabs (/ (+ (* (- z0) E) E) E))":1161,"(fabs (/ 1 (sqrt (fabs (- z0 1)))))":382,"(fabs (sin (+ (/ z0 z1) z2)))":4932,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":11858,"(log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)))":6444,"(log (fabs (- -1 z0)))":1258,"(log (fabs (- z0 1)))":1133,"(log (tan (+ (/ PI 4) (* 1/2 z0))))":3858,"(pow (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) -2)":3676,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":6274,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) z2)":19710,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2))":6526,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) z2)":23370,"(pow (/ -1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))) -1)":4728,"(pow (/ z0 z1) (/ 1 z2))":3012,"(pow (/ z0 z1) z2)":8436,"(pow (cos z0) 4)":6196,"(pow (sin z0) 2)":2974,"(pow (tan (- (* 5/4 PI) (* -1/2 z0))) z1)":4180,"(sin (* -3 z0))":1513,"(sin (* 3 z0))":7112,"(sin (* z0 z1))":8676,"(sin (+ (* z0 1/2) (* 1/4 PI)))":2147,"(sin (+ (/ z0 z1) z2))":7662,"(sin (+ z0 z1))":2168,"(sin (- (* -1/2 z0) PI))":1154,"(sin (- (* 1/4 PI) (* z0 1/2)))":2484,"(sin (- (* PI 1/2) (* z0 z1)))":1328,"(sin (- (* z0 1/2) (* -1/4 PI)))":2570,"(sin (- (* z0 1/2) (* 1/4 PI)))":5412,"(sin (- (* z0 1/2) (* PI -3/4)))":1258,"(sin (- z0 z1))":2190,"(sin (/ z0 z1))":2350,"(sqrt (* (+ (* (* z0 z1) z1) (* z2 z2)) 2))":894,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)))":4302,"(sqrt (* (sqrt (fabs (- 1 z0))) (fabs (- -1 z0))))":566,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":694,"(sqrt (+ (* (* z0 z0) z1) (* z2 z2)))":630,"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))":11766,"(sqrt (+ (* z0 z0) (* z1 z1)))":30340,"(sqrt (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":3380,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":1274,"(sqrt (- (* z0 z0) -1))":714,"(sqrt (- (* z0 z0) 1))":18185,"(sqrt (- (/ (* (pow (cos z0) 4) z1) z2) -1))":2502,"(sqrt (/ (+ (* (/ z0 z1) z0) z1) z1))":654,"(sqrt (/ (+ 1 (* z0 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (+ 1 (* z2 (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))))":3600,"(sqrt (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 (* (* z2 (- 1 (cos (+ z1 z1)))) 1/2))))":2994,"(sqrt (fabs (* (- z0 1) E)))":904,"(sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":11976,"(sqrt (fabs (* (pow (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) 2) z2)))":5784,"(sqrt (fabs (* z0 z1)))":566,"(sqrt (fabs (+ (* (/ z0 z1) z0) z1)))":334,"(sqrt (fabs (+ (* (pow (cos z0) 4) z1) z2)))":10164,"(sqrt (fabs (+ z0 (* (pow (cos z1) 4) z2))))":2454,"(sqrt (fabs (- (* E z0) E)))":710,"(sqrt (fabs (- (* z0 z0) 1)))":893,"(sqrt (fabs (- 1 (* z0 z0))))":806,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":504,"(sqrt (sqrt (fabs z0)))":3232,"(sqrt (sqrt (sqrt (fabs z0))))":442,"(sqrt (sqrt z0))":606,"(tan (* (+ (+ z0 z0) PI) 1/4))":2646,"(tan (+ (/ PI 4) (* 1/2 z0)))":3858,"(tan (- (* 5/4 PI) (* -1/2 z0)))":2858,"(tan (- (* z0 1/2) (* -1/4 PI)))":1294}