(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2)))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) z1) z2))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)))
(FPCore (z0 z1 z2) (tanh (* z0 (* z1 z2))))
(FPCore (z0 z1 z2) (tanh (* (* z0 z1) z2)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) z2)))
(FPCore (z0) (pow z0 2/3))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))))
(FPCore (z0 z1 z2) (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1)))
(FPCore (z0 z1 z2) (pow (/ z0 z1) z2))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) z1))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1))))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- z1 1)))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (pow (/ (- z0 z1) z0) z2))
(FPCore (z0 z1 z2) (sinh (* (* z0 z1) z2)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) z1))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) -2))
(FPCore (z0 z1 z2) (* (* (* 2 z0) z1) (* (pow (* (- z2 1) (- z2 1)) (- z1 1)) (- z2 1))))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1))))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1)))
(FPCore (z0 z1 z2) (* (* z0 (- (* (* 2 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1))))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) 2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- z1 1)))
(FPCore (z0 z1 z2) (* (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1)) (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1))))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) z1) z2))
(FPCore (z0) (pow z0 2/5))
(FPCore (z0) (pow z0 33/10))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1 z2) (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))))
(FPCore (z0) (/ z0 (- (fabs (- 11/10 z0)) -11/10)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1)))))
(FPCore (z0 z1 z2) (* (/ -1 (* 4 (* z0 z1))) (sin (* 2 z2))))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)))
(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 z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))))
(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) (* (* (* (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) (sinh (* z0 (* z1 z2))))
(FPCore (z0) (sqrt (* 1000/630259 z0)))
(FPCore (z0 z1) (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)))
(FPCore (z0 z1) (* (pow z0 -2/3) z1))
(FPCore (z0 z1 z2) (* (* (- (/ 1 z0) 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 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)) (- z1 1)) (* (+ z2 z2) z1)))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (* z0 (pow (fabs (- (* (* (* z1 z2) z1) z2) 1)) 3/2)))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -2))
(FPCore (z0 z1 z2) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))
(FPCore (z0 z1 z2) (* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) 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/4 (* z0 z1)) (sin (+ z2 z2))))
(FPCore (z0 z1 z2) (/ 1 (tanh (* (* z0 z1) z2))))
(FPCore (z0 z1) (pow (/ z0 z1) -7437/50000))
(FPCore (z0) (exp (* (- z0 2) -100)))
(FPCore (z0 z1 z2) (* (* (* (* (/ z0 (* z1 z1)) z0) (pow (* (* (- 1 z2) (- 1 z2)) (* (- 1 z2) (- 1 z2))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2)))
(FPCore (z0 z1 z2) (* (pow (tanh (* z0 (* z1 z2))) -2) 4))
(FPCore (z0 z1) (* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (- z0 1)))
(FPCore (z0 z1 z2) (- (tanh (* z0 (* z1 z2)))))
(FPCore (z0 z1 z2) (- (* (sin (* z0 3)) 1/12) (* (/ 1/4 (* z1 z2)) (sin (+ z0 z0)))))
(FPCore (z0) (* -564493/100000 (pow z0 2)))
(FPCore (z0) (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2))))
(FPCore (z0) (pow z0 -2/3))
(FPCore (z0 z1) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)))
(FPCore (z0) (exp (* -14/5 (pow (- z0 1) 2))))
(FPCore (z0) (* -14/5 (pow (- z0 1) 2)))
(FPCore (z0 z1 z2) (* (* z0 (- (/ 1 z1) 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)))
(FPCore (z0) (pow z0 7/10))
(FPCore (z0) (pow z0 103/10))
(FPCore (z0 z1 z2) (* (pow (tanh (* z0 (* z1 z2))) -2) 3))
(FPCore (z0 z1) (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1))
(FPCore (z0 z1) (* (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))))
(FPCore (z0 z1) (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))))
(FPCore (z0 z1 z2) (/ (pow z0 2) (+ (pow z0 2) (pow (- z1 (* 24/25 z2)) 2))))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1 z2) (* (pow (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) -4))
(FPCore (z0 z1) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))
(FPCore (z0) (pow z0 3/5))
(FPCore (z0) (pow z0 34/5))
(FPCore (z0 z1 z2) (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)))
(FPCore (z0) (exp (* (* -14/5 (- z0 1)) (- z0 1))))
(FPCore (z0 z1) (pow (* z0 z1) 5))
(FPCore (z0 z1 z2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)))
(FPCore (z0) (* -15337/1000 (pow z0 3/2)))
(FPCore (z0) (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))))
(FPCore (z0 z1) (+ (- (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))) (* -60457/125 z0)) (* (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))))
(FPCore (z0) (sqrt (/ 77021/125 z0)))
(FPCore (z0) (sqrt (* 100/61689 z0)))
(FPCore (z0 z1 z2) (/ 1 (tanh (* z0 (* z1 z2)))))
(FPCore (z0) (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))))
(FPCore (z0) (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))))
(FPCore (z0 z1) (* -92639/125 (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10)))))))
(FPCore (z0 z1) (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10))))))
(FPCore (z0 z1) (* (sqrt (* 100/61689 z0)) (pow z1 2/3)))
(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 (* (* (- 1 z0) (- 1 z0)) (* (- 1 z0) (- 1 z0))) (- (/ 1/2 z1) 1)) z2) (/ z2 (* z1 z1))) (- 1 z0)))
(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) (pow (* 2/5 z0) 10))
(FPCore (z0) (- (pow (* 2/5 z0) 10)))
(FPCore (z0) (- 1 (exp (* z0 -1253/500))))
(FPCore (z0) (exp (- 15 (* -100 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1)))))
(FPCore (z0 z1) (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)))
(FPCore (z0 z1) (+ (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) (* (- 1 (exp (* z1 -1253/500))) -16731/100)))
(FPCore (z0) (* (- 1 (exp (* z0 -1253/500))) -16731/100))
(FPCore (z0) (- 1 (exp (- (pow (* 2/5 z0) 10)))))
(FPCore (z0) (exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60))))
(FPCore (z0) (/ z0 (+ (fabs (- z0 11/10)) 11/10)))
(FPCore (z0) (sqrt (sqrt z0)))
(FPCore (z0) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))
(FPCore (z0) (* 18347/125 (pow z0 4)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1)) (* (/ z2 (* z1 z1)) z2)))
(FPCore (z0 z1) (* (sqrt (* z0 z1)) 4543/125000000))
(FPCore (z0) (- (exp (* (- z0 2) -100)) -1))
(FPCore (z0 z1) (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z1 103/10)))
(FPCore (z0 z1) (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2))
(FPCore (z0 z1) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000))
(FPCore (z0) (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))))
(FPCore (z0) (pow (* (- 1 z0) (- 1 z0)) 1/5))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0 z1 z2) (* (/ (* (- (/ 1 z0) 1) z1) z0) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))
(FPCore (z0) (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (- (* (+ z1 z1) z1) z1) z2)))
(FPCore (z0) (pow (* (- 1 z0) (- 1 z0)) 5/3))
(FPCore (z0) (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))
(FPCore (z0 z1 z2) (* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))
(FPCore (z0) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))))
(FPCore (z0 z1) (fabs (- 1 (* (* (* z0 z1) z0) z1))))
(FPCore (z0) (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))))
(FPCore (z0) (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)))
(FPCore (z0) (pow z0 1/3))
(FPCore (z0) (pow z0 1/6))
(FPCore (z0 z1) (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)))
(FPCore (z0 z1) (pow (* z0 z1) 2))
(FPCore (z0 z1) (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2))
(FPCore (z0 z1) (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)))
(FPCore (z0 z1 z2) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))
(FPCore (z0) (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)))
(FPCore (z0 z1) (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z1 34/5)))
(FPCore (z0 z1) (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)))
(FPCore (z0 z1 z2) (- (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1))
(FPCore (z0 z1) (* (* (pow z0 -2/3) z1) 4543/125000000))
(FPCore (z0 z1 z2) (* (pow (* z0 z1) 5) z2))
(FPCore (z0 z1) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))
(FPCore (z0 z1 z2) (* z0 (/ (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1)) z2)))
(FPCore (z0) (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10))
(FPCore (z0 z1) (* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z0)) 1))))
(FPCore (z0) (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))))
(FPCore (z0 z1) (exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))))
(FPCore (z0 z1 z2) (* -3 (pow (tanh (* z0 (* z1 z2))) -4)))
(FPCore (z0 z1 z2) (fabs (tanh (* z0 (* z1 z2)))))
(FPCore (z0 z1 z2) (+ 1 (* (/ z0 7/10) (pow z1 z2))))
(FPCore (z0 z1 z2) (* (/ z0 7/10) (pow z1 z2)))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) 4))
(FPCore (z0 z1) (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2))
(FPCore (z0 z1 z2) (* (* 2 (/ z0 z1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))
(FPCore (z0 z1 z2) (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) 2))
(FPCore (z0) (* 119381/50000 (pow z0 33/10)))
(FPCore (z0) (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))))
(FPCore (z0 z1) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))))
(FPCore (z0 z1 z2) (* 2 (sinh (* z0 (* z1 z2)))))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) -3))
(FPCore (z0 z1 z2) (* (* (exp (* z0 z1)) (sqrt z2)) 552651/10000000000))
(FPCore (z0 z1 z2) (* 2 (sinh (* (* z0 z1) z2))))
(FPCore (z0) (* -122919/1000 (pow z0 3/2)))
(FPCore (z0) (sqrt (* 4/2367 z0)))
(FPCore (z0 z1) (+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))))
(FPCore (z0) (* (cbrt z0) -55320963042089/25000000000000))
(FPCore (z0 z1 z2) (* (* z0 z1) (/ (* (sin z2) (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1)))) (* z0 z1))))
(FPCore (z0) (pow (* 100/61689 z0) -16/5))
(FPCore (z0) (* -21391/1250 (pow z0 2/5)))
(FPCore (z0 z1) (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)))
(FPCore (z0) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0))))
(FPCore (z0) (exp (* (* (- z0 1) -14/5) (- z0 1))))
(FPCore (z0) (* 889/4000 (sqrt z0)))
(FPCore (z0 z1 z2) (- (* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3)) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2)))
(FPCore (z0) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))
(FPCore (z0) (* 159587/10000 (pow z0 2/5)))
(FPCore (z0) (pow (* 100/61689 z0) -3/10))
(FPCore (z0 z1 z2) (- (exp (* (* z0 (* z1 z2)) 2)) 1))
(FPCore (z0 z1) (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))))
(FPCore (z0 z1) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z1 103/10)) (+ (* 119381/50000 (pow z1 33/10)) (+ (/ (* 11101/6250000000000000 (pow z1 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z1) (* -91223/5000 (/ z0 630259/1000))) (pow z1 7/10)) (* 159587/10000 (pow z1 2/5)))))))
(FPCore (z0) (* (pow (* 100/61689 z0) -3/10) 320971/1000000))
(FPCore (z0 z1) (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (fabs z1))))
(FPCore (z0) (- (- (- (* (pow z0 4) -757467/100000) (* -365179/5000 (* (* z0 z0) z0))) (* 191039/1000 (* z0 z0))) (* -60457/125 z0)))
(FPCore (z0) (* -92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))))
(FPCore (z0 z1) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5))))
(FPCore (z0) (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))))
(FPCore (z0 z1) (* (- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000)) (pow z1 34/5)))
(FPCore (z0) (- (cbrt z0)))
(FPCore (z0 z1 z2) (- 1 (pow (tanh (* z0 (* z1 z2))) -2)))
(FPCore (z0) (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))))
(FPCore (z0) (/ 1664060 (pow z0 2)))
(FPCore (z0) (* -4401/20000 (sqrt z0)))
(FPCore (z0 z1) (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)))
(FPCore (z0 z1) (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))))
(FPCore (z0) (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))))
(FPCore (z0) (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2))))
(FPCore (z0 z1) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5)))))
(FPCore (z0 z1) (sqrt (* (* 1000 z0) z1)))
(FPCore (z0 z1 z2) (* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2)))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) 3))
(FPCore (z0 z1) (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)))
(FPCore (z0 z1) (- (* (exp (+ (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))) -3575667853841/1250000000) (* -177148/5 (exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))))))
(FPCore (z0 z1) (+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5))))))
(FPCore (z0) (sqrt (* 50/25391 z0)))
(FPCore (z0) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))
(FPCore (z0) (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))
(FPCore (z0) (* -17943/1000 (pow (- z0 62849/500000) 2)))
(FPCore (z0) (pow (- z0 62849/500000) 2))
(FPCore (z0 z1) (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)))
(FPCore (z0 z1 z2) (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 2))
(FPCore (z0 z1 z2) (* (* (- z0 1) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 630259/1000))))
(FPCore (z0 z1) (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))))
(FPCore (z0) (* -5924416513/1000000000000000000 (pow z0 2/3)))
(FPCore (z0) (* (pow z0 4) -5311581/2000000))
(FPCore (z0 z1) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z1 34/5)) (+ (* -145009/5000000 (pow z1 33/10)) (+ (/ (* 86433/500000000000000 (pow z1 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z1) (* -47463/2500 (/ z0 61689/100))) (pow z1 3/5)) (* 21391/1250 (pow z1 2/5)))))))
(FPCore (z0 z1 z2) (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))))
(FPCore (z0) (- 1 (exp (* -1253/500 z0))))
(FPCore (z0) (* -16731/100 (- 1 (exp (* -1253/500 z0)))))
(FPCore (z0 z1) (* (sqrt (* 1000/630259 z0)) (pow z1 2/3)))
(FPCore (z0) (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))))
(FPCore (z0 z1 z2) (- (pow (tanh (* z0 (* z1 z2))) 2)))
(FPCore (z0 z1) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))
(FPCore (z0 z1 z2) (* (* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0))) (/ (* z2 z2) (* z1 z1))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 61689/100))))
(FPCore (z0 z1) (- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1))))
(FPCore (z0) (* -4492659933/100000000000000000 (cbrt z0)))
(FPCore (z0) (pow (/ z0 5/2) 10))
(FPCore (z0) (- 1 (exp (- (pow (/ z0 5/2) 10)))))
(FPCore (z0) (- (pow (/ z0 5/2) 10)))
(FPCore (z0 z1 z2) (* (* (- 1 (+ z0 z0)) (- (* z0 z1))) (pow (* (- z2 1) (- z2 1)) (- z0 1))))
(FPCore (z0) (* -191039/1000 (pow z0 2)))
(FPCore (z0 z1 z2) (* (/ 1 (pow (* z0 z1) 2)) (* (- 1 (* 5/4 (pow (* z0 z1) 2))) (sin z2))))
(FPCore (z0) (* 365179/5000 (pow z0 3)))
(FPCore (z0) (* -159587/10000 (pow z0 2/5)))
(FPCore (z0 z1) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5)))
(FPCore (z0) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 25391/50))))
(FPCore (z0) (exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)))
(FPCore (z0) (pow (* 1000/630259 z0) -22/5))
(FPCore (z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))))
(FPCore (z0 z1 z2) (- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (tanh (* z0 (* z1 z2))) -4))))
(FPCore (z0 z1) (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)))
(FPCore (z0) (+ (* 60457/125 z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4))))))
(FPCore (z0 z1) (fabs (- (* (* (* z0 z1) z0) z1) 1)))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0 z1) (pow (fabs (- (* (* (* z0 z1) z0) z1) 1)) 3/2))
(FPCore (z0 z1) (* (- (* -91223/3151295 z0) (* -104497/10000 z1)) (pow z1 7/10)))
(FPCore (z0) (pow z0 7034007057/10000000000))
(FPCore (z0 z1) (pow z0 (- z1 1)))
(FPCore (z0) (pow z0 806282737481277/100000000000000))
(FPCore (z0 z1) (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2))
(FPCore (z0) (* 1427549651/10000000000000 (cbrt z0)))
(FPCore (z0 z1) (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000))
(FPCore (z0) (pow z0 35969/50000))
(FPCore (z0 z1 z2) (* (* (* (+ (* -2 z0) 1) z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1))))
(FPCore (z0 z1) (pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000))
(FPCore (z0) (+ (* -16731/100 (- 1 (exp (* -1253/500 z0)))) (+ (* 60457/125 z0) (+ (* -191039/1000 (pow z0 2)) (+ (* 365179/5000 (pow z0 3)) (* -757467/100000 (pow z0 4)))))))
(FPCore (z0) (pow (* 1000/630259 z0) -4/5))
(FPCore (z0) (pow z0 4681/10000))
(FPCore (z0) (* 4033572907/5000000000000000 (pow z0 2/3)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1))))
(FPCore (z0) (/ -57033 (pow z0 2)))
(FPCore (z0) (sqrt (* 50/28101 z0)))
(FPCore (z0) (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))
(FPCore (z0) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0))))))
(FPCore (z0 z1) (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))))
(FPCore (z0) (* (pow z0 2/3) 411354199/12500000000000))
(FPCore (z0) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))))
(FPCore (z0) (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))
(FPCore (z0) (+ (/ 2366/5 z0) (/ -57033 (pow z0 2))))
(FPCore (z0 z1 z2) (- 1 (pow (tanh (* (* z0 z1) z2)) -2)))
(FPCore (z0 z1 z2) (/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2)))
(FPCore (z0 z1 z2) (- 1 (/ (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)) (pow (tanh (* z0 (* z1 z2))) 2))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (+ (* (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) (pow z0 2/3)) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0 z1) (sqrt (* (* z0 1000) z1)))
(FPCore (z0) (* (cbrt z0) 36572510765913/500000000))
(FPCore (z0 z1) (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))))
(FPCore (z0 z1) (* (pow z0 4681/10000) z1))
(FPCore (z0) (sin (* z0 3)))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- (+ (/ 1 z1) -2) -1)))
(FPCore (z0 z1 z2) (* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* (* (* z0 z1) z0) z1))))
(FPCore (z0) (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))
(FPCore (z0 z1) (* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3)))
(FPCore (z0 z1 z2) (+ (* (log z0) z1) z2))
(FPCore (z0) (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))
(FPCore (z0 z1 z2) (- (/ 1 (tanh (* z0 (* z1 z2)))) (pow (tanh (* z0 (* z1 z2))) -3)))
(FPCore (z0 z1 z2) (- (tanh (* (* z0 z1) z2))))
(FPCore (z0 z1 z2) (pow (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1))) 2))
(FPCore (z0) (* (sin (* z0 3)) 1/12))
(FPCore (z0) (* 267184324754639/50000000000000 (sqrt z0)))
(FPCore (z0 z1) (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)))
(FPCore (z0 z1) (- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1))
(FPCore (z0 z1 z2) (/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))
(FPCore (z0 z1) (* (+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))) z1))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2))
(FPCore (z0 z1 z2) (+ (* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0) (pow (/ z0 630259/1000) -4/5))
(FPCore (z0) (* 265651/100000000 (pow (/ z0 630259/1000) -4/5)))
(FPCore (z0) (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))))
(FPCore (z0 z1 z2) (pow (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (* (/ z2 z1) (- z0 1))) 2))
(FPCore (z0 z1) (- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1))))))
(FPCore (z0 z1) (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))))
(FPCore (z0 z1 z2) (/ (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 2/3)))
(FPCore (z0 z1) (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))))
(FPCore (z0) (sqrt (* (fabs z0) 1000)))
(FPCore (z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4)))
(FPCore (z0) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))))
(FPCore (z0 z1) (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10)))
(FPCore (z0 z1) (/ (atan z0) z1))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt (/ z1 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z1 630259/1000) -4/5))) (pow z0 103/10)) (+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (/ z1 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (/ z1 630259/1000))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))))))
(FPCore (z0 z1) (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))))
(FPCore (z0 z1) (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))))
(FPCore (z0 z1) (pow (- z0 (* 24/25 z1)) 2))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -3))
(FPCore (z0 z1) (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)))
(FPCore (z0 z1) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))
(FPCore (z0) (* 3006667839/500000000000000 (cbrt z0)))
(FPCore (z0) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2))
(FPCore (z0) (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)))
(FPCore (z0 z1) (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000))
(FPCore (z0) (exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000))))
(FPCore (z0) (* (pow z0 33/10) -145009/5000000))
(FPCore (z0) (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))
(FPCore (z0) (sin (* 3 z0)))
(FPCore (z0) (pow (/ z0 630259/1000) 22/5))
(FPCore (z0) (* 1/12 (sin (* 3 z0))))
(FPCore (z0 z1 z2) (- 1 (exp (* -2 (* z0 (* z1 z2))))))
(FPCore (z0 z1) (pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2))
(FPCore (z0 z1) (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)))
(FPCore (z0) (* -145009/5000000 (pow z0 33/10)))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0 z1) (/ (sqrt z0) z1))
(FPCore (z0 z1 z2) (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))
(FPCore (z0 z1) (pow (pow (- (/ (- z0 1) z0) (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3))) 2) 39751/100000))
(FPCore (z0) (sqrt (sqrt (* 1000/630259 z0))))
(FPCore (z0) (* 45097/2000 (pow z0 2)))
(FPCore (z0 z1) (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))))
(FPCore (z0 z1) (* (- (* -15821/514075 z0) (* -9233/625 z1)) (pow z1 3/5)))
(FPCore (z0) (pow (/ z0 61689/100) -3/10))
(FPCore (z0) (* 320971/1000000 (pow (/ z0 61689/100) -3/10)))
(FPCore (z0) (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))))
(FPCore (z0 z1 z2) (* (- 1 (* 3/2 (pow (* z0 z1) 2))) z2))
(FPCore (z0) (* 26093/2000 (pow z0 3)))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt (/ z1 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z1 61689/100) -3/10))) (pow z0 34/5)) (+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5))))))))
(FPCore (z0) (* (pow z0 3/2) 122919/1000))
(FPCore (z0) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))
(FPCore (z0 z1 z2) (* (pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2) z2))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0) (* 21391/1250 (pow z0 2/5)))
(FPCore (z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))))
(FPCore (z0) (* 4423/20000 (sqrt z0)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 28101/50))))
(FPCore (z0 z1) (* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 28101/50)))))
(FPCore (z0) (+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5))))))
(FPCore (z0) (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000))
(FPCore (z0) (+ 1 (+ (* 373223/10000 z0) (+ (* 45097/2000 (pow z0 2)) (+ (* 26093/2000 (pow z0 3)) (* -52147/20000 (pow z0 5)))))))
(FPCore (z0 z1) (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))))
(FPCore (z0 z1) (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))))
(FPCore (z0 z1 z2) (cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2))))))
(FPCore (z0 z1 z2) (* z0 (* (/ 1 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)))))
(FPCore (z0) (sqrt (sqrt (* 100/61689 z0))))
(FPCore (z0 z1 z2) (* (- 1 (* (* (* (* z0 z1) z0) z1) 5/4)) (sin z2)))
(FPCore (z0) (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))))
(FPCore (z0 z1) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10))))
(FPCore (z0 z1) (* (* (pow (* 100/61689 z0) -16/5) -86433/500000000000000) (pow z1 22)))
(FPCore (z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))))
(FPCore (z0 z1) (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))))
(FPCore (z0 z1 z2) (- (pow (tanh (* z0 (* z1 z2))) 4)))
(FPCore (z0 z1 z2) (- 1 (cosh (/ (* z0 z0) (- (* z0 (/ z0 (* z1 z2))) (* -1/3 (* (* (* z1 z2) z1) z2)))))))
(FPCore (z0) (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))))
(FPCore (z0) (* (pow z0 1/6) -46133662500891/125000000000))
(FPCore (z0) (- 269503247933569/1000000000 (* (cbrt z0) 36572510765913/500000000)))
(FPCore (z0) (pow (/ z0 61689/100) 16/5))
(FPCore (z0) (* 46133662500891/125000000000 (pow z0 1/6)))
(FPCore (z0 z1) (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))))
(FPCore (z0 z1 z2) (- (- (tanh (* z0 (* z1 z2))))))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (pow z1 2/3)))
(FPCore (z0 z1 z2) (* -2 (sinh (* (* z0 z1) z2))))
(FPCore (z0 z1) (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))))
(FPCore (z0 z1 z2) (* (sqrt (fabs z0)) (* (* (pow z1 -2/3) z2) 4543/125000000)))
(FPCore (z0 z1) (* (+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3))) (pow z1 3)))
(FPCore (z0 z1 z2) (- 1 (exp (* (* (* z0 z1) z2) -2))))
(FPCore (z0) (sqrt (sqrt (* 4/2367 z0))))
(FPCore (z0) (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)))
(FPCore (z0 z1) (* (- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0))) z1))
(FPCore (z0 z1 z2) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))
(FPCore (z0 z1 z2) (/ 3 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))))
(FPCore (z0 z1) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))
(FPCore (z0 z1) (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))))
(FPCore (z0) (- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000))
(FPCore (z0) (- 5379/20000 (* (pow (* 100/61689 z0) -3/10) 320971/1000000)))
(FPCore (z0 z1 z2) (/ (- 1 (pow (tanh (* z0 (* z1 z2))) -2)) (tanh (* z0 (* z1 z2)))))
(FPCore (z0 z1 z2) (* (* (pow (* z0 z1) 5) z2) (* z1 1/5)))
(FPCore (z0) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))
(FPCore (z0 z1) (* z0 (pow z1 4681/10000)))
(FPCore (z0 z1) (* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0 z1) (* (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))))
(FPCore (z0 z1) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))))
(FPCore (z0 z1) (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))))
(FPCore (z0 z1) (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000))
(FPCore (z0 z1) (- z0 (* (- 1 z1) (atan z0))))
(FPCore (z0 z1) (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000))
(FPCore (z0 z1) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15))))))
(FPCore (z0) (* 145009/5000000 (pow z0 33/10)))
(FPCore (z0 z1 z2) (* z0 (pow z1 (- z2 1))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 1)) z2))
(FPCore (z0 z1) (* 6673/250000000000 (sqrt (* (* z0 1000) z1))))
(FPCore (z0) (* 4401/20000 (sqrt z0)))
(FPCore (z0 z1) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))))
(FPCore (z0 z1) (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))))
(FPCore (z0) (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))
(FPCore (z0 z1) (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))))
(FPCore (z0 z1) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))))))
(FPCore (z0 z1) (- (* -933/50 (* z0 z0)) (* 17/4 (pow z1 4))))
(FPCore (z0 z1 z2) (- 1 (exp (* (* z0 (* z1 z2)) -2))))
(FPCore (z0) (sqrt (/ z0 630259/1000)))
(FPCore (z0) (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 2)) z2))
(FPCore (z0 z1 z2) (* (- 1 (* 5/4 (* (* (* z0 z1) z0) z1))) (sin z2)))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367)))
(FPCore (z0 z1) (* 1/1000000 (* (* (pow z0 2/3) (sqrt (fabs z1))) (sqrt 4/2367))))
(FPCore (z0 z1) (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)))
(FPCore (z0 z1 z2) (+ (* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* (+ (* 66407/5000 z1) (- -54312/5 (/ -1664060 z1))) (/ z2 z1))))
(FPCore (z0 z1 z2) (* (pow (* z0 z1) 5) (* z2 1/5)))
(FPCore (z0 z1) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))))
(FPCore (z0 z1) (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))))
(FPCore (z0 z1 z2) (* (- (log (fabs z0)) (log (fabs z1))) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2))))
(FPCore (z0 z1) (* z0 (pow z1 2)))
(FPCore (z0 z1) (* (* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000) (pow z1 25)))
(FPCore (z0 z1) (/ (- z0 (* (- 1 z1) (atan z0))) z1))
(FPCore (z0) (* (pow z0 33/10) 119381/50000))
(FPCore (z0 z1) (+ (pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)) (/ (- z0 1) z0)) 2) 39751/100000)))
(FPCore (z0 z1 z2) (* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))))
(FPCore (z0) (sqrt (/ z0 61689/100)))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)))
(FPCore (z0 z1 z2) (* (/ 1 (pow (* z0 -2) -1)) (* (* z1 z2) (* (* z1 z2) (* z1 z2)))))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))))
(FPCore (z0) (* (pow z0 2/3) 1/1000000))
(FPCore (z0) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000))
(FPCore (z0) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0))))
(FPCore (z0) (* 196 (pow z0 35969/50000)))
(FPCore (z0 z1) (sqrt (* z0 (* 1000 z1))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ (* z2 (- (* 1 z1) 1)) (* z1 z1))))
(FPCore (z0 z1) (+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)))
(FPCore (z0 z1) (pow (exp z0) z1))
(FPCore (z0 z1 z2) (+ (/ z0 z1) (/ z2 (pow z1 2))))
(FPCore (z0 z1 z2) (sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))
(FPCore (z0 z1) (exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3))))
(FPCore (z0 z1) (+ z0 (* (atan z0) (- z1 1))))
(FPCore (z0 z1) (/ (+ z0 (* (atan z0) (- z1 1))) z1))
(FPCore (z0 z1) (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))))
(FPCore (z0 z1) (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))))
(FPCore (z0 z1 z2) (* (* (- z0 1) (/ z1 (* z0 z0))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1))))
(FPCore (z0) (sqrt (/ z0 25391/50)))
(FPCore (z0 z1) (/ (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z1))
(FPCore (z0 z1 z2) (- (/ 1 (tanh (* (* z0 z1) z2))) (/ 1 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2)))))))
(FPCore (z0 z1) (* (pow (* (- 1 z0) (- 1 z0)) (* 2 (- (/ 1/2 z1) 1))) (* (- 1 z0) (- 1 z0))))
(FPCore (z0 z1 z2) (pow (pow (tanh (* z0 (* z1 z2))) 2) 2))
(FPCore (z0 z1 z2) (* (pow (tanh (* z0 (* z1 z2))) -4) -3))
(FPCore (z0 z1 z2) (/ 3 (pow (pow (tanh (* z0 (* z1 z2))) 2) 2)))
(FPCore (z0) (- (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z0))))
(FPCore (z0) (/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0)))))))
(FPCore (z0) (- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000))
(FPCore (z0) (* 100 (sqrt z0)))
(FPCore (z0 z1 z2) (* (+ (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))) (/ 3995125013/10000000000000000 z0)) (* (pow z1 2) (log (/ z1 z2)))))
(FPCore (z0 z1 z2) (* (- (* 5/4 (* (* (* z0 z1) z0) z1)) 1) (sin z2)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* z2 z2)))
(FPCore (z0) (- (* (pow z0 1/6) -46133662500891/125000000000) -34987097863767/20000000000))
(FPCore (z0 z1) (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))))
(FPCore (z0 z1) (* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* z1 -15821/514075) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))))
(FPCore (z0 z1) (* (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) (pow z0 2/3)))
(FPCore (z0 z1 z2) (/ (sqrt (* (fabs z0) 1000)) (- (- (* (exp (* -1933/2500 (/ z1 z2))) 52487/100000) (* -23229/20000 (pow (/ z1 z2) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z1 z2)))))))
(FPCore (z0 z1 z2) (pow (- (tanh (* z0 (* z1 z2)))) 3))
(FPCore (z0) (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2))))) 2))
(FPCore (z0 z1) (* (* 2/5 z0) (exp (/ -367/2 z1))))
(FPCore (z0 z1) (- (* (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))) (exp (* 6/5 (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))) (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0)))))
(FPCore (z0) (sqrt (sqrt (fabs z0))))
(FPCore (z0) (* -18347/125 (pow z0 4)))
(FPCore (z0 z1 z2) (* (* (- z0) z1) (pow z2 (- z1 2))))
(FPCore (z0) (sqrt (sqrt (* 50/28101 z0))))
(FPCore (z0 z1 z2) (* (* -17/56 (* z0 z1)) (pow (* z2 z0) 7)))
(FPCore (z0 z1 z2) (sinh (* (- z0) (* z1 z2))))
(FPCore (z0 z1) (* (- 1 (/ 1 z0)) (atan z1)))
(FPCore (z0 z1 z2) (* (- (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))) (/ -3995125013/10000000000000000 z0)) (log (/ z1 z2))))
(FPCore (z0 z1 z2) (pow (sinh (* (* z0 z1) z2)) -2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (* (/ z2 (* z1 z1)) z2)))
(FPCore (z0) (* -119381/50000 (pow z0 33/10)))
(FPCore (z0) (* (sqrt (sqrt z0)) (sqrt (sqrt z0))))
(FPCore (z0 z1) (* (pow z0 2/3) (* (sqrt (sqrt (* 100/61689 z1))) (sqrt (sqrt (* 100/61689 z1))))))
(FPCore (z0 z1) (* (- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))) z1))
(FPCore (z0 z1 z2) (+ (* (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000) z2)))
(FPCore (z0 z1) (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))))
(FPCore (z0) (* (sqrt z0) 889/4000))
(FPCore (z0 z1) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15))))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 1)) (* (- z2) z1)))
(FPCore (z0 z1) (* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))))
(FPCore (z0) (* (* -4401/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))))
(FPCore (z0) (/ (* 889/4000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))))
(FPCore (z0 z1) (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z1 103/10)))
(FPCore (z0) (- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))))
(FPCore (z0 z1 z2) (* (- z0) (pow (* (- 1 z1) (- 1 z1)) z2)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))))
(FPCore (z0) (/ 1 (sqrt z0)))
(FPCore (z0) (* (sqrt z0) 4401/20000))
(FPCore (z0) (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z0 62849/500000) 2)))))))
(FPCore (z0) (* (sqrt z0) 237799/500000000))
(FPCore (z0 z1 z2) (* (* -552651/10000000000 (sqrt z0)) (exp (* z1 z2))))
(FPCore (z0) (* 411354199/12500000000000 (pow z0 2/3)))
(FPCore (z0 z1) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5))))
(FPCore (z0 z1 z2) (* 3 (pow (tanh (* z0 (* z1 z2))) -2)))
(FPCore (z0 z1) (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15)))))))
(FPCore (z0 z1) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z1) (* -564493/100000 (pow z1 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z1 (+ (fabs (- z1 11/10)) 11/10)) 1)) 15))))))))
(FPCore (z0) (* -1427549651/10000000000000 (pow z0 1/3)))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 2)) z1) (- z2)))
(FPCore (z0) (* 13935017/5000000000 (pow z0 7034007057/10000000000)))
(FPCore (z0 z1 z2) (- (pow (tanh (* (* z0 z1) z2)) 2)))
(FPCore (z0 z1) (pow (+ (pow (* (pow (- (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10) (- 1 z1)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z1) (- 1 z1)) 5/3)) (/ (- z0 1) z0)) 2) 39751/100000)) -79857/100000))
(FPCore (z0 z1 z2) (- (pow (tanh (* (* z0 z1) z2)) -2)))
(FPCore (z0) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3))))
(FPCore (z0 z1 z2) (/ 1/2 (sinh (* (* z0 z1) z2))))
(FPCore (z0) (pow (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1))) 2))
(FPCore (z0 z1) (* (pow z0 (- z1 2)) z1))
(FPCore (z0 z1 z2) (* (- (* (* (* (* z0 z1) z0) z1) 5/4) 1) (sin z2)))
(FPCore (z0 z1 z2) (- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3)))
(FPCore (z0 z1 z2) (* (sinh (* (* z0 z1) z2)) 2))
(FPCore (z0) (* (pow z0 2/3) 4033572907/5000000000000000))
(FPCore (z0) (- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0 z1 z2) (* (pow (tanh (* (* z0 z1) z2)) -2) 3))
(FPCore (z0 z1 z2) (+ (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))) (/ 3 (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))))))
(FPCore (z0) (+ (+ 186297053/1000000000000 (* -1455192887/2000000000000000 z0)) (+ (* -1427549651/10000000000000 (pow z0 1/3)) (* 411354199/12500000000000 (pow z0 2/3)))))
(FPCore (z0 z1 z2) (* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2))))
(FPCore (z0 z1) (- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))))
(FPCore (z0 z1 z2) (* (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1) (* z2 -2)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 2367/4))))
(FPCore (z0 z1) (* 1/1000000 (* (pow z0 2/3) (sqrt (/ z1 2367/4)))))
(FPCore (z0 z1 z2) (* 2 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))))
(FPCore (z0) (* -199789/20000 (pow z0 2)))
(FPCore (z0 z1) (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))))
(FPCore (z0 z1) (pow (pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2) 77963/100000))
(FPCore (z0 z1) (pow (* 33791/100000 (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5)))))))) 2))
(FPCore (z0 z1) (- z0 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z1) 2) 1/5))))))))
(FPCore (z0) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5))
(FPCore (z0 z1 z2) (+ z0 (* (log z1) z2)))
(FPCore (z0 z1 z2) (* (log (/ z0 z1)) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2))))
(FPCore (z0 z1) (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5)))
(FPCore (z0) (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)))
(FPCore (z0 z1 z2) (/ (+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4)) (* z1 z2)))
(FPCore (z0 z1 z2) (+ (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (sin (+ z0 z0)) -1/4)))
(FPCore (z0) (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))
(FPCore (z0 z1 z2) (sinh (* (* (- z0) z1) z2)))
(FPCore (z0 z1) (exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0)))))
(FPCore (z0) (* (sqrt z0) 4423/20000))
(FPCore (z0 z1) (* (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))))))))
(FPCore (z0 z1) (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))))
(FPCore (z0) (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1))
(FPCore (z0) (exp (* (* (- 1 z0) (- 1 z0)) -14/5)))
(FPCore (z0) (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1))
(FPCore (z0) (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000))
(FPCore (z0) (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))
(FPCore (z0) (- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)))
(FPCore (z0 z1) (- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0)))
(FPCore (z0) (sqrt (* (* z0 z0) (* z0 z0))))
(FPCore (z0 z1) (/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (/ z1 54013/100))))
(FPCore (z0 z1) (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))))
(FPCore (z0 z1) (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)))
(FPCore (z0 z1) (+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (/ (- z1 1) z1) (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))) 2) 39751/100000)))
(FPCore (z0 z1) (* (- z0 1) (/ (atan z1) z0)))
(FPCore (z0 z1) (- 1 (* 5/4 (pow (* z0 z1) 2))))
(FPCore (z0 z1) (* 5/4 (pow (* z0 z1) 2)))
(FPCore (z0 z1) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))
(FPCore (z0 z1 z2) (* (pow (exp z0) z1) (sqrt z2)))
(FPCore (z0 z1) (* 23229/20000 (pow (/ z0 z1) -7437/50000)))
(FPCore (z0 z1) (* (sqrt (* 4/2367 z0)) (pow z1 2/3)))
(FPCore (z0 z1) (/ 1 (pow (* z0 z1) 2)))
(FPCore (z0) (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5)))
(FPCore (z0) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000)))
(FPCore (z0 z1 z2) (+ (* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000) z2)))
(FPCore (z0 z1) (pow z0 (- z1 3)))
(FPCore (z0 z1) (/ (+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4))) (/ z1 2367/4)))
(FPCore (z0) (- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)))
(FPCore (z0 z1) (exp (+ (* (* -14/5 (- z0 1)) (- z0 1)) (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0 z1 z2) (* z0 (/ (pow z1 2) (+ (pow z1 2) (pow (- (* 3/5 z2) (* 24/25 z2)) 2)))))
(FPCore (z0 z1 z2) (* (* (pow (exp z0) z1) (sqrt z2)) 552651/10000000000))
(FPCore (z0 z1 z2) (+ (* (+ (- (* (pow z0 103/10) (- (* (pow (* 1000/630259 z1) -4/5) 265651/100000000) 205581/100000000)) (* -119381/50000 (pow z0 33/10))) (- (- (* (pow z0 7/10) (- (* z1 -91223/3151295) (* -104497/10000 z0))) (* -159587/10000 (pow z0 2/5))) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0 z1 z2) (* (- (* (- 1 (* (* 5/4 (* z0 z1)) (* z0 z1))) (/ 1 (* (* (* z0 z1) z0) z1)))) (sin z2)))
(FPCore (z0) (/ (- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000))))
(FPCore (z0 z1) (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))))
(FPCore (z0 z1) (- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z1 3) z1))) (/ 1 z0))))))
(FPCore (z0 z1 z2) (sinh (/ (- z0) (- (/ z0 (* z1 z2)) (/ (* -1/3 (* (* (* z1 z2) z1) z2)) z0)))))
(FPCore (z0 z1 z2) (- (* (- z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2)))))
(FPCore (z0 z1) (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2))
(FPCore (z0 z1 z2) (- (exp (* 2 (* (* z0 z1) z2))) 1))
(FPCore (z0 z1) (pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000))
(FPCore (z0) (* 7/2 (+ (exp (* -14/5 (pow (- z0 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) -1)))))
(FPCore (z0) (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- 1 z0) (- 1 z0)) -14/5))))
(FPCore (z0 z1) (* (- (- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000) (* -5924416513/1000000000000000000 (pow z0 2/3))) z1))
(FPCore (z0 z1 z2) (* (/ 1 (/ z0 (* z1 (/ (- z0 1) z0)))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1 z2) (* (* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))) (/ z2 z0)))
(FPCore (z0) (* (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))) 7/2))
(FPCore (z0 z1) (* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1))))
(FPCore (z0) (/ (- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000))))
(FPCore (z0) (* 92639/125 (- 1 (exp (- (pow (* 2/5 z0) 10))))))
(FPCore (z0 z1) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10)))
(FPCore (z0 z1 z2) (pow (sinh (* (* z0 z1) z2)) 2))
(FPCore (z0 z1) (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))))
(FPCore (z0) (* 36572510765913/500000000 (cbrt z0)))
(FPCore (z0 z1) (+ (* (- 1 (/ 1 z0)) (atan z1)) (/ z1 z0)))
(FPCore (z0 z1) (- (log (fabs z0)) (log (fabs z1))))
(FPCore (z0 z1) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5)))))
(FPCore (z0) (sqrt (/ z0 28101/50)))
(FPCore (z0) (- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))))
(FPCore (z0 z1 z2) (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (- (/ (* z2 z0) (+ (* (* (/ z0 (* z2 3)) z0) z0) z2)))))))
(FPCore (z0 z1 z2) (* (* (* (- z0 1) z0) z1) (pow z2 (- z0 1))))
(FPCore (z0 z1 z2) (- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* (pow (tanh (* z0 (* z1 z2))) -4) -3)))
(FPCore (z0 z1) (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1)))
(FPCore (z0) (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000))
(FPCore (z0) (- -1 (exp (* (- z0 2) -100))))
(FPCore (z0 z1) (+ (* 119381/50000 (pow z0 33/10)) (+ (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))) 22/5)) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))))
(FPCore (z0 z1 z2) (- 1 (exp (* -2 (* (* z0 z1) z2)))))
(FPCore (z0 z1 z2) (pow (pow (tanh (* z0 (* z1 z2))) 2) -2))
(FPCore (z0 z1 z2) (* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2)))
(FPCore (z0) (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)))
(FPCore (z0 z1 z2) (- (* z0 z1) (* (- (sqrt (* (* z1 z1) (* z1 z1)))) z2)))
(FPCore (z0) (exp (/ (- (* 2366/5 z0) 57033) (* z0 z0))))
(FPCore (z0 z1) (* (- 1 (/ 1 z0)) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1 z2) (fabs (sinh (* z0 (* z1 z2)))))
(FPCore (z0) (* (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) 4423/20000) (sqrt z0)))
(FPCore (z0 z1 z2) (/ z0 (* (* 1000000000000000000 (exp z1)) z2)))
(FPCore (z0 z1 z2) (* (* (- z0 1) z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 3)) z2))
(FPCore (z0 z1 z2) (* 2 (sinh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))))
(FPCore (z0 z1) (* (- (* 5924416513/1000000000000000000 (pow z0 2/3)) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))) z1))
(FPCore (z0 z1) (+ (* (exp (+ (* (* -14/5 (- z0 1)) (- z0 1)) (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))) 177148/5) (* (* (* (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))) (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000)))) -80738543/1000000000) 177148/5)))
(FPCore (z0 z1) (* (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) (* (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))) 177148/5)))
(FPCore (z0 z1) (* (- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1) (- (* (exp (+ (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1)))) -3575667853841/1250000000) (* -177148/5 (exp (+ (* (* (- z0 1) -14/5) (- z0 1)) (- (* (* z1 z1) -564493/100000) (* -144847/1000000 z1))))))))
(FPCore (z0 z1 z2) (* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) (/ z2 (* z0 z1))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1 z1)) (* z2 z2)))
(FPCore (z0 z1) (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))))
(FPCore (z0) (* (pow (* 100/61689 z0) -16/5) -86433/500000000000000))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 61689/100))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5)))))))))
(FPCore (z0 z1) (/ (pow z0 2) (* (* 3 z1) z1)))
(FPCore (z0) (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))))
(FPCore (z0 z1 z2) (* (pow (tanh (* (* z0 z1) z2)) -2) 4))
(FPCore (z0 z1) (+ (- (pow (* 670697/100000 (- z0 1)) 2)) (- (pow (* 23651/25000 (- z1 1)) 2))))
(FPCore (z0) (* 4492659933/100000000000000000 (pow z0 1/3)))
(FPCore (z0 z1 z2) (/ 3 (tanh (* z0 (* z1 z2)))))
(FPCore (z0) (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))))
(FPCore (z0 z1) (exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))
(FPCore (z0 z1) (* (sqrt (* (* z0 z0) (* z0 z0))) z1))
(FPCore (z0) (- (- (- (* z0 373223/10000) -1) (- (* 52147/20000 (pow z0 5)) (* (* (* z0 z0) z0) 26093/2000))) (* -45097/2000 (* z0 z0))))
(FPCore (z0 z1 z2) (* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* 1000000000 z2)))
(FPCore (z0 z1) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z1 103/10)) (+ (* 119381/50000 (pow z1 33/10)) (+ (/ (* 11101/6250000000000000 (pow z1 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z1) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z1 7/10)) (* 159587/10000 (pow z1 2/5)))))))
(FPCore (z0) (+ (+ -5213335363/100000000000000000 (* 4492659933/100000000000000000 (pow z0 1/3))) (* -5924416513/1000000000000000000 (pow z0 2/3))))
(FPCore (z0 z1 z2) (* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1)))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (pow z2 2/3) (+ (+ (* 122919/1000 (pow z2 3/2)) (+ (* -282329/1000 (pow z2 2)) (+ (* 69837/250 (pow z2 3)) (+ (* -18347/125 (pow z2 4)) (+ (* 28361/1000 (pow z2 5)) (* -917/200000 (pow z2 11))))))) (* (/ 1 (sqrt (/ z0 77021/125))) (+ (* 15337/1000 (pow z2 3/2)) (+ (* -2191/5000000 (pow z2 11)) (* 2307/100000000 (pow z2 15)))))))))
(FPCore (z0) (- (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4)) (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0)))
(FPCore (z0 z1 z2) (* (* (sqrt z0) 552651/10000000000) (exp (* z1 z2))))
(FPCore (z0 z1) (/ (pow z0 -2/3) z1))
(FPCore (z0) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)))
(FPCore (z0) (* -267184324754639/50000000000000 (sqrt z0)))
(FPCore (z0 z1) (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))))
(FPCore (z0 z1) (* (- (* (+ (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)) (/ (* (exp (* (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)) 4)) 5000000000) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))) (pow (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1)))) 2)) -1) (* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* -14/5 (- z0 1)) (- z0 1))))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1))))))
(FPCore (z0 z1 z2) (- (exp (* (* (* z0 z1) z2) 2)) 1))
(FPCore (z0) (* -5311581/2000000 (pow z0 4)))
(FPCore (z0 z1 z2) (* (- (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -108089/50000 (exp (* -243787/100000 (/ z0 z1))))) z2))
(FPCore (z0) (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2)))
(FPCore (z0 z1 z2) (* (sin z0) (- 1 (* z1 (* (* (* z2 z1) z2) 5/4)))))
(FPCore (z0) (* (+ (+ (* z0 373223/10000) 1) (- (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) 46383/62500000))
(FPCore (z0 z1) (* 1/1000000 (* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1)))))))
(FPCore (z0 z1) (* (pow z0 2/3) (* (sqrt (sqrt (* 4/2367 z1))) (sqrt (sqrt (* 4/2367 z1))))))
(FPCore (z0 z1 z2) (/ (- z0) (sinh (* (* z1 z2) z0))))
(FPCore (z0) (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)))
(FPCore (z0 z1) (pow (* z0 z1) 7))
(FPCore (z0 z1 z2) (* (- (* z0 z1) 1) (* (* (pow (* z2 z0) 5) z1) (* z0 1/5))))
(FPCore (z0) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4))))
(FPCore (z0 z1) (+ (* (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))))) (+ 1 (* (pow (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1))) 2) (+ (/ (* 5000000000 (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 4)) (+ 1 (exp (+ (* 60 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 20)))) (/ (* 7/2 (+ (exp (* -14/5 (pow (- z1 1) 2))) (/ 1 (pow (* (exp (* (* -17943/1000 (- z1 62849/500000)) (- z1 62849/500000))) -80738543/1000000000) -1)))) (+ 1 (exp (+ (* 100 (- (/ z0 (+ (fabs (- z0 11/10)) 11/10)) 1)) 15)))))))) (* -92639/125 (* (pow (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) 6/5) (- 1 (exp (- (pow (/ z1 5/2) 10))))))))
(FPCore (z0) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0)))
(FPCore (z0 z1 z2) (- (exp (* (* z0 z1) (+ z2 z2))) 1))
(FPCore (z0 z1) (* (- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0)) (/ 2367/4 z1)))
(FPCore (z0 z1) (/ -1 (* (- z0 1) (/ (atan z1) z0))))
(FPCore (z0 z1) (exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))
(FPCore (z0 z1 z2) (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)))
(FPCore (z0) (+ (* 1244951/62500 z0) (* -5311581/2000000 (pow z0 4))))
(FPCore (z0) (- (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (/ -3995125013/10000000000000000 z0)))
(FPCore (z0) (sqrt (sqrt (sqrt z0))))
(FPCore (z0 z1) (* (* -2/5 z0) (exp (/ -367/2 z1))))
(FPCore (z0 z1) (exp (- (- (* (* (* z0 z0) z0) -1/3) (* 559369801/625000000 (* (- 1 z0) (- 1 z0)))) (* 449834465809/10000000000 (* (- 1 z1) (- 1 z1))))))
(FPCore (z0 z1) (* (* z0 z0) (- (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z1)))))
(FPCore (z0 z1 z2) (* (- (/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000)) (* (* -360603235428487/1000000000000000 (* (* z0 z1) z0)) z0)) z2))
(FPCore (z0 z1 z2) (/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1))
(FPCore (z0 z1 z2) (pow (/ (* (- 1 z0) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2)) z1) 2))
(FPCore (z0 z1 z2) (+ (* (/ (+ (* 66407/5000 (* z0 z0)) (- (* -54312/5 z0) -1664060)) (* z0 z0)) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (- (* (- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (* (sqrt (* 1000/630259 z1)) (pow z0 2/3))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2)))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 2)) (- z2)))
(FPCore (z0 z1 z2) (/ (sqrt (* z0 z1)) z2))
(FPCore (z0 z1) (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))))
(FPCore (z0 z1 z2) (* z0 (pow (fabs (* (- (* z1 z2) 1) (- (* z1 z2) -1))) 3/2)))
(FPCore (z0 z1) (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))
(FPCore (z0 z1) (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))))
(FPCore (z0 z1) (* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2)))))))
(FPCore (z0 z1) (* 2916688747387/781250000000000 (* z0 (exp (+ (/ (- (pow z0 3)) 3) (+ (- (pow (* 670697/100000 (- z1 1)) 2)) (- (pow (* 23651/25000 (- z0 1)) 2))))))))
(FPCore (z0) (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (- (* 757467/100000 (pow z0 4)) (* (* (* z0 z0) z0) 365179/5000)) (* (* z0 z0) -191039/1000)) (* 60457/125 z0))))
(FPCore (z0 z1) (- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6))))
(FPCore (z0 z1) (* 1/1000000 (* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50)))))
(FPCore (z0 z1) (* (pow z0 2/3) (/ (sqrt (fabs z1)) (sqrt 28101/50))))
(FPCore (z0 z1) (* (/ (sqrt z0) z1) 32311286061523161/250000000000000000000000000000000))
(FPCore (z0 z1 z2) (/ (- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5) z2))
(FPCore (z0 z1 z2) (* z0 (pow (fabs (- (* (* (* z1 z1) z2) z2) 1)) 3/2)))
(FPCore (z0 z1) (/ 1 (pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1)))
(FPCore (z0 z1) (pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1))
(FPCore (z0 z1) (+ (+ (+ (* z0 373223/10000) 1) (- (- (* (/ 1 (pow (pow z0 5) -1)) -52147/20000) (* -26093/2000 (* (* z0 z0) z0))) (* -45097/2000 (* z0 z0)))) (* (- 1 (exp (* z1 -1253/500))) -16731/100)))
(FPCore (z0 z1) (+ (+ (* z0 373223/10000) (- 1 (- (* -45097/2000 (* z0 z0)) (- (* (pow z0 5) -52147/20000) (* -26093/2000 (* (* z0 z0) z0)))))) (* (- 1 (exp (* z1 -1253/500))) -16731/100)))
(FPCore (z0 z1) (- 1 (exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))))))
(FPCore (z0 z1) (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))
(FPCore (z0 z1) (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1)))))
(FPCore (z0 z1) (exp (/ -1 (+ (/ 1 z0) (/ (pow z0 2) (* (* 3 z1) z1))))))
(FPCore (z0 z1) (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))))
(FPCore (z0 z1 z2) (* (* (* z0 1725813/125000000000000000000000000000) (pow z1 2)) (pow z2 2)))
(FPCore (z0 z1 z2) (/ 1 (sinh (* (* z0 z1) z2))))
(FPCore (z0) (* 2011/2000000 (sqrt z0)))
(FPCore (z0 z1) (* (pow z0 2/3) (* (sqrt (sqrt (* 1000/630259 z1))) (sqrt (sqrt (* 1000/630259 z1))))))
(FPCore (z0) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))))
(FPCore (z0 z1 z2) (* (sin (+ z0 z0)) (/ 1/4 (* z1 z2))))
(FPCore (z0 z1) (pow (+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) 79857/100000))
(FPCore (z0 z1) (- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))))
(FPCore (z0 z1) (* (* (sqrt (* (* z0 z0) (* z0 z0))) z1) z1))
(FPCore (z0 z1 z2) (+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2))))
(FPCore (z0 z1 z2) (/ (* (log (/ z0 z1)) (* z0 z0)) z2))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (* (sqrt (sqrt (* 1000/630259 z0))) (sqrt (sqrt (* 1000/630259 z0))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (/ z0 630259/1000))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (/ (+ (- (pow (tanh (* z0 (* z1 z2))) 2) 4) (* 3 (pow (tanh (* z0 (* z1 z2))) -2))) (pow (tanh (* z0 (* z1 z2))) 2)))
(FPCore (z0) (pow (* 23651/25000 (- z0 1)) 2))
(FPCore (z0) (- (pow (* 23651/25000 (- z0 1)) 2)))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -4))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 2)) z2) (- 1 z1)))
(FPCore (z0 z1) (* (pow z0 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* (pow z0 3/2) 122919/1000)) (- (- (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4))) (* -69837/250 (* (* z0 z0) z0))) (* 282329/1000 (* z0 z0)))) -1))))
(FPCore (z0) (* -3006667839/500000000000000 (cbrt z0)))
(FPCore (z0 z1) (* (pow z0 2) (log (/ z0 z1))))
(FPCore (z0 z1 z2) (/ -2 (tanh (* (* z0 z1) z2))))
(FPCore (z0) (- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- (* -2991126123/50000000 z0) -2463198817/50000000) (pow z0 -4))))
(FPCore (z0 z1) (pow (* z0 z1) -1))
(FPCore (z0) (* (cbrt z0) -3006667839/500000000000000))
(FPCore (z0 z1 z2) (+ (- 1 (/ 4 (* (tanh (* (* z0 z1) z2)) (tanh (* (* z0 z1) z2))))) (/ 3 (pow (pow (tanh (* z2 (* z1 z0))) 2) 2))))
(FPCore (z0 z1) (/ 1 (pow (* z0 z1) -1)))
(FPCore (z0 z1 z2) (* (- (- z0)) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))
(FPCore (z0) (* 5924416513/1000000000000000000 (pow z0 2/3)))
(FPCore (z0 z1 z2) (* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1)))))
(FPCore (z0 z1 z2) (/ 1 (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1)))
(FPCore (z0 z1 z2) (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) -1))
(FPCore (z0 z1) (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))))
(FPCore (z0 z1 z2) (* z0 (pow (fabs (- (* (* z1 z2) (* z1 z2)) 1)) 3/2)))
(FPCore (z0 z1 z2) (pow (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))
(FPCore (z0 z1) (- 1 (exp (- (/ (* z0 z1) (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))))
(FPCore (z0 z1 z2) (* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2))))
(FPCore (z0 z1 z2) (* (- (/ 3995125013/10000000000000000 z0) (- (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000)) (* (cbrt z0) -3006667839/500000000000000))) (log (/ z1 z2))))
(FPCore (z0 z1) (exp (- (- (* (* -1/3 (* z0 z0)) z0) (* (* -559369801/625000000 (- z0 1)) (- 1 z0))) (* (* -449834465809/10000000000 (- z1 1)) (- 1 z1)))))
(FPCore (z0 z1) (* 4543/125000000 (sqrt (* z0 z1))))
(FPCore (z0 z1 z2) (- (* (- (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))) (/ -3995125013/10000000000000000 z0)) (log (/ z1 z2))) (* (- (* 5924416513/1000000000000000000 (pow z0 2/3)) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0)))) z1)))
(FPCore (z0 z1 z2) (/ 1 (pow (+ (* z0 z1) z2) -1)))
(FPCore (z0 z1 z2) (pow (+ (* z0 z1) z2) -1))
(FPCore (z0 z1 z2) (* (/ (* (sin z0) (- 1 (* (* 5/4 (* z1 z2)) (* z1 z2)))) (* z1 z2)) (* (* (* (* z1 z2) z1) z2) (* z1 z2))))
(FPCore (z0) (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0)))
(FPCore (z0 z1 z2) (+ (* (- (log (fabs z0)) (log (fabs z1))) (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2))) (* (- (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000) (* -4492659933/100000000000000000 (cbrt z2))) z0)))
(FPCore (z0) (/ -1 (- (exp (* (- z0 2) -100)) -1)))
(FPCore (z0 z1 z2) (- (+ z0 (exp z1)) (exp z2)))
(FPCore (z0 z1 z2) (* (sqrt (* z0 z1)) z2))
(FPCore (z0 z1 z2) (* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) (* z1 z1)) (log (/ z1 z2))))
(FPCore (z0) (* (pow (* 1000/630259 z0) -22/5) -11101/6250000000000000))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 2)) z1) z2))
(FPCore (z0) (sqrt (* 100/54013 z0)))
(FPCore (z0) (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2)))))
(FPCore (z0 z1 z2) (pow (* (* (- z0 1) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))) 2))
(FPCore (z0 z1 z2) (* (* (* (- (/ -3995125013/10000000000000000 z0) (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0)))) z1) (log (/ z1 z2))) z1))
(FPCore (z0 z1 z2) (cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0)))
(FPCore (z0 z1) (* (pow z0 2/3) (- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (sinh (* z2 (* z0 z1)))))
(FPCore (z0 z1 z2) (- 1 (cosh (* (/ z0 (- (* (/ z0 (* z1 z2)) z0) (* -1/3 (* (* (* z1 z2) z1) z2)))) z0))))
(FPCore (z0 z1) (/ (* (sqrt (fabs z0)) 6673/250000000000) (* 1000000000 z1)))
(FPCore (z0 z1 z2) (* z0 (/ (- z0) (sinh (* (* z1 z2) z0)))))
(FPCore (z0 z1) (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2)))))))
(FPCore (z0 z1) (* 177148/5 (* (exp (+ (* 144847/1000000 z0) (* -564493/100000 (pow z0 2)))) (+ (exp (* -14/5 (pow (- z1 1) 2))) (* -80738543/1000000000 (exp (* -17943/1000 (pow (- z1 62849/500000) 2))))))))
(FPCore (z0 z1) (- (* (* 2/5 z0) (exp (/ -367/2 z1))) -2/5))
(FPCore (z0 z1) (/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))))
(FPCore (z0 z1 z2) (* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1 z1) 1)) (/ z2 (* z1 z1))) z2))
(FPCore (z0) (* 5311581/2000000 (pow z0 4)))
(FPCore (z0 z1 z2) (/ (sqrt (* (* 1000 z0) z1)) z2))
(FPCore (z0) (/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000))))
(FPCore (z0 z1) (* (pow z0 2/3) (* (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000))) (/ (sqrt (sqrt (fabs z1))) (sqrt (sqrt 630259/1000))))))
(FPCore (z0 z1 z2) (* (- (* -108089/50000 (exp (* -243787/100000 (/ z0 z1)))) (- (* (exp (* -1933/2500 (/ z0 z1))) 52487/100000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))) (* (* 1000000000000000000 z2) z2)))
(FPCore (z0 z1) (pow (+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (/ (- z1 1) z1) (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3))) 2) 39751/100000)) -79857/100000))
(FPCore (z0 z1) (* (/ 1 (sqrt (/ z0 77021/125))) (+ (* 15337/1000 (pow z1 3/2)) (+ (* -2191/5000000 (pow z1 11)) (* 2307/100000000 (pow z1 15))))))
(FPCore (z0 z1) (/ (* (+ (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- z0 1) -14/5) (- z0 1)))) 7/2) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)))
(FPCore (z0 z1) (+ (/ (* -135904211/1000000 (pow z0 3)) (+ (+ (pow z0 2) -79962719/10000000) (* -2202959/200000 (/ z1 2367/4)))) (* -10113817/1000000 z0)))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (* (pow z2 2/3) (* (/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000))) (/ (sqrt (sqrt (fabs z0))) (sqrt (sqrt 630259/1000))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (/ z0 630259/1000) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (/ z0 630259/1000) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (/ z0 630259/1000))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (pow z2 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* (pow z2 3/2) 122919/1000)) (- (- (- (- (* (pow z2 11) -917/200000) (* -28361/1000 (pow z2 5))) (* 18347/125 (pow z2 4))) (* -69837/250 (* (* z2 z2) z2))) (* 282329/1000 (* z2 z2)))) -1)))))
(FPCore (z0 z1) (- 1 (exp (/ -1 (+ (/ 1 z0) (/ (* z0 (/ z0 (* z1 3))) z1))))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (- -1 (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)))
(FPCore (z0 z1 z2) (+ (* (/ 1 (/ 1 (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))))) (pow z0 2/3)) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* z0 1000/630259))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* z0 1000/630259) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* z0 1000/630259) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* z0 1000/630259))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0) (- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000)))
(FPCore (z0 z1) (/ (pow z0 806282737481277/100000000000000) (- z1 121550806591497/1000000000000000)))
(FPCore (z0 z1 z2) (- (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) 4)) (* -3 (pow (pow (tanh (* z0 (* z1 z2))) 2) -2))))
(FPCore (z0 z1) (+ (pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000) (pow (pow (* 33791/100000 (- z1 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))))) 2) 77963/100000)))
(FPCore (z0 z1) (pow (+ (pow (pow (+ (- 1 (/ 1 z0)) (* 3/10 (pow (pow (- z1 1) 2) 5/3))) 2) 39751/100000) (pow (pow (* 33791/100000 (- z1 (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))))) 2) 77963/100000)) 79857/100000))
(FPCore (z0 z1) (* (/ (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) z1) (- (- 79962719/10000000 (* z0 z0)) (* z1 -2202959/118350000))))
(FPCore (z0 z1) (* (* (pow z0 2/3) (* (sqrt (sqrt (* 100/61689 z1))) (sqrt (sqrt (* 100/61689 z1))))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z1 61689/100) -3/10))) (pow z0 34/5)) (+ (* -145009/5000000 (pow z0 33/10)) (+ (/ (* 86433/500000000000000 (pow z0 22)) (pow (/ z1 61689/100) 16/5)) (+ (* (+ (* 9233/625 z0) (* -47463/2500 (/ z1 61689/100))) (pow z0 3/5)) (* 21391/1250 (pow z0 2/5))))))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* z1 1000/630259))))
(FPCore (z0 z1 z2) (+ (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2) 1))
(FPCore (z0 z1 z2) (* (* (- 1 z0) (/ z1 z2)) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z2) 1))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* (sqrt (* 1000/630259 z1)) (sqrt (* 1000/630259 z1))))))
(FPCore (z0) (- (- (exp (* (- z0 2) -100)) -1) 1))
(FPCore (z0) (* -889/4000 (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) (sqrt z0))))
(FPCore (z0 z1) (* 3/2 (pow (* z0 z1) 2)))
(FPCore (z0 z1) (- 1 (* 3/2 (pow (* z0 z1) 2))))
(FPCore (z0) (- (sqrt (sqrt z0))))
(FPCore (z0 z1) (fabs (- (pow (* z0 z1) 2) 1)))
(FPCore (z0 z1) (- (pow (* z0 z1) 2) 1))
(FPCore (z0 z1 z2) (* (* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0)) z0))
(FPCore (z0 z1) (pow (fabs (- (pow (* z0 z1) 2) 1)) 3/2))
(FPCore (z0 z1 z2) (* (log (/ z0 z1)) (* (- (- (- (* 4033572907/5000000000000000 (pow z2 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (/ -3995125013/10000000000000000 z2)) z0)))
(FPCore (z0 z1) (* (+ -205581/100000000 (* 265651/100000000 (pow (* z0 1000/630259) -4/5))) (pow z1 103/10)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1)))))
(FPCore (z0 z1) (* (- (* (pow (* 1000/630259 z0) -4/5) 265651/100000000) 205581/100000000) (pow z1 103/10)))
(FPCore (z0 z1) (- (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) (/ 2367/4 z1)) (* 10113817/1000000 z0)))
(FPCore (z0 z1 z2) (fabs (sinh (* (* z0 z1) z2))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (pow z2 2/3) (- (- (+ (- (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* -122919/1000 (pow z2 3/2))) (* (pow z2 11) -917/200000)) (- (* -28361/1000 (pow z2 5)) (* -18347/125 (pow z2 4)))) (* (* z2 (+ 282329/1000 (* -69837/250 z2))) z2)))))
(FPCore (z0 z1) (* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (pow (exp (* (- 1 z0) (- 1 z0))) -14/5))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0 z1 z2) (pow (* (* (- z0 1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1))) (/ z2 z1)) 2))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (sqrt (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (* (- z0) (pow z1 (- z2 2))))
(FPCore (z0 z1 z2) (* (+ (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))) (/ 3995125013/10000000000000000 z0)) (+ (* (* z1 z1) (log (fabs z1))) (* (* z1 z1) (- (log (fabs z2)))))))
(FPCore (z0) (/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (* (pow z2 2/3) (sqrt (sqrt (* 1000/630259 z0)))) (sqrt (sqrt (* 1000/630259 z0)))) (+ (* (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))) (pow z2 103/10)) (+ (* 119381/50000 (pow z2 33/10)) (+ (/ (* 11101/6250000000000000 (pow z2 25)) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5)) (+ (* (+ (* 104497/10000 z2) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))))) (pow z2 7/10)) (* 159587/10000 (pow z2 2/5)))))))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (* z0 z0)))) z1) (* (* (pow z2 2/3) (* (sqrt (sqrt (* 100/61689 z0))) (sqrt (sqrt (* 100/61689 z0))))) (+ (* (+ -5379/20000 (* 320971/1000000 (pow (/ z0 61689/100) -3/10))) (pow z2 34/5)) (+ (* -145009/5000000 (pow z2 33/10)) (+ (/ (* 86433/500000000000000 (pow z2 22)) (pow (/ z0 61689/100) 16/5)) (+ (* (+ (* 9233/625 z2) (* -47463/2500 (/ z0 61689/100))) (pow z2 3/5)) (* 21391/1250 (pow z2 2/5)))))))))
(FPCore (z0 z1) (* (exp (- (- (* (* -559369801/625000000 (- 1 z0)) (- 1 z0)) (* (* 449834465809/10000000000 (- z1 1)) (- z1 1))) (* (* (* z0 z0) z0) 1/3))) z0))
(FPCore (z0 z1) (/ (pow z0 2) (pow (* 3/5 z1) 2)))
(FPCore (z0 z1 z2) (* (* z0 z0) (pow (* (- 1 z1) (- 1 z1)) (/ 1 z2))))
(FPCore (z0 z1 z2) (/ -1 (tanh (* (* z0 z1) z2))))
(FPCore (z0) (exp (- 15 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 100))))
(FPCore (z0) (exp (* -100 (- z0 2))))
(FPCore (z0 z1 z2) (+ (* (+ 66407/5000 (+ (/ -54312/5 z0) (/ 1664060 (pow z0 2)))) z1) (* (pow z2 2/3) (/ 1 (pow (+ (+ (* (- (- (* (pow z2 15) 2307/100000000) (* 2191/5000000 (pow z2 11))) (* -15337/1000 (pow z2 3/2))) (sqrt (/ 77021/125 z0))) (* (pow z2 3/2) 122919/1000)) (- (- (- (- (* (pow z2 11) -917/200000) (* -28361/1000 (pow z2 5))) (* 18347/125 (pow z2 4))) (* -69837/250 (* (* z2 z2) z2))) (* 282329/1000 (* z2 z2)))) -1)))))
(FPCore (z0 z1 z2) (/ (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))) (* z2 (- z1 1))))
(FPCore (z0 z1) (* (* 177148/5 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (exp (* (* (- 1 z0) (- 1 z0)) -14/5)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0) (* (sqrt (sqrt (* 100/61689 z0))) (sqrt (sqrt (* 100/61689 z0)))))
(FPCore (z0) (* (sqrt z0) 100))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* 50/28101 z1))))
(FPCore (z0 z1 z2) (/ z0 (sinh (* (* z1 z0) z2))))
(FPCore (z0) (* -4423/20000 (sqrt z0)))
(FPCore (z0 z1 z2) (* (* (sqrt z0) z1) (* z2 z1)))
(FPCore (z0 z1) (* (* 177148/5 (/ (- (- (/ (exp (- (* (* (- z0 1) -14/5) (- z0 1)) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))) -80738543/1000000000) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0) (- (* -3006667839/500000000000000 (cbrt z0)) (- -7087321137/1000000000000000 (* (pow z0 2/3) 4033572907/5000000000000000))))
(FPCore (z0 z1 z2) (/ (* (+ (* z0 z0) (pow z0 806282737481277/100000000000000)) z1) (- z2 121550806591497/1000000000000000)))
(FPCore (z0 z1 z2) (* (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) (* (+ z2 z2) z1)) (- z0 1)))
(FPCore (z0 z1) (/ z0 (- (exp (* (- z1 2) -100)) -1)))
(FPCore (z0 z1) (pow (* z0 z1) 3))
(FPCore (z0 z1) (* (/ 1 z0) (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)) (- (/ 1 z0) 1))))
(FPCore (z0 z1) (- (* 72715319/200000000 (pow z0 6)) (* -158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0))))
(FPCore (z0 z1) (* (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* (pow (* 100/61689 z1) -16/5) -86433/500000000000000) (pow z0 22))) (- (* -21391/1250 (pow z0 2/5)) (* (- (* -15821/514075 z1) (* -9233/625 z0)) (pow z0 3/5)))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))))
(FPCore (z0 z1 z2) (- (* (* (- (- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (pow z0 2/3)) (sqrt (* 1000/630259 z1))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2)))
(FPCore (z0 z1 z2) (* z0 (pow z1 (- z2 3))))
(FPCore (z0 z1 z2) (/ z0 (* (* (exp z1) 1000000000000000000) (* z2 z2))))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt (sqrt (* 1000/630259 z1)))) (sqrt (sqrt (* 1000/630259 z1)))))
(FPCore (z0 z1 z2) (- (* (- (- (- (* (pow z0 33/10) 119381/50000) (* (* (pow (* 1000/630259 z1) -22/5) -11101/6250000000000000) (pow z0 25))) (- (* -159587/10000 (pow z0 2/5)) (* (- (* -91223/3151295 z1) (* -104497/10000 z0)) (pow z0 7/10)))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))) (* (* (sqrt (* (sqrt (* 1000/630259 z1)) (sqrt (fabs z1)))) (/ 1 (sqrt (sqrt 630259/1000)))) (pow z0 2/3))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2)))
(FPCore (z0 z1 z2) (/ (- z0) (sinh (* (* z1 z0) z2))))
(FPCore (z0 z1 z2) (* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (/ (* (log (/ z1 z2)) (* z1 z1)) z0)))
(FPCore (z0 z1) (pow (+ (pow (* 1141831681/10000000000 (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2)) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- 1 z0) (- 1 z0)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) -79857/100000))
(FPCore (z0 z1 z2) (- 1 (* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3)))))
(FPCore (z0 z1 z2) (* (pow (tanh (* z0 (* z1 z2))) -2) (- 4 (* (pow (tanh (* z0 (* z1 z2))) -2) 3))))
(FPCore (z0) (/ 1 (+ 1 (exp (* -100 (- z0 2))))))
(FPCore (z0) (+ 1 (exp (* -100 (- z0 2)))))
(FPCore (z0) (- (* 267184324754639/50000000000000 (sqrt z0)) (* 46133662500891/125000000000 (pow z0 1/6))))
(FPCore (z0 z1 z2) (* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (/ z2 z1)) (- z0 1)))
(FPCore (z0) (exp (- 20 (* -60 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1)))))
(FPCore (z0 z1) (* (* 177148/5 (/ (- (- (/ (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)) -1)) (/ -1 (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) -80738543/1000000000)))) (exp (- (* -564493/100000 (* z1 z1)) (* -144847/1000000 z1)))))
(FPCore (z0 z1) (* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))))
(FPCore (z0) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))
(FPCore (z0 z1 z2) (/ 4 (tanh (* z0 (* z1 z2)))))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 1)) z1) (- z2)))
(FPCore (z0 z1 z2) (* (* (pow (* z0 z1) 7) -85/56) (* z1 (* z2 1/5))))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (/ 1 z1)))
(FPCore (z0) (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5)))
(FPCore (z0) (+ -205581/100000000 (* 265651/100000000 (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) -4/5))))
(FPCore (z0 z1 z2) (* (- (* (- (- (* 4033572907/5000000000000000 (pow z0 2/3)) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) z0) -3995125013/10000000000000000) (* (* z1 z1) (log (/ z1 z2)))))
(FPCore (z0 z1) (/ (sqrt (fabs z0)) z1))
(FPCore (z0 z1) (/ -1 (pow (* z0 z1) 3)))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt 50/28101)) (sqrt (fabs z1))))
(FPCore (z0) (- (* 5311581/2000000 (pow z0 4)) (* 1244951/62500 z0)))
(FPCore (z0 z1 z2) (- (pow (tanh (* (* z0 z1) z2)) -2) 1))
(FPCore (z0 z1) (- (exp z0) (exp z1)))
(FPCore (z0 z1) (/ (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) 22/5)))
(FPCore (z0 z1) (- (- (* 158818596237/5000000000 (* (/ z0 (- z1 -848122141881/200000000000)) z0)) (* -72715319/200000000 (pow z0 6))) (/ -385804266743/50000000000 z1)))
(FPCore (z0 z1) (+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1))))))
(FPCore (z0) (/ (sqrt z0) (exp (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))
(FPCore (z0 z1 z2) (- (/ (+ z0 (* (atan z0) (- z1 1))) z1) (- 1 (exp (/ -1 (+ (* z0 (/ z0 (* (* z2 3) z2))) (/ 1 z0)))))))
(FPCore (z0 z1 z2) (pow (- (- (tanh (* z0 (* z1 z2))))) 3))
(FPCore (z0) (* (sqrt z0) 2449/12500))
(FPCore (z0 z1) (/ (* 7/2 (+ (* (exp (* (* -17943/1000 (- z0 62849/500000)) (- z0 62849/500000))) -80738543/1000000000) (sqrt (exp (* (* (* (- z0 1) -14/5) (- z0 1)) 2))))) (- (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))) -1)))
(FPCore (z0 z1) (- (* (* 10113817/1000000 z0) z1) (* (- (* (pow z0 4) -5311581/2000000) (* -1244951/62500 z0)) 2367/4)))
(FPCore (z0 z1 z2) (sinh (/ (* z0 z0) (/ (- (* (* -1/3 (* (* (* z1 z2) z1) z2)) z1) (/ (* z0 z0) z2)) z1))))
(FPCore (z0) (/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (pow z0 2)))))))
(FPCore (z0) (pow (pow (- z0 1) 2) 5/3))
(FPCore (z0 z1 z2) (* (pow (pow (- z0 1) 2) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (pow (- 1 z0) 2) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (- (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (fabs (* (- 1 z0) (- z0 1))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (- 4 (* (pow (tanh (* (* z0 z1) z2)) -2) 3)))
(FPCore (z0 z1) (sqrt (* (* z0 z1) 1000)))
(FPCore (z0 z1 z2) (exp (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))
(FPCore (z0) (- (* -4492659933/100000000000000000 (cbrt z0)) -5213335363/100000000000000000))
(FPCore (z0) (- 34987097863767/20000000000 (* 46133662500891/125000000000 (pow z0 1/6))))
(FPCore (z0 z1) (* (sqrt (* 50/25391 z0)) (pow z1 2/3)))
(FPCore (z0 z1 z2) (- (- (exp (* (* z0 (* z1 z2)) 2)) 1)))
(FPCore (z0 z1 z2) (- (* 2 (sinh (* z0 (* z1 z2))))))
(FPCore (z0 z1 z2) (* (* (* (+ z0 z0) z1) (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- z1 1))))
(FPCore (z0 z1) (* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10)))
(FPCore (z0) (* 3/10 (pow (pow (- z0 1) 2) 5/3)))
(FPCore (z0 z1 z2) (+ (* (+ (- (* (pow z0 34/5) (- (* (pow (* 100/61689 z1) -3/10) 320971/1000000) 5379/20000)) (* 145009/5000000 (pow z0 33/10))) (- (- (* (pow z0 3/5) (- (* (* 100/61689 z1) -47463/2500) (* -9233/625 z0))) (* -21391/1250 (pow z0 2/5))) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5)))) (* (sqrt (* 100/61689 z1)) (pow z0 2/3))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 1)) z2) (* (- z1 1) z1)))
(FPCore (z0 z1) (+ (* 23229/20000 (pow (/ z0 z1) -7437/50000)) (+ (* 52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (* 108089/50000 (exp (* -243787/100000 (/ z0 z1)))))))
(FPCore (z0) (* -135904211/1000000 (pow z0 3)))
(FPCore (z0 z1) (* (pow (* z0 z1) 5) z1))
(FPCore (z0 z1 z2) (* (* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* (* z2 z2) 1000000000)) 1000000000))
(FPCore (z0 z1 z2) (* (- (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))) (* -52487/100000 (exp (* -1933/2500 (/ z0 z1))))) (* (* z2 z2) 1000000000)))
(FPCore (z0 z1) (+ (* (+ (* 104497/10000 z0) (* -91223/5000 (* z1 1000/630259))) (pow z0 7/10)) (* 159587/10000 (pow z0 2/5))))
(FPCore (z0) (* 15337/1000 (pow z0 3/2)))
(FPCore (z0 z1) (* (- (* -1244951/62500 z0) (* (pow z0 4) -5311581/2000000)) (/ 2367/4 z1)))
(FPCore (z0) (pow (pow (- 1 z0) 2) 1/5))
(FPCore (z0) (sqrt (/ z0 2367/4)))
(FPCore (z0 z1) (* (- (* (pow (* 100/61689 z0) -3/10) 320971/1000000) 5379/20000) (pow z1 34/5)))
(FPCore (z0 z1 z2) (+ (* (* (- (- (- (- (* (pow z0 33/10) -145009/5000000) (* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))) (* -21391/1250 (pow z0 2/5))) (* (- (* -9233/625 z0) (* -15821/514075 z1)) (pow z0 3/5))) (* (- 5379/20000 (* (pow (* 100/61689 z1) -3/10) 320971/1000000)) (pow z0 34/5))) (pow z0 2/3)) (sqrt (* 100/61689 z1))) (* z2 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000))))
(FPCore (z0 z1 z2) (* (exp (- z0)) (sqrt (* z1 (* 1000 z2)))))
(FPCore (z0 z1 z2) (* (* (- 1 z0) z0) (* (pow z1 z0) z2)))
(FPCore (z0) (pow (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0))) 22/5))
(FPCore (z0 z1) (/ z0 (pow z1 2)))
(FPCore (z0) (* (exp (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)) 1000000))
(FPCore (z0 z1) (* (+ -205581/100000000 (* 265651/100000000 (pow (* (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z0)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))) -4/5))) (pow z1 103/10)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* (* (sqrt (fabs z1)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000))))) (* (sqrt (fabs z1)) (* (/ 1 (sqrt (sqrt 630259/1000))) (/ 1 (sqrt (sqrt 630259/1000)))))))))
(FPCore (z0 z1) (/ z0 (* (- 1 z1) (atan z0))))
(FPCore (z0) (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))
(FPCore (z0) (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))
(FPCore (z0) (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))))
(FPCore (z0) (* (* -4401/20000 (sqrt z0)) (exp (- (- (/ (- (* 2366/5 z0) 57033) (* z0 z0)) 14933/10000)))))
(FPCore (z0) (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5))))
(FPCore (z0) (- 1 (* 9/10 (acosh (+ 1 (* 1/50 (pow (pow (- 1 z0) 2) 1/5)))))))
(FPCore (z0) (- -5213335363/100000000000000000 (* -4492659933/100000000000000000 (cbrt z0))))
(FPCore (z0) (/ (* 4423/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0)))))))
(FPCore (z0 z1) (* 1/5 (pow (* z0 z1) 5)))
(FPCore (z0) (* -3006667839/500000000000000 (pow z0 1/3)))
(FPCore (z0 z1) (- (- (- (- (* (pow z0 33/10) 119381/50000) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))) (* -159587/10000 (pow z0 2/5))) (* (- (* -104497/10000 z0) (* -91223/3151295 z1)) (pow z0 7/10))) (* (- 205581/100000000 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)) (pow z0 103/10))))
(FPCore (z0) (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))))
(FPCore (z0) (/ (* 4401/20000 (sqrt z0)) (exp (+ -14933/10000 (+ (/ 2366/5 z0) (/ -57033 (* z0 z0)))))))
(FPCore (z0 z1) (* (sqrt (* 50/28101 z0)) (pow z1 2/3)))
(FPCore (z0 z1 z2) (- (* (pow z0 2/3) (- (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (* (pow z0 11) -917/200000)) (- (* -28361/1000 (pow z0 5)) (* -18347/125 (pow z0 4)))) (* (* z0 (+ 282329/1000 (* -69837/250 z0))) z0))) (* (- -66407/5000 (/ (- (* -54312/5 z1) -1664060) (* z1 z1))) z2)))
(FPCore (z0 z1 z2) (* (- 2 z0) (* (* (- z0 1) z0) (* z1 (pow z2 (- z0 1))))))
(FPCore (z0 z1 z2) (* (pow (tanh (* (* z0 z1) z2)) -2) -3))
(FPCore (z0 z1 z2) (- (* (- (+ (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (pow z0 3/2))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (pow z0 3/2))) (- (- (* (pow z0 11) -917/200000) (* -28361/1000 (pow z0 5))) (* 18347/125 (pow z0 4)))) (* z0 (+ (* -69837/250 (* z0 z0)) (* 282329/1000 z0)))) (pow z0 2/3)) (* (/ (/ (- (* -66407/5000 (* z1 z1)) (- (* -54312/5 z1) -1664060)) z1) z1) z2)))
(FPCore (z0) (* (pow z0 35969/50000) 196))
(FPCore (z0) (sqrt (/ z0 54013/100)))
(FPCore (z0) (* -91223/5000 (* (sqrt (* 1000/630259 z0)) (sqrt (* 1000/630259 z0)))))
(FPCore (z0 z1 z2) (* -32311286061523161/250000000000000000000000000000000 (* (* (sqrt z0) z1) (* z2 z1))))
(FPCore (z0) (- 269503247933569/1000000000 (* 36572510765913/500000000 (cbrt z0))))
(FPCore (z0) (+ (+ 7087321137/1000000000000000 (* -3006667839/500000000000000 (pow z0 1/3))) (* 4033572907/5000000000000000 (pow z0 2/3))))
(FPCore (z0 z1) (- (* 933/50 (* z0 z0)) (* (pow z1 4) -17/4)))
(FPCore (z0 z1) (/ (* (* (pow z0 2/3) 1/1000000) (sqrt (fabs z1))) (sqrt 28101/50)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ -1/2 (- z1))) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ -1/2 z1))) z2))
(FPCore (z0) (- (* (cbrt z0) 36572510765913/500000000) 269503247933569/1000000000))
(FPCore (z0 z1 z2) (* (pow (* (+ (- z0) 1) (+ (- z0) 1)) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (/ 1 (pow (- 1 z0) -1)) (/ 1 (pow (- 1 z0) -1))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (pow (- 1 z0) 1) (pow (- 1 z0) 1)) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (+ (* (- 1 z0) 1) (* (- 1 z0) (- z0))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (+ (* 1 (- 1 z0)) (* (- z0) (- 1 z0))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (pow (/ 1/2 z1) 1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ 1 z1))) z2))
(FPCore (z0 z1 z2) (* (pow (* (- (- z0 1)) (- (- z0 1))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (+ 1 (- z0)) (+ 1 (- z0))) (/ 1/2 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ z1 1/2))) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (pow (/ 1/2 z1) -1))) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1 (/ (- z1) -1/2))) z2))