(FPCore (z0 z1) (sqrt (- (* z0 z0) z1)))
(FPCore (z0 z1) (/ (* z0 z0) (sqrt z1)))
(FPCore (z0 z1 z2) (* (tan z0) (/ z1 z2)))
(FPCore (z0 z1 z2) (pow (* z0 (/ z1 z2)) 2))
(FPCore (z0) (sqrt (sqrt z0)))
(FPCore (z0 z1) (sin (* z0 z1)))
(FPCore (z0 z1 z2) (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))
(FPCore (z0) (/ 1 (sqrt z0)))
(FPCore (z0 z1) (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))
(FPCore (z0) (log (+ 1 z0)))
(FPCore (z0 z1 z2) (sqrt (* (- (* z0 z1) z1) z2)))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0 z1) (/ z0 (sqrt z1)))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1) (/ (sqrt z0) z1))
(FPCore (z0 z1 z2) (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))
(FPCore (z0) (log (+ 1 (- z0))))
(FPCore (z0 z1) (tan (+ z0 (* (+ PI PI) z1))))
(FPCore (z0 z1 z2) (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))
(FPCore (z0 z1 z2) (sqrt (* z0 (- z1 (+ (* z2 z1) 2)))))
(FPCore (z0 z1) (cos (* z0 z1)))
(FPCore (z0) (tan (+ (* 1/2 PI) z0)))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0 z1 z2) (sqrt (* z0 (- (+ (* z1 z2) (- 1 z2)) -1))))
(FPCore (z0 z1) (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z0 z1 z2) (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0 z1 z2) (sqrt (* z0 (+ (* (- z1) z2) z1))))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0) (tan (+ (* 1/2 PI) (* (+ PI PI) z0))))
(FPCore (z0 z1 z2) (* (sin (* z0 z1)) z2))
(FPCore (z0 z1 z2) (sqrt (- (- z0 (* z1 z0)) z2)))
(FPCore (z0 z1 z2) (sqrt (* (- (+ (* (- z0) z1) z0) 0) z2)))
(FPCore (z0 z1 z2) (atan (* z0 (/ z1 z2))))
(FPCore (z0 z1 z2) (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))
(FPCore (z0) (sin (* z0 PI)))
(FPCore (z0 z1) (sin (* z0 (- 1 z1))))
(FPCore (z0 z1) (sqrt (/ (- (- 1 z0) z0) z1)))
(FPCore (z0 z1 z2) (sqrt (* (- (- (+ (* z0 z1) 1) z1) -1) z2)))
(FPCore (z0 z1 z2) (sin (* (* z0 z1) z2)))
(FPCore (z0 z1) (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1) 2))
(FPCore (z0) (/ 2 (sqrt z0)))
(FPCore (z0) (sin (* PI z0)))
(FPCore (z0 z1 z2) (sqrt (* z0 (+ (- -2 (* z1 z2)) z2))))
(FPCore (z0) (log (+ 1 (* -4 z0))))
(FPCore (z0 z1 z2) (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2)))
(FPCore (z0) (fabs (* z0 PI)))
(FPCore (z0) (/ 1/2 (sqrt z0)))
(FPCore (z0 z1 z2) (sqrt (* z0 (fabs (- z1 (* z2 z1))))))
(FPCore (z0 z1 z2) (* (sin (* z0 (- 1 z1))) z2))
(FPCore (z0 z1 z2) (* (* (sin (* (* z0 2) PI)) z1) z2))
(FPCore (z0) (fabs (log (+ 1 (- z0)))))
(FPCore (z0 z1 z2) (sqrt (+ (* (+ (* z0 z1) (- 2 z1)) z1) z2)))
(FPCore (z0 z1) (sin (* z0 (+ z1 z1))))
(FPCore (z0 z1 z2) (sqrt (* z0 (- z1 (* z2 z1)))))
(FPCore (z0 z1) (sqrt (/ z0 (- (- 1 z1) z1))))
(FPCore (z0 z1 z2) (* (sqrt z0) (fabs (- z1 (* z2 z1)))))
(FPCore (z0) (sqrt (/ 1 z0)))
(FPCore (z0 z1) (* (sqrt z0) (* z1 z1)))
(FPCore (z0) (sqrt (/ z0 PI)))
(FPCore (z0 z1 z2) (sqrt (* (- z0 (* z1 z0)) z2)))
(FPCore (z0 z1 z2) (* z0 (* z1 (- (log (+ 1 (- z2)))))))
(FPCore (z0 z1 z2) (* (* (cos (* (* z0 2) PI)) z1) z2))
(FPCore (z0 z1) (sin (* (* z0 2) z1)))
(FPCore (z0 z1) (sqrt (fabs (- (+ (* z0 z1) 2) z1))))
(FPCore (z0 z1) (sqrt (fabs (- (* z0 z1) z1))))
(FPCore (z0) (* z0 (sqrt PI)))
(FPCore (z0 z1 z2) (* (/ (* z0 z0) z1) (- (log (+ 1 (- z2))))))
(FPCore (z0) (fabs (* (+ PI PI) z0)))
(FPCore (z0 z1) (cos (* (* z0 2) z1)))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) z1)))
(FPCore (z0) (/ 1 (pow z0 -1)))
(FPCore (z0) (/ -1 (sqrt z0)))
(FPCore (z0 z1 z2) (sqrt (* z0 (- (+ (* z1 z2) 2) z2))))
(FPCore (z0) (sqrt (fabs (log (+ 1 (- z0))))))
(FPCore (z0) (log (* z0 z0)))
(FPCore (z0 z1 z2) (/ (* z0 z1) (fabs z2)))
(FPCore (z0) (fabs (* PI z0)))
(FPCore (z0 z1) (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))
(FPCore (z0 z1) (tan (+ z0 (* z1 (+ PI PI)))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (- (log (+ 1 (- z2))))))
(FPCore (z0) (cos (* z0 PI)))
(FPCore (z0 z1 z2) (fabs (* z0 (/ z1 z2))))
(FPCore (z0) (- (log (+ 1 (- z0)))))
(FPCore (z0 z1) (* (sin (* (* z0 2) PI)) (sqrt z1)))
(FPCore (z0 z1) (* (- z0) (log z1)))
(FPCore (z0 z1 z2) (atan (* (/ z0 z1) z2)))
(FPCore (z0 z1 z2) (* (* z0 (/ 1 (sin z1))) z2))
(FPCore (z0 z1 z2) (* (/ z0 z1) (tan z2)))
(FPCore (z0 z1 z2) (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs z2)))
(FPCore (z0 z1 z2) (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2))
(FPCore (z0 z1 z2) (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)))
(FPCore (z0 z1 z2) (sqrt (* z0 (- (* z1 z2) z2))))
(FPCore (z0 z1) (/ (* (- z0) z0) (sqrt z1)))
(FPCore (z0 z1) (* (cos (* (* z0 2) PI)) (sqrt z1)))
(FPCore (z0 z1 z2) (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1))
(FPCore (z0 z1 z2) (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log z2)))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0) (sqrt (/ PI z0)))
(FPCore (z0 z1 z2) (/ (exp z0) (* (* PI z1) z2)))
(FPCore (z0 z1) (sqrt (fabs (- z0 (* z1 z0)))))
(FPCore (z0) (sqrt (/ (- (- 1 z0) z0) PI)))
(FPCore (z0 z1) (* (sqrt z0) (fabs z1)))
(FPCore (z0 z1 z2) (sqrt (* (* (- (* z0 z1) z1) (- (* z0 z1) z1)) z2)))
(FPCore (z0 z1 z2) (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)))
(FPCore (z0 z1) (sqrt (* z0 (/ -1 (- z1 1)))))
(FPCore (z0 z1 z2) (sqrt (+ (* (- (* z0 z1) z1) z1) z2)))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1 z2) (* (/ (- (log (+ 1 (- z0)))) z1) (* z2 z2)))
(FPCore (z0 z1 z2) (sqrt (* (+ (* z0 z1) (- 2 z1)) z2)))
(FPCore (z0 z1 z2) (sin (+ (* z0 z1) z2)))
(FPCore (z0 z1 z2) (* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt z2)))
(FPCore (z0 z1) (/ (- z0) (sqrt z1)))
(FPCore (z0) (sin (+ z0 PI)))
(FPCore (z0) (* (- z0) (sqrt 2)))
(FPCore (z0 z1) (sqrt (* z0 (fabs z1))))
(FPCore (z0 z1 z2) (* (log (+ 1 (- z0))) (* z1 z2)))
(FPCore (z0 z1 z2) (+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2))))
(FPCore (z0 z1) (+ (* z0 PI) (fabs z1)))
(FPCore (z0 z1) (- (* z0 PI) (fabs z1)))
(FPCore (z0 z1 z2) (* (/ z0 (sin z1)) z2))
(FPCore (z0 z1 z2) (/ (exp (/ (- z0) z1)) (* z2 z1)))
(FPCore (z0 z1 z2) (sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) z2)))
(FPCore (z0 z1 z2) (/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2))
(FPCore (z0) (fabs (* PI (+ z0 z0))))
(FPCore (z0 z1 z2) (* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log z2)))
(FPCore (z0) (sin (* PI (+ z0 z0))))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1 z2) (* z0 (sin (* z1 z2))))
(FPCore (z0) (sqrt (/ PI (- (- 1 z0) z0))))
(FPCore (z0 z1 z2) (sqrt (* (- (+ (+ (* (- z0) z1) z0) 1) 1) z2)))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0 z1 z2) (* (sin (* z0 z1)) (/ 1 z2)))
(FPCore (z0 z1) (* z0 (/ z1 (* 2 (sqrt 2)))))
(FPCore (z0 z1 z2) (/ -1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2))))
(FPCore (z0 z1) (cos (* z0 (+ z1 z1))))
(FPCore (z0 z1 z2) (* (sqrt z0) (sqrt (fabs (+ (- -2 (* z1 z2)) z2)))))
(FPCore (z0 z1 z2) (* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) z2) (log (* z0 z0))))
(FPCore (z0 z1 z2) (* (* z0 (* z1 (sqrt PI))) (- z2 -1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI)))))
(FPCore (z0 z1) (* (- (exp (/ PI z0)) 1) z1))
(FPCore (z0 z1 z2) (/ (exp (/ (- z0) z1)) (* z2 z0)))
(FPCore (z0 z1) (- (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))))
(FPCore (z0) (sin (* (* z0 2) PI)))
(FPCore (z0) (cos (* PI z0)))
(FPCore (z0 z1 z2) (* (* z0 z1) (fabs z2)))
(FPCore (z0) (sin (* 314159265359/50000000000 z0)))
(FPCore (z0 z1 z2) (/ (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2)))))
(FPCore (z0 z1 z2) (sqrt (* z0 (* (- -1 (- (+ (* z1 z2) 1) z2)) (- -1 (- (+ (* z1 z2) 1) z2))))))
(FPCore (z0 z1 z2) (* (* z0 z1) (cos (* (+ PI PI) z2))))
(FPCore (z0) (sqrt (/ (- 1 z0) z0)))
(FPCore (z0 z1 z2) (* (/ z0 (sin z1)) (sin z2)))
(FPCore (z0 z1 z2) (* z0 (sin (* z1 (- 1 z2)))))
(FPCore (z0) (* (sqrt 2) (sqrt z0)))
(FPCore (z0 z1) (sin (* (* z0 z1) PI)))
(FPCore (z0) (cos (* (* z0 2) PI)))
(FPCore (z0 z1 z2) (* (sqrt z0) (sqrt (sqrt (fabs (- (+ (* z1 z2) 2) z2))))))
(FPCore (z0) (sqrt (/ -1 z0)))
(FPCore (z0 z1) (cos (+ (* (+ PI PI) z0) z1)))
(FPCore (z0 z1) (* (sqrt z0) (sin (* PI (+ z1 z1)))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (* (+ (* z1 z2) (- 2 z2)) z2) (- z1)))))
(FPCore (z0 z1) (* (* z0 PI) (log (* z1 z1))))
(FPCore (z0 z1) (+ (* z0 z1) (fabs (* z0 PI))))
(FPCore (z0 z1) (- (* z0 z1) (fabs (* z0 PI))))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (- (fabs z2))))
(FPCore (z0 z1) (* (- z0) (sqrt z1)))
(FPCore (z0 z1) (* (sqrt z0) (sin (* 314159265359/50000000000 z1))))
(FPCore (z0 z1) (* (+ z0 1) (log (* z1 z1))))
(FPCore (z0 z1 z2) (* (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))) 0))
(FPCore (z0 z1 z2) (/ (- (log (+ 1 (- z0)))) (+ z1 z2)))
(FPCore (z0 z1 z2) (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)))
(FPCore (z0 z1) (+ (* (- (exp (/ PI z0)) 1) z1) 1))
(FPCore (z0 z1 z2) (* 0 (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))
(FPCore (z0 z1) (sqrt (fabs (- z0 (+ (* z1 z0) 2)))))
(FPCore (z0 z1) (sqrt (+ z0 (* z1 z1))))
(FPCore (z0) (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))))
(FPCore (z0 z1 z2) (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1)) (* z2 z2)))
(FPCore (z0 z1 z2) (* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1))))))
(FPCore (z0 z1 z2) (* (* z0 z1) (sin (* PI (+ z2 z2)))))
(FPCore (z0 z1) (sin (* (- z0 1) z1)))
(FPCore (z0 z1) (/ z0 (sin z1)))
(FPCore (z0 z1 z2) (* (* z0 z1) (cos (* PI (+ z2 z2)))))
(FPCore (z0 z1 z2) (/ (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (sqrt z2)))
(FPCore (z0 z1 z2) (* (* z0 z1) (exp z2)))
(FPCore (z0 z1 z2) (* (sin (+ (* z0 z1) PI)) z2))
(FPCore (z0) (sin (* (* 2 PI) z0)))
(FPCore (z0 z1) (* (* z0 (sqrt PI)) z1))
(FPCore (z0 z1 z2) (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))
(FPCore (z0 z1 z2) (* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log z2)))
(FPCore (z0 z1 z2) (/ 0 (/ (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2)))
(FPCore (z0 z1 z2) (* (* z0 z1) (exp (/ z2 z1))))
(FPCore (z0) (* (fabs z0) 314159265359/50000000000))
(FPCore (z0 z1 z2) (/ (exp (/ z0 (* -3 z1))) (* z2 z0)))
(FPCore (z0 z1) (* (/ 1 z0) (sqrt z1)))
(FPCore (z0) (sin (* (+ PI PI) z0)))
(FPCore (z0 z1 z2) (* (fabs z0) (* z1 z2)))
(FPCore (z0 z1 z2) (* (sqrt z0) (sqrt (sqrt (fabs (+ (- -2 (* z1 z2)) z2))))))
(FPCore (z0) (/ -1 (log z0)))
(FPCore (z0 z1 z2) (cos (+ z0 (acos (* (* z1 (- 1 z2)) z2)))))
(FPCore (z0 z1 z2) (* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt z2)))
(FPCore (z0 z1 z2) (* (sin (* (- z0 1) z1)) z2))
(FPCore (z0 z1 z2) (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1)))
(FPCore (z0 z1) (* (pow z0 2) z1))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0 z1 z2) (* (* z0 z1) (- (log (+ 1 (- z2))))))
(FPCore (z0 z1 z2) (sqrt (* (+ (- -2 (* z0 z1)) z1) z2)))
(FPCore (z0 z1) (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))))
(FPCore (z0 z1 z2) (/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2))))
(FPCore (z0) (* (* -2 z0) (sqrt 2)))
(FPCore (z0 z1 z2) (* (/ z0 (sin z1)) (sin (* z1 z2))))
(FPCore (z0 z1 z2) (sqrt (* z0 (- (- (+ (* (- z1) z2) z1) 2)))))
(FPCore (z0 z1) (* (log (+ 1 (- z0))) z1))
(FPCore (z0 z1 z2) (- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))))
(FPCore (z0 z1 z2) (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) (log z2)))
(FPCore (z0) (* z0 (sqrt 2)))
(FPCore (z0 z1) (sin (+ (* z0 PI) z1)))
(FPCore (z0 z1 z2) (sqrt (- (- 1 (- 1 (* (+ (* (- z0) z1) z0) 2))) z2)))
(FPCore (z0) (sin (* z0 314159265359/50000000000)))
(FPCore (z0 z1 z2) (* (fabs z0) (/ z1 z2)))
(FPCore (z0 z1 z2) (/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z2 z2))))
(FPCore (z0 z1 z2) (+ (* (fabs z0) z1) (* z2 z2)))
(FPCore (z0 z1 z2) (* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) z2) (log (* z1 z1))))
(FPCore (z0) (sin (* z0 (+ PI PI))))
(FPCore (z0 z1 z2) (* (cos (* (* z0 2) PI)) (sqrt (- 1 (* (* (* (- 1 z1) z2) z1) (* (* (- 1 z1) z2) z1))))))
(FPCore (z0 z1 z2) (- (/ z0 (+ (* (- (exp (/ PI z1)) 1) z2) 1)) 1))
(FPCore (z0 z1 z2) (cos (+ (* (+ PI PI) z0) (acos (* (* z1 (- 1 z2)) z2)))))
(FPCore (z0 z1) (* (/ 1 (/ -1 z0)) (log z1)))
(FPCore (z0 z1 z2) (atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI))))))
(FPCore (z0 z1 z2) (* (/ (exp (/ z0 (* -3 z1))) z2) 3/4))
(FPCore (z0 z1) (/ (* z0 z1) (sqrt 2)))
(FPCore (z0 z1) (sin (+ (* -314159265359/50000000000 z0) z1)))
(FPCore (z0 z1 z2) (* (/ (- (log (+ 1 (- z0)))) z1) z2))
(FPCore (z0 z1) (sqrt (sqrt (fabs (- (+ (* z0 z1) 2) z1)))))
(FPCore (z0 z1) (sin (+ (* (+ PI PI) z0) z1)))
(FPCore (z0 z1) (/ (sin z0) (sin z1)))
(FPCore (z0 z1) (/ (sqrt (fabs z0)) (fabs z1)))
(FPCore (z0 z1 z2) (/ (- z0 -1) (+ (* (- (exp (/ PI z1)) 1) z2) 1)))
(FPCore (z0 z1 z2) (/ (exp z0) (* (* z1 z2) PI)))
(FPCore (z0 z1 z2) (/ (exp (/ (- (fabs z0)) z1)) (* z2 z1)))
(FPCore (z0 z1) (* (sqrt (/ z0 (- 1 z0))) (- z1)))
(FPCore (z0 z1) (* (log z0) (- z1)))
(FPCore (z0 z1) (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1) 2))
(FPCore (z0 z1 z2) (atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))))
(FPCore (z0 z1 z2) (* (* z0 z1) (log (- 1 z2))))
(FPCore (z0 z1 z2) (/ 1 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1) (* z1 z1))))
(FPCore (z0) (- (exp (/ PI z0)) 1))
(FPCore (z0 z1) (- (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1 z2) (* (* z0 z1) (exp (/ (fabs z2) z1))))
(FPCore (z0 z1) (sqrt (/ z0 (- 1 z1))))
(FPCore (z0 z1 z2) (* (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2)))) (sin z2)))
(FPCore (z0 z1) (/ (sqrt z0) (fabs (- z1 1))))
(FPCore (z0 z1) (* (log (+ 1 (* -4 z0))) z1))
(FPCore (z0) (cos (+ z0 PI)))
(FPCore (z0 z1) (* (sqrt z0) (cos (* 314159265359/50000000000 z1))))
(FPCore (z0) (* (sqrt 2) z0))
(FPCore (z0 z1) (fabs (- (* z0 PI) z1)))
(FPCore (z0) (- (log (+ 1 (* -4 z0)))))
(FPCore (z0 z1 z2) (- (* PI z0) (acos (* (* z1 (- 1 z2)) z2))))
(FPCore (z0 z1) (+ (* (+ PI PI) z0) (acos z1)))
(FPCore (z0 z1) (* (sqrt z0) (sin (* (* 2 PI) z1))))
(FPCore (z0 z1) (* (/ (fabs z0) z1) 3))
(FPCore (z0) (cos (* PI (+ z0 z0))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (fabs z2)))
(FPCore (z0) (/ 1 (sqrt (fabs (- z0 1)))))
(FPCore (z0) (/ 1 (sin z0)))
(FPCore (z0 z1 z2) (* (sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))) (sqrt z2)))
(FPCore (z0 z1 z2) (- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2))))
(FPCore (z0 z1) (/ (fabs z0) (sqrt z1)))
(FPCore (z0 z1 z2) (- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2)))
(FPCore (z0 z1 z2) (sqrt (* (- (+ (* z0 z1) 2) z1) z2)))
(FPCore (z0) (/ 1 (log z0)))
(FPCore (z0 z1 z2) (/ (exp (/ (- z0) z1)) (* z2 PI)))
(FPCore (z0 z1) (sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1)))))
(FPCore (z0 z1) (/ (exp z0) (* PI z1)))
(FPCore (z0 z1 z2) (* (* (sin (* z0 z1)) (/ 1 (sin z1))) z2))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- (* z1 z2) z2) (- z2 2)))))
(FPCore (z0 z1 z2) (sqrt (* (- z0 (+ (* z1 z0) 2)) z2)))
(FPCore (z0 z1) (* (/ (fabs z0) (- z1)) 3))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- z1 2) (- (* z2 z1) z1)))))
(FPCore (z0 z1 z2) (/ (* z0 (fabs z1)) (- z2)))
(FPCore (z0 z1) (/ (sqrt (/ (- (- 1 z0) z0) PI)) (* z1 z0)))
(FPCore (z0) (/ (sqrt (- (- 1 z0) z0)) z0))
(FPCore (z0 z1 z2) (cos (* z0 (- z1 (* z2 z1)))))
(FPCore (z0 z1 z2) (/ (exp (/ (- z0) z1)) (* (* z1 z0) z2)))
(FPCore (z0 z1) (* (- z0) (log (+ 1 (* -4 z1)))))
(FPCore (z0 z1) (sqrt (* (sqrt (fabs z0)) z1)))
(FPCore (z0) (/ -1 (log (+ 1 (- z0)))))
(FPCore (z0 z1) (/ 1 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z0) (- (fabs (* (+ PI PI) z0))))
(FPCore (z0 z1) (* (fabs z0) (* (fabs z0) z1)))
(FPCore (z0 z1 z2) (+ (* (/ (sqrt (/ (- (- 1 z0) z0) PI)) z0) z1) (- z2 -1)))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0 z1) (tan (+ (* (* 2 PI) z0) z1)))
(FPCore (z0) (* (* 2 z0) (sqrt 2)))
(FPCore (z0 z1 z2) (* (* (- z0 -1) z1) (* z2 (sqrt PI))))
(FPCore (z0 z1 z2) (/ (* (fabs z0) z1) (- z2)))
(FPCore (z0 z1 z2) (- 1 (/ -1 (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2)))))
(FPCore (z0 z1) (* (sqrt z0) (cos (* (+ PI PI) z1))))
(FPCore (z0 z1) (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0))))
(FPCore (z0 z1) (sin (+ (* z0 z1) PI)))
(FPCore (z0 z1) (sqrt (* (sqrt (fabs (/ -1/2 (- 1 z0)))) z1)))
(FPCore (z0 z1) (sqrt (* (sqrt (fabs (/ 1/2 (- 1 z0)))) z1)))
(FPCore (z0 z1) (sqrt (* z0 (* z1 z1))))
(FPCore (z0) (+ (* z0 PI) (fabs (* z0 PI))))
(FPCore (z0) (- (* z0 PI) (fabs (* z0 PI))))
(FPCore (z0 z1) (sqrt (fabs (+ (* z0 z1) (- 2 z1)))))
(FPCore (z0 z1) (sqrt (* (* z0 z0) z1)))
(FPCore (z0 z1) (* (sqrt (fabs (/ -1/2 (- 1 z0)))) (sqrt z1)))
(FPCore (z0) (/ z0 (sqrt 2)))
(FPCore (z0 z1 z2) (- (acos (* (* (- z0 1) z1) z0)) (* PI z2)))
(FPCore (z0 z1) (sqrt (/ z0 (fabs (- z1 1)))))
(FPCore (z0 z1) (+ (* (exp (/ -2 z0)) (- 1 z1)) z1))
(FPCore (z0 z1 z2) (* (/ z0 (- (fabs z1))) (/ z2 (- (fabs z1)))))
(FPCore (z0 z1 z2) (* (sqrt (fabs (- (* z0 z1) z1))) (* (sqrt (fabs (- -1 (- (+ (* z0 z1) 1) z1)))) z2)))
(FPCore (z0 z1) (/ (fabs z0) (* z1 z0)))
(FPCore (z0 z1) (+ (* (- 1 z0) (exp (/ -2 z1))) z0))
(FPCore (z0 z1 z2) (+ (* z0 PI) (acos (* (* (- z1 1) z2) z1))))
(FPCore (z0 z1 z2) (* (sin (* (- 1 z0) z1)) (/ 1 z2)))
(FPCore (z0 z1 z2) (+ (acos (* (* (- z0 1) z1) z0)) (* PI z2)))
(FPCore (z0 z1 z2) (/ (* (- z0) z1) (fabs z2)))
(FPCore (z0 z1 z2) (cos (- z0 (acos (* (* z1 (- 1 z2)) z2)))))
(FPCore (z0 z1) (* (* (sqrt (/ PI (- (- 1 z0) z0))) z1) z0))
(FPCore (z0 z1) (/ (sqrt z0) (sqrt (fabs (- z1 1)))))
(FPCore (z0 z1 z2) (* 3/4 (/ (exp (/ (- z0) z1)) z2)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- (* z1 z2) z2) (+ (* (- z1) z2) -2)))))
(FPCore (z0 z1) (/ (/ 1 (/ 1 z0)) (sqrt z1)))
(FPCore (z0 z1) (/ (* z0 z0) (fabs z1)))
(FPCore (z0 z1 z2) (/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2))))
(FPCore (z0 z1) (* (/ 1 z0) (sin (* (* 2 PI) z1))))
(FPCore (z0 z1) (/ (sqrt (fabs z0)) (sqrt z1)))
(FPCore (z0 z1 z2) (+ (* (- 1/2 (+ z0 z0)) PI) (acos (* (* (- z1 1) z2) z1))))
(FPCore (z0 z1) (* (* 3 z0) (log z1)))
(FPCore (z0) (sin (+ z0 (* PI 1/2))))
(FPCore (z0) (/ (* z0 (sqrt 2)) (* 2 (sqrt 2))))
(FPCore (z0 z1) (* (log z0) (* (- z1) z1)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (fabs z1) z2)))
(FPCore (z0 z1 z2) (* (* z0 z1) (log (+ 1 (- z2)))))
(FPCore (z0 z1) (sqrt (* (- (- 1 z0) z0) z1)))
(FPCore (z0 z1 z2) (/ (* z0 z1) (sin z2)))
(FPCore (z0 z1) (/ (sqrt z0) (- z1)))
(FPCore (z0) (cos (* -314159265359/50000000000 z0)))
(FPCore (z0 z1) (+ (fabs (* (+ PI PI) z0)) (* z1 1/2)))
(FPCore (z0 z1 z2) (* (/ z0 (* (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2) -1) (* z2 z2))) z0))
(FPCore (z0 z1) (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1)))))
(FPCore (z0 z1 z2) (- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2))))
(FPCore (z0 z1) (fabs (- z0 (* (- 1 z1) PI))))
(FPCore (z0 z1 z2) (* (/ (exp (/ (fabs z0) (- z1))) z1) (/ z2 z1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (/ (exp (/ (fabs z2) (- z1))) z1)))
(FPCore (z0) (cos (* 314159265359/50000000000 z0)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (- (fabs z1)) z2)))
(FPCore (z0 z1 z2) (sin (+ (* (* z0 z1) PI) z2)))
(FPCore (z0 z1 z2) (fabs (* z0 (- (* z1 z2) z2))))
(FPCore (z0 z1 z2) (- 1 (/ 1 (+ (pow (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)) 2) 1))))
(FPCore (z0 z1) (/ (exp (/ (- z0) z1)) (* PI z1)))
(FPCore (z0 z1) (/ 1/2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))))
(FPCore (z0 z1 z2) (sqrt (* z0 (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))
(FPCore (z0 z1) (* (/ 2 z0) (/ 1/2 (sqrt (fabs (/ -1 (- 1 z1)))))))
(FPCore (z0 z1 z2) (* (/ z0 (fabs z1)) (/ z2 (fabs z1))))
(FPCore (z0 z1) (* (* 2 (* 1/2 (- z0))) (log z1)))
(FPCore (z0) (* (* z0 2) (sqrt 2)))
(FPCore (z0 z1 z2) (+ (* (* PI -2) z0) (asin (* (* (- z1 1) z2) z1))))
(FPCore (z0 z1) (* (* z0 (fabs z1)) (fabs z1)))
(FPCore (z0 z1) (* (/ 1 (sqrt PI)) (/ z0 z1)))
(FPCore (z0 z1 z2) (sin (+ (* (* z0 PI) z1) z2)))
(FPCore (z0 z1 z2) (/ (- z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))
(FPCore (z0 z1) (* (* (sqrt 2) z0) (sin (* 314159265359/50000000000 z1))))
(FPCore (z0 z1) (sin (+ (* (- z0) (+ PI PI)) z1)))
(FPCore (z0 z1 z2) (/ 1 (* z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))
(FPCore (z0 z1) (* (/ z0 (sqrt 2)) (* z1 (sqrt 2))))
(FPCore (z0 z1 z2) (* (/ 1/2 z0) (sin (* z1 (- 1 z2)))))
(FPCore (z0 z1 z2) (* (* (- z0 -1) (sqrt (/ PI (- (- 1 z1) z1)))) (* z2 z1)))
(FPCore (z0 z1 z2) (+ (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2))))
(FPCore (z0 z1 z2) (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))
(FPCore (z0 z1) (* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) PI) (log (* z0 z0))))
(FPCore (z0) (sqrt (sqrt (fabs z0))))
(FPCore (z0 z1 z2) (sqrt (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) z2)))
(FPCore (z0) (/ (sqrt (/ (- (- 1 z0) z0) PI)) z0))
(FPCore (z0 z1 z2) (* (sqrt z0) (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))
(FPCore (z0) (/ (sqrt 1/2) (/ 1 z0)))
(FPCore (z0 z1 z2) (* (* z0 (cos (* PI (+ z1 z1)))) z2))
(FPCore (z0 z1) (* (sqrt z0) (sin (* z1 (+ PI PI)))))
(FPCore (z0 z1 z2) (/ (exp z0) (* (* 6 z1) (* PI z2))))
(FPCore (z0 z1) (* (log (+ 1 (- z0))) (* (- z1) z1)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (/ (* (sqrt (- 1 (* z1 z1))) (* z2 z2)) (sqrt (- 1 (* z1 z1)))))))
(FPCore (z0 z1) (/ 1 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))))
(FPCore (z0 z1 z2) (+ (* (* (- z0 -1) z1) z2) (sqrt (- (- 1 z1) z1))))
(FPCore (z0 z1) (sqrt (+ (* (- z0 (+ (* z1 z0) 1)) (+ (* z1 z0) (- 1 z0))) 1)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (+ (* (- z1 1) (+ (* z2 z1) (- 1 z1))) 1))))
(FPCore (z0 z1 z2) (/ (- (fabs z0)) (/ z1 z2)))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (* (sqrt 2) z1)))
(FPCore (z0 z1) (pow (* z0 (- z1)) -1))
(FPCore (z0 z1 z2) (/ (fabs z0) (* z1 z2)))
(FPCore (z0 z1 z2) (* (/ (sin (* z0 z1)) (sin z0)) z2))
(FPCore (z0) (sin (+ z0 (* 1/2 PI))))
(FPCore (z0 z1 z2) (cos (- (acos (* (* z0 (- 1 z1)) z1)) z2)))
(FPCore (z0 z1 z2) (/ (/ 1 z0) (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))
(FPCore (z0 z1 z2) (/ (fabs z0) (/ z1 z2)))
(FPCore (z0 z1) (log (pow z0 (- z1))))
(FPCore (z0 z1 z2) (* (/ 1 z0) (sin (* z1 z2))))
(FPCore (z0 z1 z2) (* (* (sin (+ (* (+ PI PI) z0) PI)) z1) (- z2)))
(FPCore (z0 z1) (pow (* z0 z1) -1))
(FPCore (z0 z1 z2) (/ (exp z0) (* (* 6 z1) z2)))
(FPCore (z0 z1) (* (cos (* PI (+ z0 z0))) z1))
(FPCore (z0 z1) (* 2 (* (sin (* z0 PI)) z1)))
(FPCore (z0 z1 z2) (/ (pow z0 -2) (* (exp (/ (fabs z1) z2)) z2)))
(FPCore (z0) (* (log z0) PI))
(FPCore (z0 z1 z2) (/ z0 (* (fabs z1) z2)))
(FPCore (z0 z1 z2) (/ z0 (* z1 (fabs z2))))
(FPCore (z0 z1) (* (- z0 -1) (sqrt z1)))
(FPCore (z0) (tan (+ z0 (* 1/2 PI))))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) (fabs z2)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* 0 (- (- (+ (* z1 z2) 1) z2) -1)))))
(FPCore (z0 z1) (pow (- z0 1) (- z1)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- (* z1 z2) z2) z2))))
(FPCore (z0) (* (- z0) (sqrt PI)))
(FPCore (z0 z1 z2) (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- (* z0 z0) z2)))
(FPCore (z0 z1) (* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1))
(FPCore (z0 z1 z2) (* (- 1 (* -2 (exp (/ (fabs z0) (- z1))))) (/ z2 z1)))
(FPCore (z0 z1 z2) (sinh (/ (* z0 z1) z2)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- (- (+ (* z1 z2) 1) z2) -1) 0))))
(FPCore (z0 z1 z2) (asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))
(FPCore (z0 z1) (* (/ (fabs z0) z1) 0))
(FPCore (z0 z1 z2) (* (* (sin (* PI (+ (* -2 z0) 1/2))) z1) z2))
(FPCore (z0 z1) (sqrt (+ z0 (* (- (- (fabs z1))) (fabs z1)))))
(FPCore (z0 z1 z2) (/ 0 (* (* (exp (/ (fabs z0) z1)) z1) z2)))
(FPCore (z0 z1) (* 1/2 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z0 z1 z2) (* (exp z0) (/ 3/4 (* (* PI z1) z2))))
(FPCore (z0 z1 z2) (* (fabs z0) (/ z1 (* z2 z2))))
(FPCore (z0) (* -2 (log (+ 1 (* -4 z0)))))
(FPCore (z0 z1 z2) (* (* z0 (sqrt (fabs (- (* z1 z2) z2)))) (sqrt (fabs (+ (* z1 z2) (- 2 z2))))))
(FPCore (z0 z1 z2) (cos (- (acos (* (* (- z0 1) z1) z0)) z2)))
(FPCore (z0 z1) (sqrt (/ (* z0 z0) z1)))
(FPCore (z0) (/ (sqrt 1/2) (sqrt z0)))
(FPCore (z0 z1) (* (fabs z0) (/ (fabs z0) z1)))
(FPCore (z0 z1 z2) (* (- z0) (* (+ (* (* (+ (* z1 z1) -1) z2) z2) 1) (log (* z1 z1)))))
(FPCore (z0 z1 z2) (/ (* 1/4 (exp (/ (- z0) z1))) (* z2 z0)))
(FPCore (z0) (sqrt (sqrt (fabs (/ 1/2 (- 1 z0))))))
(FPCore (z0 z1 z2) (sin (atan (* (/ z0 z1) (tan (+ (* (* 2 PI) z2) (* 1/2 PI)))))))
(FPCore (z0 z1 z2) (fabs (* (- z0 (* z1 z0)) z2)))
(FPCore (z0 z1) (* (* z0 z0) (log z1)))
(FPCore (z0 z1) (* (* PI z0) (exp z1)))
(FPCore (z0 z1 z2) (/ (exp (/ z0 (* -3 z1))) (* (* 6 z1) z2)))
(FPCore (z0) (* (sqrt z0) (sqrt 2)))
(FPCore (z0 z1) (cos (+ (* -314159265359/50000000000 z0) z1)))
(FPCore (z0 z1) (/ (exp (/ (- z0) z1)) (* (* PI z1) z0)))
(FPCore (z0 z1 z2) (cos (- (* PI (+ z0 z0)) (acos (* (* z1 (- 1 z2)) z2)))))
(FPCore (z0 z1 z2) (* z0 (/ z1 (fabs z2))))
(FPCore (z0 z1) (* (fabs z0) (/ -1 z1)))
(FPCore (z0 z1 z2) (cos (+ (acos (* (* (- z0 1) z1) z0)) z2)))
(FPCore (z0 z1) (sqrt (* (sqrt (fabs (- (+ (* z0 z1) 2) z1))) (fabs (- z1 (* z0 z1))))))
(FPCore (z0 z1) (sqrt (sqrt (fabs (- z0 (+ (* z1 z0) 2))))))
(FPCore (z0 z1 z2) (/ (exp (/ z0 (* -3 z1))) (* z2 (* PI z0))))
(FPCore (z0) (/ 1/2 (sqrt (fabs (/ -1 (- 1 z0))))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (- z1 (* z2 z1)))))
(FPCore (z0 z1) (sqrt (/ (* 1/2 z0) z1)))
(FPCore (z0 z1 z2) (cos (* z0 (+ (* z1 z2) z2))))
(FPCore (z0 z1) (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) z1)))
(FPCore (z0 z1 z2) (* (* (/ 1 (sin z0)) z1) z2))
(FPCore (z0 z1) (sin (+ (* PI z0) z1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (- -1 (exp (/ PI z2)))))
(FPCore (z0 z1) (+ (+ z0 6931/10000) (log (/ 1 (* 2 z1)))))
(FPCore (z0 z1 z2) (/ 1 (+ z0 (/ 0 (* (- z1) (log (+ 1 (* -4 z2))))))))
(FPCore (z0 z1) (* 0 (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z0 z1) (* 1/8 (/ (exp (/ (- z0) z1)) (* (* PI z1) z0))))
(FPCore (z0 z1) (* (* z0 z0) (log (+ 1 (- z1)))))
(FPCore (z0) (* (sqrt (fabs (/ 1/2 (- 1 z0)))) (fabs z0)))
(FPCore (z0 z1 z2) (/ 1 (/ z0 (sin (* z1 (- 1 z2))))))
(FPCore (z0 z1) (sin (- (* z0 PI) z1)))
(FPCore (z0 z1) (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) 0))
(FPCore (z0 z1) (* (sin (* z0 PI)) (sin z1)))
(FPCore (z0 z1 z2) (+ (+ 1 z0) (* (* (/ 1 (sqrt PI)) (/ (sqrt (- (- 1 z1) z1)) z1)) z2)))
(FPCore (z0 z1) (* (sin (* PI (+ z0 z0))) z1))
(FPCore (z0 z1) (/ 2 (sqrt (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))))
(FPCore (z0 z1 z2) (/ z0 (sqrt (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))
(FPCore (z0 z1 z2) (* (* (/ (exp (/ z0 (* -3 z1))) z1) 3/4) (/ 1/6 z2)))
(FPCore (z0 z1 z2) (/ (* z0 z0) (- -1 (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z1))) (/ z0 z2)) 2))))
(FPCore (z0 z1 z2) (/ (* 3/4 (exp (/ (- z0) (* 3 z1)))) (* z2 z0)))
(FPCore (z0 z1 z2) (/ (exp z0) (* (* (* 6 PI) z1) z2)))
(FPCore (z0) (/ -2 (sqrt z0)))
(FPCore (z0 z1) (asin (+ z0 (- 1 z1))))
(FPCore (z0 z1) (/ (fabs z0) (* z1 z1)))
(FPCore (z0 z1 z2) (+ (* z0 3/4) (* 1/8 (/ (exp (/ (- z1) z2)) (* (* PI z2) z1)))))
(FPCore (z0) (sqrt (* z0 PI)))
(FPCore (z0 z1) (acos (- z0 (+ (* z1 z0) 1))))
(FPCore (z0 z1) (* (sin z0) (/ 1 (sin z1))))
(FPCore (z0 z1 z2) (/ (/ (fabs z0) z1) (/ 1 z2)))
(FPCore (z0 z1 z2) (cos (- (acos (* (* z0 (- 1 z1)) z1)) (* (+ PI PI) z2))))
(FPCore (z0 z1 z2) (/ (- z0) (/ (fabs z1) z2)))
(FPCore (z0) (/ 1 (log (+ 1 (- z0)))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (sinh (/ 1 z2))))
(FPCore (z0) (sin (+ (* -314159265359/50000000000 z0) (* 1/2 PI))))
(FPCore (z0 z1 z2) (/ (- 1 (/ 1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1))) (* z1 z1)))
(FPCore (z0 z1) (* (sqrt z0) (sin (+ (* -314159265359/50000000000 z1) (* 1/2 PI)))))
(FPCore (z0) (- (sqrt (/ (- 1 z0) z0))))
(FPCore (z0 z1) (/ (sqrt (- (- 1 z0) z0)) (* z1 z0)))
(FPCore (z0 z1) (/ -1 (* (log (+ 1 (* -4 z0))) z1)))
(FPCore (z0) (* (log (* z0 z0)) PI))
(FPCore (z0 z1 z2) (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))))
(FPCore (z0 z1) (sqrt (fabs (- (* z0 z0) (* (sqrt (- 1 (* z0 z0))) (* z1 z1))))))
(FPCore (z0) (sin (+ (* (+ PI PI) z0) PI)))
(FPCore (z0 z1) (asin (+ (* z0 z1) (- 1 z1))))
(FPCore (z0 z1) (+ (* (- (/ (- -1 (exp (/ PI z0))) (- -1 (exp (/ (- PI) z0)))) 1) z1) 1))
(FPCore (z0) (/ -1/2 (sqrt z0)))
(FPCore (z0 z1 z2) (* (exp (/ z0 z1)) (* z2 z1)))
(FPCore (z0 z1) (+ (* (fabs z0) z1) (* (* z0 z0) 0)))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (/ (sqrt (fabs z0)) z1)))
(FPCore (z0 z1) (sin (* (- 1 z0) z1)))
(FPCore (z0 z1 z2) (/ -1 (- (pow (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)) 2) -1)))
(FPCore (z0) (* (log (+ 1 (- z0))) -2))
(FPCore (z0 z1) (* (* PI z0) (exp (/ z1 z0))))
(FPCore (z0) (cos (* z0 (+ PI PI))))
(FPCore (z0 z1 z2) (fabs (* (fabs (- z0 (* z1 z0))) z2)))
(FPCore (z0 z1 z2) (/ (- (log (+ 1 (- z0)))) (+ z1 (- (- z2)))))
(FPCore (z0 z1 z2) (* (fabs z0) (fabs (- z1 (* z2 z1)))))
(FPCore (z0 z1) (cos (+ (* z0 PI) z1)))
(FPCore (z0 z1 z2) (* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2)))))))
(FPCore (z0) (pow (sqrt z0) 2))
(FPCore (z0 z1 z2) (* (sin (* (* z0 z1) PI)) (sin z2)))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))) 0))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* 0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- 2 z1) (- z1 (* z2 z1))))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- z1 (* z2 z1)) (- 2 z1)))))
(FPCore (z0 z1 z2) (- (* z0 (sin (* (* z1 PI) z2)))))
(FPCore (z0 z1 z2) (- 1/2 (* 1/2 (cos (* 2 (atan (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))))))
(FPCore (z0 z1 z2) (* (fabs z0) (sqrt (fabs (- z1 (+ (* z2 z1) 2))))))
(FPCore (z0 z1 z2) (* (sqrt (fabs (- (* z0 z1) z1))) (* (* (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1)))) (sqrt (sqrt (fabs (+ (- -2 (* z0 z1)) z1))))) z2)))
(FPCore (z0 z1 z2) (+ (* (fabs z0) z1) (* (- (- (fabs z2))) (fabs z2))))
(FPCore (z0 z1 z2) (sqrt (+ (* (* z0 z1) z1) z2)))
(FPCore (z0 z1 z2) (fabs (* z0 (- z1 (* z2 z1)))))
(FPCore (z0 z1 z2) (fabs (* (- (* z0 z1) z1) z2)))
(FPCore (z0 z1 z2) (* (sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2))))) (sqrt z2)))
(FPCore (z0 z1 z2) (* (sqrt z0) (sqrt (sqrt (* (- (* z1 z2) z2) (- z2 (+ (* z1 z2) 2)))))))
(FPCore (z0 z1 z2) (* (* z0 (sin (* z1 314159265359/50000000000))) (sqrt (fabs (/ 1/2 (- 1 z2))))))
(FPCore (z0 z1) (/ (sqrt z0) (* (exp (* z1 z1)) z1)))
(FPCore (z0 z1 z2) (* (* (- z0 -1) z1) (* (sqrt PI) z2)))
(FPCore (z0) (sqrt (sqrt (fabs (log (+ 1 (- z0)))))))
(FPCore (z0 z1) (/ (* z0 z0) (- (fabs z1))))
(FPCore (z0 z1 z2) (/ (sin z0) (* (* z1 z2) PI)))
(FPCore (z0 z1 z2) (- (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))
(FPCore (z0 z1 z2) (* (* z0 z1) (sin (* (+ PI PI) z2))))
(FPCore (z0 z1 z2) (* (exp z0) (/ 3/4 (* (* (* 6 PI) z1) z2))))
(FPCore (z0 z1 z2) (sqrt (+ z0 (* (- (+ (* z1 z2) 2) z2) z2))))
(FPCore (z0 z1 z2) (* (* (+ (* (* (+ (* z0 z0) -1) z1) z1) 1) (log (* z0 z0))) (- z2)))
(FPCore (z0) (- (fabs (* PI (+ z0 z0)))))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (/ z1 (fabs (- z0 1)))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (exp (/ 2 z2))))
(FPCore (z0 z1 z2) (sinh (* (/ (- z0) z1) z2)))
(FPCore (z0 z1) (* (* (- z0) z0) (- z1 (log 4))))
(FPCore (z0 z1 z2) (/ (sin (* PI z0)) (* z1 (* (- z2) PI))))
(FPCore (z0 z1) (fabs (+ (* (* PI -2) z0) z1)))
(FPCore (z0 z1 z2) (/ (- (+ (* z0 (exp (/ PI z1))) 1) z0) (- -1 z2)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (exp (* (/ (fabs z2) (- z1)) 2))))
(FPCore (z0 z1) (sqrt (* (fabs z0) z1)))
(FPCore (z0 z1) (/ (sin z0) z1))
(FPCore (z0) (/ (* z0 (sqrt 2)) (sqrt 2)))
(FPCore (z0) (fabs (+ (* 8/3 z0) -8/3)))
(FPCore (z0 z1 z2) (fabs (* (tan (+ (* 1/2 PI) (* (+ PI PI) z0))) (/ z1 z2))))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (sqrt z1)))
(FPCore (z0 z1) (* (sqrt z0) (sqrt (fabs z1))))
(FPCore (z0 z1) (* (* z0 (sin (* z1 PI))) (cos (* z1 PI))))
(FPCore (z0 z1 z2) (* (* (* 2 (* (sin (* z0 PI)) (cos (* z0 PI)))) z1) z2))
(FPCore (z0 z1 z2) (sqrt (* z0 (sqrt (fabs (- z1 (+ (* z2 z1) 2)))))))
(FPCore (z0 z1) (asin (- z0 (+ (* z1 z0) 1))))
(FPCore (z0) (/ 1/2 (log z0)))
(FPCore (z0 z1) (atan (* z0 (tan (+ (* (* 2 PI) z1) (* 1/2 PI))))))
(FPCore (z0 z1) (* 0 (/ (fabs z0) z1)))
(FPCore (z0 z1 z2) (/ (* (exp (/ z0 (* -3 z1))) 3/4) (* z2 z0)))
(FPCore (z0) (* 1/2 (log (+ 1 (- z0)))))
(FPCore (z0) (/ (sqrt (fabs z0)) (fabs (- z0 1))))
(FPCore (z0 z1 z2) (* (* (log (+ 1 (- z0))) z1) z2))
(FPCore (z0 z1) (cos (- (* PI (+ z0 z0)) z1)))
(FPCore (z0 z1) (* (/ (* z0 (sqrt 2)) (sqrt 2)) (- z1)))
(FPCore (z0 z1) (* (- (fabs z0)) (/ 1 z1)))
(FPCore (z0 z1 z2) (/ (* z0 (fabs z1)) z2))
(FPCore (z0 z1 z2) (* (sqrt (* (+ (* z0 z1) (- 2 z1)) (- z1 (* z0 z1)))) (sin z2)))
(FPCore (z0 z1 z2) (/ (sin z0) (* z1 z2)))
(FPCore (z0 z1) (- (acos z0) (* (+ PI PI) z1)))
(FPCore (z0) (* -2 (log (+ 1 (- z0)))))
(FPCore (z0 z1 z2) (* (* z0 (* z1 z1)) (sqrt (- 1 (* z2 z2)))))
(FPCore (z0 z1) (* (sqrt z0) (sin (* (+ PI PI) z1))))
(FPCore (z0 z1 z2) (* (/ z0 (sin z1)) (sin (* z1 (- 1 z2)))))
(FPCore (z0 z1) (* (- (sqrt (fabs z0))) (- z1)))
(FPCore (z0) (pow (sqrt z0) -1))
(FPCore (z0 z1 z2) (* (* z0 z1) (sin z2)))
(FPCore (z0 z1 z2) (* (+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) z2) 1/6))
(FPCore (z0 z1) (/ (sin (* PI z0)) (* z1 z0)))
(FPCore (z0 z1 z2) (* (sin (* (* z0 2) PI)) (sqrt (- 1 (* (* (+ (* (- z1) z2) z2) z1) (* (+ (* (- z1) z2) z2) z1))))))
(FPCore (z0 z1) (/ 1 (/ (sin z0) z1)))
(FPCore (z0 z1 z2) (+ (* 3/4 (/ (exp (/ (- z0) z1)) (* PI z1))) (* z2 z0)))
(FPCore (z0 z1) (* (- z0) (- (sqrt (fabs z1)))))
(FPCore (z0) (- (* z0 (sqrt 2))))
(FPCore (z0 z1) (- (* PI (+ z0 z0)) (acos z1)))
(FPCore (z0) (sin (+ (* z0 PI) PI)))
(FPCore (z0) (sqrt (* (log (+ 1 (- z0))) -2)))
(FPCore (z0 z1 z2) (+ (* (- (fabs z0)) z1) (* z2 z2)))
(FPCore (z0 z1) (* (log (fabs z0)) (+ PI z1)))
(FPCore (z0 z1) (sqrt (sqrt (* (- (* z0 z1) z1) (- z1 (+ (* z0 z1) 2))))))
(FPCore (z0 z1 z2) (fabs (* z0 (fabs (- z1 (* z2 z1))))))
(FPCore (z0) (tan (+ (* (* 2 PI) z0) (* 1/2 PI))))
(FPCore (z0 z1 z2) (sin (atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2)))))
(FPCore (z0 z1) (* (log (fabs z0)) (+ z1 PI)))
(FPCore (z0 z1) (* z0 (sin (* PI (+ z1 z1)))))
(FPCore (z0 z1 z2) (* (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))) (- z2 (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))
(FPCore (z0 z1 z2) (fabs (* (+ (- -2 (* z0 z1)) z1) z2)))
(FPCore (z0 z1 z2) (/ (sin z0) (* (* (* PI z1) z1) (* (- z2) PI))))
(FPCore (z0 z1 z2) (cos (- (acos (* (* (- z0 1) z1) z0)) (* PI (+ (* -2 z2) 1/2)))))
(FPCore (z0) (fabs (fabs (* (+ PI PI) z0))))
(FPCore (z0 z1 z2) (/ (+ z0 (exp (/ (- z1) z2))) PI))
(FPCore (z0 z1) (* (* (+ (* (* z0 (+ (* z1 z1) -1)) z0) 1) PI) (log (* z1 z1))))
(FPCore (z0 z1) (* (* z0 (sqrt 2)) (* -2 z1)))
(FPCore (z0 z1) (* (sqrt (fabs (- z0 (* z1 z0)))) (sqrt (fabs (+ (- -2 (* z1 z0)) z0)))))
(FPCore (z0 z1) (atan (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) z1)))
(FPCore (z0) (* (sqrt PI) z0))
(FPCore (z0 z1 z2) (* (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (- z2)))
(FPCore (z0 z1) (* (* (sqrt 2) z0) (sqrt (sqrt (fabs (/ 1/2 (- 1 z1)))))))
(FPCore (z0 z1 z2) (- (* (tan (+ (* 1/2 PI) (* z0 (+ PI PI)))) (/ z1 z2))))
(FPCore (z0 z1) (/ (/ z0 z1) (sqrt PI)))
(FPCore (z0 z1) (* (* z0 2) (sin (* z1 PI))))
(FPCore (z0 z1 z2) (* (sqrt (- (log (- 1 z0)))) (+ (* (sin (* z1 PI)) (sin (+ (* z1 PI) PI))) z2)))
(FPCore (z0 z1) (cos (- z0 (* (+ PI PI) z1))))
(FPCore (z0 z1) (* (sqrt z0) (sin (* z1 314159265359/50000000000))))
(FPCore (z0 z1) (* (sin (+ (* (- z0) (+ PI PI)) (* PI 1/2))) (sqrt z1)))