{"(* (* (* 2 (* (sin (* z0 PI)) (cos (* z0 PI)))) z1) z2)":1638,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0))) (- z2))":1020,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log (* z0 z0)))":1508,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log z2))":4812,"(* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) z2) (log (* z0 z0)))":4572,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log (* z1 z1)))":902,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log z2))":3150,"(* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) z2) (log (* z1 z1)))":2715,"(* (* (- z0 -1) (sqrt (/ PI (- (- 1 z1) z1)))) (* z2 z1))":510,"(* (* (- z0 -1) z1) (* (sqrt PI) z2))":216,"(* (* (- z0 -1) z1) (* z2 (sqrt PI)))":408,"(* (* (- z0) z0) (- z1 (log 4)))":842,"(* (* (/ (exp (/ z0 (* -3 z1))) z1) 3/4) (/ 1/6 z2))":1230,"(* (* (/ 1 (sin z0)) z1) z2)":1044,"(* (* (cos (* (* z0 2) PI)) z1) z2)":7776,"(* (* (log (+ 1 (- z0))) z1) z2)":816,"(* (* (sin (* (* z0 2) PI)) z1) z2)":9090,"(* (* (sin (* PI (+ (* -2 z0) 1/2))) z1) z2)":1158,"(* (* (sin (* z0 z1)) (/ 1 (sin z1))) z2)":3504,"(* (* (sin (+ (* (+ PI PI) z0) PI)) z1) (- z2))":1272,"(* (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (- z2))":234,"(* (* (sqrt (/ PI (- (- 1 z0) z0))) z1) z0)":476,"(* (* (sqrt 2) z0) (sin (* 314159265359/50000000000 z1)))":1420,"(* (* (sqrt 2) z0) (sqrt (sqrt (fabs (/ 1/2 (- 1 z1))))))":370,"(* (* -2 z0) (sqrt 2))":441,"(* (* 2 (* 1/2 (- z0))) (log z1))":1344,"(* (* 2 z0) (sqrt 2))":296,"(* (* 3 z0) (log z1))":1346,"(* (* PI z0) (exp (/ z1 z0)))":936,"(* (* PI z0) (exp z1))":990,"(* (* z0 (* z1 (sqrt PI))) (- z2 -1))":966,"(* (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2))))":234,"(* (* z0 (/ 1 (sin z1))) z2)":6186,"(* (* z0 (cos (* PI (+ z1 z1)))) z2)":1290,"(* (* z0 (fabs z1)) (fabs z1))":170,"(* (* z0 (sin (* z1 314159265359/50000000000))) (sqrt (fabs (/ 1/2 (- 1 z2)))))":1062,"(* (* z0 (sin (* z1 PI))) (cos (* z1 PI)))":1578,"(* (* z0 (sqrt (fabs (- (* z1 z2) z2)))) (sqrt (fabs (+ (* z1 z2) (- 2 z2)))))":498,"(* (* z0 (sqrt 2)) (* -2 z1))":170,"(* (* z0 (sqrt PI)) z1)":502,"(* (* z0 2) (sin (* z1 PI)))":752,"(* (* z0 2) (sqrt 2))":239,"(* (* z0 PI) (log (* z1 z1)))":3238,"(* (* z0 z0) (log (+ 1 (- z1))))":976,"(* (* z0 z0) (log z1))":992,"(* (* z0 z1) (- (log (+ 1 (- z2)))))":2550,"(* (* z0 z1) (cos (* (+ PI PI) z2)))":3582,"(* (* z0 z1) (cos (* PI (+ z2 z2))))":2928,"(* (* z0 z1) (exp (/ (fabs z2) z1)))":2178,"(* (* z0 z1) (exp (/ z2 z1)))":2838,"(* (* z0 z1) (exp z2))":2664,"(* (* z0 z1) (fabs z2))":402,"(* (* z0 z1) (log (+ 1 (- z2))))":1386,"(* (* z0 z1) (log (- 1 z2)))":2052,"(* (* z0 z1) (sin (* (+ PI PI) z2)))":882,"(* (* z0 z1) (sin (* PI (+ z2 z2))))":3024,"(* (* z0 z1) (sin z2))":756,"(* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0)))":1832,"(* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log z2))":6110,"(* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) (log z2))":2622,"(* (+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) z2) 1/6)":972,"(* (+ z0 1) (log (* z1 z1)))":2994,"(* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1)":2380,"(* (- (exp (/ PI z0)) 1) z1)":3984,"(* (- (fabs z0)) (/ 1 z1))":146,"(* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1))":5406,"(* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2))":19500,"(* (- (sqrt (fabs z0))) (- z1))":150,"(* (- 1 (* -2 (exp (/ (fabs z0) (- z1))))) (/ z2 z1))":1332,"(* (- z0 -1) (sqrt z1))":186,"(* (- z0) (* (+ (* (* (+ (* z1 z1) -1) z2) z2) 1) (log (* z1 z1))))":1267,"(* (- z0) (- (sqrt (fabs z1))))":148,"(* (- z0) (log (+ 1 (* -4 z1))))":1702,"(* (- z0) (log z1))":5540,"(* (- z0) (sqrt 2))":724,"(* (- z0) (sqrt PI))":172,"(* (- z0) (sqrt z1))":482,"(* (/ (* z0 (sqrt 2)) (sqrt 2)) (- z1))":306,"(* (/ (* z0 z0) z1) (- (log (+ 1 (- z2)))))":7629,"(* (/ (- (log (+ 1 (- z0)))) z1) (* z2 z2))":5412,"(* (/ (- (log (+ 1 (- z0)))) z1) z2)":2293,"(* (/ (exp (/ (fabs z0) (- z1))) z1) (/ z2 z1))":1674,"(* (/ (exp (/ z0 (* -3 z1))) z2) 3/4)":2520,"(* (/ (fabs z0) (- z1)) 3)":316,"(* (/ (fabs z0) z1) 0)":178,"(* (/ (fabs z0) z1) 3)":316,"(* (/ (sin (* z0 z1)) (sin z0)) z2)":2304,"(* (/ 1 (/ -1 z0)) (log z1))":2436,"(* (/ 1 (sqrt PI)) (/ z0 z1))":430,"(* (/ 1 z0) (sin (* (* 2 PI) z1)))":1552,"(* (/ 1 z0) (sin (* z1 z2)))":1254,"(* (/ 1 z0) (sqrt z1))":618,"(* (/ 1/2 z0) (sin (* z1 (- 1 z2))))":1392,"(* (/ 2 z0) (/ 1/2 (sqrt (fabs (/ -1 (- 1 z1))))))":618,"(* (/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2))) z0)":3090,"(* (/ z0 (* z1 z1)) (fabs z2))":234,"(* (/ z0 (- (fabs z1))) (/ z2 (- (fabs z1))))":468,"(* (/ z0 (fabs z1)) (/ z2 (fabs z1)))":366,"(* (/ z0 (sin z1)) (sin (* z1 (- 1 z2))))":1536,"(* (/ z0 (sin z1)) (sin (* z1 z2)))":4626,"(* (/ z0 (sin z1)) (sin z2))":6492,"(* (/ z0 (sin z1)) z2)":4608,"(* (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))) 0)":1788,"(* (/ z0 (sqrt 2)) (* z1 (sqrt 2)))":470,"(* (/ z0 z1) (- (log (+ 1 (- z2)))))":6624,"(* (/ z0 z1) (- -1 (exp (/ PI z2))))":1110,"(* (/ z0 z1) (/ (exp (/ (fabs z2) (- z1))) z1))":1674,"(* (/ z0 z1) (exp (* (/ (fabs z2) (- z1)) 2)))":990,"(* (/ z0 z1) (exp (/ 2 z2)))":930,"(* (/ z0 z1) (fabs z2))":312,"(* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI))))":4488,"(* (/ z0 z1) (tan z2))":5916,"(* (cos (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1)))))":3156,"(* (cos (* (* z0 2) PI)) (sqrt z1))":6080,"(* (cos (* PI (+ z0 z0))) z1)":1148,"(* (cos z0) z1)":1878,"(* (exp (/ z0 z1)) (* z2 z1))":942,"(* (exp z0) (/ 3/4 (* (* (* 6 PI) z1) z2)))":978,"(* (exp z0) (/ 3/4 (* (* PI z1) z2)))":1176,"(* (fabs z0) (* (fabs z0) z1))":216,"(* (fabs z0) (* z1 z2))":294,"(* (fabs z0) (/ (fabs z0) z1))":192,"(* (fabs z0) (/ -1 z1))":168,"(* (fabs z0) (/ z1 (* z2 z2)))":222,"(* (fabs z0) (/ z1 z2))":378,"(* (fabs z0) (fabs (- z1 (* z2 z1))))":138,"(* (fabs z0) (sqrt (fabs (- z1 (+ (* z2 z1) 2)))))":234,"(* (fabs z0) 314159265359/50000000000)":184,"(* (log (* z0 z0)) PI)":862,"(* (log (+ 1 (* -4 z0))) z1)":1972,"(* (log (+ 1 (- z0))) (* (- z1) z1))":1268,"(* (log (+ 1 (- z0))) (* z1 z2))":4614,"(* (log (+ 1 (- z0))) -2)":853,"(* (log (+ 1 (- z0))) z1)":2294,"(* (log (fabs z0)) (+ PI z1))":740,"(* (log (fabs z0)) (+ z1 PI))":738,"(* (log z0) (* (- z1) z1))":1362,"(* (log z0) (- z1))":1976,"(* (log z0) PI)":1048,"(* (log z0) z1)":14716,"(* (pow z0 2) z1)":2316,"(* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1)))))":4080,"(* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (+ (* (- z1) z2) z2) z1) (* (+ (* (- z1) z2) z2) z1)))))":1110,"(* (sin (* (* z0 2) PI)) (sqrt z1))":6472,"(* (sin (* (* z0 z1) PI)) (sin z2))":1644,"(* (sin (* (- 1 z0) z1)) (/ 1 z2))":1578,"(* (sin (* (- z0 1) z1)) z2)":2508,"(* (sin (* PI (+ z0 z0))) z1)":946,"(* (sin (* z0 (- 1 z1))) z2)":8862,"(* (sin (* z0 PI)) (sin z1))":1760,"(* (sin (* z0 z1)) (/ 1 z2))":4194,"(* (sin (* z0 z1)) z2)":10926,"(* (sin (+ (* (- z0) (+ PI PI)) (* PI 1/2))) (sqrt z1))":866,"(* (sin (+ (* z0 z1) PI)) z2)":2730,"(* (sin z0) (/ 1 (sin z1)))":1742,"(* (sin z0) z1)":11504,"(* (sqrt (* (+ (* z0 z1) (- 2 z1)) (- z1 (* z0 z1)))) (sin z2))":972,"(* (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2)))) (sin z2))":2442,"(* (sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))) (sqrt z2))":1032,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- (* z0 z0) z2))":630,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- z2 (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":630,"(* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) 0)":484,"(* (sqrt (- (log (- 1 z0)))) (+ (* (sin (* z1 PI)) (sin (+ (* z1 PI) PI))) z2))":2214,"(* (sqrt (/ z0 (- 1 z0))) (- z1))":586,"(* (sqrt (fabs (- (* z0 z1) z1))) (* (* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))) z2))":768,"(* (sqrt (fabs (- (* z0 z1) z1))) (* (sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1)))) z2))":738,"(* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))":458,"(* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs z2))":1542,"(* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt (fabs (+ (- -2 (* z1 z0)) z0))))":320,"(* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt z2))":1488,"(* (sqrt (fabs (/ -1/2 (- 1 z0)))) (sqrt z1))":560,"(* (sqrt (fabs (/ 1/2 (- 1 z0)))) (fabs z0))":285,"(* (sqrt (fabs z0)) (* (sqrt 2) z1))":344,"(* (sqrt (fabs z0)) (/ (sqrt (fabs z0)) z1))":316,"(* (sqrt (fabs z0)) (/ z1 (fabs (- z0 1))))":248,"(* (sqrt (fabs z0)) (sqrt z1))":200,"(* (sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2))))) (sqrt z2))":450,"(* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt z2))":1086,"(* (sqrt 2) (sqrt z0))":768,"(* (sqrt 2) z0)":274,"(* (sqrt PI) z0)":104,"(* (sqrt z0) (* z1 z1))":1424,"(* (sqrt z0) (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))":630,"(* (sqrt z0) (cos (* (+ PI PI) z1)))":1728,"(* (sqrt z0) (cos (* 314159265359/50000000000 z1)))":2082,"(* (sqrt z0) (fabs (- z1 (* z2 z1))))":1830,"(* (sqrt z0) (fabs z1))":806,"(* (sqrt z0) (sin (* (* 2 PI) z1)))":2112,"(* (sqrt z0) (sin (* (+ PI PI) z1)))":850,"(* (sqrt z0) (sin (* 314159265359/50000000000 z1)))":3182,"(* (sqrt z0) (sin (* PI (+ z1 z1))))":3522,"(* (sqrt z0) (sin (* z1 (+ PI PI))))":1342,"(* (sqrt z0) (sin (* z1 314159265359/50000000000)))":782,"(* (sqrt z0) (sin (+ (* -314159265359/50000000000 z1) (* 1/2 PI))))":1020,"(* (sqrt z0) (sqrt (fabs (+ (- -2 (* z1 z2)) z2))))":1302,"(* (sqrt z0) (sqrt (fabs z1)))":200,"(* (sqrt z0) (sqrt (sqrt (* (- (* z1 z2) z2) (- z2 (+ (* z1 z2) 2))))))":450,"(* (sqrt z0) (sqrt (sqrt (fabs (+ (- -2 (* z1 z2)) z2)))))":1104,"(* (sqrt z0) (sqrt (sqrt (fabs (- (+ (* z1 z2) 2) z2)))))":1428,"(* (sqrt z0) (sqrt 2))":231,"(* (sqrt z0) z1)":1808,"(* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))":67890,"(* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))":16896,"(* (tan z0) (/ z1 z2))":92400,"(* -2 (log (+ 1 (* -4 z0))))":1054,"(* -2 (log (+ 1 (- z0))))":764,"(* 0 (/ (fabs z0) z1))":134,"(* 0 (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":1770,"(* 0 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":490,"(* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))))":2616,"(* 1/2 (log (+ 1 (- z0))))":781,"(* 1/2 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":540,"(* 1/8 (/ (exp (/ (- z0) z1)) (* (* PI z1) z0)))":1178,"(* 2 (* (sin (* z0 PI)) z1))":1166,"(* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))":2622,"(* 3/4 (/ (exp (/ (- z0) z1)) z2))":1608,"(* z0 (* z1 (- (log (+ 1 (- z2))))))":7584,"(* z0 (/ z1 (* 2 (sqrt 2))))":1094,"(* z0 (/ z1 (fabs z2)))":168,"(* z0 (log z1))":5080,"(* z0 (sin (* PI (+ z1 z1))))":756,"(* z0 (sin (* z1 (- 1 z2))))":3396,"(* z0 (sin (* z1 z2)))":3978,"(* z0 (sin z1))":4494,"(* z0 (sqrt 2))":329,"(* z0 (sqrt PI))":956,"(* z0 (sqrt z1))":4810,"(+ (* (* (- z0 -1) z1) z2) (sqrt (- (- 1 z1) z1)))":348,"(+ (* (* PI -2) z0) (asin (* (* (- z1 1) z2) z1)))":1440,"(+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2)))":4962,"(+ (* (+ PI PI) z0) (acos z1))":1886,"(+ (* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1) 1)":1960,"(+ (* (- (exp (/ PI z0)) 1) z1) 1)":3160,"(+ (* (- (fabs z0)) z1) (* z2 z2))":120,"(+ (* (- 1 z0) (exp (/ -2 z1))) z0)":1580,"(+ (* (- 1/2 (+ z0 z0)) PI) (acos (* (* (- z1 1) z2) z1)))":1554,"(+ (* (/ (sqrt (/ (- (- 1 z0) z0) PI)) z0) z1) (- z2 -1))":720,"(+ (* (exp (/ -2 z0)) (- 1 z1)) z1)":1628,"(+ (* (fabs z0) z1) (* (* z0 z0) 0))":162,"(+ (* (fabs z0) z1) (* (- (- (fabs z2))) (fabs z2)))":180,"(+ (* (fabs z0) z1) (* z2 z2))":318,"(+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) (* z2 z0))":966,"(+ (* z0 3/4) (* 1/8 (/ (exp (/ (- z1) z2)) (* (* PI z2) z1))))":1194,"(+ (* z0 PI) (acos (* (* (- z1 1) z2) z1)))":1566,"(+ (* z0 PI) (fabs (* z0 PI)))":218,"(+ (* z0 PI) (fabs z1))":436,"(+ (* z0 z1) (fabs (* z0 PI)))":436,"(+ (+ 1 z0) (* (* (/ 1 (sqrt PI)) (/ (sqrt (- (- 1 z1) z1)) z1)) z2))":540,"(+ (+ z0 6931/10000) (log (/ 1 (* 2 z1))))":1042,"(+ (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2)))":1440,"(+ (acos (* (* (- z0 1) z1) z0)) (* PI z2))":1536,"(+ (fabs (* (+ PI PI) z0)) (* z1 1/2))":224,"(+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)":11430,"(- (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":1002,"(- (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))":876,"(- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2)))":1992,"(- (* PI (+ z0 z0)) (acos z1))":750,"(- (* PI z0) (acos (* (* z1 (- 1 z2)) z2)))":2064,"(- (* z0 (sin (* (* z1 PI) z2))))":894,"(- (* z0 (sqrt 2)))":121,"(- (* z0 PI) (fabs (* z0 PI)))":218,"(- (* z0 PI) (fabs z1))":436,"(- (* z0 z0) (* (- (fabs z1)) z2))":210,"(- (* z0 z0) (* (fabs z1) z2))":192,"(- (* z0 z1) (fabs (* z0 PI)))":436,"(- (/ z0 (+ (* (- (exp (/ PI z1)) 1) z2) 1)) 1)":2676,"(- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2)))":1524,"(- (acos (* (* (- z0 1) z1) z0)) (* PI z2))":1620,"(- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2))":1986,"(- (acos z0) (* (+ PI PI) z1))":772,"(- (exp (/ PI z0)) 1)":2051,"(- (exp z0) 1)":2251,"(- (fabs (* (+ PI PI) z0)))":188,"(- (fabs (* PI (+ z0 z0))))":95,"(- (log (+ 1 (* -4 z0))))":1881,"(- (log (+ 1 (- z0))))":5558,"(- (log (- 1 z0)))":2869,"(- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)":43448,"(- (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":980,"(- (sqrt (/ (- 1 z0) z0)))":213,"(- (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":2080,"(- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))":11628,"(- 1 (/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))))":3498,"(- 1 (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)))":2911,"(- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)))":5186,"(- 1/2 (* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))))":2616,"(/ (* (- z0) z0) (sqrt z1))":1406,"(/ (* (- z0) z1) (fabs z2))":264,"(/ (* (exp (/ z0 (* -3 z1))) 3/4) (* z2 z0))":972,"(/ (* (fabs z0) z1) (- z2))":294,"(/ (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (sqrt z2))":1218,"(/ (* 1/4 (exp (/ (- z0) z1))) (* z2 z0))":1224,"(/ (* 3/4 (exp (/ (- z0) (* 3 z1)))) (* z2 z0))":1146,"(/ (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2))))":1218,"(/ (* z0 (fabs z1)) (- z2))":312,"(/ (* z0 (fabs z1)) z2)":132,"(/ (* z0 (sqrt 2)) (* 2 (sqrt 2)))":507,"(/ (* z0 (sqrt 2)) (sqrt 2))":266,"(/ (* z0 z0) (- (fabs z1)))":156,"(/ (* z0 z0) (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2)))":2088,"(/ (* z0 z0) (fabs z1))":234,"(/ (* z0 z0) (sqrt z1))":25650,"(/ (* z0 z1) (- (fabs z2)))":564,"(/ (* z0 z1) (fabs z2))":1032,"(/ (* z0 z1) (sin z2))":1386,"(/ (* z0 z1) (sinh (/ 1 z2)))":1020,"(/ (* z0 z1) (sqrt 2))":508,"(/ (+ z0 (exp (/ (- z1) z2))) PI)":846,"(/ (- (+ (* z0 (exp (/ PI z1))) 1) z0) (- -1 z2))":990,"(/ (- (fabs z0)) (/ z1 z2))":282,"(/ (- (log (+ 1 (- z0)))) (+ z1 (- (- z2))))":966,"(/ (- (log (+ 1 (- z0)))) (+ z1 z2))":3156,"(/ (- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))) (* z1 z1))":2118,"(/ (- z0 -1) (+ (* (- (exp (/ PI z1)) 1) z2) 1))":2514,"(/ (- z0) (/ (fabs z1) z2))":216,"(/ (- z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":745,"(/ (- z0) (sqrt z1))":972,"(/ (/ (fabs z0) z1) (/ 1 z2))":288,"(/ (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)) (* z2 z2))":6738,"(/ (/ 1 (/ 1 z0)) (sqrt z1))":542,"(/ (/ 1 z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":775,"(/ (/ z0 z1) (sqrt PI))":214,"(/ (exp (/ (- (fabs z0)) z1)) (* z2 z1))":2420,"(/ (exp (/ (- z0) z1)) (* (* PI z1) z0))":1196,"(/ (exp (/ (- z0) z1)) (* (* z1 z0) z2))":1986,"(/ (exp (/ (- z0) z1)) (* PI z1))":1500,"(/ (exp (/ (- z0) z1)) (* z2 PI))":2046,"(/ (exp (/ (- z0) z1)) (* z2 z0))":4260,"(/ (exp (/ (- z0) z1)) (* z2 z1))":5082,"(/ (exp (/ z0 (* -3 z1))) (* (* 6 z1) z2))":1230,"(/ (exp (/ z0 (* -3 z1))) (* z2 (* PI z0)))":1206,"(/ (exp (/ z0 (* -3 z1))) (* z2 z0))":3048,"(/ (exp z0) (* (* (* 6 PI) z1) z2))":1038,"(/ (exp z0) (* (* 6 z1) (* PI z2)))":1369,"(/ (exp z0) (* (* 6 z1) z2))":1236,"(/ (exp z0) (* (* PI z1) z2))":5670,"(/ (exp z0) (* (* z1 z2) PI))":2238,"(/ (exp z0) (* PI z1))":1820,"(/ (fabs z0) (* z1 z0))":246,"(/ (fabs z0) (* z1 z1))":154,"(/ (fabs z0) (* z1 z2))":198,"(/ (fabs z0) (/ z1 z2))":258,"(/ (fabs z0) (sqrt z1))":382,"(/ (pow z0 -2) (* (exp (/ (fabs z1) z2)) z2))":2310,"(/ (sin (* PI z0)) (* z1 (* (- z2) PI)))":936,"(/ (sin (* PI z0)) (* z1 z0))":828,"(/ (sin z0) (* (* (* PI z1) z1) (* (- z2) PI)))":888,"(/ (sin z0) (* (* z1 z2) PI))":906,"(/ (sin z0) (* z1 z2))":810,"(/ (sin z0) (sin z1))":3898,"(/ (sin z0) z1)":806,"(/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2)":2490,"(/ (sqrt (- (- 1 z0) z0)) (* z1 z0))":258,"(/ (sqrt (- (- 1 z0) z0)) z0)":413,"(/ (sqrt (/ (- (- 1 z0) z0) PI)) (* z1 z0))":652,"(/ (sqrt (/ (- (- 1 z0) z0) PI)) z0)":426,"(/ (sqrt (fabs z0)) (fabs (- z0 1)))":204,"(/ (sqrt (fabs z0)) (fabs z1))":478,"(/ (sqrt (fabs z0)) (sqrt z1))":414,"(/ (sqrt 1/2) (/ 1 z0))":358,"(/ (sqrt 1/2) (sqrt z0))":293,"(/ (sqrt z0) (* (exp (* z1 z1)) z1))":986,"(/ (sqrt z0) (- z1))":284,"(/ (sqrt z0) (fabs (- z1 1)))":470,"(/ (sqrt z0) (sqrt (fabs (- z1 1))))":460,"(/ (sqrt z0) z1)":5734,"(/ -1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2)))":8688,"(/ -1 (* (log (+ 1 (* -4 z0))) z1))":974,"(/ -1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))":1908,"(/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)))":5316,"(/ -1 (log (+ 1 (- z0))))":1703,"(/ -1 (log z0))":2498,"(/ -1 (sqrt z0))":1246,"(/ -1/2 (sqrt z0))":170,"(/ -2 (sqrt z0))":179,"(/ 0 (* (* (exp (/ (fabs z0) z1)) z1) z2))":1260,"(/ 0 (/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2))":1776,"(/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1)))":4636,"(/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2)))":5131,"(/ 1 (* z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":774,"(/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1))":10638,"(/ 1 (+ z0 (/ 0 (* (- z1) (log (+ 1 (* -4 z2)))))))":1194,"(/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))":6402,"(/ 1 (/ (sin z0) z1))":832,"(/ 1 (/ z0 (sin (* z1 (- 1 z2)))))":1098,"(/ 1 (log (+ 1 (- z0))))":933,"(/ 1 (log z0))":1767,"(/ 1 (pow z0 -1))":6432,"(/ 1 (sin z0))":1823,"(/ 1 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":926,"(/ 1 (sqrt (fabs (- z0 1))))":441,"(/ 1 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":786,"(/ 1 (sqrt z0))":10859,"(/ 1/2 (log z0))":792,"(/ 1/2 (sqrt (fabs (/ -1 (- 1 z0)))))":332,"(/ 1/2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":850,"(/ 1/2 (sqrt z0))":1711,"(/ 2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))":612,"(/ 2 (sqrt z0))":1863,"(/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2)))":3174,"(/ z0 (* (fabs z1) z2))":186,"(/ z0 (* z1 (fabs z2)))":186,"(/ z0 (sin z1))":2776,"(/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":5917,"(/ z0 (sqrt (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":612,"(/ z0 (sqrt 2))":293,"(/ z0 (sqrt z1))":6474,"(acos (- z0 (+ (* z1 z0) 1)))":902,"(asin (+ (* z0 z1) (- 1 z1)))":868,"(asin (+ z0 (- 1 z1)))":868,"(asin (- z0 (+ (* z1 z0) 1)))":792,"(asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))":1550,"(atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI)))))":4464,"(atan (* (/ z0 z1) z2))":5952,"(atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":5562,"(atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1))":1904,"(atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))":4200,"(atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1))":1448,"(atan (* z0 (/ z1 z2)))":11028,"(atan (* z0 (tan (+ (* (* 2 PI) z1) (* 1/2 PI)))))":1584,"(cos (* (* z0 2) PI))":3245,"(cos (* (* z0 2) z1))":6490,"(cos (* (+ PI PI) z0))":3949,"(cos (* -314159265359/50000000000 z0))":1254,"(cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))":2622,"(cos (* 314159265359/50000000000 z0))":1237,"(cos (* PI (+ z0 z0)))":1812,"(cos (* PI z0))":3339,"(cos (* z0 (+ (* z1 z2) z2)))":984,"(cos (* z0 (+ PI PI)))":836,"(cos (* z0 (+ z1 z1)))":3642,"(cos (* z0 (- z1 (* z2 z1))))":1680,"(cos (* z0 PI))":5599,"(cos (* z0 z1))":17344,"(cos (+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2))))":4368,"(cos (+ (* (+ PI PI) z0) z1))":3186,"(cos (+ (* -314159265359/50000000000 z0) z1))":968,"(cos (+ (* z0 PI) z1))":834,"(cos (+ (acos (* (* (- z0 1) z1) z0)) z2))":1914,"(cos (+ z0 (acos (* (* z1 (- 1 z2)) z2))))":4830,"(cos (+ z0 PI))":1795,"(cos (- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2))))":1992,"(cos (- (* PI (+ z0 z0)) z1))":780,"(cos (- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2))))":1524,"(cos (- (acos (* (* (- z0 1) z1) z0)) z2))":1998,"(cos (- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2)))":1800,"(cos (- (acos (* (* z0 (- 1 z1)) z1)) z2))":2250,"(cos (- z0 (* (+ PI PI) z1)))":724,"(cos (- z0 (acos (* (* z1 (- 1 z2)) z2))))":2724,"(fabs (* (+ (- -2 (* z0 z1)) z1) z2))":126,"(fabs (* (+ PI PI) z0))":647,"(fabs (* (- (* z0 z1) z1) z2))":120,"(fabs (* (- z0 (* z1 z0)) z2))":144,"(fabs (* (fabs (- z0 (* z1 z0))) z2))":138,"(fabs (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))":966,"(fabs (* PI (+ z0 z0)))":414,"(fabs (* PI z0))":433,"(fabs (* z0 (- (* z1 z2) z2)))":186,"(fabs (* z0 (- z1 (* z2 z1))))":120,"(fabs (* z0 (/ z1 z2)))":978,"(fabs (* z0 (fabs (- z1 (* z2 z1)))))":120,"(fabs (* z0 PI))":623,"(fabs (+ (* (* PI -2) z0) z1))":116,"(fabs (+ (* 8/3 z0) -8/3))":79,"(fabs (- (* z0 PI) z1))":188,"(fabs (- z0 (* (- 1 z1) PI)))":164,"(fabs (fabs (* (+ PI PI) z0)))":86,"(fabs (log (+ 1 (- z0))))":7951,"(log (* z0 z0))":5950,"(log (+ 1 (* -4 z0)))":8747,"(log (+ 1 (- z0)))":26042,"(log (+ 1 z0))":35291,"(log (- 1 z0))":3628,"(log (pow z0 (- z1)))":2098,"(pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)":57505,"(pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1) 2)":19532,"(pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2)":11532,"(pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1) 2)":4054,"(pow (* z0 (- z1)) -1)":1136,"(pow (* z0 (/ z1 z2)) 2)":76848,"(pow (* z0 z1) -1)":1092,"(pow (- z0 1) (- z1))":1026,"(pow (sqrt z0) -1)":763,"(pow (sqrt z0) 2)":853,"(sin (* (* 2 PI) z0))":2655,"(sin (* (* z0 2) PI))":3520,"(sin (* (* z0 2) z1))":7040,"(sin (* (* z0 z1) PI))":3254,"(sin (* (* z0 z1) z2))":9762,"(sin (* (+ PI PI) z0))":2487,"(sin (* (- 1 z0) z1))":840,"(sin (* (- z0 1) z1))":2740,"(sin (* 314159265359/50000000000 z0))":3255,"(sin (* PI (+ z0 z0)))":3953,"(sin (* PI z0))":8706,"(sin (* z0 (+ PI PI)))":2156,"(sin (* z0 (+ z1 z1)))":7908,"(sin (* z0 (- 1 z1)))":9810,"(sin (* z0 314159265359/50000000000))":2115,"(sin (* z0 PI))":9589,"(sin (* z0 z1))":54806,"(sin (+ (* (* z0 PI) z1) z2))":1290,"(sin (+ (* (* z0 z1) PI) z2))":1326,"(sin (+ (* (+ PI PI) z0) PI))":868,"(sin (+ (* (+ PI PI) z0) z1))":2060,"(sin (+ (* (- z0) (+ PI PI)) z1))":1280,"(sin (+ (* -314159265359/50000000000 z0) (* 1/2 PI)))":907,"(sin (+ (* -314159265359/50000000000 z0) z1))":2018,"(sin (+ (* PI z0) z1))":924,"(sin (+ (* z0 PI) PI))":729,"(sin (+ (* z0 PI) z1))":2226,"(sin (+ (* z0 z1) PI))":1508,"(sin (+ (* z0 z1) z2))":4524,"(sin (+ z0 (* 1/2 PI)))":1131,"(sin (+ z0 (* PI 1/2)))":1316,"(sin (+ z0 PI))":4203,"(sin (- (* z0 PI) z1))":912,"(sin (atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI))))))":3024,"(sin (atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))))":2214,"(sinh (* (/ (- z0) z1) z2))":864,"(sinh (/ (* z0 z1) z2))":1110,"(sqrt (* (* (- (* z0 z1) z1) (- (* z0 z1) z1)) z2))":1596,"(sqrt (* (* z0 z0) z1))":282,"(sqrt (* (+ (* z0 z1) (- 2 z1)) z2))":1128,"(sqrt (* (+ (- -2 (* z0 z1)) z1) z2))":582,"(sqrt (* (- (* z0 z1) z1) z2))":7830,"(sqrt (* (- (+ (* (- z0) z1) z0) 0) z2))":2772,"(sqrt (* (- (+ (* z0 z1) 2) z1) z2))":426,"(sqrt (* (- (+ (+ (* (- z0) z1) z0) 1) 1) z2))":1128,"(sqrt (* (- (- (+ (* z0 z1) 1) z1) -1) z2))":2672,"(sqrt (* (- (- 1 z0) z0) z1))":262,"(sqrt (* (- z0 (* z1 z0)) z2))":1590,"(sqrt (* (- z0 (+ (* z1 z0) 2)) z2))":414,"(sqrt (* (fabs z0) z1))":130,"(sqrt (* (log (+ 1 (- z0))) -2))":807,"(sqrt (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2))":744,"(sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1)))))":430,"(sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) z2))":1518,"(sqrt (* (sqrt (fabs (/ -1/2 (- 1 z0)))) z1))":580,"(sqrt (* (sqrt (fabs (/ 1/2 (- 1 z0)))) z1))":576,"(sqrt (* (sqrt (fabs z0)) z1))":410,"(sqrt (* z0 (* (- -1 (- (+ (* z1 z2) 1) z2)) (- -1 (- (+ (* z1 z2) 1) z2)))))":1482,"(sqrt (* z0 (* z1 z1)))":288,"(sqrt (* z0 (+ (* (- z1) z2) z1)))":2826,"(sqrt (* z0 (+ (- -2 (* z1 z2)) z2)))":2190,"(sqrt (* z0 (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))":666,"(sqrt (* z0 (- (* z1 z2) z2)))":1176,"(sqrt (* z0 (- (+ (* z1 z2) (- 1 z2)) -1)))":4080,"(sqrt (* z0 (- (+ (* z1 z2) 2) z2)))":1524,"(sqrt (* z0 (- (- (+ (* (- z1) z2) z1) 2))))":642,"(sqrt (* z0 (- z1 (* z2 z1))))":1722,"(sqrt (* z0 (- z1 (+ (* z2 z1) 2))))":4890,"(sqrt (* z0 (/ -1 (- z1 1))))":1282,"(sqrt (* z0 (fabs (- z1 (* z2 z1)))))":2022,"(sqrt (* z0 (fabs z1)))":720,"(sqrt (* z0 (sqrt (fabs (- z1 (+ (* z2 z1) 2))))))":276,"(sqrt (* z0 PI))":129,"(sqrt (* z0 z1))":1706,"(sqrt (+ (* (* z0 z1) z1) z2))":180,"(sqrt (+ (* (+ (* z0 z1) (- 2 z1)) z1) z2))":2196,"(sqrt (+ (* (- (* z0 z1) z1) z1) z2))":1146,"(sqrt (+ (* (- z0 (+ (* z1 z0) 1)) (+ (* z1 z0) (- 1 z0))) 1))":432,"(sqrt (+ (* z0 z0) z1))":1096,"(sqrt (+ z0 (* (* (+ (* z1 z2) (- 2 z2)) z2) (- z1))))":1038,"(sqrt (+ z0 (* (- (* z1 z2) z2) (+ (* (- z1) z2) -2))))":456,"(sqrt (+ z0 (* (- (* z1 z2) z2) (- z2 2))))":462,"(sqrt (+ z0 (* (- (* z1 z2) z2) z2)))":258,"(sqrt (+ z0 (* (- (+ (* z1 z2) 2) z2) z2)))":222,"(sqrt (+ z0 (* (- (- (+ (* z1 z2) 1) z2) -1) 0)))":312,"(sqrt (+ z0 (* (- (- (fabs z1))) (fabs z1))))":252,"(sqrt (+ z0 (* (- 2 z1) (- z1 (* z2 z1)))))":228,"(sqrt (+ z0 (* (- z1 (* z2 z1)) (- 2 z1))))":228,"(sqrt (+ z0 (* (- z1 2) (- (* z2 z1) z1))))":450,"(sqrt (+ z0 (* (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))) 0)))":540,"(sqrt (+ z0 (* 0 (- (- (+ (* z1 z2) 1) z2) -1))))":318,"(sqrt (+ z0 (* 0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))":540,"(sqrt (+ z0 (* z1 z1)))":486,"(sqrt (+ z0 (+ (* (- z1 1) (+ (* z2 z1) (- 1 z1))) 1)))":378,"(sqrt (+ z0 (- z1 (* z2 z1))))":192,"(sqrt (+ z0 (/ (* (sqrt (- 1 (* z1 z1))) (* z2 z2)) (sqrt (- 1 (* z1 z1))))))":756,"(sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))":18112,"(sqrt (- (* z0 z0) z1))":27668,"(sqrt (- (- 1 (- 1 (* (+ (* (- z0) z1) z0) 2))) z2))":714,"(sqrt (- (- z0 (* z1 z0)) z2))":2148,"(sqrt (- (log (- 1 z0))))":1662,"(sqrt (/ (* 1/2 z0) z1))":234,"(sqrt (/ (* z0 z0) z1))":248,"(sqrt (/ (- (- 1 z0) z0) PI))":1255,"(sqrt (/ (- (- 1 z0) z0) z1))":2520,"(sqrt (/ (- 1 z0) z0))":751,"(sqrt (/ -1 z0))":639,"(sqrt (/ 1 z0))":1505,"(sqrt (/ PI (- (- 1 z0) z0)))":994,"(sqrt (/ PI z0))":1054,"(sqrt (/ z0 (- (- 1 z1) z1)))":1996,"(sqrt (/ z0 (- 1 z1)))":438,"(sqrt (/ z0 (fabs (- z1 1))))":358,"(sqrt (/ z0 PI))":1486,"(sqrt (/ z0 z1))":5964,"(sqrt (fabs (+ (* z0 z1) (- 2 z1))))":326,"(sqrt (fabs (+ (- -2 (* z0 z1)) z1)))":1294,"(sqrt (fabs (- (* z0 z0) (* (sqrt (- 1 (* z0 z0))) (* z1 z1)))))":380,"(sqrt (fabs (- (* z0 z1) z1)))":1308,"(sqrt (fabs (- (+ (* z0 z1) 2) z1)))":1504,"(sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1))))":420,"(sqrt (fabs (- z0 (* z1 z0))))":952,"(sqrt (fabs (- z0 (+ (* z1 z0) 2))))":614,"(sqrt (fabs (log (+ 1 (- z0)))))":6652,"(sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2)))))":300,"(sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))":8130,"(sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))":730,"(sqrt (sqrt (fabs (- (+ (* z0 z1) 2) z1))))":626,"(sqrt (sqrt (fabs (- z0 (+ (* z1 z0) 2)))))":298,"(sqrt (sqrt (fabs (/ 1/2 (- 1 z0)))))":334,"(sqrt (sqrt (fabs (log (+ 1 (- z0))))))":951,"(sqrt (sqrt (fabs z0)))":252,"(sqrt (sqrt z0))":12633,"(tan (+ (* (* 2 PI) z0) (* 1/2 PI)))":792,"(tan (+ (* (* 2 PI) z0) z1))":1632,"(tan (+ (* 1/2 PI) (* (+ PI PI) z0)))":12267,"(tan (+ (* 1/2 PI) (* z0 (+ PI PI))))":2989,"(tan (+ (* 1/2 PI) z0))":15892,"(tan (+ z0 (* (+ PI PI) z1)))":24592,"(tan (+ z0 (* 1/2 PI)))":1064,"(tan (+ z0 (* z1 (+ PI PI))))":5986}