{"(* (* (* (- z0) z0) z1) (sqrt (+ (* z2 z2) (* z0 z0))))":720,"(* (* (* (- z0) z0) z1) (sqrt z2))":1326,"(* (* (* 2 z0) z1) (sin z2))":3084,"(* (* (* z0 z1) z1) (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":2484,"(* (* (* z0 z1) z1) (sqrt z2))":2484,"(* (* (- (cos (+ z0 z0)) 1) 1/2) z1)":4524,"(* (* (- (cos (+ z0 z0)) 1) z1) z2)":2700,"(* (* (- (fabs z0)) z1) z2)":222,"(* (* (- z0) z1) (sqrt z2))":558,"(* (* (cos (/ z0 z1)) (cos z2)) 2)":12900,"(* (* (cos (/ z0 z1)) z2) 2)":13596,"(* (* (cos z0) z1) (cos z2))":11402,"(* (* (cos z0) z1) (sin z2))":8502,"(* (* (exp z0) 2) (pow z1 z2))":3918,"(* (* (fabs z0) z1) z2)":366,"(* (* (sin z0) z1) (/ 1 z2))":2640,"(* (* (sin z0) z1) (cos z2))":7674,"(* (* (sin z0) z1) z2)":9042,"(* (* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1)))) (sqrt z1))":1374,"(* (* (sqrt (sqrt (fabs (- z0 1)))) z1) (sqrt (sqrt (fabs (- 1 z0)))))":1194,"(* (* (sqrt 2) 1/2) (cos z0))":2240,"(* (* (sqrt 2) z0) z1)":516,"(* (* (tan z0) 1/2) (- z1 (/ 1 z1)))":2016,"(* (* (tan z0) 1/2) (- z1 z2))":7044,"(* (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":1542,"(* (* 1/2 z0) (- (cos (+ z1 z1)) 1))":5822,"(* (* 1/2 z0) (- 1 (cos (+ z1 z1))))":29218,"(* (* 2 z0) (cos (/ z1 z2)))":5748,"(* (* z0 (- (fabs z1))) z2)":228,"(* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)":14150,"(* (* z0 (cos z1)) (cos z2))":5220,"(* (* z0 (cos z1)) 2)":4876,"(* (* z0 (fabs z1)) (fabs z1))":398,"(* (* z0 (fabs z1)) z2)":312,"(* (* z0 (sin (* 4 z1))) z2)":1968,"(* (* z0 (sin z1)) (* z0 (sin z1)))":4106,"(* (* z0 (sin z1)) (* z0 z2))":12318,"(* (* z0 (sin z1)) (cos z2))":4632,"(* (* z0 (sqrt (fabs (- z1 -1)))) (sqrt (sqrt (fabs (- 1 z1)))))":1466,"(* (* z0 (sqrt (fabs (/ 1 z1)))) z2)":780,"(* (* z0 1/2) (cos (* -1/2 z1)))":3576,"(* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2))":2454,"(* (* z0 z0) (sqrt (+ (* (* z1 z2) z2) (* z0 z0))))":1272,"(* (* z0 z0) (sqrt z1))":546,"(* (* z0 z1) (* z0 (sin z2)))":12318,"(* (* z0 z1) (- (cos (+ z2 z2)) 1))":5502,"(* (* z0 z1) (cos z2))":18750,"(* (* z0 z1) (fabs z2))":954,"(* (* z0 z1) (pow (cos z2) 4))":3696,"(* (* z0 z1) (pow z2 4))":3624,"(* (* z0 z1) (sin z2))":29544,"(* (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":793,"(* (* z0 z1) (sqrt (sqrt z2)))":672,"(* (* z0 z1) (sqrt z2))":8148,"(* (* z0 z1) (tan z2))":7896,"(* (+ (* (* z0 z1) z1) (* z2 z2)) (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":1464,"(* (+ (cos (+ z0 z0)) 1) 1/2)":2717,"(* (+ (cos (- z0 z1)) z2) 1/2)":2646,"(* (- (* 3 (/ 1 (pow (* z0 z0) -1))) z1) (* 881662847/200000000000000000000000000 z2))":2574,"(* (- (* z0 z0) 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":8268,"(* (- (cos (+ z0 z0)) -1) 1/2)":2230,"(* (- (cos (+ z0 z0)) 1) 1/2)":2438,"(* (- (sin (- (/ (- z0) z1) z2))) (sin (- PI)))":4080,"(* (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) 1)":540,"(* (- (sqrt (fabs (- 2 (* (+ z0 z0) z0))))) 1)":1034,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- (* z2 z2) 1))":2466,"(* (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (- z2 1))":2466,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- (* z2 z2) 1))":4362,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 z2))":2364,"(* (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- z2 1))":5082,"(* (- -1 z0) (- -1 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))":2736,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2))":2616,"(* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2)":1884,"(* (- 1 (* (* z0 (sin z1)) (* z0 (sin z1)))) (* (cos z1) z2))":9882,"(* (- 1 (* z0 z0)) (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1))":2292,"(* (- 1 (cos (+ z0 z0))) z1)":4284,"(* (- 1 z0) (* (cos z1) z2))":11700,"(* (- 1 z0) (* (tan z1) z2))":15156,"(* (- 1 z0) (* z1 (tan z2)))":3216,"(* (- 1 z0) (- (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2) -1))":2592,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* z1 1/2))":1846,"(* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)":1862,"(* (- z0 (log (tan (* (+ (+ z1 z1) PI) 1/4)))) z2)":6396,"(* (- z0 -1) (* (cos z1) z2))":1866,"(* (- z0 1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":9210,"(* (- z0) (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":678,"(* (- z0) (cos z1))":4302,"(* (- z0) (sin (* 4 z1)))":1932,"(* (- z0) (sin z1))":11532,"(* (- z0) (sqrt (+ (* z1 z1) (* z2 z2))))":810,"(* (- z0) (sqrt z1))":1218,"(* (/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) z1) z2)":2064,"(* (/ (sqrt 2) 2) (cos z0))":2748,"(* (/ (sqrt 2) 2) (sin (* z0 1/2)))":2762,"(* (/ (sqrt 2) 2) (sin z0))":4463,"(* (/ 1 z0) (asin z1))":1946,"(* (/ 1 z0) (sin z1))":3126,"(* (/ 1 z0) (sqrt (fabs (- -1 z1))))":530,"(* (/ 1 z0) (sqrt z1))":524,"(* (/ z0 (cos z1)) (sqrt z2))":3678,"(* (/ z0 (cos z1)) z2)":5106,"(* (/ z0 (sin (- (* z1 1/2) (* 1/4 PI)))) z2)":2316,"(* (/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":9192,"(* (/ z0 2) (cos (* -1/2 z1)))":3820,"(* (/ z0 2) (sin (* z1 1/2)))":5772,"(* (/ z0 2) (sin (- (* -1/2 z1) PI)))":2946,"(* (/ z0 z1) (cos z2))":2790,"(* (/ z0 z1) (sin z2))":2550,"(* (/ z0 z1) (sqrt z2))":948,"(* (/ z0 z1) (tan z2))":2016,"(* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)":26118,"(* (atan z0) z1)":11470,"(* (cos (* -1/2 z0)) (/ (sqrt 2) 2))":1977,"(* (cos (* -1/2 z0)) (/ z1 2))":4758,"(* (cos (* 1/4 PI)) (cos (* -1/2 z0)))":3776,"(* (cos (* 1/4 PI)) (cos z0))":3902,"(* (cos (/ z0 z1)) (cos z2))":13536,"(* (cos z0) (/ (cos z1) z2))":4026,"(* (cos z0) (/ (sin z1) z2))":3396,"(* (cos z0) (/ (sqrt 2) 2))":2071,"(* (cos z0) (sin z1))":18128,"(* (cos z0) (sqrt z1))":3966,"(* (cos z0) z1)":15958,"(* (exp z0) (pow z1 z2))":5562,"(* (fabs z0) (* (- z1 1) (- z1 1)))":398,"(* (fabs z0) (* (fabs z0) z1))":376,"(* (fabs z0) (* z1 z2))":660,"(* (fabs z0) (sqrt 1/2))":298,"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)":19956,"(* (log z0) z1)":10326,"(* (pow (cos z0) 4) z1)":10218,"(* (pow z0 2) z1)":2808,"(* (pow z0 4) z1)":11426,"(* (sin (* -1/2 z0)) (/ (sqrt 2) 2))":2809,"(* (sin (* -1/2 z0)) (/ z1 2))":6550,"(* (sin (* 1/4 PI)) (sin (* z0 1/2)))":4704,"(* (sin (* 1/4 PI)) (sin z0))":5141,"(* (sin (* 3 z0)) z1)":8326,"(* (sin (* 4 z0)) z1)":10848,"(* (sin (* z0 1/2)) (* z1 1/2))":3718,"(* (sin (* z0 z1)) z2)":17232,"(* (sin (+ z0 z0)) z1)":8248,"(* (sin z0) (* (sqrt 2) 1/2))":2880,"(* (sin z0) (+ z1 z2))":1734,"(* (sin z0) (/ (sqrt 2) 2))":2952,"(* (sin z0) (/ z1 z2))":2802,"(* (sin z0) (cos z1))":19220,"(* (sin z0) (sin (* z1 1/2)))":9938,"(* (sin z0) (sin z0))":6327,"(* (sin z0) z1)":152502,"(* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (* z2 z2))":1212,"(* (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) 1/2)":1326,"(* (sqrt (+ (* z0 z0) (* z1 z1))) (- z2))":942,"(* (sqrt (+ (* z0 z0) (* z1 z1))) (sin z2))":2628,"(* (sqrt (+ (* z0 z0) (* z1 z1))) z2)":2952,"(* (sqrt (fabs (* z0 z1))) (sqrt z2))":672,"(* (sqrt (fabs (- 1 z0))) (fabs z1))":960,"(* (sqrt (fabs (- 1 z0))) (sqrt (fabs (- -1 z0))))":1155,"(* (sqrt (fabs (- 1 z0))) (sqrt z1))":2778,"(* (sqrt (fabs (- z0 1))) (- z1))":620,"(* (sqrt (fabs (- z0 1))) (fabs z1))":1288,"(* (sqrt (fabs z0)) (- z1))":620,"(* (sqrt (fabs z0)) (fabs z0))":880,"(* (sqrt (fabs z0)) (sqrt z1))":452,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt (fabs (- z0 -1))))":778,"(* (sqrt (sqrt (fabs (- z0 1)))) (sqrt z1))":1970,"(* (sqrt (sqrt z0)) z1)":1752,"(* (sqrt z0) (* (sin (* 4 z1)) z2))":3228,"(* (sqrt z0) (* z1 z1))":436,"(* (sqrt z0) (* z1 z2))":2580,"(* (sqrt z0) (+ (* z1 z1) (* z2 z2)))":540,"(* (sqrt z0) (- (sqrt (+ (* z1 z1) (* z2 z2)))))":792,"(* (sqrt z0) (/ -1 (* (sqrt (sqrt z1)) z2)))":894,"(* (sqrt z0) (/ z1 (cos z2)))":2106,"(* (sqrt z0) (cos z1))":4088,"(* (sqrt z0) (fabs (- -1 z1)))":1320,"(* (sqrt z0) (fabs (- z1 -1)))":1164,"(* (sqrt z0) (fabs z1))":2318,"(* (sqrt z0) (sqrt (fabs (* z1 z2))))":672,"(* (sqrt z0) (sqrt (fabs (- -1 z1))))":2926,"(* (sqrt z0) (sqrt (fabs (- z1 -1))))":2224,"(* (sqrt z0) (sqrt (fabs z1)))":2092,"(* (sqrt z0) (sqrt (sqrt (fabs (- 1 z1)))))":1184,"(* (sqrt z0) z1)":15194,"(* (tan (* 1/2 (- (/ PI 2) z0))) (pow z1 (* 1/2 z2)))":4842,"(* (tan (- (* 1/4 PI) -27401669256311/40000000000000)) (pow (/ z0 z1) z2))":6000,"(* (tan z0) z1)":8648,"(* -4165541759/500000000000000000000000000000000 (+ z0 (+ (pow z1 4) (* -6 (* (* z2 z2) (* z1 z1))))))":3078,"(* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":3558,"(* 2 (- (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":786,"(* 2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":1512,"(* 2 (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":654,"(* 4 (* (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))))":1542,"(* z0 (* (cos z1) (sin z2)))":8298,"(* z0 (* (cos z1) z2))":17568,"(* z0 (* (fabs z1) z2))":288,"(* z0 (* (sin z1) (sin z1)))":8200,"(* z0 (* (sin z1) z2))":29232,"(* z0 (* z1 (/ z2 (fabs z0))))":384,"(* z0 (* z1 (cos z2)))":6132,"(* z0 (* z1 (fabs z2)))":258,"(* z0 (* z1 (sin z2)))":39942,"(* z0 (* z1 (sqrt (sqrt z2))))":504,"(* z0 (+ 1/2 (* 1/2 (cos (* 2 (+ z1 (* PI 1/2)))))))":2928,"(* z0 (- (* 3 (sin z1)) z2))":6288,"(* z0 (- (log (tan (+ (* PI 1/4) (* 1/2 z1)))) z2))":3456,"(* z0 (- (log (tan (+ (/ PI 4) (* 1/2 z1)))) z2))":12132,"(* z0 (- 1 (cos (+ z1 z1))))":14426,"(* z0 (- z1 (* (pow (sin z2) 3) 4)))":3510,"(* z0 (- z1 (log (fabs (- z2 1)))))":2646,"(* z0 (/ z1 (cos z2)))":3444,"(* z0 (/ z1 (fabs z2)))":504,"(* z0 (/ z1 (sqrt (+ (* z1 z1) (* z2 z2)))))":7224,"(* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":2100,"(* z0 (atan (/ (* (sqrt (fabs (- 1 z1))) (sqrt (fabs (- -1 z1)))) (cos z2))))":3792,"(* z0 (atan z1))":3386,"(* z0 (cos z1))":2834,"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))":35472,"(* z0 (log z1))":26758,"(* z0 (pow z1 2))":2704,"(* z0 (sin (* 2 z1)))":3550,"(* z0 (sin (* 3 z1)))":2586,"(* z0 (sin (* 4 z1)))":4950,"(* z0 (sin (* z1 z2)))":2850,"(* z0 (sin z1))":83508,"(* z0 (sqrt z1))":3984,"(* z0 (tan z1))":2456,"(+ (* (* z0 z0) z1) (+ (pow z2 4) (* -6 (* (* z0 z0) (* z2 z2)))))":4026,"(+ (* (* z0 z0) z1) (fabs z2))":384,"(+ (* (* z0 z0) z1) (pow z2 4))":1734,"(+ (* (- (- (fabs z0))) z1) (* z2 z2))":438,"(+ (* (- (fabs z0)) z1) (* z2 z2))":498,"(+ (* (fabs z0) z1) (* z2 z2))":654,"(+ (* (pow (cos z0) 4) z1) z2)":13482,"(+ (* (sin (* 3 z0)) z1) (* (sin z0) z2))":16872,"(+ (* z0 (* z1 z1)) (+ (pow z2 4) (* -6 (* (* z1 z1) (* z2 z2)))))":4026,"(+ (* z0 (- (- (fabs z1)))) (* z2 z2))":438,"(+ (* z0 (- (fabs z1))) (* z2 z2))":498,"(+ (* z0 (fabs z1)) (* z2 z2))":654,"(+ (* z0 (sin (* 4 z1))) (- z2))":4074,"(+ (* z0 (sin z1)) (* z2 (sin (* 3 z1))))":3978,"(+ (* z0 z0) (* (- (- (fabs z1))) z2))":1080,"(+ (* z0 z0) (* (- (fabs z1)) z2))":528,"(+ (* z0 z0) (* (fabs z1) z2))":702,"(+ (* z0 z0) (* z1 (- (- (fabs z2)))))":660,"(+ (* z0 z0) (* z1 (- (fabs z2))))":516,"(+ (* z0 z0) (* z1 (fabs z2)))":1110,"(+ (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* -1/4 PI) (* z0 1/2))))":844,"(+ (+ (fabs z0) z1) z0)":134,"(+ (- z0 (* z1 1/2)) (fabs (- (* -1/4 PI) (* z1 1/2))))":444,"(+ (cos (+ z0 z0)) 1)":2731,"(+ (cos (+ z0 z1)) (cos z2))":5826,"(+ (cos (- z0 z1)) (cos z2))":7662,"(+ (cos z0) (cos (+ z1 z2)))":7326,"(+ (cos z0) (cos (- z1 z2)))":5652,"(+ (cos z0) 1)":3282,"(+ (pow z0 4) (* -6 z1))":1990,"(+ (pow z0 4) (* z1 z2))":1944,"(+ (sin z0) (cos (* z1 z2)))":5598,"(+ 1 (* z0 (* (sin z1) (sin z1))))":6666,"(+ 1 (* z0 (+ 1/2 (* 1/2 (cos (* 2 (+ z1 (* PI 1/2))))))))":2928,"(+ 1/2 (* 1/2 (cos (+ z0 z0))))":3183,"(- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1)":4342,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":5384,"(- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1)":13332,"(- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1)":4692,"(- (* (* z0 z0) (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1)":2182,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* (sin (* 1/4 PI)) z1))":6484,"(- (* (cos (* 1/4 PI)) (cos (* -1/2 z0))) (* z1 (sin (* z0 1/2))))":6750,"(- (* (cos (* 1/4 PI)) z0) (* (sin (* 1/4 PI)) (sin (* z1 1/2))))":6580,"(- (* (cos (+ z0 z0)) 1/2) 1/2)":2600,"(- (* (cos z0) z1) (* (sin z0) z2))":3258,"(- (* (fabs z0) z1) (* z2 z2))":282,"(- (* (sin z0) (cos z1)) (* z2 (sin z1)))":5274,"(- (* 1/2 PI) (* (sqrt (fabs (* z0 z1))) z2))":480,"(- (* 1/2 PI) (* z0 (sqrt (fabs (* z1 z2)))))":480,"(- (* z0 (- (* (cos (+ z1 z1)) 1/2) 1/2)) -1)":2260,"(- (* z0 (- (cos (+ z1 z1)) 1)) -1)":6316,"(- (* z0 (- 1 (cos (+ z1 z1)))) -1)":13436,"(- (* z0 (- 1 (cos (+ z1 z1)))) 1)":2324,"(- (* z0 (- 1/2 (* (cos (+ z1 z1)) -1/2))) (- -1/2 (* -1/2 (cos (+ z2 z2)))))":3990,"(- (* z0 (/ z1 (sqrt (+ (* z2 z2) (* z1 z1))))))":2028,"(- (* z0 (cos (* -1/2 z1))) (* (sin (* 1/4 PI)) (sin (* z1 1/2))))":6762,"(- (* z0 (fabs z1)) (* z2 z2))":282,"(- (* z0 (sin z1)))":1688,"(- (* z0 (sqrt (fabs (- -1 z1)))))":544,"(- (* z0 (sqrt (fabs z1))))":442,"(- (* z0 (sqrt (sqrt (fabs (- 1 z1))))))":832,"(- (* z0 z0) (* (fabs z1) z2))":348,"(- (* z0 z0) (* z1 (- (fabs z2))))":270,"(- (* z0 z0) (* z1 (fabs z2)))":420,"(- (* z0 z1) (log (tan (* (+ (+ z2 z2) PI) 1/4))))":6408,"(- (+ (- (* -1/4 PI) (* z0 1/2)) z1) (fabs (- (* -1/4 PI) (* z0 1/2))))":858,"(- (+ (fabs z0) (* PI 1/2)) (+ z1 (* PI 1/2)))":536,"(- (+ (fabs z0) z1) z0)":134,"(- (+ (pow z0 4) z1) (* (* 6 (* (* z2 z2) z0)) z0))":1902,"(- (+ z0 (* PI 1/2)) (+ (fabs z1) (* PI 1/2)))":514,"(- (+ z0 1/2) (* 1/2 (cos (+ z1 z1))))":3824,"(- (+ z0 PI) (+ (fabs z1) PI))":258,"(- (- (* PI 1/2) (fabs (* z0 z1))) (* PI 1/2))":394,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":980,"(- (- z0 (* z1 1/2)) (fabs (- (* -1/4 PI) (* z1 1/2))))":452,"(- (/ (* (pow (cos z0) 4) z1) z2) -1)":6474,"(- (/ 1 (sqrt (fabs (- z0 1)))))":585,"(- (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))))":564,"(- (cos (+ (/ z0 z1) z2)))":3198,"(- (cos (+ z0 z0)) -1)":5671,"(- (cos (+ z0 z0)) 1)":8237,"(- (cos z0) -1)":6154,"(- (cos z0) 1)":8692,"(- (log (tan (+ (* PI 1/4) (* 1/2 z0)))) (* z1 z2))":4842,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 (log (/ (+ 1 (* z2 (sin z0))) (- 1 (* z2 (sin z0)))))))":8760,"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 z2))":14502,"(- (sin (- (/ (- z0) z1) z2)))":4200,"(- (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":7104,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":4718,"(- (sqrt (- (* z0 z0) 1)))":509,"(- (sqrt (fabs (- (* z0 z0) 1))))":425,"(- (sqrt (fabs (- 2 (* (+ z0 z0) z0)))))":1257,"(- (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":4866,"(- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":9730,"(- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))":8944,"(- -1 (* z0 (- 1 (cos (+ z1 z1)))))":9860,"(- -1 (cos z0))":1644,"(- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))":2996,"(- 1 (* (* z0 (sin z1)) (* z0 (sin z1))))":4102,"(- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))":2442,"(- 1 (* z0 (- 1 (cos (+ z1 z1)))))":3044,"(- 1 (cos (+ z0 z0)))":27893,"(- 1 (cos z0))":30208,"(- 1/2 (* (cos (+ z0 z0)) -1/2))":1857,"(- 1/2 (* (cos (+ z0 z0)) 1/2))":4227,"(- 1/2 (* -1/2 (cos (+ z0 z0))))":3022,"(- 1/2 (* 1/2 (cos (+ z0 z0))))":3558,"(/ (* (* (- z0) z0) z1) (sqrt (+ (* z2 z2) (* z0 z0))))":1158,"(/ (* (* (- z0) z0) z1) (sqrt z2))":1806,"(/ (* (- (sqrt (fabs (- 2 (* (+ z0 z0) z0))))) 1) (sqrt 2))":984,"(/ (* (- z0) z1) (sqrt (+ (* z1 z1) (* z2 z2))))":990,"(/ (* (- z0) z1) (sqrt z2))":2376,"(/ (* (cos z0) (cos z1)) (sqrt z2))":5790,"(/ (* (pow (cos z0) 4) z1) z2)":7524,"(/ (* (sin z0) (cos z1)) (sqrt z2))":11754,"(/ (* (sqrt (fabs (- 1 z0))) z1) (cos z2))":4668,"(/ (* (sqrt (fabs (- z0 -1))) 2) (* z1 2))":952,"(/ (* z0 (pow (tan (+ 27401669256311/40000000000000 (/ PI 4))) z1)) (pow z2 z1))":7836,"(/ (* z0 (sqrt (fabs (- -1 z1)))) (cos z2))":4608,"(/ (* z0 (sqrt z1)) (- 1 z2))":1638,"(/ (* z0 1) (sqrt 2))":1277,"(/ (* z0 1/2) (cos (* (+ (+ z1 z1) PI) -1/4)))":1902,"(/ (* z0 2) (* (- (/ 1 (sqrt (fabs (- z1 1))))) 2))":758,"(/ (* z0 z0) (sqrt (+ (* (* z1 z2) z2) (* z0 z0))))":750,"(/ (* z0 z1) (cos z2))":10405,"(/ (* z0 z1) (fabs (- -1 z2)))":1470,"(/ (* z0 z1) (fabs z2))":498,"(/ (* z0 z1) (sin (+ (* PI 1/2) z2)))":2754,"(/ (* z0 z1) (sin z2))":2466,"(/ (* z0 z1) (sqrt (+ (* z0 z0) (* z2 z2))))":2382,"(/ (* z0 z1) (sqrt (+ (* z1 z1) (* z2 z2))))":1632,"(/ (* z0 z1) (sqrt (+ (* z2 z2) (* z0 z0))))":5496,"(/ (* z0 z1) (sqrt z2))":10044,"(/ (+ 1 (* z0 (+ 1/2 (* 1/2 (cos (* 2 (+ z1 (* PI 1/2)))))))) (+ 1 z2))":3366,"(/ (+ 1 (* z0 (sin z1))) (- 1 z2))":52842,"(/ (+ 1 z0) (+ 1 (* (* z1 (sin z2)) (sin z2))))":3930,"(/ (+ 1 z0) (+ 1 (* z1 (+ 1/2 (* 1/2 (cos (* 2 (+ z2 (* PI 1/2)))))))))":3366,"(/ (+ 1 z0) (- 1 (* z1 (sin z2))))":52926,"(/ (+ z0 (cos (* z1 z2))) 2)":6336,"(/ (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- -1 z2))":2539,"(/ (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) (- z2 -1))":3552,"(/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) (- -1 z2))":2166,"(/ (- -1 z0) (- (* (sin z1) z2) 1))":56574,"(/ (- z0 -1) (* (sqrt z1) z2))":696,"(/ (- z0 -1) (- (* (* 1/2 z1) (- 1 (cos (+ z2 z2)))) -1))":3660,"(/ (- z0 -1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))":2538,"(/ (- z0 -1) (- 1 (* (sin z1) z2)))":2022,"(/ (- z0) (- (- (sqrt (+ (* z1 z1) (* z2 z2))))))":636,"(/ (- z0) (sqrt (+ (* z1 z1) (* z2 z2))))":618,"(/ (- z0) (sqrt z1))":660,"(/ (/ z0 (* z1 z1)) (sqrt z2))":654,"(/ (/ z0 z1) (sqrt z2))":576,"(/ (cos z0) (sqrt z1))":2972,"(/ (fabs z0) (sqrt (- (* z1 z1) -1)))":504,"(/ (sin z0) (sqrt z1))":1842,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) (- z1))":918,"(/ (sqrt (+ (* (* z0 z1) z1) (* z2 z2))) z1)":1548,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) (* z0 z2))":798,"(/ (sqrt (- (* z0 z0) 1)) (cos z1))":20064,"(/ (sqrt (fabs (- (* z0 (+ z0 z0)) 2))) (sqrt 2))":1218,"(/ (sqrt z0) (* z1 z2))":1326,"(/ (sqrt z0) (- z1))":466,"(/ (sqrt z0) (/ z1 z2))":540,"(/ (sqrt z0) (cos z1))":25896,"(/ (sqrt z0) (sqrt 2))":2204,"(/ (sqrt z0) z1)":1868,"(/ -1 (- (* (sin z0) z1) 1))":2380,"(/ -1 (sin z0))":3315,"(/ -1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":660,"(/ -1 (sqrt z0))":852,"(/ 1 (* (* (cos z0) z1) z2))":1908,"(/ 1 (* (cos z0) (cos z1)))":3806,"(/ 1 (* (cos z0) z1))":4354,"(/ 1 (* (sin z0) z1))":4085,"(/ 1 (* z0 (cos z1)))":9592,"(/ 1 (- z0 (fabs (* z1 z2))))":774,"(/ 1 (/ (cos z0) z1))":1854,"(/ 1 (/ (sqrt (+ (* z0 z0) (* z1 z1))) z2))":1236,"(/ 1 (/ z0 (* (sqrt z1) z2)))":744,"(/ 1 (/ z0 (sqrt (fabs (- z1 -1)))))":638,"(/ 1 (/ z0 (sqrt z1)))":1266,"(/ 1 (cos z0))":5653,"(/ 1 (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":3756,"(/ 1 (pow (* z0 z0) -1))":1919,"(/ 1 (pow z0 -1))":21617,"(/ 1 (pow z0 -2))":2509,"(/ 1 (sin z0))":5765,"(/ 1 (sqrt (* 4 (* (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))))))":1500,"(/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":3360,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":2504,"(/ 1 (sqrt (fabs (- z0 1))))":2206,"(/ 1 (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":1356,"(/ 1 (sqrt z0))":10547,"(/ 1/2 (sqrt z0))":656,"(/ 2 (+ (cos (- z0 z1)) z2))":1879,"(/ 2 (+ z0 (cos (+ z1 z2))))":1848,"(/ 2 (sqrt z0))":5456,"(/ z0 (* (sqrt 2) z1))":444,"(/ z0 (/ z1 (sqrt z2)))":564,"(/ z0 (cos z1))":6562,"(/ z0 (sin z1))":2222,"(/ z0 (sqrt (+ (* (* z1 z0) z0) (* z2 z2))))":1086,"(/ z0 (sqrt (+ (* z0 z0) (* z1 z1))))":5824,"(/ z0 (sqrt (+ (* z1 z1) (* z0 z0))))":890,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":1536,"(/ z0 (sqrt (sqrt (+ (* (* z0 z0) z1) (* z2 z2)))))":5971,"(/ z0 (sqrt (sqrt (+ (* (* z1 z0) z0) (* z2 z2)))))":870,"(/ z0 (sqrt z1))":16816,"(asin (* z0 (- z1 (/ 1 z1))))":2334,"(asin (+ (* (cos z0) (sin z1)) z2))":11214,"(asin (- (* (sin z0) (cos z1)) z2))":6672,"(asin (/ (* (cos z0) (sin z1)) z2))":8406,"(asin (/ z0 (sqrt (- (* (* (- (cos (+ z1 z1)) 1) 1/2) z2) -1))))":5586,"(atan (* (/ z0 z1) z2))":2364,"(atan (* z0 (/ z1 z2)))":7326,"(atan (/ (sqrt (- (* z0 z0) 1)) z1))":21024,"(atan (/ z0 (* z1 z2)))":1764,"(atan (/ z0 (- 1 (* (* z1 z1) (+ 1 z2)))))":15924,"(atan2 (sin z0) (sqrt z1))":3168,"(cos (* (+ (* 2 z0) PI) -1/4))":2000,"(cos (* (+ (+ z0 z0) PI) -1/4))":2274,"(cos (* (+ (+ z0 z0) PI) 1/4))":3040,"(cos (* (- (/ z0 z1) (+ (- z2 (* -1/2 PI)) (- (+ (/ z0 z1) z2) (* -1/2 PI)))) 1/2))":2880,"(cos (* 2 (+ (/ z0 z1) z2)))":2568,"(cos (* z0 z1))":8532,"(cos (+ (- (* -1/2 z0) (* -1/4 PI)) z1))":3234,"(cos (+ (- (- z0)) z1))":1784,"(cos (+ (- (fabs z0)) z1))":1774,"(cos (+ (- z0) z1))":4024,"(cos (+ (/ z0 z1) z2))":15510,"(cos (+ (fabs z0) z1))":3436,"(cos (+ z0 (* PI 1/2)))":3820,"(cos (+ z0 (+ (* PI 1/2) z1)))":1734,"(cos (+ z0 (- (- z1))))":1738,"(cos (+ z0 (- (fabs z1))))":1690,"(cos (+ z0 (- z1)))":2800,"(cos (+ z0 (fabs z1)))":3562,"(cos (+ z0 PI))":2955,"(cos (+ z0 z1))":24116,"(cos (- (* -1/4 PI) (* z0 1/2)))":2919,"(cos (- (* -1/4 PI) z0))":3156,"(cos (- (* z0 1/2) (* -1/4 PI)))":2309,"(cos (- (* z0 1/2) z1))":6616,"(cos (- (+ (* PI 1/2) z0) z1))":2302,"(cos (- (- (- z0)) z1))":1766,"(cos (- (- (fabs z0)) z1))":1770,"(cos (- (- z0) z1))":3814,"(cos (- (/ z0 z1) z2))":6654,"(cos (- (fabs z0) z1))":3036,"(cos (- PI (* -1/2 z0)))":2024,"(cos (- PI z0))":2421,"(cos (- z0 (* -1/2 z1)))":5634,"(cos (- z0 (* -1/4 PI)))":2430,"(cos (- z0 (* z1 1/2)))":7416,"(cos (- z0 (+ (* PI 1/2) z1)))":2604,"(cos (- z0 (- (- z1))))":1730,"(cos (- z0 (- (fabs z1))))":1690,"(cos (- z0 (- z1)))":3234,"(cos (- z0 (/ z1 z2)))":6216,"(cos (- z0 (fabs z1)))":3104,"(cos (- z0 z1))":22444,"(cos (/ z0 z1))":9254,"(fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2))":23412,"(fabs (* z0 (* z1 z1)))":432,"(fabs (* z0 (atan (/ (* (sqrt (fabs (- 1 z1))) (sqrt (fabs (- -1 z1)))) (cos z2)))))":3792,"(fabs (* z0 (sqrt (fabs z1))))":754,"(fabs (+ (* (pow (cos z0) 4) z1) z2))":6252,"(fabs (- z0 (* z1 (* z2 z2))))":1800,"(fabs (/ 1 (sqrt (fabs (- z0 1)))))":789,"(fabs (/ z0 (/ 1 z1)))":1112,"(fabs (sin (+ (/ z0 z1) z2)))":8754,"(log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))))":11826,"(log (/ (+ 1 (* z0 (sin z1))) z2))":37512,"(log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)))":7516,"(log (/ (- -1 (* (sin z0) z1)) z2))":22974,"(log (/ z0 (- (* (sin z1) z2) 1)))":23748,"(log (/ z0 (- 1 (* z1 (sin z2)))))":38076,"(log (tan z0))":10546,"(pow (* z0 z0) -1)":1923,"(pow (* z0 z1) -1)":4926,"(pow (- z0 (* (* -3689471323/250000000000000000000000000000000 (* z1 z2)) (* (+ z1 z2) (- z1 z2)))) -1)":2286,"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))":5238,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (* z1 1/2))":6182,"(pow (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1)) (- z2))":9804,"(pow (/ z0 z1) (- z2 1))":1848,"(pow (/ z0 z1) (/ 1 z2))":3138,"(pow (cos z0) 4)":7641,"(pow (sqrt z0) 2)":1682,"(sin (* (- (/ (- (- (* (- z0 (* -1/2 PI)) z1) z2) z2) z1) (- z0 (* -1/2 PI))) 1/2))":2892,"(sin (* 3 z0))":5827,"(sin (* z0 z1))":10304,"(sin (+ (* (+ (+ z0 z0) PI) 1/4) z1))":1844,"(sin (+ (* -1/2 z0) (* 1/4 PI)))":2052,"(sin (+ (* -1/2 z0) z1))":4326,"(sin (+ (* PI 1/2) z0))":1837,"(sin (+ (* z0 1/2) z1))":1906,"(sin (+ (- (/ (- z0) z1) z2) (* PI 1/2)))":3324,"(sin (+ (- z0) z1))":2836,"(sin (+ (/ z0 z1) z2))":11730,"(sin (+ z0 (* 1/4 PI)))":3378,"(sin (+ z0 (* PI 1/2)))":5360,"(sin (+ z0 (fabs z1)))":1824,"(sin (+ z0 PI))":3454,"(sin (+ z0 z1))":13796,"(sin (- (* -1/2 z0) (* -1/4 PI)))":1975,"(sin (- (* -1/2 z0) PI))":3240,"(sin (- (* -1/2 z0) z1))":11666,"(sin (- (* -1/4 PI) z0))":1784,"(sin (- (* z0 1/2) (* -1/4 PI)))":2300,"(sin (- (* z0 1/2) (* 1/4 PI)))":5337,"(sin (- (* z0 1/2) z1))":16788,"(sin (- (* z0 z1) z2))":3144,"(sin (- (- (/ z0 z1) z2) (* -1/2 PI)))":2952,"(sin (- (/ (- z0) z1) z2))":5136,"(sin (- z0 (* -1/4 PI)))":4480,"(sin (- z0 (* 1/4 PI)))":5767,"(sin (- z0 (* z1 1/2)))":4898,"(sin (- z0 (* z1 z2)))":3264,"(sin (- z0 (- z1)))":1660,"(sin (- z0 (fabs (* z1 z2))))":2292,"(sin (- z0 (fabs z1)))":1972,"(sin (- z0 PI))":4590,"(sin (- z0 z1))":8302,"(sqrt (* (* z0 z0) z1))":644,"(sqrt (* (+ (* (* z0 z1) z1) (* z2 z2)) (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":1008,"(sqrt (* (+ (* z0 z0) (* z1 z1)) z2))":486,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) (fabs z2)))":2406,"(sqrt (* (- 1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))) z2))":2562,"(sqrt (* (fabs z0) z1))":342,"(sqrt (* (sqrt (+ (* z0 z0) (* z1 z1))) z2))":642,"(sqrt (* (sqrt (fabs (- 1 z0))) z1))":1026,"(sqrt (* (sqrt (fabs (- z0 1))) z1))":1214,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":758,"(sqrt (* (sqrt (fabs z0)) z1))":1598,"(sqrt (* 4 (* (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))) (* 1/2 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))))":1530,"(sqrt (* z0 (* z1 z1)))":922,"(sqrt (* z0 (+ (* z1 z1) (* z2 z2))))":744,"(sqrt (* z0 (- z1 1)))":292,"(sqrt (* z0 (fabs (- -1 z1))))":1504,"(sqrt (* z0 (fabs (- z1 -1))))":1168,"(sqrt (* z0 (fabs z1)))":3236,"(sqrt (* z0 z1))":520,"(sqrt (+ (* (* z0 z0) z1) (* z2 z2)))":7092,"(sqrt (+ (* (* z0 z0) z1) z2))":8442,"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))":54066,"(sqrt (+ (* (* z0 z1) z1) z2))":55314,"(sqrt (+ (* z0 z0) (* z1 z1)))":35280,"(sqrt (+ (* z0 z0) z1))":38576,"(sqrt (+ z0 (* z1 z1)))":59556,"(sqrt (- (* (* (- (cos (+ z0 z0)) 1) 1/2) z1) -1))":4142,"(sqrt (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))":4910,"(sqrt (- (* (/ z0 (* z1 z1)) z0) -1))":1052,"(sqrt (- (* z0 z0) -1))":1334,"(sqrt (- (* z0 z0) 1))":11713,"(sqrt (- (* z0 z0) z1))":652,"(sqrt (- (/ (* (pow (cos z0) 4) z1) z2) -1))":4902,"(sqrt (- z0 (* (* z1 z1) z2)))":3810,"(sqrt (- z0 (* (- z1) z1)))":322,"(sqrt (- z0 (* z1 (* z2 z2))))":21564,"(sqrt (- z0 (- -1/2 (* -1/2 (cos (+ z1 z1))))))":2232,"(sqrt (/ (+ 1 (* z0 (* (sin z1) (sin z1)))) z2))":6534,"(sqrt (/ (+ 1 (* z0 (+ 1/2 (* 1/2 (cos (* 2 (+ z1 (* PI 1/2)))))))) z2))":3612,"(sqrt (/ (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) -1) z2))":2172,"(sqrt (/ (- (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2) -1) z2))":2868,"(sqrt (/ (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)) z2))":2280,"(sqrt (/ 1 (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":1026,"(sqrt (/ 1 z0))":2965,"(sqrt (/ z0 (+ 1 (* (* z1 (sin z2)) (sin z2)))))":4146,"(sqrt (/ z0 (+ 1 (* z1 (+ 1/2 (* 1/2 (cos (* 2 (+ z2 (* PI 1/2))))))))))":3576,"(sqrt (/ z0 (+ 1 (* z1 z1))))":3820,"(sqrt (/ z0 (- z1 1)))":644,"(sqrt (/ z0 z1))":380,"(sqrt (fabs (* (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))) z2)))":3982,"(sqrt (fabs (* z0 z1)))":648,"(sqrt (fabs (+ (* (pow (cos z0) 4) z1) z2)))":5352,"(sqrt (fabs (- (* z0 (+ z0 z0)) 2)))":1310,"(sqrt (fabs (- (* z0 z0) 1)))":776,"(sqrt (fabs (- 1 (* z0 z0))))":378,"(sqrt (fabs (- 2 (* (+ z0 z0) z0))))":1542,"(sqrt (fabs (sin (+ (/ z0 z1) z2))))":2442,"(sqrt (sqrt (+ (* (* z0 z0) z1) (* z2 z2))))":6594,"(sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2))))":15342,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":2212,"(sqrt (sqrt (fabs z0)))":1314,"(sqrt (sqrt (sqrt (+ (* (* z0 z1) z1) (* z2 z2)))))":834,"(sqrt (sqrt z0))":17234,"(tan (* (+ (+ z0 z0) PI) 1/4))":3728,"(tan (+ (* 1/2 z0) z1))":2600,"(tan (+ (/ PI 4) (* 1/2 z0)))":2738,"(tan (+ (/ PI 4) z0))":2887,"(tan (+ 27401669256311/40000000000000 z0))":1550,"(tan (+ z0 (* 1/2 z1)))":7712,"(tan (+ z0 PI))":2532,"(tan (- (* 5/4 PI) (* -1/2 z0)))":3009,"(tan (- (* 5/4 PI) z0))":3275,"(tan (- (* z0 1/2) z1))":2350,"(tan (- z0 (* -1/2 z1)))":6480,"(tan (- z0 -27401669256311/40000000000000))":1883}