(FPCore (z1 z0) (* z1 z0))
(FPCore (z0 z1) (/ (- z0) z1))
(FPCore (z1 z0) (* (- z1) z0))
(FPCore (z0) (- z0))
(FPCore (z1 z0) (exp (* (- z1) z0)))
(FPCore (z0 z1) (exp (/ (- z0) z1)))
(FPCore (z0) (fabs z0))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0) (- 1 z0))
(FPCore (z0 z1 z2) (* (- 1 z0) (exp (* (- z1) z2))))
(FPCore (z0 z1) (- 1 (/ z0 z1)))
(FPCore (z1 z2 z0) (* (exp (* (- z1) z2)) z0))
(FPCore (z0) (- (* -127/100 z0) -3/4))
(FPCore (z0) (* -127/100 z0))
(FPCore (z0) (* -67/100 z0))
(FPCore (z0 z1) (pow z0 z1))
(FPCore (z1 z2 z0) (* (exp (/ (- z1) z2)) z0))
(FPCore (z1 z2 z0) (* (pow z1 z2) z0))
(FPCore (z1 z0) (/ (+ z1 z0) z1))
(FPCore (z0) (- 2/5 (* -67/100 z0)))
(FPCore (z0) (- -2/5 (* 67/100 z0)))
(FPCore (z1 z0 z2) (* (* z1 z0) z2))
(FPCore (z1 z0 z2) (* (exp (* (- z1) z0)) z2))
(FPCore (z0) (* -469/5000 z0))
(FPCore (z0 z1) (- z0 z1))
(FPCore (z0) (* -5881/5000 z0))
(FPCore (z0) (* z0 z0))
(FPCore (z0) (/ 1 z0))
(FPCore (z1 z0 z2) (* (* (- z1) z0) z2))
(FPCore (z0) (* -8509/11762 z0))
(FPCore (z0 z1) (/ (- z0 z1) z0))
(FPCore (z1 z0 z2) (- 1 (* (* z1 z0) z2)))
(FPCore (z0) (- (* -5881/5000 z0) -3/4))
(FPCore (z2 z0 z1) (+ (exp (/ (- z2) z0)) (exp (* (- z1) z0))))
(FPCore (z1 z0 z2) (+ (* z1 z0) z2))
(FPCore (z2 z1 z0) (+ (* z2 z1) z0))
(FPCore (z1 z0) (- (* z1 z0) -1))
(FPCore (z1 z0) (- (exp (* (- z1) z0)) 1))
(FPCore (z0 z1 z2) (* (exp (/ (- z0) z1)) z2))
(FPCore (z1 z0) (* (- z1 1) z0))
(FPCore (z0 z1) (/ z0 (- z0 z1)))
(FPCore (z0) (/ -7/50 (- (* -127/100 z0) -3/4)))
(FPCore (z1 z2 z0) (* (- z1 z2) z0))
(FPCore (z1 z0) (* (- 1 z1) z0))
(FPCore (z2 z1 z0) (* (/ (- z2 z1) z2) z0))
(FPCore (z1 z0) (+ z1 z0))
(FPCore (z0) (* 67/100 z0))
(FPCore (z0) (- z0 1))
(FPCore (z1 z0 z2) (- (* (- z1 1) z0) (* z2 z1)))
(FPCore (z1 z2 z0) (* (- (exp (* (- z1) z2)) 1) z0))
(FPCore (z1 z0) (* (+ z1 z0) (- z0 z1)))
(FPCore (z1 z2 z0) (* (exp (* (- z1) z2)) (- z0 1)))
(FPCore (z1 z0) (exp (* z1 z0)))
(FPCore (z0 z1) (/ 1 (- z0 z1)))
(FPCore (z1 z2 z0) (- (* (exp (* (- z1) z2)) z0) -2))
(FPCore (z1 z2 z0) (* (/ (- z1) z2) z0))
(FPCore (z0 z1 z2) (- z0 (* (exp (* (- z1) z2)) (- z0 1))))
(FPCore (z1 z2 z0) (+ (* (- z1 z2) z0) (- z1)))
(FPCore (z2 z1 z0) (* (- 1 z2) (exp (* (- z1) z0))))
(FPCore (z1 z0 z2) (- (exp (* (- z1) z0)) (exp (* (- z1) z2))))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z1 z0) (- 1 (* z1 z0)))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0 z1) (* (- z0 1) z1))
(FPCore (z0 z1) (- 1 (* (/ z0 (* z1 z1)) z0)))
(FPCore (z0 z1) (* (- z0 z1) z0))
(FPCore (z1 z2 z0) (+ (exp (* (- z1) z2)) (exp (/ (- z0) z1))))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z1 z2 z0) (* (/ z1 z2) z0))
(FPCore (z0) (/ 1 (- (* -127/100 z0) -3/4)))