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