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