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