{"(* (* (* (fabs z0) z0) (sqrt (fabs z0))) z1)":182,"(* (* (* (fabs z0) z0) z0) z1)":100,"(* (* (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0)) z0) z1)":116,"(* (* (* (sqrt (fabs z0)) z0) (fabs z0)) z1)":122,"(* (* (+ (fabs z0) z1) z0) z2)":42,"(* (* (+ (fabs z0) z1) z1) z2)":42,"(* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) z2)":276,"(* (* (+ z0 z0) (fabs z1)) z2)":36,"(* (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2)":729,"(* (* (- (fabs z0) z1) z0) z2)":36,"(* (* (- (fabs z0) z1) z1) z2)":36,"(* (* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0)))) z1)":164,"(* (* (- z0) (fabs z0)) z1)":138,"(* (* (- z0) (sqrt (fabs z0))) (- (sqrt (fabs z0))))":90,"(* (* (- z0) (sqrt (fabs z0))) z1)":374,"(* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1))))":84,"(* (* (cos (* z0 (+ PI PI))) 1/6) z1)":457,"(* (* (cos z0) 2) z1)":280,"(* (* (fabs z0) (* z0 z0)) z1)":112,"(* (* (fabs z0) (- z0)) z1)":141,"(* (* (fabs z0) (sqrt (fabs z0))) z1)":866,"(* (* (fabs z0) z0) (sqrt (fabs z0)))":123,"(* (* (fabs z0) z0) z1)":423,"(* (* (fabs z0) z1) z2)":72,"(* (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2)":4393,"(* (* (log (+ (* z0 z0) (* z1 z1))) z2) 1/2)":1233,"(* (* (log 1/10) (log 1/2)) z0)":616,"(* (* (log z0) 1/2) (log (+ (* z1 z1) (* z2 z2))))":1779,"(* (* (log z0) 1/2) z1)":904,"(* (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1))) z2)":294,"(* (* (sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2)":227,"(* (* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2)":263,"(* (* (sqrt (fabs z0)) (* z0 z0)) z1)":98,"(* (* (sqrt (fabs z0)) (- z0)) z1)":196,"(* (* (sqrt (fabs z0)) (fabs z0)) (* (sqrt (fabs z0)) z0))":107,"(* (* (sqrt (fabs z0)) (fabs z0)) (fabs z0))":68,"(* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0)))":622,"(* (* (sqrt (fabs z0)) (fabs z0)) z1)":2143,"(* (* (sqrt (fabs z0)) z0) (- (sqrt (fabs z0))))":89,"(* (* (sqrt (fabs z0)) z0) (fabs z0))":70,"(* (* (sqrt (fabs z0)) z0) z1)":488,"(* (* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0))))) z1)":156,"(* (* (sqrt (sqrt (fabs z0))) (fabs z0)) (sqrt (* (sqrt (fabs z0)) (fabs z0))))":183,"(* (* (sqrt (sqrt (fabs z0))) (fabs z0)) z1)":658,"(* (* (sqrt (sqrt (fabs z0))) z0) z1)":116,"(* (* -1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":2471,"(* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))":20849,"(* (* 1/2 (atan2 z0 z1)) z2)":600,"(* (* 1/2 (cos z0)) z1)":3111,"(* (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":6610,"(* (* 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2))))":510,"(* (* 1/2 (sin z0)) z1)":2423,"(* (* 1/2 (sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))) z2)":146,"(* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2))))":26729,"(* (* 1/6 (sqrt (* -2 (log z0)))) z1)":336,"(* (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))))) z2)":372,"(* (* 2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":378,"(* (* z0 (* (sqrt (fabs z0)) (fabs z0))) z1)":144,"(* (* z0 (fabs z0)) z1)":74,"(* (* z0 (sqrt (fabs z0))) z1)":202,"(* (* z0 1/2) (log (+ (* (- z1) (- z1)) (* z2 z2))))":300,"(* (* z0 1/2) (log (+ (* z1 z1) (* (- (- z2)) z2))))":282,"(* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2))))":23563,"(* (* z0 1/2) (log (+ (* z1 z1) (fabs (* z2 z2)))))":370,"(* (* z0 1/2) (log (+ (fabs (* z1 z1)) (* z2 z2))))":374,"(* (* z0 1/2) (log (- (* z1 z1) (* (- z2) z2))))":300,"(* (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1)) z2)":108,"(* (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1)))) z2)":101,"(* (+ (* z0 z0) (fabs (* z1 z1))) z2)":213,"(* (+ (fabs (* z0 z0)) (* z1 z1)) z2)":242,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 1)":202,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)":1310,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2)":198,"(* (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)) 1/2)":1866,"(* (- (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1)))) z2)":264,"(* (- (* (sqrt (fabs z0)) (fabs z0))) z1)":132,"(* (- (* -1/2 z0)) (log (+ (* z1 z1) (* z2 z2))))":360,"(* (- (* z0 z0) (fabs (* z1 z1))) z0)":177,"(* (- (- (* (sqrt (fabs z0)) (fabs z0)))) z1)":82,"(* (- (- (atan2 z0 z1))) z2)":534,"(* (- (- (sqrt (* (sqrt (fabs z0)) (fabs z0))))) z1)":104,"(* (- (- (sqrt (fabs z0)))) z1)":266,"(* (- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))) z2)":108,"(* (- (- (sqrt (sqrt (fabs z0))))) z1)":258,"(* (- (atan2 z0 z1)) (- z2))":264,"(* (- (atan2 z0 z1)) z2)":1236,"(* (- (fabs (* z0 z0)) (* z1 z1)) z1)":75,"(* (- (fabs z0)) (sqrt (fabs z0)))":88,"(* (- (log (+ (* z0 z0) (* z1 z1)))) z2)":354,"(* (- (log z0)) (atan2 z1 z2))":1020,"(* (- (log z0)) z1)":802,"(* (- (sqrt (* (fabs z0) (sqrt (fabs z0))))) z1)":325,"(* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) (sqrt (sqrt (fabs z0))))":170,"(* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1)":325,"(* (- (sqrt (* 1/2 (- 1 z0)))) (sqrt (* 1/2 (- 1 z0))))":106,"(* (- (sqrt (* 1/2 (- 1 z0)))) z1)":228,"(* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":1548,"(* (- (sqrt (- 1 z0))) (sqrt (- 1 z0)))":126,"(* (- (sqrt (fabs z0))) (* (- z0) (sqrt (fabs z0))))":91,"(* (- (sqrt (fabs z0))) (* (sqrt (fabs z0)) z0))":89,"(* (- (sqrt (fabs z0))) (- (sqrt (fabs z0))))":192,"(* (- (sqrt (fabs z0))) (- z0))":48,"(* (- (sqrt (fabs z0))) z1)":1424,"(* (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))) z2)":306,"(* (- (sqrt (sqrt (fabs z0)))) (sqrt (* (sqrt (fabs z0)) (fabs z0))))":164,"(* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0))))":198,"(* (- (sqrt (sqrt (fabs z0)))) z1)":1346,"(* (- (sqrt 1/2)) z0)":44,"(* (- (sqrt 2)) z0)":197,"(* (- z0) (- (sqrt (fabs z0))))":47,"(* (- z0) (atan2 z1 z2))":19540,"(* (- z0) (sqrt (fabs z0)))":445,"(* (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":120,"(* (/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z0)":173,"(* (/ -1 (atan2 z0 z1)) z2)":499,"(* (/ -1 (log z0)) z1)":288,"(* (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":222,"(* (/ -1/2 (log 1/10)) z0)":316,"(* (/ 1 (+ (* z0 z0) (fabs (* z1 z1)))) z2)":92,"(* (/ 1 (+ (fabs (* z0 z0)) (* z1 z1))) z2)":100,"(* (/ 1 (atan2 z0 z1)) z2)":876,"(* (/ 1 (log z0)) z1)":653,"(* (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":499,"(* (/ 1/2 (atan2 z0 z1)) z2)":312,"(* (/ 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2))))":856,"(* (/ 1/2 (log z0)) z1)":582,"(* (atan2 z0 z1) (log z2))":1284,"(* (atan2 z0 z1) z2)":94184,"(* (cos (* (+ PI PI) z0)) z1)":778,"(* (cos (* z0 (+ PI PI))) 1/6)":443,"(* (cos (* z0 (+ PI PI))) z1)":1560,"(* (fabs z0) (sqrt (fabs z0)))":427,"(* (log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)) z2)":1462,"(* (log (+ (* z0 z0) (* z1 z1))) (* 1/2 z2))":806,"(* (log (+ (* z0 z0) (* z1 z1))) 1/2)":2976,"(* (log (+ (* z0 z0) (* z1 z1))) z2)":7134,"(* (log (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":5484,"(* (log 1/10) z0)":1124,"(* (log 10) z0)":753,"(* (log z0) (atan2 z1 z2))":5494,"(* (log z0) z1)":4170,"(* (pow (atan2 z0 z1) -2) z2)":486,"(* (pow (log 1/10) 2) z0)":992,"(* (pow (log z0) -2) (atan2 z1 z2))":1055,"(* (pow (log z0) -2) z1)":1774,"(* (pow (log z0) 2) (atan2 z1 z2))":732,"(* (pow (log z0) 2) z1)":1153,"(* (sqrt (* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))) z2)":226,"(* (sqrt (* (+ (* z0 z0) (* z1 z1)) 2)) z2)":208,"(* (sqrt (* (fabs z0) (* z0 z0))) z1)":209,"(* (sqrt (* (log z0) -2)) 1/6)":416,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (- (sqrt (sqrt (fabs z0)))))":163,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0))":213,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) z1)":1417,"(* (sqrt (* 1/2 (- 1 z0))) (- (sqrt (* 1/2 (- 1 z0)))))":106,"(* (sqrt (* 1/2 (- 1 z0))) z1)":280,"(* (sqrt (* z0 z0)) z1)":47,"(* (sqrt (+ (* z0 z0) (* z1 z1))) -2)":282,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 1)":82,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)":2373,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 2)":508,"(* (sqrt (+ (* z0 z0) (* z1 z1))) z2)":3930,"(* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2)":95,"(* (sqrt (- 1 z0)) (- (sqrt (- 1 z0))))":126,"(* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2) 2)) z2)":473,"(* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (fabs z1))) (fabs z1)))))) z1) 2) 2)) z2)":517,"(* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2)) z2)":505,"(* (sqrt (fabs (* (- (fabs z0)) (* z0 z0)))) z1)":118,"(* (sqrt (fabs (fabs z0))) z1)":98,"(* (sqrt (fabs (log z0))) z1)":371,"(* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0)))":233,"(* (sqrt (fabs z0)) (* z0 z0))":144,"(* (sqrt (fabs z0)) (- z0))":231,"(* (sqrt (fabs z0)) (fabs z0))":5030,"(* (sqrt (fabs z0)) z0)":638,"(* (sqrt (fabs z0)) z1)":11336,"(* (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1)":988,"(* (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":639,"(* (sqrt (sqrt (fabs z0))) (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":163,"(* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0)))))":198,"(* (sqrt (sqrt (fabs z0))) (- z0))":76,"(* (sqrt (sqrt (fabs z0))) (fabs z0))":683,"(* (sqrt (sqrt (fabs z0))) z0)":111,"(* (sqrt (sqrt (fabs z0))) z1)":3281,"(* (sqrt (sqrt (sqrt (fabs z0)))) z1)":308,"(* (sqrt (sqrt 2)) z0)":57,"(* (sqrt 1/2) z0)":64,"(* (sqrt 2) z0)":314,"(* (sqrt z0) z1)":56,"(* -1/2 (log (+ (* z0 z0) (* z1 z1))))":1272,"(* -1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":90,"(* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))":423,"(* -2 (fabs (* z0 PI)))":49,"(* 1 (sqrt (+ (* z0 z0) (* z1 z1))))":81,"(* 1/2 (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)))":1960,"(* 1/2 (log (+ (* z0 z0) (* z1 z1))))":4965,"(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":115,"(* 1/2 (sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":164,"(* 1/2 (sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))":105,"(* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))":131,"(* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))))":121,"(* 1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":204,"(* 1/2 (sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1)))":113,"(* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z0))":91,"(* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":111,"(* 2 (+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))":82,"(* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":178,"(* 2 (- (sqrt (+ (* z0 z0) (* z1 z1)))))":290,"(* 2 (- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))":85,"(* 2 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))))":146,"(* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":113,"(* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":116,"(* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))":93,"(* 2 (sqrt (+ (* z0 z0) (* z1 z1))))":346,"(* 4 (sqrt (+ (* z0 z0) (* z1 z1))))":68,"(* z0 (* (+ (fabs z1) z2) z1))":42,"(* z0 (* (+ (fabs z1) z2) z2))":42,"(* z0 (* (- (fabs z1) z2) z1))":36,"(* z0 (* (- (fabs z1) z2) z2))":36,"(* z0 (* (- (sqrt (fabs z1))) (- (sqrt (fabs z1)))))":83,"(* z0 (* (- (sqrt (sqrt (fabs z1)))) (sqrt (sqrt (fabs z1)))))":158,"(* z0 (* (- z1) (fabs z1)))":120,"(* z0 (* (- z1) (sqrt (fabs z1))))":358,"(* z0 (* (/ (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) 1) -1))":552,"(* z0 (* (fabs z1) (* z1 z1)))":86,"(* z0 (* (fabs z1) (+ z2 z2)))":54,"(* z0 (* (fabs z1) (- z1)))":78,"(* z0 (* (fabs z1) 3))":30,"(* z0 (* (fabs z1) z1))":152,"(* z0 (* (fabs z1) z2))":48,"(* z0 (* (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) (log 1/10)))":1051,"(* z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2))":1293,"(* z0 (* (sin z1) 1/2))":1990,"(* z0 (* (sqrt (* (log z1) -2)) 1/6))":581,"(* z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":240,"(* z0 (* (sqrt (fabs z0)) (fabs z0)))":75,"(* z0 (* (sqrt (fabs z1)) (* z1 z1)))":63,"(* z0 (* (sqrt (fabs z1)) (- z1)))":200,"(* z0 (* (sqrt (fabs z1)) (fabs z1)))":544,"(* z0 (* (sqrt (fabs z1)) z1))":652,"(* z0 (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (fabs z1))) (fabs z1))))":246,"(* z0 (* (sqrt (sqrt (fabs z1))) (- (sqrt (sqrt (fabs z1))))))":166,"(* z0 (* (sqrt (sqrt (fabs z1))) (fabs z1)))":470,"(* z0 (* (sqrt (sqrt (fabs z1))) z1))":90,"(* z0 (* -1/2 (log (+ (* z1 z1) (* z2 z2)))))":386,"(* z0 (* 1/2 (atan2 z1 z2)))":264,"(* z0 (* 2 (- (sqrt (+ (* z1 z1) (* z2 z2))))))":246,"(* z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2)))))":246,"(* z0 (* z1 (fabs z1)))":32,"(* z0 (* z1 (sqrt (fabs z1))))":200,"(* z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2)))":71,"(* z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2)))))":78,"(* z0 (+ (* z1 z1) (fabs (* z2 z2))))":132,"(* z0 (+ (fabs (* z1 z1)) (* z2 z2)))":160,"(* z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2))":841,"(* z0 (- (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2)))))":240,"(* z0 (- (* (sqrt (fabs z1)) (fabs z1))))":96,"(* z0 (- (- (sqrt (* (sqrt (fabs z1)) (fabs z1))))))":94,"(* z0 (- (- (sqrt (fabs z1)))))":230,"(* z0 (- (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))))":108,"(* z0 (- (- (sqrt (sqrt (fabs z1))))))":252,"(* z0 (- (atan2 z1 z2)))":582,"(* z0 (- (log (+ (* z1 z1) (* z2 z2)))))":300,"(* z0 (- (log z1)))":520,"(* z0 (- (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2))))":144,"(* z0 (- (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":636,"(* z0 (- (sqrt (* 1/2 (- 1 z1)))))":228,"(* z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":2430,"(* z0 (- (sqrt (fabs z1))))":1485,"(* z0 (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))))":270,"(* z0 (- (sqrt (sqrt (fabs z1)))))":1234,"(* z0 (- (sqrt 1/2)))":54,"(* z0 (- (sqrt 2)))":155,"(* z0 (- z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":84,"(* z0 (/ (log 10) (atan2 z1 z2)))":570,"(* z0 (/ -1 (atan2 z1 z2)))":468,"(* z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":240,"(* z0 (/ 1 (atan2 z1 z2)))":666,"(* z0 (/ 1 (log z1)))":660,"(* z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":496,"(* z0 (/ 1 (sqrt 2)))":1049,"(* z0 (/ 1/2 (atan2 z1 z2)))":312,"(* z0 (atan2 z1 z2))":47998,"(* z0 (cos (* (* 2 PI) z1)))":302,"(* z0 (cos (* (+ PI PI) z1)))":468,"(* z0 (cos z1))":3682,"(* z0 (fabs (* z1 z1)))":77,"(* z0 (fabs (log z1)))":304,"(* z0 (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)))":1650,"(* z0 (log (+ (* (- z1) (- z1)) (* z2 z2))))":558,"(* z0 (log (+ (* z1 z1) (* (- (- z2)) z2))))":420,"(* z0 (log (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2))))))":306,"(* z0 (log (+ (* z1 z1) (* (- z2) (- z2)))))":516,"(* z0 (log (+ (* z1 z1) (* z2 z2))))":76263,"(* z0 (log (+ (* z1 z1) (fabs (* z2 z2)))))":661,"(* z0 (log (+ (fabs (* z1 z1)) (* z2 z2))))":714,"(* z0 (log (- (* z1 z1) (* (- z2) z2))))":498,"(* z0 (log (- (- (* (- z1) z1) (* z2 z2)))))":438,"(* z0 (log (/ 1/2 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2))))":525,"(* z0 (log (fabs (+ (* z1 z1) (* z2 z2)))))":288,"(* z0 (log 1/10))":1275,"(* z0 (log 1/2))":791,"(* z0 (log 10))":920,"(* z0 (log z1))":4792,"(* z0 (pow (atan2 z1 z2) -2))":542,"(* z0 (pow (log z1) -2))":1244,"(* z0 (pow (log z1) 2))":1459,"(* z0 (sin z1))":2688,"(* z0 (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2)))":108,"(* z0 (sqrt (* (log z1) -2)))":1421,"(* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1))))":1527,"(* z0 (sqrt (* 1/2 (- 1 z1))))":280,"(* z0 (sqrt (* z1 z1)))":84,"(* z0 (sqrt (+ (* z1 z1) (* z2 z2))))":3444,"(* z0 (sqrt (fabs (fabs z1))))":122,"(* z0 (sqrt (fabs (log z1))))":1273,"(* z0 (sqrt (fabs z0)))":230,"(* z0 (sqrt (fabs z1)))":8783,"(* z0 (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":295,"(* z0 (sqrt (sqrt (* -2 (- z1 (sqrt (+ (* z2 z2) (* z1 z1))))))))":396,"(* z0 (sqrt (sqrt (* z1 z1))))":143,"(* z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))":637,"(* z0 (sqrt (sqrt (fabs (- (* (sqrt (+ (* z1 z1) (* z2 z2))) -2) (* -2 z2))))))":152,"(* z0 (sqrt (sqrt (fabs z1))))":2804,"(* z0 (sqrt (sqrt (sqrt (fabs z1)))))":258,"(* z0 (sqrt 1/2))":265,"(* z0 (sqrt 2))":2070,"(* z0 (sqrt z1))":38,"(+ (* (* (- z0) z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2)":96,"(+ (* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":96,"(+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1))":152,"(+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) z1)":114,"(+ (* (* z0 z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2)":96,"(+ (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z1) z2)":192,"(+ (* (- (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))) z1) z2)":283,"(+ (* (- (* z0 z0) (fabs (* z1 z1))) z1) z2)":93,"(+ (* (- (fabs (* z0 z0)) (* z1 z1)) z1) z2)":225,"(+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2) z2)":120,"(+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2)":198,"(+ (* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0))) z1)":159,"(+ (* -2 (fabs (* z0 PI))) z1)":58,"(+ (* 1/2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":126,"(+ (* PI 1/2) (* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2)))))":5742,"(+ (* PI 1/2) (* (atan2 z0 z1) z2))":5285,"(+ (* z0 z0) (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1))))":331,"(+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1))))":146,"(+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":201,"(+ (* z0 z0) (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1))))":124,"(+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1)))":198,"(+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":291,"(+ (* z0 z0) (sqrt (* (* z1 z1) (* z1 z1))))":156,"(+ (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2)":78,"(+ (- (fabs (* (+ PI PI) z0))) z1)":56,"(+ (fabs (* (+ PI PI) z0)) z1)":34,"(+ (sqrt (* (* (* z0 z0) z0) z0)) (* z1 z1))":109,"(+ (sqrt (* (* (* z0 z0) z0) z0)) z1)":143,"(+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) (* z1 z1))":131,"(+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1)":263,"(+ (sqrt (* (* z0 z0) (* z0 z0))) (* z1 z1))":78,"(+ (sqrt (* (* z0 z0) (* z0 z0))) z1)":211,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z0)":93,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)":2773,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":756,"(+ (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)":110,"(+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)":85,"(+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":3282,"(+ PI (* (atan2 z0 z1) z2))":2522,"(+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2))":3855,"(+ z0 (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1))))":480,"(+ z0 (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":256,"(+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2))":126,"(+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 2))":96,"(+ z0 (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1))))":203,"(+ z0 (* 1/2 (sqrt (+ (* z1 z1) (* z2 z2)))))":120,"(+ z0 (sqrt (* (* (* z1 z1) z1) z1)))":346,"(+ z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":571,"(+ z0 (sqrt (* (* z1 z1) (* z1 z1))))":65,"(+ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":558,"(- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1))":252,"(- (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":432,"(- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) (* -1/2 PI))":1326,"(- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) PI)":276,"(- (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))":86,"(- (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z0) z2)":306,"(- (* (- (* z0 z0) (fabs (* z1 z1))) z0) z2)":517,"(- (* (- (fabs (* z0 z0)) (* z1 z1)) z0) z2)":206,"(- (* (- z0) (atan2 z1 z2)))":600,"(- (* (- z0) (sqrt (fabs z0))))":50,"(- (* (atan2 z0 z1) z2) (* -1/2 PI))":2973,"(- (* (atan2 z0 z1) z2) (* PI -1/2))":1585,"(- (* (atan2 z0 z1) z2) (* PI 1/2))":558,"(- (* (atan2 z0 z1) z2) PI)":3780,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1))":132,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) z2)":610,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1)":171,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2)":144,"(- (* (sqrt (fabs z0)) (fabs z0)))":213,"(- (* z0 z0) (fabs (* z1 z1)))":255,"(- (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":82,"(- (- (* (atan2 z0 z1) z2) PI) PI)":492,"(- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1)":122,"(- (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":117,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":156,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":204,"(- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))))":100,"(- (- (sqrt (sqrt (fabs z0)))))":289,"(- (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":685,"(- (cos (* (atan2 z0 z1) z2)))":474,"(- (fabs (* (+ PI PI) z0)) z1)":54,"(- (fabs (* (+ PI PI) z0)))":63,"(- (fabs (* z0 (+ PI PI))) z1)":68,"(- (fabs (* z0 z0)) (* z1 z1))":79,"(- (log (+ (* z0 z0) (* z1 z1))))":618,"(- (pow (log z0) 2))":680,"(- (sin (* (atan2 z0 z1) z2)))":990,"(- (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1)":380,"(- (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)))":282,"(- (sqrt (* (sqrt (fabs z0)) (fabs z0))))":778,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z0)":75,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z1)":771,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z2)":426,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":2602,"(- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)":92,"(- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)":79,"(- (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":103,"(- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":318,"(- (sqrt (sqrt (fabs z0))))":1662,"(- PI (* (atan2 z0 z1) z2))":834,"(- z0 (* (* (sqrt (fabs z1)) (fabs z1)) (* (sqrt (fabs z1)) z1)))":133,"(- z0 (* (* 1/2 (log (+ (* z1 z1) (* z2 z2)))) 0))":846,"(- z0 (* (+ z1 z1) (fabs (* z2 z2))))":46,"(- z0 (* (/ (- z1) (sqrt (+ (* z1 z1) (* z2 z2)))) z1))":495,"(- z0 (* (log (sqrt (+ (* z1 z1) (* z2 z2)))) 0))":416,"(- z0 (* -1/2 (/ (atan2 z1 z2) (log 10))))":678,"(- z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2))":96,"(- z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":156,"(- z0 (/ (* z1 z1) (sqrt (+ (* z2 z2) (* z1 z1)))))":132,"(- z0 (asin (sqrt (* 1/2 (- 1 z1)))))":392,"(- z0 (asin (sqrt (/ (- 1 z1) 2))))":285,"(- z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":166,"(- z0 (sqrt (+ (* z1 z1) (* z0 z0))))":542,"(- z0 (sqrt (+ (* z1 z1) (* z2 z2))))":354,"(/ (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2)":782,"(/ (* (cos (* z0 (+ PI PI))) 1/6) z1)":338,"(/ (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2)":338,"(/ (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":362,"(/ (* z0 z0) (fabs z1))":58,"(/ (* z0 z0) (sqrt (+ (* z0 z0) (* z1 z1))))":158,"(/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0))))":408,"(/ (* z0 z1) (+ (* z0 z0) (fabs (* z2 z2))))":72,"(/ (+ (* z0 z0) (fabs (* z1 z1))) z2)":72,"(/ (+ (fabs (* z0 z0)) (* z1 z1)) z2)":63,"(/ (- (atan2 z0 z1)) (log z2))":708,"(/ (- (atan2 z0 z1)) z2)":936,"(/ (- (log z0)) (atan2 z1 z2))":726,"(/ (- (log z0)) z1)":544,"(/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1))))":194,"(/ (/ 1 (atan2 z0 z1)) z2)":907,"(/ (/ 1 (log z0)) z1)":439,"(/ (atan2 z0 z1) (log 10))":499,"(/ (atan2 z0 z1) (log z2))":2950,"(/ (atan2 z0 z1) z2)":6603,"(/ (log (+ (* z0 z0) (* z1 z1))) (log z2))":890,"(/ (log (+ (* z0 z0) (* z1 z1))) z2)":1957,"(/ (log 1/10) z0)":486,"(/ (log 10) (atan2 z0 z1))":464,"(/ (log 10) z0)":410,"(/ (log z0) (atan2 z1 z2))":1116,"(/ (log z0) z1)":2304,"(/ (pow (atan2 z0 z1) 2) z2)":648,"(/ (pow (log z0) -2) z1)":951,"(/ (pow (log z0) 2) z1)":694,"(/ (sin z0) z1)":470,"(/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2)) z2)":532,"(/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (fabs z1))) (fabs z1)))))) z1) 2)) z2)":554,"(/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)) z2)":604,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":186,"(/ -1 (log z0))":486,"(/ -1 (sqrt (+ (* z0 z0) (* z1 z1))))":282,"(/ -2 (log (+ (* z0 z0) (* z1 z1))))":281,"(/ 1 (* (log z0) (atan2 z1 z2)))":1235,"(/ 1 (+ (* z0 z0) (fabs (* z1 z1))))":62,"(/ 1 (+ (fabs (* z0 z0)) (* z1 z1)))":60,"(/ 1 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))))":123,"(/ 1 (log (+ (* z0 z0) (* z1 z1))))":485,"(/ 1 (log z0))":1643,"(/ 1 (sin z0))":246,"(/ 1 (sqrt (* (log z0) -2)))":308,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":1200,"(/ 1 (sqrt (fabs z0)))":57,"(/ 1/2 (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2))":202,"(/ 1/2 (log z0))":623,"(/ 1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":110,"(/ 2 (log (+ (* z0 z0) (* z1 z1))))":546,"(/ 2 (sqrt (+ (* z0 z0) (* z1 z1))))":170,"(/ z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2))":393,"(/ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":192,"(/ z0 (* (sqrt (fabs z1)) (fabs z1)))":68,"(/ z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2)))))":102,"(/ z0 (+ (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1))) (* z2 z2)))":426,"(/ z0 (+ (* (- (- (fabs z1))) (- (- (fabs z1)))) (* z2 z2)))":90,"(/ z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2)))":201,"(/ z0 (+ (* z1 z1) (* (* (fabs z2) (sqrt (fabs z2))) (sqrt (fabs z2)))))":633,"(/ z0 (+ (* z1 z1) (* (* (sqrt (fabs z2)) (fabs z2)) (sqrt (fabs z2)))))":127,"(/ z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2)))))":225,"(/ z0 (+ (* z1 z1) (fabs (* (fabs z2) z2))))":99,"(/ z0 (+ (* z1 z1) (fabs (* z2 (fabs z2)))))":91,"(/ z0 (+ (* z1 z1) (fabs (* z2 z2))))":663,"(/ z0 (+ (* z1 z1) (sqrt (* (* (fabs z2) (* z2 z2)) (fabs z2)))))":634,"(/ z0 (+ (fabs (* (fabs z1) z1)) (* z2 z2)))":95,"(/ z0 (+ (fabs (* z1 (fabs z1))) (* z2 z2)))":68,"(/ z0 (+ (fabs (* z1 z1)) (* z2 z2)))":551,"(/ z0 (+ (pow (log z1) 2) 0))":740,"(/ z0 (+ (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))) (* z2 z2)))":138,"(/ z0 (- (atan2 z1 z2)))":595,"(/ z0 (- (log z1)))":584,"(/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":558,"(/ z0 (- (sqrt 2)))":156,"(/ z0 (/ -1 (sinh z1)))":292,"(/ z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":162,"(/ z0 (/ 1 (log z1)))":554,"(/ z0 (/ 1 (sqrt (* (log z1) -2))))":407,"(/ z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":408,"(/ z0 (/ 2 (log (+ (* z1 z1) (* z2 z2)))))":516,"(/ z0 (atan2 z1 z2))":5760,"(/ z0 (fabs (log z1)))":254,"(/ z0 (log (+ (* z1 z1) (* z2 z2))))":2184,"(/ z0 (log 10))":1043,"(/ z0 (log z1))":3040,"(/ z0 (pow (log z1) 2))":1021,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":3320,"(/ z0 (sqrt (fabs z1)))":68,"(/ z0 (sqrt 2))":1908,"(asin (sqrt (* 1/2 (- 1 z0))))":702,"(cos (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":1722,"(cos (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":1368,"(cos (* (+ PI PI) z0))":1482,"(cos (* (atan2 z0 z1) z2))":3114,"(cos (* z0 (+ PI PI)))":1842,"(cos (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":873,"(cos (- (* (atan2 z0 z1) z2) PI))":1068,"(exp (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":562,"(fabs (* (+ PI PI) z0))":132,"(fabs (* z0 (+ PI PI)))":55,"(fabs (* z0 PI))":49,"(fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":400,"(fabs (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":522,"(fabs (- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1)))":96,"(fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":181,"(fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))":106,"(fabs (- -1 (* (/ 1 (* z0 z0)) (* z1 z1))))":94,"(fabs (- PI (* (atan2 z0 z1) z2)))":534,"(fabs (/ 1 (* z0 z0)))":81,"(log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2))":1858,"(log (+ (* (- z0) (- z0)) (* z1 z1)))":308,"(log (+ (* z0 z0) (* (- z1) (- z1))))":296,"(log (+ (* z0 z0) (* z1 z1)))":37421,"(log (+ (* z0 z0) (fabs (* z1 z1))))":392,"(log (+ (fabs (* z0 z0)) (* z1 z1)))":485,"(log (- (* z0 z0) (* (- z1) z1)))":282,"(pow (+ (* z0 z0) (* z1 z1)) (* -1/2 z2))":1459,"(pow (+ (* z0 z0) (* z1 z1)) (* 1/2 z2))":11949,"(pow (+ (* z0 z0) (* z1 z1)) (- (* 1/2 z2)))":264,"(pow (+ (* z0 z0) (* z1 z1)) z2)":15536,"(pow (log z0) -2)":2694,"(pow (log z0) 2)":3628,"(pow (sqrt (+ (* z0 z0) (* z1 z1))) z2)":2070,"(pow z0 (* (/ -1 (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":312,"(pow z0 (atan2 z1 z2))":1194,"(sin (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":1284,"(sin (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":1518,"(sin (* (atan2 z0 z1) z2))":2814,"(sin (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":1487,"(sin (- (* (atan2 z0 z1) z2) PI))":1722,"(sinh (* (- z0) (atan2 z1 z2)))":474,"(sqrt (* (* (* z0 z0) z0) z0))":304,"(sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0)))":193,"(sqrt (* (+ (* z0 z0) (* z1 z1)) (+ (* z0 z0) (* z1 z1))))":310,"(sqrt (* (+ (* z0 z0) (* z1 z1)) 2))":157,"(sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))":994,"(sqrt (* (log z0) -2))":2416,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":3149,"(sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0))))))":424,"(sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":100,"(sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":155,"(sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":121,"(sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":126,"(sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))))":107,"(sqrt (* z0 z0))":117,"(sqrt (+ (* (- (- (fabs z0))) (- (- (fabs z0)))) (* z1 z1)))":90,"(sqrt (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1)))":156,"(sqrt (+ (* (- z0) (- z0)) (* z1 z1)))":244,"(sqrt (+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))))":200,"(sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1))))))":209,"(sqrt (+ (* z0 z0) (* (- (- (fabs z1))) (fabs z1))))":81,"(sqrt (+ (* z0 z0) (* (- (- z1)) (- (- z1)))))":76,"(sqrt (+ (* z0 z0) (* (- (- z1)) z1)))":74,"(sqrt (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1)))))":229,"(sqrt (+ (* z0 z0) (* (- z1) (- z1))))":250,"(sqrt (+ (* z0 z0) (* z1 z1)))":23911,"(sqrt (+ (* z0 z0) (- (* (- z1) z1))))":104,"(sqrt (+ (* z0 z0) (fabs (* (fabs z1) z1))))":103,"(sqrt (+ (* z0 z0) (fabs (* z1 (fabs z1)))))":160,"(sqrt (+ (* z0 z0) (fabs (* z1 z1))))":521,"(sqrt (+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1))))":147,"(sqrt (+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1)))))":104,"(sqrt (+ (- (* (- z0) z0)) (* z1 z1)))":102,"(sqrt (+ (fabs (* (- z0) z0)) (* z1 z1)))":90,"(sqrt (+ (fabs (* z0 (fabs z0))) (* z1 z1)))":62,"(sqrt (+ (fabs (* z0 z0)) (* z1 z1)))":417,"(sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":129,"(sqrt (- (* z0 z0) (* (- z1) z1)))":224,"(sqrt (- (- (* (- z0) z0) (* z1 z1))))":150,"(sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1))":133,"(sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":195,"(sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2))":186,"(sqrt (fabs (* (- (fabs z0)) (* z0 z0))))":74,"(sqrt (fabs (+ (* z0 z0) (* z1 z1))))":58,"(sqrt (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":130,"(sqrt (fabs (log z0)))":1557,"(sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0))))":802,"(sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))":244,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":884,"(sqrt (sqrt (fabs z0)))":5309,"(sqrt (sqrt (sqrt (fabs z0))))":351}