(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0 z1 z2) (* z0 (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (* (sqrt (fabs z0)) z1))
(FPCore (z0 z1) (* z0 (sqrt (fabs z1))))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0 z1) (log (+ (* z0 z0) (* z1 z1))))
(FPCore (z0) (* (sqrt (fabs z0)) (fabs z0)))
(FPCore (z0) (sqrt (sqrt (fabs z0))))
(FPCore (z0 z1 z2) (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (* (- z0) (atan2 z1 z2)))
(FPCore (z0 z1 z2) (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (* (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) z2))
(FPCore (z0) (* z0 (sqrt 2)))
(FPCore (z0 z1 z2) (* z0 (sqrt (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (* (sqrt (sqrt (fabs z0))) z1))
(FPCore (z0) (sqrt (* (sqrt (fabs z0)) (fabs z0))))
(FPCore (z0 z1) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))
(FPCore (z0 z1) (* z0 (sqrt (sqrt (fabs z1)))))
(FPCore (z0 z1) (- (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) (* 1/2 z2)))
(FPCore (z0 z1 z2) (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0) (/ z0 (sqrt 2)))
(FPCore (z0 z1) (* (* (sqrt (fabs z0)) (fabs z0)) z1))
(FPCore (z0 z1) (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2))
(FPCore (z0 z1 z2) (* z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* z0 (- (sqrt (fabs z1)))))
(FPCore (z0 z1) (* (- (sqrt (fabs z0))) z1))
(FPCore (z0) (- (sqrt (sqrt (fabs z0)))))
(FPCore (z0 z1 z2) (* (log (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1 z2) (/ (atan2 z0 z1) z2))
(FPCore (z0 z1 z2) (* (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (/ z0 (atan2 z1 z2)))
(FPCore (z0 z1 z2) (* (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (+ (* PI 1/2) (* (atan2 z0 z1) z2)))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0 z1) (* (- (sqrt (sqrt (fabs z0)))) z1))
(FPCore (z0 z1) (* z0 (sqrt (* (sqrt (fabs z1)) (fabs z1)))))
(FPCore (z0 z1 z2) (+ (* PI 1/2) (* (* z0 1/2) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (* (log (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1) (* 1/2 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (* z0 (- (sqrt (sqrt (fabs z1))))))
(FPCore (z0 z1) (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))
(FPCore (z0 z1) (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) z1))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0) (* z0 (/ 1 (sqrt 2))))
(FPCore (z0) (* (sqrt (fabs z0)) z0))
(FPCore (z0 z1 z2) (* (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1) (* (* (fabs z0) (sqrt (fabs z0))) z1))
(FPCore (z0 z1 z2) (- (* (atan2 z0 z1) z2) PI))
(FPCore (z0 z1) (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (* (* (fabs z0) z0) z1))
(FPCore (z0 z1 z2) (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)))
(FPCore (z0 z1) (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))
(FPCore (z0 z1) (* z0 (* (sqrt (fabs z1)) z1)))
(FPCore (z0 z1) (* (* 1/2 (cos z0)) z1))
(FPCore (z0 z1 z2) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1) (/ z0 (log z1)))
(FPCore (z0 z1 z2) (* (log z0) (atan2 z1 z2)))
(FPCore (z0 z1 z2) (* z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2)))
(FPCore (z0 z1) (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (- (* (atan2 z0 z1) z2) (* -1/2 PI)))
(FPCore (z0 z1 z2) (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1) (* (log (+ (* z0 z0) (* z1 z1))) 1/2))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (fabs (* z2 z2)))))
(FPCore (z0) (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))))
(FPCore (z0 z1) (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)))
(FPCore (z0 z1 z2) (+ PI (* (atan2 z0 z1) z2)))
(FPCore (z0) (* (sqrt (sqrt (fabs z0))) (fabs z0)))
(FPCore (z0) (* (- z0) (sqrt (fabs z0))))
(FPCore (z0 z1) (* (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1))
(FPCore (z0 z1) (* (* 1/2 (sin z0)) z1))
(FPCore (z0 z1) (* z0 (* (sqrt (fabs z1)) (fabs z1))))
(FPCore (z0 z1 z2) (- (* (- (* z0 z0) (fabs (* z1 z1))) z0) z2))
(FPCore (z0) (* (fabs z0) (sqrt (fabs z0))))
(FPCore (z0 z1) (* (* (sqrt (fabs z0)) z0) z1))
(FPCore (z0) (sqrt (* (log z0) -2)))
(FPCore (z0 z1 z2) (+ z0 (sqrt (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (/ (log z0) z1))
(FPCore (z0 z1 z2) (/ z0 (+ (fabs (* z1 z1)) (* z2 z2))))
(FPCore (z0 z1) (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))
(FPCore (z0) (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0)))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (fabs (* z1 z1)))))
(FPCore (z0 z1 z2) (* (* -1/2 (log (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0) (* (sqrt 2) z0))
(FPCore (z0 z1 z2) (- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) z2))
(FPCore (z0 z1) (* (* (sqrt (sqrt (fabs z0))) (fabs z0)) z1))
(FPCore (z0) (pow (log z0) 2))
(FPCore (z0 z1) (* z0 (* (sin z1) 1/2)))
(FPCore (z0 z1) (* (sqrt (+ (* z0 z0) (* z1 z1))) 2))
(FPCore (z0 z1 z2) (/ z0 (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (+ z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1)))))
(FPCore (z0 z1) (* z0 (- (sqrt (* (sqrt (fabs z1)) (fabs z1))))))
(FPCore (z0) (cos (* z0 (+ PI PI))))
(FPCore (z0) (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))))
(FPCore (z0) (* z0 (sqrt 1/2)))
(FPCore (z0 z1 z2) (pow (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1 z2) (* (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* z0 (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (+ (fabs (* z0 z0)) (* z1 z1))))
(FPCore (z0 z1) (- (* z0 z0) (fabs (* z1 z1))))
(FPCore (z0 z1 z2) (- (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2))
(FPCore (z0 z1 z2) (- (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1 z2) (/ (log (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1 z2) (* 1/2 (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2))))
(FPCore (z0 z1 z2) (/ z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (cos (* (atan2 z0 z1) z2)))
(FPCore (z0 z1) (* (* (- z0) (sqrt (fabs z0))) z1))
(FPCore (z0 z1 z2) (* (+ PI (* (log (+ (* z0 z0) (* z1 z1))) z2)) 1/2))
(FPCore (z0) (/ 1 (log z0)))
(FPCore (z0 z1) (log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)))
(FPCore (z0 z1) (* z0 (* (- z1) (sqrt (fabs z1)))))
(FPCore (z0 z1 z2) (/ (atan2 z0 z1) (log z2)))
(FPCore (z0 z1) (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1 z2) (- (* (atan2 z0 z1) z2) (* PI -1/2)))
(FPCore (z0) (sqrt (fabs (log z0))))
(FPCore (z0 z1) (* (cos (* z0 (+ PI PI))) z1))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1 z2) (sin (* (atan2 z0 z1) z2)))
(FPCore (z0 z1) (* z0 (* (sqrt (sqrt (fabs z1))) (fabs z1))))
(FPCore (z0) (pow (log z0) -2))
(FPCore (z0 z1) (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0))))))
(FPCore (z0 z1 z2) (- z0 (sqrt (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (sqrt (* (* (fabs z2) (* z2 z2)) (fabs z2))))))
(FPCore (z0) (* z0 (sqrt (fabs z0))))
(FPCore (z0 z1 z2) (* (/ 1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (* z0 (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2))))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) (* -1/2 z2)))
(FPCore (z0 z1) (* (- (- (sqrt (fabs z0)))) z1))
(FPCore (z0) (* z0 (log 1/10)))
(FPCore (z0) (fabs (* (+ PI PI) z0)))
(FPCore (z0 z1) (+ z0 (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))))
(FPCore (z0 z1) (* 2 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (+ z0 (sqrt (* (* (* z1 z1) z1) z1))))
(FPCore (z0 z1) (* z0 (sqrt (* (log z1) -2))))
(FPCore (z0) (sqrt (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (* z0 (* (fabs z1) z1)))
(FPCore (z0 z1) (* (sqrt (* 1/2 (- 1 z0))) z1))
(FPCore (z0 z1) (* z0 (sqrt (* 1/2 (- 1 z1)))))
(FPCore (z0) (* (sqrt (fabs z0)) (- z0)))
(FPCore (z0 z1 z2) (* (+ (fabs (* z0 z0)) (* z1 z1)) z2))
(FPCore (z0 z1) (- (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1))
(FPCore (z0 z1 z2) (/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)) z2))
(FPCore (z0 z1 z2) (* (- (atan2 z0 z1)) z2))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (* (* (fabs z2) (sqrt (fabs z2))) (sqrt (fabs z2))))))
(FPCore (z0 z1 z2) (* (* 2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (- z0 (* (/ (- z1) (sqrt (+ (* z1 z1) (* z2 z2)))) z1)))
(FPCore (z0) (* (- (sqrt 2)) z0))
(FPCore (z0 z1 z2) (* (log (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)) z2))
(FPCore (z0 z1) (* z0 (sqrt (fabs (log z1)))))
(FPCore (z0) (- (- (sqrt (sqrt (fabs z0))))))
(FPCore (z0 z1) (* -1/2 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0) (sqrt (sqrt (sqrt (fabs z0)))))
(FPCore (z0) (* (log 1/10) z0))
(FPCore (z0 z1) (* z0 (- (- (sqrt (fabs z1))))))
(FPCore (z0 z1 z2) (* z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2)))
(FPCore (z0 z1 z2) (* (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))))) z2))
(FPCore (z0 z1) (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))))
(FPCore (z0 z1 z2) (* (+ (* z0 z0) (fabs (* z1 z1))) z2))
(FPCore (z0 z1) (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))
(FPCore (z0 z1 z2) (- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) (* -1/2 PI)))
(FPCore (z0 z1 z2) (* (* (log (+ (* z0 z0) (* z1 z1))) z2) 1/2))
(FPCore (z0 z1) (* (sqrt (+ (* z0 z0) (* z1 z1))) -2))
(FPCore (z0) (- (* (sqrt (fabs z0)) (fabs z0))))
(FPCore (z0 z1) (* (* (fabs z0) (- z0)) z1))
(FPCore (z0 z1 z2) (+ (* (- (fabs (* z0 z0)) (* z1 z1)) z1) z2))
(FPCore (z0 z1) (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))))))
(FPCore (z0) (/ z0 (log 10)))
(FPCore (z0 z1) (* (* (- z0) (fabs z0)) z1))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (- z1) (- z1)))))
(FPCore (z0 z1 z2) (/ z0 (/ 1 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))))
(FPCore (z0 z1) (* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) z1))
(FPCore (z0 z1) (* (- (sqrt (* (fabs z0) (sqrt (fabs z0))))) z1))
(FPCore (z0 z1) (* (* z0 (sqrt (fabs z0))) z1))
(FPCore (z0 z1) (* z0 (- (sqrt (* 1/2 (- 1 z1))))))
(FPCore (z0 z1) (* (- (sqrt (* 1/2 (- 1 z0)))) z1))
(FPCore (z0 z1) (sqrt (+ (* (- z0) (- z0)) (* z1 z1))))
(FPCore (z0 z1 z2) (* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2)) z2))
(FPCore (z0 z1) (* z0 (* z1 (sqrt (fabs z1)))))
(FPCore (z0) (* z0 (log 10)))
(FPCore (z0 z1) (sqrt (- (* z0 z0) (* (- z1) z1))))
(FPCore (z0) (* z0 (- (sqrt 2))))
(FPCore (z0 z1 z2) (- (* (- (fabs (* z0 z0)) (* z1 z1)) z0) z2))
(FPCore (z0 z1) (* (pow (log z0) -2) z1))
(FPCore (z0 z1) (* (- (* z0 z0) (fabs (* z1 z1))) z0))
(FPCore (z0 z1 z2) (sin (- (* (atan2 z0 z1) z2) PI)))
(FPCore (z0 z1) (* (* (log z0) 1/2) z1))
(FPCore (z0 z1 z2) (/ (- (atan2 z0 z1)) z2))
(FPCore (z0 z1) (* (sqrt (sqrt (sqrt (fabs z0)))) z1))
(FPCore (z0 z1) (* (- (- (sqrt (sqrt (fabs z0))))) z1))
(FPCore (z0 z1) (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (* z0 (* (sqrt (fabs z1)) (- z1))))
(FPCore (z0 z1) (* z0 (* (- z1) (fabs z1))))
(FPCore (z0 z1) (+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) z1))
(FPCore (z0 z1 z2) (* (* (log z0) 1/2) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (* z0 (- (- (sqrt (sqrt (fabs z1)))))))
(FPCore (z0 z1) (* (* (sqrt (fabs z0)) (- z0)) z1))
(FPCore (z0 z1 z2) (cos (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1)))))
(FPCore (z0 z1 z2) (* z0 (+ (fabs (* z1 z1)) (* z2 z2))))
(FPCore (z0 z1 z2) (/ z0 (+ (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1))) (* z2 z2))))
(FPCore (z0 z1 z2) (- PI (* (atan2 z0 z1) z2)))
(FPCore (z0 z1) (* (sqrt (* (fabs z0) (* z0 z0))) z1))
(FPCore (z0 z1 z2) (* (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1))))) z2))
(FPCore (z0) (* z0 (log 1/2)))
(FPCore (z0 z1 z2) (* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) z2))
(FPCore (z0 z1) (* (- (log z0)) z1))
(FPCore (z0 z1 z2) (* (/ 1 (atan2 z0 z1)) z2))
(FPCore (z0 z1) (sqrt (* (+ (* z0 z0) (* z1 z1)) (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (+ (* z0 z0) (* (* (fabs z1) (sqrt (fabs z1))) (sqrt (fabs z1)))))
(FPCore (z0 z1 z2) (/ (/ 1 (atan2 z0 z1)) z2))
(FPCore (z0) (sqrt (* z0 z0)))
(FPCore (z0 z1) (- (- (sqrt (+ (* z0 z0) (* z1 z1))))))
(FPCore (z0 z1) (+ (sqrt (* (* z0 z0) (* z0 z0))) z1))
(FPCore (z0 z1 z2) (* z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1))))))
(FPCore (z0) (* (log 10) z0))
(FPCore (z0 z1) (* z0 (pow (log z1) 2)))
(FPCore (z0 z1) (* 1/2 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (* z0 (sqrt (sqrt (* -2 (- z1 (sqrt (+ (* z2 z2) (* z1 z1)))))))))
(FPCore (z0 z1 z2) (* z0 (* 2 (- (sqrt (+ (* z1 z1) (* z2 z2)))))))
(FPCore (z0 z1) (* (cos (* (+ PI PI) z0)) z1))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2))))))
(FPCore (z0 z1) (* z0 (sqrt (sqrt (sqrt (fabs z1))))))
(FPCore (z0 z1 z2) (sin (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (- z0 (* (* 1/2 (log (+ (* z1 z1) (* z2 z2)))) 0)))
(FPCore (z0 z1 z2) (* z0 (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2)))))))
(FPCore (z0 z1) (* z0 (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1))))))
(FPCore (z0 z1 z2) (sin (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))))
(FPCore (z0) (/ z0 (- (sqrt 2))))
(FPCore (z0 z1 z2) (* (log (+ (* z0 z0) (* z1 z1))) (* 1/2 z2)))
(FPCore (z0) (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))))
(FPCore (z0 z1) (- (sqrt (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2))))
(FPCore (z0 z1) (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 1))
(FPCore (z0) (* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0))))
(FPCore (z0 z1 z2) (* z0 (+ (* z1 z1) (fabs (* z2 z2)))))
(FPCore (z0) (* (sqrt (fabs z0)) (* z0 z0)))
(FPCore (z0 z1 z2) (* (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1) (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1) (* (* (fabs z0) (* z0 z0)) z1))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) (log z2)))
(FPCore (z0 z1 z2) (+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2))
(FPCore (z0 z1 z2) (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2))
(FPCore (z0) (fabs (* z0 PI)))
(FPCore (z0 z1 z2) (* (sqrt (* (+ (* z0 z0) (* z1 z1)) 2)) z2))
(FPCore (z0 z1 z2) (cos (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* z0 (sqrt (fabs (fabs z1)))))
(FPCore (z0 z1 z2) (/ z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2))))
(FPCore (z0 z1) (* (* (* (fabs z0) z0) (sqrt (fabs z0))) z1))
(FPCore (z0 z1) (* z0 (pow (log z1) -2)))
(FPCore (z0 z1 z2) (* z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* z0 (fabs (* z1 z1))))
(FPCore (z0 z1 z2) (* z0 (log (+ (fabs (* z1 z1)) (* z2 z2)))))
(FPCore (z0) (asin (sqrt (* 1/2 (- 1 z0)))))
(FPCore (z0 z1 z2) (pow z0 (atan2 z1 z2)))
(FPCore (z0 z1) (+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1))))
(FPCore (z0 z1 z2) (- (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z0) z2))
(FPCore (z0) (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0)))
(FPCore (z0 z1 z2) (sin (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (fabs (* z1 (fabs z1))))))
(FPCore (z0 z1) (* (* z0 (fabs z0)) z1))
(FPCore (z0 z1 z2) (/ 1 (* (log z0) (atan2 z1 z2))))
(FPCore (z0) (* (- (sqrt (fabs z0))) (- (sqrt (fabs z0)))))
(FPCore (z0 z1 z2) (* z0 (/ 1 (atan2 z1 z2))))
(FPCore (z0 z1) (* z0 (/ 1 (log z1))))
(FPCore (z0 z1) (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)))
(FPCore (z0 z1 z2) (* (* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2))
(FPCore (z0 z1) (* (/ 1 (log z0)) z1))
(FPCore (z0 z1) (* (pow (log z0) 2) z1))
(FPCore (z0 z1) (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0) (/ 1/2 (log z0)))
(FPCore (z0 z1) (* (* (* (fabs z0) z0) z0) z1))
(FPCore (z0 z1 z2) (* (/ -1 (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* (* (fabs z0) z1) z2))
(FPCore (z0 z1 z2) (* z0 (log (+ (* z1 z1) (fabs (* z2 z2))))))
(FPCore (z0 z1) (sqrt (* (+ (* z0 z0) (* z1 z1)) 2)))
(FPCore (z0 z1 z2) (- (* (- z0) (atan2 z1 z2))))
(FPCore (z0 z1 z2) (* (- (* (sqrt (+ (* z0 z0) (* z1 z1))) (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (- (- (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (- z0 (- (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (- (- (* (- z0) z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (* (* 1/2 (atan2 z0 z1)) z2))
(FPCore (z0 z1) (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1))
(FPCore (z0 z1 z2) (+ (* (- (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))) z1) z2))
(FPCore (z0 z1 z2) (* z0 (- (atan2 z1 z2))))
(FPCore (z0 z1) (- (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (/ (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0 z1) (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1) (/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (/ (log z0) (atan2 z1 z2)))
(FPCore (z0 z1) (* z0 (* (fabs z1) (- z1))))
(FPCore (z0 z1 z2) (/ z0 (- (atan2 z1 z2))))
(FPCore (z0 z1) (/ z0 (- (log z1))))
(FPCore (z0 z1 z2) (* z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (cos (- (* (atan2 z0 z1) z2) PI)))
(FPCore (z0 z1) (+ z0 (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1)))))
(FPCore (z0 z1) (/ 1/2 (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2)))
(FPCore (z0 z1) (- z0 (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1)))))
(FPCore (z0) (fabs (* z0 (+ PI PI))))
(FPCore (z0 z1) (* (/ 1/2 (log z0)) z1))
(FPCore (z0 z1) (- (fabs (* z0 z0)) (* z1 z1)))
(FPCore (z0 z1) (+ (sqrt (* (* (* z0 z0) z0) z0)) z1))
(FPCore (z0) (* (* (fabs z0) z0) (sqrt (fabs z0))))
(FPCore (z0 z1) (* (sqrt (fabs (fabs z0))) z1))
(FPCore (z0 z1 z2) (* z0 (- (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* (- (* (sqrt (fabs z0)) (fabs z0))) z1))
(FPCore (z0 z1 z2) (* (- (log z0)) (atan2 z1 z2)))
(FPCore (z0 z1) (sqrt (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1))))
(FPCore (z0 z1) (/ 2 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (- (fabs (* z0 (+ PI PI))) z1))
(FPCore (z0 z1 z2) (- (* (atan2 z0 z1) z2) (* PI 1/2)))
(FPCore (z0) (- (fabs (* (+ PI PI) z0))))
(FPCore (z0 z1 z2) (* (* (sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2) z2))
(FPCore (z0 z1) (* z0 (- (log z1))))
(FPCore (z0 z1 z2) (* (- (- (atan2 z0 z1))) z2))
(FPCore (z0 z1) (* (* z0 (* (sqrt (fabs z0)) (fabs z0))) z1))
(FPCore (z0 z1) (/ z0 (pow (log z1) 2)))
(FPCore (z0 z1 z2) (/ (sqrt (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2)) z2))
(FPCore (z0) (* (pow (log 1/10) 2) z0))
(FPCore (z0 z1) (* z0 (* (fabs z1) (* z1 z1))))
(FPCore (z0 z1) (/ (- (log z0)) z1))
(FPCore (z0 z1 z2) (fabs (- PI (* (atan2 z0 z1) z2))))
(FPCore (z0 z1 z2) (- (sin (* (atan2 z0 z1) z2))))
(FPCore (z0 z1) (sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0))))))))
(FPCore (z0 z1) (* z0 (sqrt (sqrt (* z1 z1)))))
(FPCore (z0 z1) (* z0 (* (sqrt (* (log z1) -2)) 1/6)))
(FPCore (z0 z1) (+ (* z0 z0) (sqrt (* (* z1 z1) (* z1 z1)))))
(FPCore (z0 z1 z2) (* z0 (log (+ (* (- z1) (- z1)) (* z2 z2)))))
(FPCore (z0 z1) (/ z0 (/ 1 (log z1))))
(FPCore (z0 z1 z2) (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z2))
(FPCore (z0 z1) (/ (pow (log z0) -2) z1))
(FPCore (z0 z1 z2) (* z0 (* (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) (log 1/10))))
(FPCore (z0 z1) (/ 2 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (- (- (* (atan2 z0 z1) z2) PI) PI))
(FPCore (z0) (/ -1 (log z0)))
(FPCore (z0) (/ (log 1/10) z0))
(FPCore (z0) (fabs (/ 1 (* z0 z0))))
(FPCore (z0 z1 z2) (* (/ -1 (atan2 z0 z1)) z2))
(FPCore (z0 z1) (/ (sin z0) z1))
(FPCore (z0 z1 z2) (* z0 (log (+ (* z1 z1) (* (- z2) (- z2))))))
(FPCore (z0 z1) (log (+ (fabs (* z0 z0)) (* z1 z1))))
(FPCore (z0 z1) (* (/ (- z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z0))
(FPCore (z0 z1 z2) (* z0 (log (- (* z1 z1) (* (- z2) z2)))))
(FPCore (z0 z1) (* z0 (cos (* (+ PI PI) z1))))
(FPCore (z0 z1 z2) (* (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))) z1) 2) 2)) z2))
(FPCore (z0 z1) (* (* (* (sqrt (fabs z0)) z0) (fabs z0)) z1))
(FPCore (z0 z1 z2) (fabs (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))))
(FPCore (z0) (* (- (fabs z0)) (sqrt (fabs z0))))
(FPCore (z0 z1 z2) (* (+ (* (- (fabs z0)) (- (fabs z0))) (* z1 z1)) z2))
(FPCore (z0) (* (sqrt 1/2) z0))
(FPCore (z0 z1) (* z0 (sqrt (* z1 z1))))
(FPCore (z0 z1) (+ (* (sqrt (fabs z0)) (* (sqrt (fabs z0)) (fabs z0))) z1))
(FPCore (z0 z1 z2) (* z0 (/ -1 (atan2 z1 z2))))
(FPCore (z0) (* (sqrt (sqrt (fabs z0))) z0))
(FPCore (z0 z1 z2) (/ (log (+ (* z0 z0) (* z1 z1))) (log z2)))
(FPCore (z0 z1) (/ (* z0 z0) (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)))
(FPCore (z0 z1 z2) (+ (* 1/2 (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0) (* (cos (* z0 (+ PI PI))) 1/6))
(FPCore (z0 z1) (/ 1 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (+ (* (- (* z0 z0) (fabs (* z1 z1))) z1) z2))
(FPCore (z0 z1) (- (fabs (* (+ PI PI) z0)) z1))
(FPCore (z0 z1 z2) (cos (+ PI (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))))
(FPCore (z0 z1) (* (* (cos (* z0 (+ PI PI))) 1/6) z1))
(FPCore (z0 z1) (+ z0 (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1))))))
(FPCore (z0) (* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0)))))
(FPCore (z0) (* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0))))))
(FPCore (z0 z1 z2) (/ z0 (/ 2 (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (+ (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))
(FPCore (z0) (* -2 (fabs (* z0 PI))))
(FPCore (z0 z1 z2) (+ (* (sqrt (+ (* z0 z0) (* z1 z1))) 1/2) z2))
(FPCore (z0 z1 z2) (+ z0 (* 1/2 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (* (+ (* z0 z0) (* (- (fabs z1)) (- (fabs z1)))) z2))
(FPCore (z0 z1 z2) (* (/ 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (- (* (- z1) z1)))))
(FPCore (z0) (* (- (sqrt (- 1 z0))) (sqrt (- 1 z0))))
(FPCore (z0) (* (sqrt (- 1 z0)) (- (sqrt (- 1 z0)))))
(FPCore (z0 z1 z2) (* z0 (* (fabs z1) z2)))
(FPCore (z0 z1) (sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))
(FPCore (z0 z1) (* (sqrt (fabs (* (- (fabs z0)) (* z0 z0)))) z1))
(FPCore (z0 z1 z2) (* z0 (* (/ (log (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)) 1) -1)))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (fabs (* (fabs z1) z1)))))
(FPCore (z0) (/ (log 10) z0))
(FPCore (z0 z1) (* 2 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))))
(FPCore (z0 z1) (sqrt (+ (- (* (- z0) z0)) (* z1 z1))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1))))))
(FPCore (z0 z1) (+ (* -2 (fabs (* z0 PI))) z1))
(FPCore (z0 z1 z2) (+ (* (- (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)) z1) z2))
(FPCore (z0 z1 z2) (/ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (* z0 (log (/ 1/2 (* (sqrt (+ (* z1 z1) (* z2 z2))) 1/2)))))
(FPCore (z0 z1) (* (- (fabs (* z0 z0)) (* z1 z1)) z1))
(FPCore (z0 z1) (/ (/ 1 (log z0)) z1))
(FPCore (z0 z1) (- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1)))
(FPCore (z0 z1 z2) (* z0 (log (- (- (* (- z1) z1) (* z2 z2))))))
(FPCore (z0 z1) (* z0 (- (* (sqrt (fabs z1)) (fabs z1)))))
(FPCore (z0 z1 z2) (/ z0 (/ -1 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* (* (sqrt (sqrt (fabs z0))) z0) z1))
(FPCore (z0 z1) (sqrt (/ (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) 2)))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0 z1) (+ (- (fabs (* (+ PI PI) z0))) z1))
(FPCore (z0 z1) (* (* (sqrt (fabs z0)) (* z0 z0)) z1))
(FPCore (z0 z1) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))
(FPCore (z0 z1) (sqrt (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1) (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1))
(FPCore (z0 z1) (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1) (+ (sqrt (* (* (fabs z0) (* z0 z0)) (fabs z0))) (* z1 z1)))
(FPCore (z0 z1) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z0))
(FPCore (z0) (- (- (sqrt (* (sqrt (fabs z0)) (fabs z0))))))
(FPCore (z0) (* (sqrt (* (log z0) -2)) 1/6))
(FPCore (z0 z1 z2) (/ (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2))
(FPCore (z0 z1 z2) (- (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (/ z0 (+ (pow (log z1) 2) 0)))
(FPCore (z0 z1 z2) (* (pow (log z0) -2) (atan2 z1 z2)))
(FPCore (z0 z1) (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))
(FPCore (z0 z1 z2) (* z0 (log (+ (* z1 z1) (* (- (- z2)) z2)))))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (fabs (* (fabs z2) z2)))))
(FPCore (z0 z1) (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))
(FPCore (z0 z1) (log (+ (* z0 z0) (fabs (* z1 z1)))))
(FPCore (z0 z1) (+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) (* z1 z1)))
(FPCore (z0 z1 z2) (/ (- (log z0)) (atan2 z1 z2)))
(FPCore (z0 z1 z2) (* z0 (* (fabs z1) (+ z2 z2))))
(FPCore (z0 z1 z2) (/ (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))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (sqrt (* (* (* z1 z1) z1) z1)))))
(FPCore (z0 z1) (sqrt (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))
(FPCore (z0) (- (pow (log z0) 2)))
(FPCore (z0 z1) (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))
(FPCore (z0 z1 z2) (/ (- (atan2 z0 z1)) (log z2)))
(FPCore (z0 z1 z2) (* (* (- (exp (+ z0 z0)) -1) (* (sin z1) 1/2)) z2))
(FPCore (z0 z1 z2) (/ z0 (+ (fabs (* (fabs z1) z1)) (* z2 z2))))
(FPCore (z0 z1) (/ (pow (log z0) 2) z1))
(FPCore (z0 z1) (+ (* z0 z0) (* (* (sqrt (fabs z1)) (fabs z1)) (sqrt (fabs z1)))))
(FPCore (z0 z1) (sqrt (+ (fabs (* (- z0) z0)) (* z1 z1))))
(FPCore (z0 z1) (- z0 (asin (sqrt (* 1/2 (- 1 z1))))))
(FPCore (z0 z1) (+ (sqrt (* (* (* z0 z0) z0) z0)) (* z1 z1)))
(FPCore (z0 z1 z2) (- z0 (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2)))
(FPCore (z0 z1) (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))
(FPCore (z0 z1 z2) (- z0 (* (log (sqrt (+ (* z1 z1) (* z2 z2)))) 0)))
(FPCore (z0 z1) (* (sqrt (fabs (log z0))) z1))
(FPCore (z0 z1) (/ 1/2 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (fabs (* z2 (fabs z2))))))
(FPCore (z0 z1 z2) (* (/ 1 (+ (fabs (* z0 z0)) (* z1 z1))) z2))
(FPCore (z0 z1) (* z0 (* (sqrt (sqrt (* (sqrt (fabs z1)) (fabs z1)))) (* (sqrt (sqrt (fabs z1))) (fabs z1)))))
(FPCore (z0 z1 z2) (* z0 (* -1/2 (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* -1/2 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (- z0 (/ (* z1 z1) (sqrt (+ (* z2 z2) (* z1 z1))))))
(FPCore (z0 z1 z2) (- z0 (* -1/2 (/ (atan2 z1 z2) (log 10)))))
(FPCore (z0 z1) (/ (* z0 z0) (fabs z1)))
(FPCore (z0 z1 z2) (* (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))
(FPCore (z0 z1 z2) (/ (pow (atan2 z0 z1) 2) z2))
(FPCore (z0 z1 z2) (/ z0 (* (log (+ (* z1 z1) (* z2 z2))) 1/2)))
(FPCore (z0) (* z0 (- (sqrt 1/2))))
(FPCore (z0 z1 z2) (+ z0 (* (sqrt (+ (* z1 z1) (* z2 z2))) 2)))
(FPCore (z0) (* z0 (* (sqrt (fabs z0)) (fabs z0))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (+ (fabs (* z1 z1)) (* z2 z2)))))
(FPCore (z0 z1) (- z0 (* (* (sqrt (fabs z1)) (fabs z1)) (* (sqrt (fabs z1)) z1))))
(FPCore (z0 z1) (sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1)))
(FPCore (z0 z1) (/ z0 (/ 1 (sqrt (* (log z1) -2)))))
(FPCore (z0 z1 z2) (* z0 (- (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2)))))
(FPCore (z0 z1) (fabs (- -1 (* (/ 1 (* z0 z0)) (* z1 z1)))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (+ (* z1 z1) (fabs (* z2 z2))))))
(FPCore (z0 z1) (+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))
(FPCore (z0 z1 z2) (* (- (log (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0) (* (* (log 1/10) (log 1/2)) z0))
(FPCore (z0 z1) (* z0 (* (sqrt (sqrt (fabs z1))) (- (sqrt (sqrt (fabs z1)))))))
(FPCore (z0 z1 z2) (* (sqrt (* (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2) (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))) z2))
(FPCore (z0 z1 z2) (* z0 (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2))))))
(FPCore (z0) (* (- (sqrt (* (sqrt (fabs z0)) (fabs z0)))) (sqrt (sqrt (fabs z0)))))
(FPCore (z0 z1) (* (* (- (sqrt (sqrt (fabs z0)))) (sqrt (sqrt (fabs z0)))) z1))
(FPCore (z0 z1 z2) (* (/ 1 (+ (* z0 z0) (fabs (* z1 z1)))) z2))
(FPCore (z0 z1) (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))
(FPCore (z0) (* (* (sqrt (sqrt (fabs z0))) (fabs z0)) (sqrt (* (sqrt (fabs z0)) (fabs z0)))))
(FPCore (z0 z1 z2) (* (- (* -1/2 z0)) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (+ (* (* (sqrt (fabs z0)) (fabs z0)) (sqrt (fabs z0))) z1))
(FPCore (z0 z1) (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z0)))
(FPCore (z0 z1) (/ z0 (sqrt (fabs z1))))
(FPCore (z0 z1) (* (- (- (* (sqrt (fabs z0)) (fabs z0)))) z1))
(FPCore (z0 z1) (- (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))
(FPCore (z0 z1) (* (sqrt (+ (* z0 z0) (* z1 z1))) 1))
(FPCore (z0 z1 z2) (/ z0 (+ (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))) (* z2 z2))))
(FPCore (z0 z1) (* z0 (fabs (log z1))))
(FPCore (z0) (* (* (sqrt (fabs z0)) z0) (fabs z0)))
(FPCore (z0 z1) (* 1 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1))))))
(FPCore (z0 z1 z2) (/ (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0) (* (- (sqrt (sqrt (fabs z0)))) (sqrt (* (sqrt (fabs z0)) (fabs z0)))))
(FPCore (z0 z1) (- (sqrt (+ (* z0 z0) (* z1 z1))) z0))
(FPCore (z0 z1) (* z0 (* (- (sqrt (sqrt (fabs z1)))) (sqrt (sqrt (fabs z1))))))
(FPCore (z0) (* (sqrt (sqrt (fabs z0))) (- (sqrt (* (sqrt (fabs z0)) (fabs z0))))))
(FPCore (z0) (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (- (sqrt (sqrt (fabs z0))))))
(FPCore (z0 z1) (+ (* z0 z0) (* (sqrt (fabs z1)) (* (sqrt (fabs z1)) (fabs z1)))))
(FPCore (z0 z1) (sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))
(FPCore (z0) (sqrt (fabs (* (- (fabs z0)) (* z0 z0)))))
(FPCore (z0 z1) (* (* (sqrt (sqrt (fabs z0))) (- (sqrt (sqrt (fabs z0))))) z1))
(FPCore (z0 z1) (* z0 (* (sqrt (sqrt (fabs z1))) z1)))
(FPCore (z0 z1) (- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0))
(FPCore (z0 z1) (/ (* (cos (* z0 (+ PI PI))) 1/6) z1))
(FPCore (z0) (* (/ -1/2 (log 1/10)) z0))
(FPCore (z0 z1) (/ 1 (/ 1 (sqrt (+ (* z0 z0) (* z1 z1))))))
(FPCore (z0 z1) (* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (* z1 z1))) z1))))))
(FPCore (z0 z1 z2) (/ (+ (* z0 z0) (fabs (* z1 z1))) z2))
(FPCore (z0 z1) (* (- (- (sqrt (* (sqrt (fabs z0)) (fabs z0))))) z1))
(FPCore (z0 z1 z2) (* (/ (* z0 z0) (sqrt (+ (* z1 z1) (* z0 z0)))) z2))
(FPCore (z0 z1) (* (* 1/6 (sqrt (* -2 (log z0)))) z1))
(FPCore (z0 z1 z2) (* z0 (/ 1/2 (atan2 z1 z2))))
(FPCore (z0 z1 z2) (* (/ 1/2 (atan2 z0 z1)) z2))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (- (- z1)) z1))))
(FPCore (z0 z1) (- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))))
(FPCore (z0 z1 z2) (* z0 (+ (* (- (fabs z1)) (- (fabs z1))) (* z2 z2))))
(FPCore (z0 z1 z2) (* z0 (* (+ (fabs z1) z2) z1)))
(FPCore (z0 z1 z2) (* z0 (* (+ (fabs z1) z2) z2)))
(FPCore (z0 z1 z2) (* z0 (- z1 (sqrt (+ (* z2 z2) (* z1 z1))))))
(FPCore (z0 z1 z2) (* (* (+ (fabs z0) z1) z0) z2))
(FPCore (z0 z1 z2) (* (* (+ (fabs z0) z1) z1) z2))
(FPCore (z0 z1 z2) (* z0 (/ (log 10) (atan2 z1 z2))))
(FPCore (z0 z1) (log (+ (* (- z0) (- z0)) (* z1 z1))))
(FPCore (z0 z1 z2) (* z0 (pow (atan2 z1 z2) -2)))
(FPCore (z0 z1) (* z0 (cos (* (* 2 PI) z1))))
(FPCore (z0 z1 z2) (/ (* (log (+ (* z0 z0) (* z1 z1))) 1/2) z2))
(FPCore (z0 z1 z2) (+ (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) z2))
(FPCore (z0 z1) (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))))
(FPCore (z0 z1 z2) (/ z0 (* 2 (sqrt (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (* (sqrt (sqrt (fabs z1))) (fabs z1)) (sqrt (* (sqrt (fabs z1)) (fabs z1)))))))
(FPCore (z0) (* (* (sqrt (fabs z0)) (fabs z0)) (* (sqrt (fabs z0)) z0)))
(FPCore (z0) (* (sqrt (sqrt (fabs z0))) (- z0)))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (- (- (fabs z1))) (fabs z1)))))
(FPCore (z0 z1) (- (* (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1) 2)))
(FPCore (z0 z1) (* (* (cos z0) 2) z1))
(FPCore (z0) (* (* (sqrt (fabs z0)) (fabs z0)) (fabs z0)))
(FPCore (z0 z1 z2) (* z0 (- (- (sqrt (sqrt (+ (* z1 z1) (* z2 z2))))))))
(FPCore (z0 z1 z2) (* (- (- (sqrt (sqrt (+ (* z0 z0) (* z1 z1)))))) z2))
(FPCore (z0 z1 z2) (exp (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (log (+ (* z0 z0) (* (- z1) (- z1)))))
(FPCore (z0 z1) (* 2 (- (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)))
(FPCore (z0 z1) (sqrt (+ (* (- (- (fabs z0))) (- (- (fabs z0)))) (* z1 z1))))
(FPCore (z0 z1 z2) (* z0 (- (log (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1) (* (* (* (sqrt (* (sqrt (fabs z0)) (fabs z0))) (fabs z0)) z0) z1))
(FPCore (z0 z1) (* (/ -1 (log z0)) z1))
(FPCore (z0 z1) (fabs (- (* (sqrt (+ (* z0 z0) (* z1 z1))) -2) (* -2 z1))))
(FPCore (z0 z1 z2) (+ (* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (+ (* (* z0 z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2))
(FPCore (z0 z1) (* z0 (* z1 (fabs z1))))
(FPCore (z0) (- (sqrt (sqrt (* (sqrt (fabs z0)) (fabs z0))))))
(FPCore (z0 z1) (* 1/2 (sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)))))
(FPCore (z0) (* (- (sqrt 1/2)) z0))
(FPCore (z0 z1 z2) (/ z0 (+ (* (- (- (fabs z1))) (- (- (fabs z1)))) (* z2 z2))))
(FPCore (z0 z1) (log (- (* z0 z0) (* (- z1) z1))))
(FPCore (z0 z1) (+ (fabs (* (+ PI PI) z0)) z1))
(FPCore (z0) (/ 1 (sqrt (* (log z0) -2))))
(FPCore (z0 z1 z2) (- z0 (* (+ z1 z1) (fabs (* z2 z2)))))
(FPCore (z0 z1) (* 2 (+ (sqrt (+ (fabs (* z0 z0)) (* z1 z1))) z0)))
(FPCore (z0 z1) (* z0 (- (- (sqrt (* (sqrt (fabs z1)) (fabs z1)))))))
(FPCore (z0 z1 z2) (* z0 (log (+ (* z1 z1) (* (- (fabs z2)) (- (fabs z2)))))))
(FPCore (z0) (* (- (sqrt (* 1/2 (- 1 z0)))) (sqrt (* 1/2 (- 1 z0)))))
(FPCore (z0) (* (sqrt (* 1/2 (- 1 z0))) (- (sqrt (* 1/2 (- 1 z0))))))
(FPCore (z0) (* (- (sqrt (fabs z0))) (* (sqrt (fabs z0)) z0)))
(FPCore (z0) (* (* (sqrt (fabs z0)) z0) (- (sqrt (fabs z0)))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (- (* z1 z1) (* (- z2) z2)))))
(FPCore (z0 z1) (sqrt (* 2 (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))
(FPCore (z0 z1 z2) (* z0 (log (fabs (+ (* z1 z1) (* z2 z2))))))
(FPCore (z0 z1 z2) (* (- (atan2 z0 z1)) (- z2)))
(FPCore (z0 z1 z2) (* (pow (log z0) 2) (atan2 z1 z2)))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* (- (- z1)) (- (- z1))))))
(FPCore (z0 z1 z2) (* z0 (sqrt (sqrt (fabs (- (* (sqrt (+ (* z1 z1) (* z2 z2))) -2) (* -2 z2)))))))
(FPCore (z0) (/ 1 (sqrt (fabs z0))))
(FPCore (z0 z1) (/ z0 (/ -1 (sinh z1))))
(FPCore (z0 z1) (* 1/2 (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1))))))
(FPCore (z0 z1 z2) (* z0 (* 1/2 (atan2 z1 z2))))
(FPCore (z0 z1 z2) (* (* 1/2 (sqrt (sqrt (* -2 (- z0 (sqrt (+ (* z1 z1) (* z0 z0)))))))) z2))
(FPCore (z0 z1 z2) (/ z0 (+ (fabs (* z1 (fabs z1))) (* z2 z2))))
(FPCore (z0 z1) (* 4 (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (+ (* (- z1) (- z1)) (* z2 z2)))))
(FPCore (z0 z1) (/ (atan2 z0 z1) (log 10)))
(FPCore (z0 z1 z2) (+ (* (* (- z0) z0) (- (sqrt (+ (* z1 z1) (* z0 z0))))) z2))
(FPCore (z0 z1 z2) (* (pow (atan2 z0 z1) -2) z2))
(FPCore (z0) (* (- (sqrt (fabs z0))) (* (- z0) (sqrt (fabs z0)))))
(FPCore (z0 z1) (* (* (- z0) z0) (sqrt (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (/ (+ (fabs (* z0 z0)) (* z1 z1)) z2))
(FPCore (z0 z1) (sqrt (* 2 (fabs (- (sqrt (+ (* z0 z0) (fabs (* z1 z1)))) z1)))))
(FPCore (z0 z1) (* z0 (* (fabs z1) 3)))
(FPCore (z0) (* (* (- z0) (sqrt (fabs z0))) (- (sqrt (fabs z0)))))
(FPCore (z0 z1 z2) (* z0 (sqrt (* (+ (sqrt (+ (* z1 z1) (* z2 z2))) z2) 2))))
(FPCore (z0 z1) (/ 1 (+ (* z0 z0) (fabs (* z1 z1)))))
(FPCore (z0 z1) (+ (sqrt (* (* z0 z0) (* z0 z0))) (* z1 z1)))
(FPCore (z0 z1 z2) (* (* 1/2 (log z0)) (log (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0) (- (* (- z0) (sqrt (fabs z0)))))
(FPCore (z0 z1 z2) (- (cos (* (atan2 z0 z1) z2))))
(FPCore (z0 z1 z2) (sinh (* (- z0) (atan2 z1 z2))))
(FPCore (z0 z1 z2) (/ z0 (+ (* z1 z1) (* (* (sqrt (fabs z2)) (fabs z2)) (sqrt (fabs z2))))))
(FPCore (z0 z1) (* (sqrt (- (sqrt (+ (* z0 z0) (* z1 z1))) z1)) 1/2))
(FPCore (z0 z1) (* 1/2 (sqrt (- (- (* (sqrt (+ (* z0 z0) (* z1 z1))) 2) z1) z1))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (+ (* z0 z0) (fabs (* z2 z2)))))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) (fabs z1)) z2))
(FPCore (z0 z1) (* z0 (* (sqrt (fabs z1)) (* z1 z1))))
(FPCore (z0 z1 z2) (* (* (- (fabs z0) z1) z1) z2))
(FPCore (z0 z1 z2) (* (* (- (fabs z0) z1) z0) z2))
(FPCore (z0 z1 z2) (* z0 (* (- (fabs z1) z2) z1)))
(FPCore (z0 z1 z2) (* z0 (* (- (fabs z1) z2) z2)))
(FPCore (z0 z1) (/ -2 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (+ z0 (sqrt (* (* z1 z1) (* z1 z1)))))
(FPCore (z0 z1) (* (sqrt (* z0 z0)) z1))
(FPCore (z0 z1) (sqrt (fabs (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1) (/ z0 (fabs (log z1))))
(FPCore (z0 z1) (- z0 (asin (sqrt (/ (- 1 z1) 2)))))
(FPCore (z0 z1) (/ 1 (+ (fabs (* z0 z0)) (* z1 z1))))
(FPCore (z0 z1) (sqrt (+ (fabs (* z0 (fabs z0))) (* z1 z1))))
(FPCore (z0 z1 z2) (* (* z0 1/2) (log (+ (* z1 z1) (* (- (- z2)) z2)))))
(FPCore (z0) (/ 1 (sin z0)))
(FPCore (z0 z1) (/ z0 (* (sqrt (fabs z1)) (fabs z1))))
(FPCore (z0) (* (sqrt (sqrt 2)) z0))
(FPCore (z0) (* (- (sqrt (fabs z0))) (- z0)))
(FPCore (z0 z1) (/ (log 10) (atan2 z0 z1)))
(FPCore (z0 z1 z2) (- (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))) PI))
(FPCore (z0 z1 z2) (pow z0 (* (/ -1 (+ (* z1 z1) (* z2 z2))) (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (sqrt (* (* (fabs z1) (* z1 z1)) (fabs z1))))))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) (- (* 1/2 z2))))
(FPCore (z0 z1) (* 1/2 (sqrt (* 2 (fabs (+ (sqrt (+ (* z0 z0) (* z1 z1))) z1))))))
(FPCore (z0) (* (- z0) (- (sqrt (fabs z0)))))
(FPCore (z0 z1) (* z0 (* (- (sqrt (fabs z1))) (- (sqrt (fabs z1))))))