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