(FPCore (z0 z1) (* PI (/ z0 z1)))
(FPCore (z0 z1) (cos (* PI (/ z0 z1))))
(FPCore (z0 z1 z2) (* (- (cos (* (/ (+ PI PI) z2) z1)) -1) (* (* z0 z0) 1/2)))
(FPCore (z0 z1) (* (/ (+ PI PI) z1) z0))
(FPCore (z0 z1) (- (cos (* (/ (+ PI PI) z1) z0)) -1))
(FPCore (z0 z1) (cos (* (/ (+ PI PI) z1) z0)))
(FPCore (z0 z1) (sin (* PI (/ z0 z1))))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1) (* -1/2 (- (cos (* (/ (+ PI PI) z1) z0)) 1)))
(FPCore (z0 z1) (* -1/2 (- -1 (cos (* (/ (+ PI PI) z1) z0)))))
(FPCore (z0 z1) (* (* -1/2 z1) (- (cos (* (/ (+ PI PI) z1) z0)) 1)))
(FPCore (z0) (* PI z0))
(FPCore (z0 z1) (- 1 (cos (* (/ (+ PI PI) z1) z0))))
(FPCore (z0 z1) (* (- (* z0 z0) 1) z1))
(FPCore (z0 z1 z2) (* (cos (* (/ PI z2) z1)) z0))
(FPCore (z0 z1) (* (cos (* PI (/ z0 z1))) PI))
(FPCore (z0 z1) (* (sin (* PI (/ z0 z1))) z1))
(FPCore (z0 z1) (+ (* PI (+ z1 z0)) PI))
(FPCore (z0 z1 z2) (/ (- (* z2 z0) -1) (* (- 1 (* z0 z0)) z1)))
(FPCore (z0 z1) (- (fabs (* PI (/ z0 z1))) (* -1/2 PI)))
(FPCore (z0 z1) (fabs (* PI (/ z0 z1))))
(FPCore (z0 z1) (* (/ (+ z1 z0) z0) (fabs z0)))
(FPCore (z0 z1) (/ (+ PI PI) (* (- 1 (cos (* (/ (+ PI PI) z1) z0))) z1)))
(FPCore (z0 z1) (* (* (- (* z1 z0) -2) z0) z1))
(FPCore (z0 z1) (* (* (* (- (* z1 z0) -2) z0) z1) 1/2))
(FPCore (z0 z1 z2) (* (/ PI (* (- (* z1 z1) 1) z2)) (+ z0 z0)))
(FPCore (z0 z1) (* (/ (+ z1 z0) (* z0 z0)) (+ z1 z0)))
(FPCore (z0 z1) (* (cos (* (/ (+ PI PI) z1) z0)) 1/2))
(FPCore (z0 z1) (/ PI (* (- (* z0 z0) 1) z1)))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0 z1) (* -1/2 (cos (* (/ (+ PI PI) z1) z0))))
(FPCore (z0 z1) (* (+ (/ (+ z0 z0) z1) -1) PI))
(FPCore (z0 z1) (* (- 1 (* z0 z0)) z1))
(FPCore (z0 z1) (/ 1 (sin (* PI (/ z0 z1)))))
(FPCore (z0 z1 z2) (* (- (* z2 z0) -1) (/ PI (* (- 1 (* z0 z0)) z1))))
(FPCore (z0 z1) (* (- (/ z0 z1) 1/2) PI))
(FPCore (z0 z1) (/ (+ z1 z0) (* z0 z0)))
(FPCore (z0 z1) (/ (+ z0 z0) (* z1 z1)))
(FPCore (z0 z1 z2) (/ (- (* z2 z0) -1) (* (- (* z0 z0) 1) z1)))
(FPCore (z0 z1) (- (cos (* (/ (+ PI PI) z1) z0))))
(FPCore (z0 z1 z2) (* (sin (* (atan2 (* (sqrt (- 1 z1)) z0) (* (- z2 -1) (sqrt (- z1 -1)))) 2)) z1))
(FPCore (z0 z1 z2) (* (- -1 (* z2 z1)) z0))
(FPCore (z0 z1 z2) (sin (* (atan2 (* (sqrt (- 1 z1)) z0) (* (- z2 -1) (sqrt (- z1 -1)))) 2)))