(FPCore (z0 z1 z2) (* (* (- z1) z2) z0))
(FPCore (z0 z1 z2) (* (/ z0 (* (* (* (- 1 z2) z1) z1) z1)) (- -1 (* (- (+ z1 z1) 3) z1))))
(FPCore (z0 z1 z2) (* (* (pow z1 (- z2 1)) z0) z2))
(FPCore (z0 z1 z2) (* (pow z1 (- z2 1)) z0))
(FPCore (z0 z1 z2) (* (pow z1 (- z2 1)) (* z2 z0)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) z0))
(FPCore (z0 z1 z2) (* (/ z0 (* (* (* z1 z1) z1) (- z2 1))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (* (pow z1 (- z2 2)) z0))
(FPCore (z0 z1 z2) (* (* (pow z1 (- z2 3)) z0) (- 2 z2)))
(FPCore (z0 z1 z2) (* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) z0))
(FPCore (z0 z1 z2) (* (/ (- z2 2) z1) z0))
(FPCore (z0 z1 z2) (* (* z0 (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (* (* (/ (- z2 1) z1) z0) (- z2 2)))
(FPCore (z0 z1 z2) (* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) (* z2 z0)))
(FPCore (z0 z1 z2) (* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) z0))
(FPCore (z0 z1 z2) (* (* (* (- 1 z1) z0) z1) (/ (- z1 2) z2)))
(FPCore (z0 z1 z2) (* (* (* (- z2 2) z2) z0) (* z1 (- 1 z2))))
(FPCore (z0 z1 z2) (* (/ (- z1 2) z2) z0))
(FPCore (z0 z1 z2) (* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) (* z1 z0)))
(FPCore (z0 z1 z2) (* (* (/ (- z1 1) z2) z0) (- z1 2)))
(FPCore (z0 z1) (* (* (- z1) z0) z0))
(FPCore (z0 z1) (* (* (* (- 1 z1) z0) z1) (- z1 2)))
(FPCore (z0 z1 z2) (* z0 (* z2 (* z1 z1))))
(FPCore (z0 z1 z2) (* (* (* z0 (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6))))
(FPCore (z0 z1 z2) (* (* (* (exp z0) (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6))))
(FPCore (z0 z1 z2) (* (exp (- z0 (* (* (- z2 1) z1) (- z2 1)))) (* (* (- 1 z2) (+ z1 z1)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6)))))
(FPCore (z0 z1 z2) (* (- -2 (* (* -4 (* z1 (- 1 z2))) z0)) z1))
(FPCore (z0 z1) (* z1 (log z0)))
(FPCore (z0 z1 z2) (* (* (* (* (- z1 1) z1) z0) z2) (- 2 z1)))
(FPCore (z0 z1 z2) (* z0 (* (* (* z1 (* (* z2 z2) z2)) z1) z1)))
(FPCore (z0 z1 z2) (* (/ (- z2 2) z1) (* (* (- 1 z2) z0) z2)))
(FPCore (z0 z1 z2) (* (* (* (- z2 1) z0) z2) (* (- 2 z2) z1)))
(FPCore (z0 z1 z2) (* (* (* (- 2 z2) z0) (pow z1 (- z2 3))) (- z2 1)))
(FPCore (z0 z1 z2) (* (- -2 (* (* (- z2 1) z0) 4)) z1))
(FPCore (z0 z1) (* z0 (* (- z1 2) z1)))
(FPCore (z0 z1 z2) (* (* (pow z2 (- z1 3)) z0) (* (- z1 1) z1)))
(FPCore (z0 z1 z2) (* -4 (* (- 1/2 (* (* z1 (- 1 z2)) z0)) z1)))
(FPCore (z0 z1 z2) (* (* z1 z2) z0))
(FPCore (z0 z1 z2) (* (log (fabs (sinh (* z2 z0)))) z1))
(FPCore (z0 z1 z2) (* (* (- z2 1) (* (exp z0) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6))))
(FPCore (z0 z1 z2) (* (- -2 (* (- z2 1) z0)) z1))
(FPCore (z0 z1 z2) (* (* (* (- 2 z1) z0) z1) (* z2 (- z1 1))))
(FPCore (z0 z1 z2) (* (* (- z2 1) (* (exp (- z0 (* (* (- 1 z2) z1) (- 1 z2)))) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6))))
(FPCore (z0 z1 z2) (* (* (- z1 2) z2) (* (* (- 1 z1) z0) z1)))
(FPCore (z0 z1 z2) (* (* (- 2 z1) z0) (* (pow z2 (- z1 3)) (- z1 1))))
(FPCore (z0 z1 z2) (* (* z1 (/ (* (- 1 z1) z0) z2)) (- 2 z1)))
(FPCore (z0 z1 z2) (* (- -1/2 (* (* (- z2 1) z1) (- 1 z2))) z0))
(FPCore (z0 z1 z2) (- (* z2 z2) (- z2 (* z1 z0))))
(FPCore (z0 z1 z2) (/ (* z0 (* (- z1 2) z1)) z2))
(FPCore (z0 z1 z2) (* -4 (* (- 1/2 (* (- 1 z2) z0)) z1)))
(FPCore (z0 z1) (* (log (fabs (sinh z0))) z1))
(FPCore (z0 z1 z2) (* (* (* (- 2 z1) z2) z0) z1))
(FPCore (z0 z1 z2) (* (* (- 2 z1) z0) (pow z2 (- z1 3))))
(FPCore (z0 z1 z2) (* (* (- 2 z2) z2) (* (pow z1 (- z2 3)) z0)))
(FPCore (z0 z1 z2) (* (* (- z2 2) z1) (* (* (- 1 z2) z2) z0)))
(FPCore (z0 z1 z2) (* (* (- z2 1) (* z0 (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6))))
(FPCore (z0 z1 z2) (* (* (- 1 z1) z2) (* (* (- z1 2) z1) z0)))
(FPCore (z0 z1 z2) (* (- z1 1) (* (* (- z1 2) z0) (pow z2 (- z1 3)))))
(FPCore (z0 z1 z2) (* (* (- z1 1) (pow z2 (- (- z1 2) 1))) (* z0 (* (- z1 2) z1))))
(FPCore (z0 z1 z2) (* (* (- 2 z2) z0) (pow z1 (- z2 3))))