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