{"(* (* (* (fabs z0) z0) (sqrt (fabs z0))) z1)":1920,"(* (* (* (fabs z0) z0) z0) z1)":1152,"(* (* (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0)) z0) z1)":3008,"(* (* (* (sqrt (fabs z0)) z0) (fabs z0)) z1)":1920,"(* (* (+ (fabs z0) z1) z0) z2)":1024,"(* (* (+ (fabs z0) z1) z1) z2)":1024,"(* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) z2)":2368,"(* (* (+ z0 z0) (fabs z1)) z2)":1024,"(* (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2)":14208,"(* (* (- (fabs z0) z1) z0) z2)":1024,"(* (* (- (fabs z0) z1) z1) z2)":1024,"(* (* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0)))) z1)":3648,"(* (* (- z0) (fabs z0)) z1)":960,"(* (* (- z0) (sqrt (fabs z0))) (- (sqrt (fabs z0))))":2496,"(* (* (- z0) (sqrt (fabs z0))) z1)":1600,"(* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1))))":2304,"(* (* (cos (* z0 (+ PI PI))) 1/6) z1)":7616,"(* (* (cos z0) 2) z1)":7104,"(* (* (fabs z0) (* z0 z0)) z1)":1152,"(* (* (fabs z0) (- z0)) z1)":960,"(* (* (fabs z0) (sqrt (fabs z0))) z1)":1600,"(* (* (fabs z0) z0) (sqrt (fabs z0)))":1600,"(* (* (fabs z0) z0) z1)":832,"(* (* (fabs z0) z1) z2)":832,"(* (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2)":7936,"(* (* (log (+ (* z0 z0) (* z1 z1))) z2) 1/2)":7936,"(* (* (log 1/10) (log 1/2)) z0)":13504,"(* (* (log z0) 1/2) (log (+ (* z1 z1) (* z2 z2))))":14336,"(* (* (log z0) 1/2) z1)":7104,"(* (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1))) z2)":3008,"(* (* (sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2)":3008,"(* (* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2)":3008,"(* (* (sqrt (fabs z0)) (* z0 z0)) z1)":1792,"(* (* (sqrt (fabs z0)) (- z0)) z1)":1600,"(* (* (sqrt (fabs z0)) (fabs z0)) (* (sqrt (fabs z0)) z0))":2688,"(* (* (sqrt (fabs z0)) (fabs z0)) (fabs z0))":1728,"(* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0)))":2368,"(* (* (sqrt (fabs z0)) (fabs z0)) z1)":1600,"(* (* (sqrt (fabs z0)) z0) (- (sqrt (fabs z0))))":2368,"(* (* (sqrt (fabs z0)) z0) (fabs z0))":1600,"(* (* (sqrt (fabs z0)) z0) z1)":1472,"(* (* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0))))) z1)":3648,"(* (* (sqrt (sqrt (fabs z0))) (fabs z0)) (sqrt (* (sqrt (fabs z0)) (fabs z0))))":4096,"(* (* (sqrt (sqrt (fabs z0))) (fabs z0)) z1)":2240,"(* (* (sqrt (sqrt (fabs z0))) z0) z1)":2112,"(* (* -1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":7936,"(* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))":7936,"(* (* 1/2 (atan2 z0 z1)) z2)":7168,"(* (* 1/2 (cos z0)) z1)":7104,"(* (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":7936,"(* (* 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2))))":14336,"(* (* 1/2 (sin z0)) z1)":7104,"(* (* 1/2 (sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))) z2)":3968,"(* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2))))":7936,"(* (* 1/6 (sqrt (* -2 (log z0)))) z1)":8064,"(* (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))))) z2)":2304,"(* (* 2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2176,"(* (* z0 (* (sqrt (fabs z0)) (fabs z0))) z1)":1920,"(* (* z0 (fabs z0)) z1)":832,"(* (* z0 (sqrt (fabs z0))) z1)":1472,"(* (* z0 1/2) (log (+ (* (- z1) (- z1)) (* z2 z2))))":8192,"(* (* z0 1/2) (log (+ (* z1 z1) (* (- (- z2)) z2))))":8192,"(* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2))))":7936,"(* (* z0 1/2) (log (+ (* z1 z1) (fabs (* z2 z2)))))":8064,"(* (* z0 1/2) (log (+ (fabs (* z1 z1)) (* z2 z2))))":8064,"(* (* z0 1/2) (log (- (* z1 z1) (* (- z2) z2))))":8064,"(* (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1)) z2)":1728,"(* (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1)))) z2)":1728,"(* (+ (* z0 z0) (fabs (* z1 z1))) z2)":1344,"(* (+ (fabs (* z0 z0)) (* z1 z1)) z2)":1344,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 1)":2048,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)":2048,"(* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2)":2048,"(* (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)) 1/2)":8128,"(* (- (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1)))) z2)":3136,"(* (- (* (sqrt (fabs z0)) (fabs z0))) z1)":1728,"(* (- (* -1/2 z0)) (log (+ (* z1 z1) (* z2 z2))))":8064,"(* (- (* z0 z0) (fabs (* z1 z1))) z0)":1344,"(* (- (- (* (sqrt (fabs z0)) (fabs z0)))) z1)":1856,"(* (- (- (atan2 z0 z1))) z2)":7104,"(* (- (- (sqrt (* (sqrt (fabs z0)) (fabs z0))))) z1)":2496,"(* (- (- (sqrt (fabs z0)))) z1)":1408,"(* (- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))) z2)":2752,"(* (- (- (sqrt (sqrt (fabs z0))))) z1)":2048,"(* (- (atan2 z0 z1)) (- z2))":7104,"(* (- (atan2 z0 z1)) z2)":6976,"(* (- (fabs (* z0 z0)) (* z1 z1)) z1)":1344,"(* (- (fabs z0)) (sqrt (fabs z0)))":1408,"(* (- (log (+ (* z0 z0) (* z1 z1)))) z2)":7744,"(* (- (log z0)) (atan2 z1 z2))":13376,"(* (- (log z0)) z1)":6912,"(* (- (sqrt (* (fabs z0) (sqrt (fabs z0))))) z1)":2368,"(* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) (sqrt (sqrt (fabs z0))))":3776,"(* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1)":2368,"(* (- (sqrt (* 1/2 (- 1 z0)))) (sqrt (* 1/2 (- 1 z0))))":2816,"(* (- (sqrt (* 1/2 (- 1 z0)))) z1)":1664,"(* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":1984,"(* (- (sqrt (- 1 z0))) (sqrt (- 1 z0)))":2176,"(* (- (sqrt (fabs z0))) (* (- z0) (sqrt (fabs z0))))":2496,"(* (- (sqrt (fabs z0))) (* (sqrt (fabs z0)) z0))":2368,"(* (- (sqrt (fabs z0))) (- (sqrt (fabs z0))))":2176,"(* (- (sqrt (fabs z0))) (- z0))":1408,"(* (- (sqrt (fabs z0))) z1)":1280,"(* (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))) z2)":2624,"(* (- (sqrt (sqrt (fabs z0)))) (sqrt (* (sqrt (fabs z0)) (fabs z0))))":3776,"(* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0))))":3328,"(* (- (sqrt (sqrt (fabs z0)))) z1)":1920,"(* (- (sqrt 1/2)) z0)":1152,"(* (- (sqrt 2)) z0)":1152,"(* (- z0) (- (sqrt (fabs z0))))":1408,"(* (- z0) (atan2 z1 z2))":6976,"(* (- z0) (sqrt (fabs z0)))":1280,"(* (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":2880,"(* (/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z0)":2688,"(* (/ -1 (atan2 z0 z1)) z2)":7552,"(* (/ -1 (log z0)) z1)":7488,"(* (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (/ -1/2 (log 1/10)) z0)":7488,"(* (/ 1 (+ (* z0 z0) (fabs (* z1 z1)))) z2)":2048,"(* (/ 1 (+ (fabs (* z0 z0)) (* z1 z1))) z2)":2048,"(* (/ 1 (atan2 z0 z1)) z2)":7552,"(* (/ 1 (log z0)) z1)":7488,"(* (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2560,"(* (/ 1/2 (atan2 z0 z1)) z2)":7552,"(* (/ 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2))))":14720,"(* (/ 1/2 (log z0)) z1)":7488,"(* (atan2 z0 z1) (log z2))":13248,"(* (atan2 z0 z1) z2)":6848,"(* (cos (* (+ PI PI) z0)) z1)":7296,"(* (cos (* z0 (+ PI PI))) 1/6)":7296,"(* (cos (* z0 (+ PI PI))) z1)":7296,"(* (fabs z0) (sqrt (fabs z0)))":1280,"(* (log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)) z2)":8576,"(* (log (+ (* z0 z0) (* z1 z1))) (* 1/2 z2))":7936,"(* (log (+ (* z0 z0) (* z1 z1))) 1/2)":7616,"(* (log (+ (* z0 z0) (* z1 z1))) z2)":7616,"(* (log (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":8256,"(* (log 1/10) z0)":6784,"(* (log 10) z0)":6784,"(* (log z0) (atan2 z1 z2))":13248,"(* (log z0) z1)":6784,"(* (pow (atan2 z0 z1) -2) z2)":13312,"(* (pow (log 1/10) 2) z0)":13248,"(* (pow (log z0) -2) (atan2 z1 z2))":19712,"(* (pow (log z0) -2) z1)":13248,"(* (pow (log z0) 2) (atan2 z1 z2))":19712,"(* (pow (log z0) 2) z1)":13248,"(* (sqrt (* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))) z2)":4992,"(* (sqrt (* (+ (* z0 z0) (* z1 z1)) 2)) z2)":2176,"(* (sqrt (* (fabs z0) (* z0 z0))) z1)":1792,"(* (sqrt (* (log z0) -2)) 1/6)":7744,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (- (sqrt (sqrt (fabs z0)))))":3776,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0))":2368,"(* (sqrt (* (sqrt (fabs z0)) (fabs z0))) z1)":2240,"(* (sqrt (* 1/2 (- 1 z0))) (- (sqrt (* 1/2 (- 1 z0)))))":2816,"(* (sqrt (* 1/2 (- 1 z0))) z1)":1536,"(* (sqrt (* z0 z0)) z1)":1344,"(* (sqrt (+ (* z0 z0) (* z1 z1))) -2)":1856,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 1)":1856,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)":1856,"(* (sqrt (+ (* z0 z0) (* z1 z1))) 2)":1856,"(* (sqrt (+ (* z0 z0) (* z1 z1))) z2)":1856,"(* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2)":2688,"(* (sqrt (- 1 z0)) (- (sqrt (- 1 z0))))":2176,"(* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2) 2)) z2)":7424,"(* (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)":10880,"(* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2)) z2)":3712,"(* (sqrt (fabs (* (- (fabs z0)) (* z0 z0)))) z1)":2048,"(* (sqrt (fabs (fabs z0))) z1)":1280,"(* (sqrt (fabs (log z0))) z1)":7552,"(* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0)))":2368,"(* (sqrt (fabs z0)) (* z0 z0))":1472,"(* (sqrt (fabs z0)) (- z0))":1280,"(* (sqrt (fabs z0)) (fabs z0))":1280,"(* (sqrt (fabs z0)) z0)":1152,"(* (sqrt (fabs z0)) z1)":1152,"(* (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1)":2880,"(* (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2496,"(* (sqrt (sqrt (fabs z0))) (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":3776,"(* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0)))))":3328,"(* (sqrt (sqrt (fabs z0))) (- z0))":1920,"(* (sqrt (sqrt (fabs z0))) (fabs z0))":1920,"(* (sqrt (sqrt (fabs z0))) z0)":1792,"(* (sqrt (sqrt (fabs z0))) z1)":1792,"(* (sqrt (sqrt (sqrt (fabs z0)))) z1)":2432,"(* (sqrt (sqrt 2)) z0)":1664,"(* (sqrt 1/2) z0)":1024,"(* (sqrt 2) z0)":1024,"(* (sqrt z0) z1)":1024,"(* -1/2 (log (+ (* z0 z0) (* z1 z1))))":7616,"(* -1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":1856,"(* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))":2048,"(* -2 (fabs (* z0 PI)))":832,"(* 1 (sqrt (+ (* z0 z0) (* z1 z1))))":1856,"(* 1/2 (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)))":8128,"(* 1/2 (log (+ (* z0 z0) (* z1 z1))))":7616,"(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":3008,"(* 1/2 (sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":3008,"(* 1/2 (sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))":3136,"(* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))":3136,"(* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))))":3264,"(* 1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":1856,"(* 1/2 (sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1)))":3200,"(* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z0))":2048,"(* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":2048,"(* 2 (+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))":2176,"(* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":2048,"(* 2 (- (sqrt (+ (* z0 z0) (* z1 z1)))))":1984,"(* 2 (- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))":2176,"(* 2 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))))":2560,"(* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":2176,"(* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":2176,"(* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))":2304,"(* 2 (sqrt (+ (* z0 z0) (* z1 z1))))":1856,"(* 4 (sqrt (+ (* z0 z0) (* z1 z1))))":1856,"(* z0 (* (+ (fabs z1) z2) z1))":1024,"(* z0 (* (+ (fabs z1) z2) z2))":1024,"(* z0 (* (- (fabs z1) z2) z1))":1024,"(* z0 (* (- (fabs z1) z2) z2))":1024,"(* z0 (* (- (sqrt (fabs z1))) (- (sqrt (fabs z1)))))":2496,"(* z0 (* (- (sqrt (sqrt (fabs z1)))) (sqrt (sqrt (fabs z1)))))":3648,"(* z0 (* (- z1) (fabs z1)))":960,"(* z0 (* (- z1) (sqrt (fabs z1))))":1600,"(* z0 (* (/ (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) 1) -1))":9600,"(* z0 (* (fabs z1) (* z1 z1)))":1152,"(* z0 (* (fabs z1) (+ z2 z2)))":1024,"(* z0 (* (fabs z1) (- z1)))":960,"(* z0 (* (fabs z1) 3))":832,"(* z0 (* (fabs z1) z1))":832,"(* z0 (* (fabs z1) z2))":832,"(* z0 (* (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) (log 1/10)))":15296,"(* z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2))":7936,"(* z0 (* (sin z1) 1/2))":7104,"(* z0 (* (sqrt (* (log z1) -2)) 1/6))":8064,"(* z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":3008,"(* z0 (* (sqrt (fabs z0)) (fabs z0)))":1600,"(* z0 (* (sqrt (fabs z1)) (* z1 z1)))":1792,"(* z0 (* (sqrt (fabs z1)) (- z1)))":1600,"(* z0 (* (sqrt (fabs z1)) (fabs z1)))":1600,"(* z0 (* (sqrt (fabs z1)) z1))":1472,"(* z0 (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (fabs z1))) (fabs z1))))":5056,"(* z0 (* (sqrt (sqrt (fabs z1))) (- (sqrt (sqrt (fabs z1))))))":3648,"(* z0 (* (sqrt (sqrt (fabs z1))) (fabs z1)))":2240,"(* z0 (* (sqrt (sqrt (fabs z1))) z1))":2112,"(* z0 (* -1/2 (log (+ (* z1 z1) (* z2 z2)))))":7936,"(* z0 (* 1/2 (atan2 z1 z2)))":7168,"(* z0 (* 2 (- (sqrt (+ (* z1 z1) (* z2 z2))))))":2304,"(* z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2)))))":2176,"(* z0 (* z1 (fabs z1)))":832,"(* z0 (* z1 (sqrt (fabs z1))))":1472,"(* z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2)))":1728,"(* z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2)))))":1728,"(* z0 (+ (* z1 z1) (fabs (* z2 z2))))":1344,"(* z0 (+ (fabs (* z1 z1)) (* z2 z2)))":1344,"(* z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2))":2048,"(* z0 (- (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2)))))":3136,"(* z0 (- (* (sqrt (fabs z1)) (fabs z1))))":1728,"(* z0 (- (- (sqrt (* (sqrt (fabs z1)) (fabs z1))))))":2496,"(* z0 (- (- (sqrt (fabs z1)))))":1408,"(* z0 (- (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))))":2752,"(* z0 (- (- (sqrt (sqrt (fabs z1))))))":2048,"(* z0 (- (atan2 z1 z2)))":6976,"(* z0 (- (log (+ (* z1 z1) (* z2 z2)))))":7744,"(* z0 (- (log z1)))":6912,"(* z0 (- (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2))))":3136,"(* z0 (- (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":2368,"(* z0 (- (sqrt (* 1/2 (- 1 z1)))))":1664,"(* z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":1984,"(* z0 (- (sqrt (fabs z1))))":1280,"(* z0 (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))))":2624,"(* z0 (- (sqrt (sqrt (fabs z1)))))":1920,"(* z0 (- (sqrt 1/2)))":1152,"(* z0 (- (sqrt 2)))":1152,"(* z0 (- z1 (sqrt (+ (* z2 z2) (* z1 z1)))))":2048,"(* z0 (/ (log 10) (atan2 z1 z2)))":13952,"(* z0 (/ -1 (atan2 z1 z2)))":7552,"(* z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ 1 (atan2 z1 z2)))":7552,"(* z0 (/ 1 (log z1)))":7488,"(* z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(* z0 (/ 1 (sqrt 2)))":1728,"(* z0 (/ 1/2 (atan2 z1 z2)))":7552,"(* z0 (atan2 z1 z2))":6848,"(* z0 (cos (* (* 2 PI) z1)))":7424,"(* z0 (cos (* (+ PI PI) z1)))":7296,"(* z0 (cos z1))":6784,"(* z0 (fabs (* z1 z1)))":832,"(* z0 (fabs (log z1)))":6912,"(* z0 (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)))":8576,"(* z0 (log (+ (* (- z1) (- z1)) (* z2 z2))))":7872,"(* z0 (log (+ (* z1 z1) (* (- (- z2)) z2))))":7872,"(* z0 (log (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2))))))":8128,"(* z0 (log (+ (* z1 z1) (* (- z2) (- z2)))))":7872,"(* z0 (log (+ (* z1 z1) (* z2 z2))))":7616,"(* z0 (log (+ (* z1 z1) (fabs (* z2 z2)))))":7744,"(* z0 (log (+ (fabs (* z1 z1)) (* z2 z2))))":7744,"(* z0 (log (- (* z1 z1) (* (- z2) z2))))":7744,"(* z0 (log (- (- (* (- z1) z1) (* z2 z2)))))":7872,"(* z0 (log (/ 1/2 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2))))":9280,"(* z0 (log (fabs (+ (* z1 z1) (* z2 z2)))))":7744,"(* z0 (log 1/10))":6784,"(* z0 (log 1/2))":6784,"(* z0 (log 10))":6784,"(* z0 (log z1))":6784,"(* z0 (pow (atan2 z1 z2) -2))":13312,"(* z0 (pow (log z1) -2))":13248,"(* z0 (pow (log z1) 2))":13248,"(* z0 (sin z1))":6784,"(* z0 (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2)))":3008,"(* z0 (sqrt (* (log z1) -2)))":7744,"(* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1))))":2240,"(* z0 (sqrt (* 1/2 (- 1 z1))))":1536,"(* z0 (sqrt (* z1 z1)))":1344,"(* z0 (sqrt (+ (* z1 z1) (* z2 z2))))":1856,"(* z0 (sqrt (fabs (fabs z1))))":1280,"(* z0 (sqrt (fabs (log z1))))":7552,"(* z0 (sqrt (fabs z0)))":1152,"(* z0 (sqrt (fabs z1)))":1152,"(* z0 (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":2880,"(* z0 (sqrt (sqrt (* -2 (- z1 (sqrt (+ (* z2 z2) (* z1 z1))))))))":3648,"(* z0 (sqrt (sqrt (* z1 z1))))":1984,"(* z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))":2496,"(* z0 (sqrt (sqrt (fabs (- (* (sqrt (+ (* z1 z1) (* z2 z2))) -2) (* -2 z2))))))":4096,"(* z0 (sqrt (sqrt (fabs z1))))":1792,"(* z0 (sqrt (sqrt (sqrt (fabs z1)))))":2432,"(* z0 (sqrt 1/2))":1024,"(* z0 (sqrt 2))":1024,"(* z0 (sqrt z1))":1024,"(+ (* (* (- z0) z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2)":2624,"(+ (* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2496,"(+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1))":2880,"(+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) z1)":2560,"(+ (* (* z0 z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2)":2496,"(+ (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z1) z2)":3392,"(+ (* (- (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))) z1) z2)":3392,"(+ (* (- (* z0 z0) (fabs (* z1 z1))) z1) z2)":1536,"(+ (* (- (fabs (* z0 z0)) (* z1 z1)) z1) z2)":1536,"(+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2) z2)":2048,"(+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2)":2048,"(+ (* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0))) z1)":2560,"(+ (* -2 (fabs (* z0 PI))) z1)":1024,"(+ (* 1/2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":2048,"(+ (* PI 1/2) (* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2)))))":8448,"(+ (* PI 1/2) (* (atan2 z0 z1) z2))":7360,"(+ (* z0 z0) (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1))))":2880,"(+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1))))":2880,"(+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":4608,"(+ (* z0 z0) (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1))))":2880,"(+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1)))":2176,"(+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":2432,"(+ (* z0 z0) (sqrt (* (* z1 z1) (* z1 z1))))":2176,"(+ (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2)":1920,"(+ (- (fabs (* (+ PI PI) z0))) z1)":1024,"(+ (fabs (* (+ PI PI) z0)) z1)":896,"(+ (sqrt (* (* (* z0 z0) z0) z0)) (* z1 z1))":2176,"(+ (sqrt (* (* (* z0 z0) z0) z0)) z1)":1856,"(+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) (* z1 z1))":2432,"(+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1)":2112,"(+ (sqrt (* (* z0 z0) (* z0 z0))) (* z1 z1))":2176,"(+ (sqrt (* (* z0 z0) (* z0 z0))) z1)":1856,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z0)":1728,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)":1728,"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":1728,"(+ (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)":1856,"(+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)":1856,"(+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":8128,"(+ PI (* (atan2 z0 z1) z2))":7040,"(+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2))":7808,"(+ z0 (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1))))":2560,"(+ z0 (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))":4288,"(+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2))":2048,"(+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 2))":2048,"(+ z0 (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1))))":2560,"(+ z0 (* 1/2 (sqrt (+ (* z1 z1) (* z2 z2)))))":2048,"(+ z0 (sqrt (* (* (* z1 z1) z1) z1)))":1856,"(+ z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":2112,"(+ z0 (sqrt (* (* z1 z1) (* z1 z1))))":1856,"(+ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":1728,"(- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1))":2880,"(- (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":8064,"(- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) (* -1/2 PI))":8448,"(- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) PI)":8128,"(- (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))":2176,"(- (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z0) z2)":3392,"(- (* (- (* z0 z0) (fabs (* z1 z1))) z0) z2)":1536,"(- (* (- (fabs (* z0 z0)) (* z1 z1)) z0) z2)":1536,"(- (* (- z0) (atan2 z1 z2)))":7104,"(- (* (- z0) (sqrt (fabs z0))))":1408,"(- (* (atan2 z0 z1) z2) (* -1/2 PI))":7360,"(- (* (atan2 z0 z1) z2) (* PI -1/2))":7360,"(- (* (atan2 z0 z1) z2) (* PI 1/2))":7360,"(- (* (atan2 z0 z1) z2) PI)":7040,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1))":2368,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) z2)":2048,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1)":2048,"(- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2)":2048,"(- (* (sqrt (fabs z0)) (fabs z0)))":1408,"(- (* z0 z0) (fabs (* z1 z1)))":1024,"(- (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":1856,"(- (- (* (atan2 z0 z1) z2) PI) PI)":7232,"(- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1)":2240,"(- (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":2176,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2)":1856,"(- (- (sqrt (+ (* z0 z0) (* z1 z1)))))":1792,"(- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))))":2432,"(- (- (sqrt (sqrt (fabs z0)))))":1728,"(- (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2)":2752,"(- (cos (* (atan2 z0 z1) z2)))":13376,"(- (fabs (* (+ PI PI) z0)) z1)":896,"(- (fabs (* (+ PI PI) z0)))":832,"(- (fabs (* z0 (+ PI PI))) z1)":896,"(- (fabs (* z0 z0)) (* z1 z1))":1024,"(- (log (+ (* z0 z0) (* z1 z1))))":7424,"(- (pow (log z0) 2))":13056,"(- (sin (* (atan2 z0 z1) z2)))":13376,"(- (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1)":2112,"(- (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)))":2816,"(- (sqrt (* (sqrt (fabs z0)) (fabs z0))))":2048,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z0)":1728,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z1)":1728,"(- (sqrt (+ (* z0 z0) (* z1 z1))) z2)":1728,"(- (sqrt (+ (* z0 z0) (* z1 z1))))":1664,"(- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)":1856,"(- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)":1856,"(- (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))))":2688,"(- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))":2304,"(- (sqrt (sqrt (fabs z0))))":1600,"(- PI (* (atan2 z0 z1) z2))":7040,"(- z0 (* (* (sqrt (fabs z1)) (fabs z1)) (* (sqrt (fabs z1)) z1)))":2880,"(- z0 (* (* 1/2 (log (+ (* z1 z1) (* z2 z2)))) 0))":8128,"(- z0 (* (+ z1 z1) (fabs (* z2 z2))))":1216,"(- z0 (* (/ (- z1) (sqrt (+ (* z1 z1) (* z2 z2)))) z1))":2880,"(- z0 (* (log (sqrt (+ (* z1 z1) (* z2 z2)))) 0))":8448,"(- z0 (* -1/2 (/ (atan2 z1 z2) (log 10))))":14144,"(- z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2))":1920,"(- z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":1856,"(- z0 (/ (* z1 z1) (sqrt (+ (* z2 z2) (* z1 z1)))))":2752,"(- z0 (asin (sqrt (* 1/2 (- 1 z1)))))":7808,"(- z0 (asin (sqrt (/ (- 1 z1) 2))))":8192,"(- z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))":2112,"(- z0 (sqrt (+ (* z1 z1) (* z0 z0))))":1728,"(- z0 (sqrt (+ (* z1 z1) (* z2 z2))))":1728,"(/ (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2)":14592,"(/ (* (cos (* z0 (+ PI PI))) 1/6) z1)":8000,"(/ (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2)":8320,"(/ (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2)":8320,"(/ (* z0 z0) (fabs z1))":1216,"(/ (* z0 z0) (sqrt (+ (* z0 z0) (* z1 z1))))":2560,"(/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0))))":2560,"(/ (* z0 z1) (+ (* z0 z0) (fabs (* z2 z2))))":2048,"(/ (+ (* z0 z0) (fabs (* z1 z1))) z2)":1728,"(/ (+ (fabs (* z0 z0)) (* z1 z1)) z2)":1728,"(/ (- (atan2 z0 z1)) (log z2))":13760,"(/ (- (atan2 z0 z1)) z2)":7360,"(/ (- (log z0)) (atan2 z1 z2))":13760,"(/ (- (log z0)) z1)":7296,"(/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1))))":2368,"(/ (/ 1 (atan2 z0 z1)) z2)":7936,"(/ (/ 1 (log z0)) z1)":7872,"(/ (atan2 z0 z1) (log 10))":13632,"(/ (atan2 z0 z1) (log z2))":13632,"(/ (atan2 z0 z1) z2)":7232,"(/ (log (+ (* z0 z0) (* z1 z1))) (log z2))":14400,"(/ (log (+ (* z0 z0) (* z1 z1))) z2)":8000,"(/ (log 1/10) z0)":7168,"(/ (log 10) (atan2 z0 z1))":13632,"(/ (log 10) z0)":7168,"(/ (log z0) (atan2 z1 z2))":13632,"(/ (log z0) z1)":7168,"(/ (pow (atan2 z0 z1) 2) z2)":13696,"(/ (pow (log z0) -2) z1)":13632,"(/ (pow (log z0) 2) z1)":13632,"(/ (sin z0) z1)":7168,"(/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2)) z2)":7104,"(/ (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)":10560,"(/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)) z2)":3392,"(/ (sqrt (+ (* z0 z0) (* z1 z1))) z2)":2240,"(/ -1 (log z0))":7168,"(/ -1 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ -2 (log (+ (* z0 z0) (* z1 z1))))":8000,"(/ 1 (* (log z0) (atan2 z1 z2)))":13952,"(/ 1 (+ (* z0 z0) (fabs (* z1 z1))))":1728,"(/ 1 (+ (fabs (* z0 z0)) (* z1 z1)))":1728,"(/ 1 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))))":2944,"(/ 1 (log (+ (* z0 z0) (* z1 z1))))":8000,"(/ 1 (log z0))":7168,"(/ 1 (sin z0))":7168,"(/ 1 (sqrt (* (log z0) -2)))":8128,"(/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ 1 (sqrt (fabs z0)))":1536,"(/ 1/2 (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2))":2560,"(/ 1/2 (log z0))":7168,"(/ 1/2 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ 2 (log (+ (* z0 z0) (* z1 z1))))":8000,"(/ 2 (sqrt (+ (* z0 z0) (* z1 z1))))":2240,"(/ z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2))":8320,"(/ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":3392,"(/ z0 (* (sqrt (fabs z1)) (fabs z1)))":1984,"(/ z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2)))))":2560,"(/ z0 (+ (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1))) (* z2 z2)))":3584,"(/ z0 (+ (* (- (- (fabs z1))) (- (- (fabs z1)))) (* z2 z2)))":2368,"(/ z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2)))":2112,"(/ z0 (+ (* z1 z1) (* (* (fabs z2) (sqrt (fabs z2))) (sqrt (fabs z2)))))":3584,"(/ z0 (+ (* z1 z1) (* (* (sqrt (fabs z2)) (fabs z2)) (sqrt (fabs z2)))))":3584,"(/ z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2)))))":2112,"(/ z0 (+ (* z1 z1) (fabs (* (fabs z2) z2))))":1856,"(/ z0 (+ (* z1 z1) (fabs (* z2 (fabs z2)))))":1856,"(/ z0 (+ (* z1 z1) (fabs (* z2 z2))))":1728,"(/ z0 (+ (* z1 z1) (sqrt (* (* (fabs z2) (* z2 z2)) (fabs z2)))))":3136,"(/ z0 (+ (fabs (* (fabs z1) z1)) (* z2 z2)))":1856,"(/ z0 (+ (fabs (* z1 (fabs z1))) (* z2 z2)))":1856,"(/ z0 (+ (fabs (* z1 z1)) (* z2 z2)))":1728,"(/ z0 (+ (pow (log z1) 2) 0))":13824,"(/ z0 (+ (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))) (* z2 z2)))":3136,"(/ z0 (- (atan2 z1 z2)))":7360,"(/ z0 (- (log z1)))":7296,"(/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2)))))":2368,"(/ z0 (- (sqrt 2)))":1536,"(/ z0 (/ -1 (sinh z1)))":7872,"(/ z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2944,"(/ z0 (/ 1 (log z1)))":7872,"(/ z0 (/ 1 (sqrt (* (log z1) -2))))":8832,"(/ z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2)))))":2944,"(/ z0 (/ 2 (log (+ (* z1 z1) (* z2 z2)))))":8704,"(/ z0 (atan2 z1 z2))":7232,"(/ z0 (fabs (log z1)))":7296,"(/ z0 (log (+ (* z1 z1) (* z2 z2))))":8000,"(/ z0 (log 10))":7168,"(/ z0 (log z1))":7168,"(/ z0 (pow (log z1) 2))":13632,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":2240,"(/ z0 (sqrt (fabs z1)))":1536,"(/ z0 (sqrt 2))":1408,"(asin (sqrt (* 1/2 (- 1 z0))))":7616,"(cos (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":14336,"(cos (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":14336,"(cos (* (+ PI PI) z0))":6976,"(cos (* (atan2 z0 z1) z2))":13248,"(cos (* z0 (+ PI PI)))":6976,"(cos (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":14528,"(cos (- (* (atan2 z0 z1) z2) PI))":13440,"(exp (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":14336,"(fabs (* (+ PI PI) z0))":704,"(fabs (* z0 (+ PI PI)))":704,"(fabs (* z0 PI))":512,"(fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":1856,"(fabs (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":8256,"(fabs (- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1)))":2496,"(fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":1856,"(fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))":1984,"(fabs (- -1 (* (/ 1 (* z0 z0)) (* z1 z1))))":2048,"(fabs (- PI (* (atan2 z0 z1) z2)))":7168,"(fabs (/ 1 (* z0 z0)))":1216,"(log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2))":8256,"(log (+ (* (- z0) (- z0)) (* z1 z1)))":7552,"(log (+ (* z0 z0) (* (- z1) (- z1))))":7552,"(log (+ (* z0 z0) (* z1 z1)))":7296,"(log (+ (* z0 z0) (fabs (* z1 z1))))":7424,"(log (+ (fabs (* z0 z0)) (* z1 z1)))":7424,"(log (- (* z0 z0) (* (- z1) z1)))":7424,"(pow (+ (* z0 z0) (* z1 z1)) (* -1/2 z2))":7680,"(pow (+ (* z0 z0) (* z1 z1)) (* 1/2 z2))":7680,"(pow (+ (* z0 z0) (* z1 z1)) (- (* 1/2 z2)))":7808,"(pow (+ (* z0 z0) (* z1 z1)) z2)":7360,"(pow (log z0) -2)":12928,"(pow (log z0) 2)":12928,"(pow (sqrt (+ (* z0 z0) (* z1 z1))) z2)":8000,"(pow z0 (* (/ -1 (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))":9216,"(pow z0 (atan2 z1 z2))":12992,"(sin (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":14336,"(sin (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))":14336,"(sin (* (atan2 z0 z1) z2))":13248,"(sin (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))":14528,"(sin (- (* (atan2 z0 z1) z2) PI))":13440,"(sinh (* (- z0) (atan2 z1 z2)))":13376,"(sqrt (* (* (* z0 z0) z0) z0))":1664,"(sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0)))":1920,"(sqrt (* (+ (* z0 z0) (* z1 z1)) (+ (* z0 z0) (* z1 z1))))":2688,"(sqrt (* (+ (* z0 z0) (* z1 z1)) 2))":1856,"(sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))":2688,"(sqrt (* (log z0) -2))":7424,"(sqrt (* (sqrt (fabs z0)) (fabs z0)))":1920,"(sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0))))))":2688,"(sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":2688,"(sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":2688,"(sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":2816,"(sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))":2816,"(sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))))":2944,"(sqrt (* z0 z0))":1024,"(sqrt (+ (* (- (- (fabs z0))) (- (- (fabs z0)))) (* z1 z1)))":2304,"(sqrt (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1)))":2048,"(sqrt (+ (* (- z0) (- z0)) (* z1 z1)))":1792,"(sqrt (+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))))":3520,"(sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1))))))":5248,"(sqrt (+ (* z0 z0) (* (- (- (fabs z1))) (fabs z1))))":2048,"(sqrt (+ (* z0 z0) (* (- (- z1)) (- (- z1)))))":2048,"(sqrt (+ (* z0 z0) (* (- (- z1)) z1)))":1792,"(sqrt (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1)))))":2048,"(sqrt (+ (* z0 z0) (* (- z1) (- z1))))":1792,"(sqrt (+ (* z0 z0) (* z1 z1)))":1536,"(sqrt (+ (* z0 z0) (- (* (- z1) z1))))":1792,"(sqrt (+ (* z0 z0) (fabs (* (fabs z1) z1))))":1792,"(sqrt (+ (* z0 z0) (fabs (* z1 (fabs z1)))))":1792,"(sqrt (+ (* z0 z0) (fabs (* z1 z1))))":1664,"(sqrt (+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1))))":2816,"(sqrt (+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1)))))":3072,"(sqrt (+ (- (* (- z0) z0)) (* z1 z1)))":1792,"(sqrt (+ (fabs (* (- z0) z0)) (* z1 z1)))":1792,"(sqrt (+ (fabs (* z0 (fabs z0))) (* z1 z1)))":1792,"(sqrt (+ (fabs (* z0 z0)) (* z1 z1)))":1664,"(sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))":2368,"(sqrt (- (* z0 z0) (* (- z1) z1)))":1664,"(sqrt (- (- (* (- z0) z0) (* z1 z1))))":1792,"(sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1))":2880,"(sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))":2368,"(sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2))":3392,"(sqrt (fabs (* (- (fabs z0)) (* z0 z0))))":1728,"(sqrt (fabs (+ (* z0 z0) (* z1 z1))))":1664,"(sqrt (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))":2496,"(sqrt (fabs (log z0)))":7232,"(sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0))))":2560,"(sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))":3328,"(sqrt (sqrt (+ (* z0 z0) (* z1 z1))))":2176,"(sqrt (sqrt (fabs z0)))":1472,"(sqrt (sqrt (sqrt (fabs z0))))":2112}