(FPCore (z1 z0) (* z1 z0))
(FPCore (z0) (- z0))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0) (cos z0))
(FPCore (z0) (* z0 z0))
(FPCore (z1 z0 z2) (/ (* z1 z0) z2))
(FPCore (z0) (* 1/2 z0))
(FPCore (z1 z0) (* (- z1) z0))
(FPCore (z0) (/ 1 z0))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0) (- z0 (/ 1 z0)))
(FPCore (z0) (* -1/2 z0))
(FPCore (z0 z1) (* (/ z0 z1) -1/2))
(FPCore (z0) (- (* z0 z0) 1))
(FPCore (z0) (* (- (cos (+ z0 z0)) -1) 1/2))
(FPCore (z0) (sqrt (- (* z0 z0) 1)))
(FPCore (z1 z0) (sin (* z1 z0)))
(FPCore (z0 z1) (* (* z0 (- -1 (* (* (- (* 1/5 (* z1 z1)) -1/3) z1) z1))) z1))
(FPCore (z0) (- z0 -1))
(FPCore (z0) (* (- z0 (/ 1 z0)) 1/2))
(FPCore (z0) (- 1 z0))
(FPCore (z0) (* (+ (/ 1 z0) z0) 1/2))
(FPCore (z1 z0 z2) (/ (asin (* (* (tan z1) 1/2) (- z0 (/ 1 z0)))) z2))
(FPCore (z0) (* -2/3 z0))
(FPCore (z1 z0) (* (* z1 z0) z0))
(FPCore (z0 z1) (* (- 1 z0) z1))
(FPCore (z0) (/ -1/2 z0))
(FPCore (z0) (- (* (* (- 1 z0) 1/2) z0) 1))
(FPCore (z0 z1) (log (tan (- z0 (* z1 1/2)))))
(FPCore (z1 z0) (* (* (* z1 z0) z0) -1/5))
(FPCore (z0) (* (- (* (* (- 1 z0) 1/2) z0) 1) z0))
(FPCore (z0) (+ (/ 1 z0) z0))
(FPCore (z1 z0) (* (* (* (- (* (* z1 z1) -1/5) 1/3) z0) z1) z1))
(FPCore (z0 z1) (/ z0 (cos z1)))
(FPCore (z0) (* (- 1 z0) 1/2))
(FPCore (z0) (* (* z0 z0) -1/3))
(FPCore (z0 z1) (* (+ (* (* -1/2 z0) z1) z0) z1))
(FPCore (z2 z1 z0) (atan (* (/ 2 z2) (sin (* z1 z0)))))
(FPCore (z2 z1 z0) (* (sin (* z2 z1)) (/ 2 z0)))
(FPCore (z0) (- (* (* z0 z0) -1/5) 1/3))
(FPCore (z0) (* (- (* (* z0 z0) -2/3) 2) z0))
(FPCore (z1 z0) (* (* (- (* -1/3 (* z1 z1)) 1) z0) z1))
(FPCore (z0) (/ 1/2 z0))
(FPCore (z1 z0) (* (* (* (* z1 z0) z0) -1/5) z0))
(FPCore (z1 z0) (* (* (* (* (* (* z1 z0) z0) -1/5) z0) z0) z0))
(FPCore (z0 z1) (- z0 (* (+ (* (* -1/2 z0) z1) z0) z1)))
(FPCore (z0) (tan z0))
(FPCore (z0 z1) (tan (- z0 (* z1 1/2))))
(FPCore (z0) (- (* (* z0 z0) -1/3) 1))
(FPCore (z0) (* (* (- 1 z0) 1/2) z0))
(FPCore (z1 z2 z0) (* (log (tan (- z1 (* z2 1/2)))) z0))
(FPCore (z0) (/ 2 z0))
(FPCore (z0) (* (* z0 z0) -1/5))
(FPCore (z1 z0) (* (- (* (* z1 z1) -1/5) 1/3) z0))
(FPCore (z0 z1) (+ (* (* -1/2 z0) z1) z0))
(FPCore (z1 z0) (* (* (tan z1) 1/2) (- z0 (/ 1 z0))))
(FPCore (z0) (+ z0 z0))
(FPCore (z1 z0) (asin (* (* (tan z1) 1/2) (- z0 (/ 1 z0)))))
(FPCore (z0) (/ (- z0 1) (- -1 z0)))
(FPCore (z0 z1) (/ (sqrt (- (* z0 z0) 1)) (cos z1)))
(FPCore (z1 z2 z0) (fabs (* (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))) z0)))
(FPCore (z2 z1 z0) (* (/ 2 z2) (sin (* z1 z0))))
(FPCore (z0 z1) (* z0 (- -1 (* (* (- (* 1/5 (* z1 z1)) -1/3) z1) z1))))
(FPCore (z1 z2 z0) (* (atan (/ (sqrt (- (* z1 z1) 1)) (cos z2))) z0))
(FPCore (z0) (- (* (* z0 z0) -2/3) 2))
(FPCore (z0 z1) (* (+ z0 z0) z1))
(FPCore (z0) (log z0))
(FPCore (z0) (- (* (- (* (* (- 1 z0) 1/2) z0) 1) z0) -1))
(FPCore (z0 z1) (- z0 (* z1 1/2)))
(FPCore (z0) (- (* (* z0 z0) -2/3) 1))
(FPCore (z1 z0) (* (* (- z1 (/ 1 z1)) z0) 1/2))
(FPCore (z0 z1) (* (* -1/2 z0) z1))
(FPCore (z0 z1) (atan (/ (sqrt (- (* z0 z0) 1)) (cos z1))))
(FPCore (z0) (* (* z0 z0) -2/3))
(FPCore (z0) (sqrt (/ (- z0 1) (- -1 z0))))
(FPCore (z1 z0) (* (- (* -1/3 (* z1 z1)) 1) z0))
(FPCore (z1 z0) (* (- z1 (/ 1 z1)) z0))
(FPCore (z2 z1 z0) (atan (* (sin (* z2 z1)) (/ 2 z0))))
(FPCore (z1 z0) (* (sin (* z1 z0)) 2))
(FPCore (z0 z1) (* (sqrt (/ (- z0 1) (- -1 z0))) z1))