(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) z1))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z0) (pow z0 -2/3))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)) z2))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0) (pow z0 2/3))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) z1))
(FPCore (z0 z1) (pow z0 (- (/ 1/2 z1) 1)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (/ 1/2 z1)))
(FPCore (z0 z1) (pow z0 (- z1 1)))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0 z1) (/ (pow z0 -2/3) z1))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1) (* z0 (* z1 z1)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)))
(FPCore (z0 z1 z2) (* z0 (sqrt (* z1 z2))))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) z1) z2))
(FPCore (z0) (* 1000/630259 z0))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- z1 1)))
(FPCore (z0 z1) (* (pow z0 -2/3) z1))
(FPCore (z0) (* -54312/5 z0))
(FPCore (z0) (* 2366/5 z0))
(FPCore (z0 z1 z2) (* z0 (* z1 z2)))
(FPCore (z0) (* z0 8157/200000000))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z2))))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0 z1 z2) (tanh (* (* z0 z1) z2)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2))
(FPCore (z0 z1) (* (* z0 1000) z1))
(FPCore (z0 z1) (* (- z0 (* (+ z0 z0) z0)) z1))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (- z2 1))))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1) (* (pow z0 2/3) z1))
(FPCore (z0) (pow z0 33/10))
(FPCore (z0) (pow z0 2/5))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z0) z2))
(FPCore (z0 z1) (* z0 (pow z1 2/3)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1))))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0) (* -564493/100000 z0))
(FPCore (z0 z1) (* (* (* z0 z1) z0) z1))
(FPCore (z0) (* z0 1000/630259))
(FPCore (z0 z1) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1))) z2))
(FPCore (z0 z1) (pow z0 (- z1 3)))
(FPCore (z0) (* z0 1/1000000))
(FPCore (z0 z1 z2) (* z0 (/ (pow z1 -2/3) z2)))
(FPCore (z0 z1) (/ z0 (* z1 3)))
(FPCore (z0 z1) (* z0 (cbrt z1)))
(FPCore (z0 z1) (* z0 (- (* (+ z1 z1) z1) z1)))
(FPCore (z0) (* 8157/200000000 z0))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) z2)))
(FPCore (z0 z1 z2) (* (* 8157/200000000 (sqrt (* z0 z1))) z2))
(FPCore (z0 z1) (* 8157/200000000 (sqrt (* z0 z1))))
(FPCore (z0) (pow z0 806282737481277/100000000000000))
(FPCore (z0) (* 50/25391 z0))
(FPCore (z0 z1) (/ (- (* -54312/5 z0) -1664060) z1))
(FPCore (z0) (/ (- (* -54312/5 z0) -1664060) (* z0 z0)))
(FPCore (z0) (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))
(FPCore (z0) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))))
(FPCore (z0 z1) (/ (- (* 2366/5 z0) 57033) z1))
(FPCore (z0) (/ (- (* 2366/5 z0) 57033) (* z0 z0)))
(FPCore (z0 z1) (- (* -54312/5 z0) z1))
(FPCore (z0 z1) (- z0 (/ (- (* 2366/5 z1) 57033) (* z1 z1))))
(FPCore (z0) (- (* -54312/5 z0) -1664060))
(FPCore (z0 z1) (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) z1))
(FPCore (z0) (pow z0 7/10))
(FPCore (z0) (pow z0 103/10))
(FPCore (z0 z1) (pow z0 (- (/ 1 z1) 1)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)))
(FPCore (z0) (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000))
(FPCore (z0 z1 z2) (* z0 (* (* (* z1 z2) z1) z2)))
(FPCore (z0 z1) (sqrt (* (* z0 1000) z1)))
(FPCore (z0 z1 z2) (* (* (- z0 1) z1) z2))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (/ 1/2 z2))))
(FPCore (z0 z1 z2) (pow (/ z0 z1) z2))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)))
(FPCore (z0) (* z0 1/10))
(FPCore (z0 z1) (* z0 (exp (- 14933/10000 (/ (- (* 2366/5 z1) 57033) (* z1 z1))))))
(FPCore (z0 z1) (* z0 (pow z1 2/5)))
(FPCore (z0) (* z0 4543/125000000))
(FPCore (z0 z1 z2) (* (sqrt (* z0 z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) z1) z2))
(FPCore (z0) (* 24/25 z0))
(FPCore (z0 z1) (* z0 (- (/ 1 z1) 1)))
(FPCore (z0) (/ 1000000000/1570796327 z0))
(FPCore (z0 z1) (* (* (- z0 62849/500000) -17943/1000) z1))
(FPCore (z0) (- (* -564493/100000 z0) -144847/1000000))
(FPCore (z0 z1) (* z0 (- z1 62849/500000)))
(FPCore (z0) (* z0 -17943/1000))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) z2))
(FPCore (z0 z1) (* (- z0 62849/500000) z1))
(FPCore (z0) (* (- z0 62849/500000) -17943/1000))
(FPCore (z0) (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))
(FPCore (z0 z1) (- (* -564493/100000 z0) z1))
(FPCore (z0 z1) (+ (* -251909/54013000 z0) z1))
(FPCore (z0) (* 371791/100000000000 z0))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z0) (* -251909/54013000 z0))
(FPCore (z0) (exp (* (- z0 2) -100)))
(FPCore (z0 z1) (* z0 (pow z1 33/10)))
(FPCore (z0) (* z0 (- (* -564493/100000 z0) -144847/1000000)))
(FPCore (z0 z1) (* (- z0 (* (+ z0 z0) z0)) (pow (* (- z1 1) (- z1 1)) (- z0 1))))
(FPCore (z0 z1 z2) (/ (+ (* z0 z1) z2) (* z0 z0)))
(FPCore (z0 z1) (* (* (* z0 z0) z0) z1))
(FPCore (z0 z1) (* z0 (- (* -564493/100000 z1) -144847/1000000)))
(FPCore (z0) (* 933/50 (* z0 z0)))
(FPCore (z0) (pow z0 3/5))
(FPCore (z0 z1) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))
(FPCore (z0 z1) (pow (/ z0 z1) -7437/50000))
(FPCore (z0) (* z0 108089/50000))
(FPCore (z0 z1) (* (* (- z0 1) -14/5) z1))
(FPCore (z0 z1 z2) (* z0 (pow (/ z1 z2) -7437/50000)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0) (* z0 -14/5))
(FPCore (z0) (/ -1286827737597/1000000000000000 z0))
(FPCore (z0) (pow z0 -7437/50000))
(FPCore (z0) (pow z0 35969/50000))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) z2))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -2))
(FPCore (z0 z1) (* -243787/100000 (/ z0 z1)))
(FPCore (z0) (* (- z0 1) -14/5))
(FPCore (z0 z1 z2) (- z0 (* -23229/20000 (pow (/ z1 z2) -7437/50000))))
(FPCore (z0) (* -243787/100000 z0))
(FPCore (z0) (* -23229/20000 z0))
(FPCore (z0) (* 1725674783/101564000000 z0))
(FPCore (z0 z1) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000))))
(FPCore (z0) (pow z0 34/5))
(FPCore (z0) (* (* (- z0 1) -14/5) (- z0 1)))
(FPCore (z0 z1) (* -1933/2500 (/ z0 z1)))
(FPCore (z0) (* -52487/100000 z0))
(FPCore (z0 z1 z2) (+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2))
(FPCore (z0 z1 z2) (/ z0 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2)))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 3)) z0) z2))
(FPCore (z0 z1) (* (* (/ z0 (* z1 3)) z0) z0))
(FPCore (z0) (exp (* (* (- z0 1) -14/5) (- z0 1))))
(FPCore (z0 z1) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)))
(FPCore (z0 z1) (* z0 (atan z1)))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 3)) z2))
(FPCore (z0 z1 z2) (* (* z0 (- (* (+ z1 z1) z1) z1)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)) (* z2 z2)))
(FPCore (z0 z1 z2) (+ (* (* (/ z0 (* z1 3)) z0) z0) z2))
(FPCore (z0 z1) (- z0 (* (- 1 z1) (atan z0))))
(FPCore (z0 z1) (* (/ z0 (* z1 3)) z0))
(FPCore (z0) (pow z0 4681/10000))
(FPCore (z0 z1) (/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1)))
(FPCore (z0 z1) (- (exp (* (* (- z0 1) -14/5) (- z0 1))) 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))
(FPCore (z0) (/ 3995125013/10000000000000000 z0))
(FPCore (z0) (* 199789/20000 z0))
(FPCore (z0 z1) (/ (* z0 z0) z1))
(FPCore (z0 z1) (* (- (/ 1 z0) 1) z1))
(FPCore (z0 z1) (* z0 (* (* (* z1 z1) z1) z1)))
(FPCore (z0 z1 z2) (* (* (- z0 1) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1) (* z0 (pow z1 -2/3)))
(FPCore (z0 z1) (* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)))
(FPCore (z0 z1 z2) (* (/ (pow z0 -2/3) z1) z2))
(FPCore (z0) (/ z0 (- (fabs (- 11/10 z0)) -11/10)))
(FPCore (z0 z1) (- (exp (* (- z0 2) -100)) z1))
(FPCore (z0 z1) (- z0 (* -159587/10000 (pow z1 2/5))))
(FPCore (z0 z1) (/ z0 (- (exp (* (- z1 2) -100)) -1)))
(FPCore (z0 z1) (- z0 (- (* 11113/5620200 z1) -34359/12500)))
(FPCore (z0 z1 z2) (* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2))))
(FPCore (z0) (pow z0 -22/5))
(FPCore (z0) (pow z0 -4/5))
(FPCore (z0 z1) (* z0 (sqrt (fabs z1))))
(FPCore (z0 z1) (/ z0 (- (fabs (- 11/10 z1)) -11/10)))
(FPCore (z0 z1 z2) (* (* z0 (- (* (+ z1 z1) z1) z1)) (pow (* (- z2 1) (- z2 1)) (- z1 1))))
(FPCore (z0) (* 11113/5620200 z0))
(FPCore (z0) (* -159587/10000 z0))
(FPCore (z0) (pow z0 5/3))
(FPCore (z0) (* 12451/1000 z0))
(FPCore (z0) (* -91223/5000 z0))
(FPCore (z0) (- (exp (* (- z0 2) -100)) -1))
(FPCore (z0) (* -159587/10000 (pow z0 2/5)))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0 z1) (* z0 (pow z1 7/10)))
(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) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (+ (* -23229/20000 (pow (/ z0 z1) -7437/50000)) z2)))
(FPCore (z0) (* 32311286061523161/250000000000000000000000000000000 z0))
(FPCore (z0 z1) (* (* (* (* z0 z0) z0) z0) z1))
(FPCore (z0 z1) (- 1 (exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))))
(FPCore (z0) (* -360603235428487/1000000000000000 z0))
(FPCore (z0 z1) (* z0 (pow z1 25)))
(FPCore (z0 z1) (exp (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0)))))
(FPCore (z0 z1 z2) (* z0 (sqrt (* (* z1 1000) z2))))
(FPCore (z0) (* 80738543/1000000000 z0))
(FPCore (z0 z1) (* (- z0) (/ z1 (+ (* (* (/ z1 (* z0 3)) z1) z1) z0))))
(FPCore (z0 z1 z2) (- z0 (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1))))))
(FPCore (z0) (sqrt (* 1000/630259 z0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2))))
(FPCore (z0 z1) (* z0 (pow z1 103/10)))
(FPCore (z0 z1 z2) (/ (- z0 (* (- 1 z1) (atan z0))) z2))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- z1 1)) z2))
(FPCore (z0 z1 z2) (/ z0 (* (* (* (exp z1) z2) 1000000000000000000) z2)))
(FPCore (z0) (* 50/28101 z0))
(FPCore (z0) (* (sqrt z0) z0))
(FPCore (z0 z1) (* (- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)) z1))
(FPCore (z0 z1 z2) (* (* z0 (- z1)) z2))
(FPCore (z0) (* 2/5 z0))
(FPCore (z0) (* z0 373223/10000))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 3)) z2))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0) (* z0 -1253/500))
(FPCore (z0) (* 889/4000 (sqrt z0)))
(FPCore (z0 z1) (* z0 (* (- z1 1) (- z1 1))))
(FPCore (z0 z1 z2) (* (* (pow z0 -2/3) z1) z2))
(FPCore (z0 z1) (* z0 (* z1 8157/200000000)))
(FPCore (z0) (* 1/5 z0))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 2)) z2))
(FPCore (z0 z1 z2) (* (* z0 (- z1)) (pow z2 z0)))
(FPCore (z0 z1) (/ (sqrt z0) z1))
(FPCore (z0 z1) (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) z1))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1) (* z0 (* (sqrt z1) z1)))
(FPCore (z0 z1) (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))))
(FPCore (z0) (sqrt (* z0 1000)))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- z1 1))))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))))
(FPCore (z0 z1) (/ 1 (* z0 z1)))
(FPCore (z0 z1 z2) (* (pow (* z0 z1) 5) z2))
(FPCore (z0) (* -69837/250 z0))
(FPCore (z0 z1) (* 4543/125000000 (sqrt (* z0 z1))))
(FPCore (z0 z1 z2) (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (* (- z2) (/ z0 (+ (* (* (/ z0 (* z2 3)) z0) z0) z2)))))))
(FPCore (z0) (* -4033572907/5000000000000000 z0))
(FPCore (z0 z1 z2) (* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) z2))
(FPCore (z0) (* 10/7 z0))
(FPCore (z0 z1 z2) (* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1)) (/ z2 z1)))
(FPCore (z0) (* -4033572907/5000000000000000 (pow z0 2/3)))
(FPCore (z0) (* 100/54013 z0))
(FPCore (z0) (* 4543/125000000 z0))
(FPCore (z0 z1) (* (* -360603235428487/1000000000000000 z0) z1))
(FPCore (z0 z1 z2) (pow (* z0 z1) z2))
(FPCore (z0 z1) (- z0 (* 24/25 z1)))
(FPCore (z0 z1) (* z0 (* (* (- 1 z1) (- 1 z1)) (- z1 1))))
(FPCore (z0 z1 z2) (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) z2))
(FPCore (z0) (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))))
(FPCore (z0 z1) (* z0 (/ 1000000000/1570796327 z1)))
(FPCore (z0 z1) (* (* (- z0 1) (- z0 1)) z1))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- z1 1)))
(FPCore (z0 z1 z2) (* (- (/ (- z0 (* (- 1 z1) (atan z0))) z1) (- 1 (exp (* (- z2) (/ z0 (+ (* (* (/ z0 (* z2 3)) z0) z0) z2)))))) (/ 1000000000/1570796327 z0)))
(FPCore (z0 z1 z2) (+ (- z0 1) (exp (* (- z1) (/ z2 (+ (* (* (/ z2 (* z1 3)) z2) z2) z1))))))
(FPCore (z0) (* -45097/2000 z0))
(FPCore (z0 z1) (- (* 24/25 z0) z1))
(FPCore (z0) (* 3/5 z0))
(FPCore (z0 z1 z2) (sinh (* (* z0 z1) z2)))
(FPCore (z0 z1) (pow (* z0 z1) 5))
(FPCore (z0) (* -352473/1000 z0))
(FPCore (z0 z1) (/ (- z0 (* (- 1 z1) (atan z0))) z1))
(FPCore (z0) (* -47463/2500 z0))
(FPCore (z0) (* 1427549651/10000000000000 (cbrt z0)))
(FPCore (z0 z1) (- (* 371791/100000000000 z0) z1))
(FPCore (z0 z1 z2) (* (* (* (* z0 z1) z0) z1) z2))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z2)) z0))
(FPCore (z0 z1) (/ (- (* 3 z0) 1) z1))
(FPCore (z0 z1) (- (* (* (* (* z0 z0) z0) z0) -17/4) (* 933/50 (* z1 z1))))
(FPCore (z0) (* -119381/50000 z0))
(FPCore (z0) (* (* (* (* z0 z0) z0) z0) -17/4))
(FPCore (z0) (- (* 371791/100000000000 z0) 150087/10000000000))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2)))
(FPCore (z0 z1) (* (cbrt z0) z1))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) z2))
(FPCore (z0 z1) (+ (* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1))
(FPCore (z0 z1) (- z0 (* -4033572907/5000000000000000 (pow z1 2/3))))
(FPCore (z0 z1) (* (sqrt (* z0 z1)) 4543/125000000))
(FPCore (z0) (* (- (* 371791/100000000000 z0) 150087/10000000000) z0))
(FPCore (z0) (/ (- (* 3 z0) 1) (* z0 z0)))
(FPCore (z0 z1) (* (- (* 371791/100000000000 z0) 150087/10000000000) z1))
(FPCore (z0 z1) (* z0 (* (fabs z1) 1000)))
(FPCore (z0) (* 1427549651/10000000000000 z0))
(FPCore (z0 z1 z2) (* z0 (* (- z1 (* (+ z1 z1) z1)) z2)))
(FPCore (z0 z1) (- z0 (/ (- (* 3 z1) 1) (* z1 z1))))
(FPCore (z0) (* 265651/100000000 z0))
(FPCore (z0 z1 z2) (* z0 (/ z1 (* z2 z2))))
(FPCore (z0) (* -119381/50000 (pow z0 33/10)))
(FPCore (z0) (* (* z0 z0) 442087/5000))
(FPCore (z0) (/ 3886409/50000000000 z0))
(FPCore (z0 z1) (- z0 (* -119381/50000 (pow z1 33/10))))
(FPCore (z0) (sqrt (* z0 1000/630259)))
(FPCore (z0 z1) (* (* 889/4000 (sqrt z0)) z1))
(FPCore (z0) (- 2 (/ (- (* 3 z0) 1) (* z0 z0))))
(FPCore (z0) (* (* 889/4000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))))
(FPCore (z0) (pow z0 -16/5))
(FPCore (z0 z1 z2) (* (pow z0 -2/3) (* (sqrt (* z1 z2)) 4543/125000000)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (- z0 (+ (* -251909/54013000 z1) z2)))
(FPCore (z0 z1) (* (* (- z0 1) z0) z1))
(FPCore (z0) (* z0 365179/5000))
(FPCore (z0 z1) (- z0 (* 1427549651/10000000000000 (cbrt z1))))
(FPCore (z0) (pow z0 -3/10))
(FPCore (z0 z1 z2) (* (* (* (exp z0) z1) 1000000000000000000) z2))
(FPCore (z0) (pow z0 7034007057/10000000000))
(FPCore (z0 z1) (* z0 (sqrt (* 1000/630259 z1))))
(FPCore (z0) (* 2916688747387/781250000000000 z0))
(FPCore (z0) (* 2991126123/50000000 z0))
(FPCore (z0) (* -21391/1250 (pow z0 2/5)))
(FPCore (z0) (- (* 1725674783/101564000000 z0) -1060751253/100000000))
(FPCore (z0) (* 145009/5000000 (pow z0 33/10)))
(FPCore (z0) (* -74162421/10000000000 z0))
(FPCore (z0 z1) (- 158519/25000 (+ (* -251909/54013000 z0) z1)))
(FPCore (z0) (* z0 360603235428487/1000000000000000))
(FPCore (z0) (* (sqrt z0) 8157/200000000))
(FPCore (z0 z1) (* (* 11101/6250000000000000 (pow z0 25)) z1))
(FPCore (z0 z1 z2) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1)))
(FPCore (z0) (/ -2620316969/100000000 z0))
(FPCore (z0 z1 z2) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) z2))
(FPCore (z0 z1) (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))))
(FPCore (z0) (* 20969/12500 z0))
(FPCore (z0 z1 z2) (+ (/ 1 (* z0 z1)) z2))
(FPCore (z0 z1) (- z0 (- (* 1725674783/101564000000 z1) -1060751253/100000000)))
(FPCore (z0 z1 z2) (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z2))
(FPCore (z0) (/ 4862030501/500000000000000 z0))
(FPCore (z0) (* -1585571631/10000000 z0))
(FPCore (z0 z1 z2) (* (log (/ z0 z1)) z2))
(FPCore (z0 z1) (- (* 1725674783/101564000000 z0) z1))
(FPCore (z0 z1) (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1))
(FPCore (z0 z1) (* (- (/ 1 z0) 1) (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z0) 1))))
(FPCore (z0 z1) (* (pow z0 35969/50000) z1))
(FPCore (z0) (* z0 1000000000/1570796327))
(FPCore (z0) (* 145009/5000000 z0))
(FPCore (z0 z1 z2) (* z0 (* (sqrt (* z1 z2)) 4543/125000000)))
(FPCore (z0) (* -1585571631/10000000 (* z0 z0)))
(FPCore (z0 z1) (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) z1))
(FPCore (z0 z1) (* (* (sqrt z0) 8157/200000000) z1))
(FPCore (z0) (pow z0 1/6))
(FPCore (z0 z1) (* z0 (* 1000000000 z1)))
(FPCore (z0 z1 z2) (* z0 (* (- (/ 1 z1) 1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)))))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0 z1) (* 1/3 (* (* (* z0 z1) z0) z1)))
(FPCore (z0 z1) (* z0 (/ z0 (* z1 z1))))
(FPCore (z0 z1 z2) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2)))
(FPCore (z0 z1) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 z2) 1))))
(FPCore (z0 z1 z2) (+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2))))
(FPCore (z0 z1) (- (/ 3995125013/10000000000000000 z0) z1))
(FPCore (z0 z1 z2) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) z2))
(FPCore (z0 z1) (* (* (- 1 z0) (- 1 z0)) z1))
(FPCore (z0 z1) (* z0 (pow z1 3/5)))
(FPCore (z0 z1) (- z0 (* 3006667839/500000000000000 (cbrt z1))))
(FPCore (z0 z1 z2) (* (* (- 1 z0) z1) z2))
(FPCore (z0) (* -85/56 z0))
(FPCore (z0) (* 3006667839/500000000000000 z0))
(FPCore (z0) (/ 8157/200000000 z0))
(FPCore (z0 z1) (* -1/3 (* (* (* z0 z1) z0) z1)))
(FPCore (z0 z1 z2) (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))
(FPCore (z0 z1 z2) (pow (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1)) 2))
(FPCore (z0 z1 z2) (- (* -1/3 (* (* (* z0 z1) z0) z1)) (* (/ z2 (* z0 z1)) z2)))
(FPCore (z0 z1 z2) (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))) (- z2 1)))
(FPCore (z0 z1 z2) (- (* -1/3 (* (* (* z0 z1) z0) z1)) z2))
(FPCore (z0) (* 3006667839/500000000000000 (cbrt z0)))
(FPCore (z0 z1) (* z0 (pow z1 11)))
(FPCore (z0) (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000))
(FPCore (z0 z1) (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))))
(FPCore (z0 z1 z2) (* z0 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))))
(FPCore (z0 z1) (+ (pow z0 806282737481277/100000000000000) z1))
(FPCore (z0 z1 z2) (* (/ (+ z0 z0) z1) z2))
(FPCore (z0 z1 z2) (/ z0 (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000))))
(FPCore (z0) (+ (pow z0 806282737481277/100000000000000) (* z0 z0)))
(FPCore (z0 z1) (* z0 (* (* z1 z1) z1)))
(FPCore (z0 z1) (* z0 (pow z1 34/5)))
(FPCore (z0) (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000))
(FPCore (z0 z1 z2) (- 1 (pow (tanh (* (* z0 z1) z2)) -2)))
(FPCore (z0) (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)))
(FPCore (z0) (* -4492659933/100000000000000000 z0))
(FPCore (z0 z1) (* z0 (sqrt (* z1 1000/630259))))
(FPCore (z0 z1) (* z0 (pow (* z1 1000/630259) -22/5)))
(FPCore (z0) (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50))
(FPCore (z0 z1) (- (* 11113/5620200 z0) z1))
(FPCore (z0) (pow z0 39751/100000))
(FPCore (z0) (* z0 1/50))
(FPCore (z0) (* z0 9/10))
(FPCore (z0 z1) (* (* -141707/20000 (- 1 z0)) z1))
(FPCore (z0) (exp (- 15 (* -100 (- (/ z0 (- (fabs (- 11/10 z0)) -11/10)) 1)))))
(FPCore (z0 z1) (* z0 (- (- (- (/ 3995125013/10000000000000000 z1) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z1))) (* -4033572907/5000000000000000 (pow z1 2/3)))))
(FPCore (z0 z1 z2) (* (sqrt (* (* z0 1000) z1)) z2))
(FPCore (z0 z1 z2) (+ (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000) z2))
(FPCore (z0) (* -5924416513/1000000000000000000 z0))
(FPCore (z0 z1 z2) (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) z2))
(FPCore (z0 z1) (- z0 (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)))
(FPCore (z0) (pow (* 1000/630259 z0) -4/5))
(FPCore (z0 z1 z2) (* z0 (* (- z1) z2)))
(FPCore (z0 z1) (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)))
(FPCore (z0 z1) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) z1))
(FPCore (z0) (* 4423/20000 z0))
(FPCore (z0) (* -5924416513/1000000000000000000 (pow z0 2/3)))
(FPCore (z0 z1) (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2))
(FPCore (z0 z1) (- z0 (* -21391/1250 (pow z1 2/5))))
(FPCore (z0 z1) (/ (- (* 12451/1000 z0) 29567/100) z1))
(FPCore (z0 z1 z2) (+ (* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5)) z2))
(FPCore (z0) (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000))
(FPCore (z0) (* 4423/20000 (sqrt z0)))
(FPCore (z0) (pow (* (- z0 1) (- z0 1)) 5/3))
(FPCore (z0 z1) (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) z1))
(FPCore (z0) (- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))))
(FPCore (z0 z1) (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)))
(FPCore (z0 z1 z2) (/ (* (- z0 1) (* (* z0 (- z1)) (/ (pow z2 z0) z2))) (* z2 z2)))
(FPCore (z0) (* -4492659933/100000000000000000 (cbrt z0)))
(FPCore (z0) (* z0 55301/200000000))
(FPCore (z0) (* (pow z0 35969/50000) 196))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 z1)) z0) z2))
(FPCore (z0) (pow (* z0 1000/630259) -22/5))
(FPCore (z0 z1) (- (* 12451/1000 z0) z1))
(FPCore (z0 z1) (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) (- z2 1))))
(FPCore (z0 z1 z2) (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))))
(FPCore (z0) (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)))
(FPCore (z0 z1 z2) (* z0 (* (pow z1 -2/3) z2)))
(FPCore (z0 z1) (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) z1))
(FPCore (z0 z1 z2) (/ (* z0 z1) (tanh (* (* z2 z1) z0))))
(FPCore (z0 z1) (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) z1))
(FPCore (z0) (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4))
(FPCore (z0) (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1))
(FPCore (z0) (exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60))))
(FPCore (z0 z1) (- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (+ (* 3006667839/500000000000000 (cbrt z0)) z1)))
(FPCore (z0 z1) (* (pow (* (- 1 z0) (- 1 z0)) 1/5) z1))
(FPCore (z0 z1 z2) (* (* (* (pow z0 -2/3) z1) 4543/125000000) z2))
(FPCore (z0) (* -3/10 z0))
(FPCore (z0 z1) (- (* -4492659933/100000000000000000 (cbrt z0)) z1))
(FPCore (z0 z1) (- (exp (- 20 (* (- 1 (/ z0 (- (fabs (- 11/10 z0)) -11/10))) 60))) z1))
(FPCore (z0) (/ -430313/5000 z0))
(FPCore (z0 z1) (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2))
(FPCore (z0) (/ -3995125013/10000000000000000 z0))
(FPCore (z0 z1) (* z0 (pow (* (- z1 1) (- z1 1)) 5/3)))
(FPCore (z0 z1) (* z0 (pow (* z1 1000/630259) -4/5)))
(FPCore (z0) (pow z0 77963/100000))
(FPCore (z0 z1 z2) (/ z0 (- z1 (- (* 11113/5620200 z2) -34359/12500))))
(FPCore (z0) (* 265651/100000000 (pow (* z0 1000/630259) -4/5)))
(FPCore (z0) (acosh z0))
(FPCore (z0 z1) (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000))
(FPCore (z0 z1) (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) z1))
(FPCore (z0 z1) (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)))
(FPCore (z0) (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)))
(FPCore (z0) (/ 3468241/5000000 z0))
(FPCore (z0) (pow z0 1/5))
(FPCore (z0 z1) (* (* z0 (- z0 1)) z1))
(FPCore (z0 z1 z2) (* (- z0 2) (/ (* (- z0 1) (* (* (- z0) z1) (/ (pow z2 z0) z2))) (* z2 z2))))
(FPCore (z0 z1) (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) z1))
(FPCore (z0 z1 z2) (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) z2))
(FPCore (z0) (* (acosh (- (* (pow (* (- 1 z0) (- 1 z0)) 1/5) 1/50) -1)) 9/10))
(FPCore (z0 z1 z2) (* (- 1 (pow (tanh (* (* z0 z1) z2)) -2)) (/ (* z2 z1) (tanh (* (* z0 z1) z2)))))
(FPCore (z0) (pow (* (- 1 z0) (- 1 z0)) 1/5))
(FPCore (z0) (- (* 12451/1000 z0) 29567/100))
(FPCore (z0) (pow (* z0 1000/630259) -4/5))
(FPCore (z0 z1) (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)))
(FPCore (z0) (exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000)))
(FPCore (z0) (- (- (- (/ 3995125013/10000000000000000 z0) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z0))) (* -4033572907/5000000000000000 (pow z0 2/3))))
(FPCore (z0 z1 z2) (* (* z0 (- z1)) (/ (pow z2 z0) z2)))
(FPCore (z0 z1) (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) z1))
(FPCore (z0 z1) (/ z0 (- (* (* z1 z1) 442087/5000) -660989/100000)))
(FPCore (z0 z1) (* (* 11101/6250000000000000 (pow z0 25)) (pow (* z1 1000/630259) -22/5)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* 1000/630259 z1))))
(FPCore (z0 z1 z2) (pow (/ (- z0 z1) z0) z2))
(FPCore (z0 z1) (* z0 (pow z1 22)))
(FPCore (z0) (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)))
(FPCore (z0) (pow (* 1000/630259 z0) -22/5))
(FPCore (z0 z1 z2) (* z0 (- (* (* (* (* z1 z2) 360603235428487/1000000000000000) z1) z1) (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2)))))
(FPCore (z0) (pow z0 -79857/100000))
(FPCore (z0 z1 z2) (* (/ z0 (* (- z1 z0) z1)) z2))
(FPCore (z0 z1) (* (* (pow z0 -2/3) z1) 4543/125000000))
(FPCore (z0) (- (* 11113/5620200 z0) -34359/12500))
(FPCore (z0 z1) (- (* 50/25391 z0) z1))
(FPCore (z0) (* 320971/1000000 z0))
(FPCore (z0 z1) (* (* -1678109403/625000000 (- 1 z0)) z1))
(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 (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) -79857/100000))
(FPCore (z0 z1 z2) (* z0 (- (* -52487/100000 (exp (* -1933/2500 (/ z1 z2)))) (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000))))))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- z2 1) (- z2 1)) (- z0 1))))
(FPCore (z0 z1) (* (* z0 8157/200000000) z1))
(FPCore (z0) (pow (* 2/5 z0) 10))
(FPCore (z0 z1 z2) (- z0 (* (- (* -4492659933/100000000000000000 (cbrt z1)) (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000)) z2)))
(FPCore (z0 z1) (* (pow z0 15) z1))
(FPCore (z0 z1) (exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))))
(FPCore (z0) (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))))
(FPCore (z0) (* 18347/125 (* (* (* z0 z0) z0) 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) (pow (pow (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)))
(FPCore (z0) (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)))
(FPCore (z0) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000))
(FPCore (z0) (* 2191/5000000 z0))
(FPCore (z0 z1 z2) (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 (- (* -3/10 (pow (* (- z0 1) (- z0 1)) 5/3)) (/ (- z1 1) z1)) 2) 39751/100000)) z2))
(FPCore (z0 z1) (* (pow z0 5) z1))
(FPCore (z0 z1 z2) (* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- (/ 1 z1) 1))))
(FPCore (z0 z1 z2) (* (/ 500000000000000/9424777960769379 (* z0 z1)) z2))
(FPCore (z0 z1) (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))
(FPCore (z0 z1) (* (* 4423/20000 (sqrt z0)) z1))
(FPCore (z0 z1) (- z0 (- (* 50/25391 z1) -117359329/250000000)))
(FPCore (z0 z1 z2) (* z0 (+ (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1)) (- (* (* -1349503397427/10000000000 (- 1 z2)) (- 1 z2)) (* (* z1 z1) z1)))))
(FPCore (z0 z1 z2) (/ z0 (* (* z1 z2) z1)))
(FPCore (z0 z1 z2) (- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (- (* -119381/50000 (pow z1 33/10)) z2)))
(FPCore (z0) (* 18347/125 z0))
(FPCore (z0 z1) (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000)))
(FPCore (z0) (* -1678109403/625000000 z0))
(FPCore (z0) (* -15337/1000 z0))
(FPCore (z0 z1) (* (sqrt (* z0 1000)) z1))
(FPCore (z0 z1) (- z0 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1)))
(FPCore (z0 z1 z2) (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) z2))
(FPCore (z0 z1) (- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (* -119381/50000 (pow z1 33/10))))
(FPCore (z0) (sqrt (* 100/61689 z0)))
(FPCore (z0 z1 z2) (/ z0 (* (* (exp z1) z2) z2)))
(FPCore (z0 z1 z2) (* (* (pow z0 -2/3) (sqrt (fabs z1))) z2))
(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)))
(FPCore (z0 z1) (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)))
(FPCore (z0) (- (pow (* 2/5 z0) 10)))
(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 z2) (* (* (/ z0 (* z1 z1)) z0) (pow (* (- z2 1) (- z2 1)) (- (/ 1 z1) 1))))
(FPCore (z0) (sqrt (* 50/25391 z0)))
(FPCore (z0 z1 z2) (- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) z2))
(FPCore (z0) (* z0 -52147/20000))
(FPCore (z0) (* z0 2307/100000000))
(FPCore (z0 z1) (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) z1))
(FPCore (z0 z1) (* z0 (sqrt (/ 77021/125 z1))))
(FPCore (z0 z1 z2) (/ (sqrt (* z0 z1)) z2))
(FPCore (z0) (* -1678109403/625000000 (- 1 z0)))
(FPCore (z0) (* z0 1141831681/10000000000))
(FPCore (z0 z1) (- z0 (* 145009/5000000 (pow z1 33/10))))
(FPCore (z0 z1) (+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1))))
(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) (sqrt (* 50/28101 z0)))
(FPCore (z0 z1) (* z0 (pow z1 5)))
(FPCore (z0 z1) (* (* z0 z1) 360603235428487/1000000000000000))
(FPCore (z0 z1 z2) (* z0 (* (- z1 1) z2)))
(FPCore (z0 z1) (- (/ -1286827737597/1000000000000000 z0) z1))
(FPCore (z0 z1) (/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))))
(FPCore (z0 z1) (* z0 (* 500000000000000/9424777960769379 z1)))
(FPCore (z0 z1 z2) (- (+ (* (* -1349503397427/10000000000 (- 1 z0)) (- 1 z0)) (* (* -1678109403/625000000 (- 1 z1)) (- 1 z1))) z2))
(FPCore (z0 z1 z2) (+ (pow (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) z2))
(FPCore (z0 z1 z2) (* 2 (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (/ z2 z1))))
(FPCore (z0 z1 z2) (+ (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1)) z2))
(FPCore (z0 z1 z2) (/ z0 (- (* -1585571631/10000000 (* z1 z1)) (- (* 50/25391 z2) -117359329/250000000))))
(FPCore (z0 z1) (* z0 (* 32311286061523161/250000000000000000000000000000000 z1)))
(FPCore (z0) (* z0 411354199/12500000000000))
(FPCore (z0) (- (* -4492659933/100000000000000000 (cbrt z0)) (- (* -5924416513/1000000000000000000 (pow z0 2/3)) 5213335363/100000000000000000)))
(FPCore (z0 z1) (* (* z0 z1) 4543/125000000))
(FPCore (z0) (* 86433/500000000000000 z0))
(FPCore (z0 z1) (* (pow z0 -2/3) (sqrt (fabs z1))))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1))))
(FPCore (z0) (- (* 50/25391 z0) -117359329/250000000))
(FPCore (z0 z1) (* (- (* (+ z0 z0) z0) z0) z1))
(FPCore (z0) (* -15337/1000 (* (sqrt z0) z0)))
(FPCore (z0 z1) (* (* 86433/500000000000000 (pow z0 22)) z1))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) z1) z2))
(FPCore (z0 z1) (* (* -1349503397427/10000000000 (- 1 z0)) z1))
(FPCore (z0) (* -1349503397427/10000000000 z0))
(FPCore (z0 z1) (- z0 (- (* -5924416513/1000000000000000000 (pow z1 2/3)) 5213335363/100000000000000000)))
(FPCore (z0 z1 z2) (* (* (* z0 z1) 4543/125000000) z2))
(FPCore (z0 z1) (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0)))))
(FPCore (z0) (* -28361/1000 z0))
(FPCore (z0 z1 z2) (* (pow (- (- 1 z0) (* (acosh (- (* (pow (* (- 1 z1) (- 1 z1)) 1/5) 1/50) -1)) 9/10)) 2) z2))
(FPCore (z0) (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))))
(FPCore (z0) (* -1349503397427/10000000000 (- 1 z0)))
(FPCore (z0) (sqrt (/ 77021/125 z0)))
(FPCore (z0 z1 z2) (* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- (/ 1 z2) 1))))
(FPCore (z0) (* (pow z0 2/3) 411354199/12500000000000))
(FPCore (z0) (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)))
(FPCore (z0 z1 z2) (/ (* -1 (* z0 z0)) (- (* (- (* 24/25 z1) z2) (- z2 (* 24/25 z1))) (* z0 z0))))
(FPCore (z0 z1 z2) (* z0 (* (* z1 z2) z1)))
(FPCore (z0) (pow (* z0 100/61689) -16/5))
(FPCore (z0 z1) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000))
(FPCore (z0 z1 z2) (* z0 (pow (* (* (- z1 1) (- z1 1)) (* (- z1 1) (- z1 1))) (- (/ 1/2 z2) 1))))
(FPCore (z0) (* 1725813/125000000000000000000000000000 z0))
(FPCore (z0 z1 z2) (/ z0 (- (* 9519/540130 z1) (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) 973449/100000))))
(FPCore (z0 z1 z2) (* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1))))
(FPCore (z0 z1) (* (+ (- (* -1455192887/2000000000000000 z0) -186297053/1000000000000) (- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0)))) z1))
(FPCore (z0 z1 z2) (- (* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0) (- (- -186297053/1000000000000 (* z2 -1455192887/2000000000000000)) (- (* (pow z2 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z2))))))
(FPCore (z0 z1) (* (* (pow z0 35969/50000) 196) z1))
(FPCore (z0 z1 z2) (* (- (* 24/25 z0) z1) z2))
(FPCore (z0 z1) (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)))
(FPCore (z0 z1) (* z0 (exp (- (/ (- (* 12451/1000 z1) 29567/100) (* z1 z1)) 41249/10000))))
(FPCore (z0 z1) (- (/ -1286827737597/1000000000000000 z0) (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z0)))) (- (* 1725674783/101564000000 z0) -1060751253/100000000)))))
(FPCore (z0) (* 6673/250000000000 z0))
(FPCore (z0 z1) (* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))))
(FPCore (z0) (* z0 32311286061523161/250000000000000000000000000000000))
(FPCore (z0) (* 165903/160000000 z0))
(FPCore (z0 z1 z2) (* z0 (- (* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0) (- (- -186297053/1000000000000 (* z2 -1455192887/2000000000000000)) (- (* (pow z2 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z2)))))))
(FPCore (z0 z1) (* z0 (pow (* z1 100/61689) -16/5)))
(FPCore (z0 z1) (* (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0)))) z1))
(FPCore (z0 z1) (/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000))))
(FPCore (z0 z1 z2) (* z0 (- z1 (* 24/25 z2))))
(FPCore (z0 z1) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) (- z0 1)))
(FPCore (z0 z1) (+ (- z0 (- -186297053/1000000000000 (* z1 -1455192887/2000000000000000))) (- (* (pow z1 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z1)))))
(FPCore (z0) (* z0 905364607/12500000000000))
(FPCore (z0 z1) (- (* -17/4 (* (* (* z0 z0) z0) z0)) (* 933/50 (* z1 z1))))
(FPCore (z0) (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))))
(FPCore (z0 z1) (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) (- z0 1)))
(FPCore (z0 z1 z2) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) z2))
(FPCore (z0 z1 z2) (/ -1 (- (* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0))) (* z2 z2))))
(FPCore (z0) (/ -1 (- (exp (* (- z0 2) -100)) -1)))
(FPCore (z0 z1) (- (* z0 z0) (* -81/625 (* z1 z1))))
(FPCore (z0 z1) (* (* 1/5 z0) z1))
(FPCore (z0 z1) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (* 145009/5000000 (pow z1 33/10))))
(FPCore (z0 z1) (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) z1))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0 z1 z2) (+ (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)) z2))
(FPCore (z0 z1 z2) (* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (/ (- (- (+ z2 z2) 3) (/ -1 z2)) (* (* (- z1 1) z2) z2)))))
(FPCore (z0 z1) (* z0 (sqrt (* z1 1000))))
(FPCore (z0 z1) (+ (- z0 (* (pow z1 2/3) 411354199/12500000000000)) (* 1427549651/10000000000000 (cbrt z1))))
(FPCore (z0) (* 18371/200 z0))
(FPCore (z0) (pow (* z0 100/61689) -3/10))
(FPCore (z0) (* (pow z0 2/3) 1/1000000))
(FPCore (z0 z1) (* (* z0 (* (- z1 1) z0)) z0))
(FPCore (z0 z1 z2) (/ z0 (* z1 (- z2 1))))
(FPCore (z0 z1) (/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 z1)))
(FPCore (z0) (* z0 25/9))
(FPCore (z0 z1) (* (* 9424777960769379/500000000000000 z0) z1))
(FPCore (z0 z1 z2) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (- (* 145009/5000000 (pow z1 33/10)) z2)))
(FPCore (z0 z1 z2) (/ z0 (* (* z1 (* (- z2 1) z1)) z1)))
(FPCore (z0) (* (sqrt (sqrt 1000/630259)) z0))
(FPCore (z0 z1) (pow z0 (- 1 z1)))
(FPCore (z0 z1) (- (* (pow z0 2/3) 411354199/12500000000000) z1))
(FPCore (z0 z1 z2) (- z0 (/ (* (- -1 z1) 905364607/12500000000000) (- (* z1 (- 661346441/100000000 (- z1 (* 1106362283/253910000000 z2)))) (- (* 1725674783/101564000000 z2) -1060751253/100000000)))))
(FPCore (z0) (* -122919/1000 (* (sqrt z0) z0)))
(FPCore (z0 z1 z2) (* z0 (- (/ -430313/5000 (- z1 (- (* 11113/5620200 z2) -34359/12500))) (* 199789/20000 z1))))
(FPCore (z0 z1 z2) (+ (- z0 (/ -1286827737597/1000000000000000 z1)) (/ (* (- -1 z2) 905364607/12500000000000) (- (* z2 (- 661346441/100000000 (- z2 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000)))))
(FPCore (z0 z1 z2) (* z0 (* (* z1 z1) z2)))
(FPCore (z0) (* 320971/1000000 (pow (* z0 100/61689) -3/10)))
(FPCore (z0) (* -81/625 (* z0 z0)))
(FPCore (z0 z1 z2) (* (* (* (- 1 z0) 4) z1) z2))
(FPCore (z0) (* -81/625 z0))
(FPCore (z0 z1 z2) (* (* (pow (* (- z0 1) (- z0 1)) (- (/ 1/2 z1) 1)) z2) (/ (- (* (- (+ z1 z1) 3) z1) -1) (* (* z1 (* (- z0 1) z1)) z1))))
(FPCore (z0 z1) (* z0 (pow (* z1 100/61689) -3/10)))
(FPCore (z0) (* z0 (sqrt 1000/630259)))
(FPCore (z0) (* 1591641/2500000 z0))
(FPCore (z0 z1) (/ z0 (* -3 z1)))
(FPCore (z0 z1) (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) z1))
(FPCore (z0 z1 z2) (* (* (* z0 z1) -2) z2))
(FPCore (z0 z1) (/ (* (- -1 z0) 905364607/12500000000000) z1))
(FPCore (z0) (- (- -186297053/1000000000000 (* z0 -1455192887/2000000000000000)) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0)))))
(FPCore (z0 z1 z2) (* (* z0 (* (- z1 1) z0)) z2))
(FPCore (z0) (* z0 (sqrt (sqrt 1000/630259))))
(FPCore (z0) (sqrt (* 100/54013 z0)))
(FPCore (z0 z1 z2) (* (* -2 z0) (* z1 z2)))
(FPCore (z0 z1 z2) (* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (- z1 1))))
(FPCore (z0 z1) (- (* -69837/250 z0) z1))
(FPCore (z0 z1 z2) (* (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2) (- (* (- (+ z1 z1) 3) z1) -1)))
(FPCore (z0 z1) (/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))
(FPCore (z0 z1 z2) (* (- (* z0 z0) (* -81/625 (* z1 z1))) z2))
(FPCore (z0) (* -91223/3151295 z0))
(FPCore (z0 z1 z2) (* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* (* (pow z0 2/3) (sqrt (* 1000/630259 z1))) z2))
(FPCore (z0) (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000))
(FPCore (z0) (* (- -1 z0) 905364607/12500000000000))
(FPCore (z0 z1 z2) (/ z0 (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1)))))
(FPCore (z0 z1) (- z0 (* -122919/1000 (* (sqrt z1) z1))))
(FPCore (z0 z1) (- z0 (* -15337/1000 (* (sqrt z1) z1))))
(FPCore (z0 z1 z2) (* (- 1 (exp (* (/ z0 (+ (* (* (/ z0 (* z1 3)) z0) z0) z1)) (- z1)))) z2))
(FPCore (z0 z1 z2) (* z0 (- (* z1 z2) 1)))
(FPCore (z0) (- (* -69837/250 z0) -282329/1000))
(FPCore (z0 z1) (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) z1))
(FPCore (z0) (- (* (pow z0 2/3) 411354199/12500000000000) (* 1427549651/10000000000000 (cbrt z0))))
(FPCore (z0) (* 9424777960769379/500000000000000 z0))
(FPCore (z0 z1) (- z0 (* -352473/1000 z1)))
(FPCore (z0 z1) (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)))
(FPCore (z0) (* z0 80738543/1000000000))
(FPCore (z0 z1) (* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) z1))
(FPCore (z0 z1) (* z0 (pow (* 1000/630259 z1) -22/5)))
(FPCore (z0 z1) (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))))
(FPCore (z0 z1 z2) (* (* (- z0 z1) z2) 500000000000000/9424777960769379))
(FPCore (z0 z1) (- (* (pow z0 15) 2307/100000000) (+ (* 2191/5000000 (pow z0 11)) z1)))
(FPCore (z0 z1 z2) (* (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)) z0))
(FPCore (z0) (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))) 80738543/1000000000)))
(FPCore (z0 z1) (/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) z1))
(FPCore (z0 z1) (sqrt (* z0 (* (fabs z1) 1000))))
(FPCore (z0 z1) (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0)))
(FPCore (z0 z1) (* z0 (- (* (- (+ z1 z1) 3) z1) -1)))
(FPCore (z0) (* -17/4 (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (- z0 (* -81/625 (* z1 z1))))
(FPCore (z0 z1 z2) (* (* z0 (- 2 (/ (- (* 3 z1) 1) (* z1 z1)))) (/ (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) (* z1 (* (* (- 1 z2) (- 1 z2)) (- z2 1))))))
(FPCore (z0 z1) (* z0 (sqrt (* 50/25391 z1))))
(FPCore (z0 z1) (* (- (* 24/25 z0) z1) (- z1 (* 24/25 z0))))
(FPCore (z0 z1 z2) (* (atan (* z0 z1)) z2))
(FPCore (z0 z1 z2) (- z0 (/ (+ (pow z1 806282737481277/100000000000000) (* z1 z1)) (- 121550806591497/1000000000000000 z2))))
(FPCore (z0 z1 z2) (* z0 (pow (+ (pow (* (pow (- (- 1 z1) (* (acosh (- (* (pow (* (- 1 z2) (- 1 z2)) 1/5) 1/50) -1)) 9/10)) 2) 1141831681/10000000000) 77963/100000) (pow (pow (- (* -3/10 (pow (* (- z1 1) (- z1 1)) 5/3)) (/ (- z2 1) z2)) 2) 39751/100000)) -79857/100000)))
(FPCore (z0) (* -122919/1000 z0))
(FPCore (z0 z1 z2) (- (* (log (/ z0 z1)) (- (- (- (/ 3995125013/10000000000000000 z2) -7087321137/1000000000000000) (* 3006667839/500000000000000 (cbrt z2))) (* -4033572907/5000000000000000 (pow z2 2/3)))) (* (- (* -4492659933/100000000000000000 (cbrt z2)) (- (* -5924416513/1000000000000000000 (pow z2 2/3)) 5213335363/100000000000000000)) z0)))
(FPCore (z0) (- 134133/1000 (* -352473/1000 z0)))
(FPCore (z0) (* 4712388981/250000000 z0))
(FPCore (z0 z1 z2) (/ -1 (+ (/ 1 (* z0 z1)) (/ (* 1/3 (* (* (* z0 z1) z0) z1)) (* z2 z2)))))
(FPCore (z0 z1) (* (sqrt (* 1000/630259 z0)) z1))
(FPCore (z0 z1) (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z1))
(FPCore (z0) (* (cbrt z0) -55320963042089/25000000000000))
(FPCore (z0 z1 z2) (* (* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2)) (- 1 z2)))
(FPCore (z0 z1 z2) (* (* (/ z0 z1) (- (/ 1 z1) 1)) z2))
(FPCore (z0 z1 z2) (* (* (- z0) z1) (/ (pow z2 z0) z2)))
(FPCore (z0) (* z0 -917/200000))
(FPCore (z0 z1) (* (sqrt (fabs z0)) z1))
(FPCore (z0 z1) (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) (* -122919/1000 (* (sqrt z0) z0))))
(FPCore (z0 z1) (* -5000000000 (/ (exp (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 4)) z1)))
(FPCore (z0 z1 z2) (- 1 (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0))))))
(FPCore (z0 z1) (* z0 (sqrt (* z1 100/61689))))
(FPCore (z0) (* z0 (- (* -45097/2000 z0) (* 26093/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) (- z0 (- (- (* 757467/100000 (* (* (* z1 z1) z1) z1)) (* (* z1 z1) (- (* z1 365179/5000) 191039/1000))) (* 60457/125 z1))))
(FPCore (z0 z1 z2) (* (sqrt (* (* z0 1000) z1)) (/ 6673/250000000000000000000000000000 z2)))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* z1 1000/630259))))
(FPCore (z0 z1 z2) (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) z2)))
(FPCore (z0 z1 z2) (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) z2))
(FPCore (z0 z1 z2) (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) z2))
(FPCore (z0 z1 z2) (- (* (- (- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11))) (* -15337/1000 (* (sqrt z0) z0))) (sqrt (/ 77021/125 z1))) z2))
(FPCore (z0 z1) (* 85/56 (* (* z0 z1) z0)))
(FPCore (z0 z1 z2) (* (* (* z0 z1) 360603235428487/1000000000000000) z2))
(FPCore (z0 z1 z2) (* (* z0 (/ z0 (* z1 z1))) z2))
(FPCore (z0) (* 757467/100000 z0))
(FPCore (z0 z1) (* (pow (* 1000/630259 z0) -4/5) z1))
(FPCore (z0 z1) (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) z1))
(FPCore (z0) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000)))
(FPCore (z0 z1) (* (- 1 (exp (* z0 -1253/500))) z1))
(FPCore (z0 z1 z2) (* z0 (sqrt (* z1 (* (fabs z2) 1000)))))
(FPCore (z0) (- (* -74162421/10000000000 z0) -22856419/1000000000))
(FPCore (z0 z1 z2) (cosh (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))
(FPCore (z0 z1 z2) (/ (sqrt (* (* z0 1000) z1)) z2))
(FPCore (z0 z1) (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (* -21391/1250 (pow z1 2/5))))
(FPCore (z0 z1) (* z0 (pow z1 4681/10000)))
(FPCore (z0) (* (* z0 (- (* -564493/100000 z0) -144847/1000000)) 6/5))
(FPCore (z0 z1) (* z0 (- (* z1 365179/5000) 191039/1000)))
(FPCore (z0 z1 z2) (* z0 (atan (* z1 z2))))
(FPCore (z0 z1) (* z0 (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5)))))
(FPCore (z0 z1) (- (* -74162421/10000000000 z0) z1))
(FPCore (z0 z1 z2) (* (* (pow z0 2/3) (sqrt (* z1 100/61689))) z2))
(FPCore (z0) (* (pow (* 1000/630259 z0) -4/5) 265651/100000000))
(FPCore (z0 z1 z2) (* (* (pow z0 2/3) (sqrt (* z1 1000/630259))) z2))
(FPCore (z0 z1) (* (- (exp (- (pow (* 2/5 z0) 10))) 1) (* -92639/125 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 6/5)))))
(FPCore (z0) (* z0 1/3))
(FPCore (z0 z1 z2) (* (- z0 2) (* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0)))))
(FPCore (z0) (- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (* (pow z0 5) -52147/20000)))
(FPCore (z0 z1 z2) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) z2)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5))))
(FPCore (z0 z1) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) z1))
(FPCore (z0) (* (pow z0 -2/3) 8157/200000000))
(FPCore (z0 z1 z2) (* z0 (* (pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z2) 1)) (- z1 1))))
(FPCore (z0 z1) (- (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))) z1))
(FPCore (z0 z1) (- z0 (- (* z1 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1)))) (+ (* (pow z1 5) -52147/20000) (- (* z1 373223/10000) -1)))))
(FPCore (z0 z1) (* (pow z0 2/3) (sqrt (* z1 100/61689))))
(FPCore (z0 z1) (- (* z0 373223/10000) z1))
(FPCore (z0) (* -92639/125 z0))
(FPCore (z0) (- (cbrt z0)))
(FPCore (z0 z1) (- (pow z0 806282737481277/100000000000000) z1))
(FPCore (z0) (* (- 1 (exp (* z0 -1253/500))) -16731/100))
(FPCore (z0 z1 z2) (* z0 (* (sqrt z1) z2)))
(FPCore (z0 z1) (- (/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))) (- (/ -1286827737597/1000000000000000 z1) (/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))))
(FPCore (z0 z1 z2) (* (- (/ 4862030501/500000000000000 (- (* -1585571631/10000000 (* z0 z0)) (- (* 50/25391 z1) -117359329/250000000))) (- (/ -1286827737597/1000000000000000 z1) (/ (* (- -1 z0) 905364607/12500000000000) (- (* z0 (- 661346441/100000000 (- z0 (* 1106362283/253910000000 z1)))) (- (* 1725674783/101564000000 z1) -1060751253/100000000))))) z2))
(FPCore (z0) (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))))
(FPCore (z0 z1 z2) (- (* (+ (* z0 z1) z2) -2) (- (+ (* z0 z1) z2) 2)))
(FPCore (z0) (sqrt (* z0 100/61689)))
(FPCore (z0 z1 z2) (* z0 (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10))))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 1)) (* (- z2) z1)))
(FPCore (z0 z1) (* (* (* z0 z1) 360603235428487/1000000000000000) z0))
(FPCore (z0 z1) (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5)))))
(FPCore (z0 z1) (- (* (* -47463/2500 z0) 100/61689) z1))
(FPCore (z0 z1 z2) (- z0 (- (* (exp (* -243787/100000 (/ z1 z2))) 108089/50000) (* -23229/20000 (pow (/ z1 z2) -7437/50000)))))
(FPCore (z0 z1) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) z1))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 1)) z2))
(FPCore (z0 z1 z2) (* (/ (+ z0 z0) z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1))))
(FPCore (z0) (* (* -91223/5000 z0) 1000/630259))
(FPCore (z0) (* 6673/250000000000 (sqrt (* z0 1000))))
(FPCore (z0 z1) (- (* z0 365179/5000) z1))
(FPCore (z0 z1) (* (* (pow z0 2/3) 1/1000000) (sqrt (* 50/28101 z1))))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 3)) (* (- z2) z1)))
(FPCore (z0 z1) (- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) z1))
(FPCore (z0) (- (* z0 365179/5000) 191039/1000))
(FPCore (z0 z1) (/ (* z0 8157/200000000) z1))
(FPCore (z0) (* z0 6/5))
(FPCore (z0 z1) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)) (- (* -21391/1250 (pow z1 2/5)) (* (* 86433/500000000000000 (pow z1 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z1 34/5)) (* 145009/5000000 (pow z1 33/10)))))
(FPCore (z0) (* z0 18371/200))
(FPCore (z0) (- (* z0 373223/10000) -1))
(FPCore (z0) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (- z2 121550806591497/1000000000000000))))
(FPCore (z0 z1) (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)) (pow z1 3/5)))
(FPCore (z0) (* 26093/2000 (* z0 z0)))
(FPCore (z0) (* z0 602214129000000000000000))
(FPCore (z0 z1) (* (* 2916688747387/781250000000000 z0) z1))
(FPCore (z0 z1) (* z0 (pow z1 -4)))
(FPCore (z0) (- 2463198817/50000000 (* 2991126123/50000000 z0)))
(FPCore (z0 z1) (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z1)))
(FPCore (z0 z1) (* z0 (* -12 (- z1 1))))
(FPCore (z0) (- (exp (- (pow (* 2/5 z0) 10))) 1))
(FPCore (z0) (* z0 265651/100000000))
(FPCore (z0 z1) (* (- (exp (- (pow (* 2/5 z0) 10))) 1) z1))
(FPCore (z0) (- (* (- 1 (exp (* z0 -1253/500))) -16731/100) (- (- (* 757467/100000 (* (* (* z0 z0) z0) z0)) (* (* z0 z0) (- (* z0 365179/5000) 191039/1000))) (* 60457/125 z0))))
(FPCore (z0) (* z0 243371/50000000))
(FPCore (z0 z1) (- (* -52487/100000 (exp (* -1933/2500 (/ z0 z1)))) (- (* (exp (* -243787/100000 (/ z0 z1))) 108089/50000) (* -23229/20000 (pow (/ z0 z1) -7437/50000)))))
(FPCore (z0 z1) (* z0 (* 1/5 z1)))
(FPCore (z0) (- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) (- (* z0 373223/10000) -1))))
(FPCore (z0) (* z0 1/5))
(FPCore (z0 z1) (* (* -91223/5000 z0) z1))
(FPCore (z0 z1 z2) (* (- z0 1) (* (pow z1 (- z0 3)) (* (- z2) z0))))
(FPCore (z0 z1 z2) (* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) z2))
(FPCore (z0 z1 z2) (* (- (* z0 z1) 1) z2))
(FPCore (z0 z1) (* (* (pow z0 2/3) 1/1000000) z1))
(FPCore (z0 z1 z2) (* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z2))
(FPCore (z0 z1 z2) (* (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))) (- 1 z2)))
(FPCore (z0 z1) (* z0 (sqrt (* 50/28101 z1))))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- z1 1)) z2))
(FPCore (z0 z1) (- (* z0 (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0)))) (+ (* (pow z0 5) -52147/20000) z1)))
(FPCore (z0 z1) (* (pow z0 11) z1))
(FPCore (z0) (* (* -47463/2500 z0) 100/61689))
(FPCore (z0) (* z0 1/10000000))
(FPCore (z0 z1 z2) (* (* z0 (/ z0 (* z1 z1))) (pow (* (* (- z2 1) (- z2 1)) (* (- z2 1) (- z2 1))) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1) (* (sqrt (* (* z0 1000) z1)) 6673/250000000000000000000000000000))
(FPCore (z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4)))
(FPCore (z0 z1 z2) (- z0 (* 85/56 (* (* z1 z2) z1))))
(FPCore (z0) (* 757467/100000 (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (* (* -47463/2500 z0) z1))
(FPCore (z0) (* 85/56 z0))
(FPCore (z0) (- 1 (exp (* z0 -1253/500))))
(FPCore (z0) (* 12957/25000 z0))
(FPCore (z0 z1) (- z0 (* 2991126123/50000000 z1)))
(FPCore (z0 z1) (* (/ 8157/200000000 z0) z1))
(FPCore (z0 z1) (* z0 (- (* -45097/2000 z1) (* 26093/2000 (* z1 z1)))))
(FPCore (z0 z1 z2) (- z0 (* (- (exp (- (pow (* 2/5 z1) 10))) 1) (* -92639/125 (exp (* (* z2 (- (* -564493/100000 z2) -144847/1000000)) 6/5))))))
(FPCore (z0) (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0))
(FPCore (z0) (- (* -45097/2000 z0) (* 26093/2000 (* z0 z0))))
(FPCore (z0) (* 177148/5 z0))
(FPCore (z0 z1 z2) (* (* (- z0) (pow z1 (- z2 1))) z2))
(FPCore (z0 z1) (* z0 (pow z1 7034007057/10000000000)))
(FPCore (z0 z1) (- (* (- (* 371791/100000000000 z0) 150087/10000000000) z0) z1))
(FPCore (z0 z1 z2) (* (* (- (* z0 z1) 1) z0) z2))
(FPCore (z0) (* z0 119381/50000))
(FPCore (z0 z1) (* (* (pow z0 2/3) (sqrt (* z1 100/61689))) (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z0)) (pow z0 3/5)) (- (* -21391/1250 (pow z0 2/5)) (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z0 34/5)) (* 145009/5000000 (pow z0 33/10))))))
(FPCore (z0) (* 411354199/12500000000000 (pow z0 2/3)))
(FPCore (z0 z1 z2) (* (* 4543/125000000 (sqrt (* z0 z1))) z2))
(FPCore (z0 z1) (- z0 (* (- 2463198817/50000000 (* 2991126123/50000000 z1)) (pow z1 -4))))
(FPCore (z0 z1) (- z0 (* (pow (* 1000/630259 z1) -4/5) 265651/100000000)))
(FPCore (z0 z1) (/ (+ (* (atan z0) (- z1 1)) z0) z1))
(FPCore (z0) (* -1727293/500000000 z0))
(FPCore (z0 z1 z2) (* z0 (pow z1 (- z2 2))))
(FPCore (z0 z1) (* z0 (sqrt (* 100/61689 z1))))
(FPCore (z0) (* 191039/1000 z0))
(FPCore (z0 z1) (* (sqrt (* 100/54013 z0)) z1))
(FPCore (z0 z1) (* (* -11101/6250000000000000 (pow z0 25)) z1))
(FPCore (z0 z1 z2) (/ (+ (* (atan z0) (- z1 1)) z0) z2))
(FPCore (z0 z1 z2) (- z0 (* (* (* -85/56 (* z1 z2)) z1) z2)))
(FPCore (z0 z1) (/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))))))
(FPCore (z0 z1 z2) (- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2)))
(FPCore (z0) (* 237799/1250000000 z0))
(FPCore (z0 z1) (- (/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))))) (/ (* -5000000000 (exp (* (* z1 (- (* -564493/100000 z1) -144847/1000000)) 4))) (- (exp (- 20 (* (- 1 (/ z1 (- (fabs (- 11/10 z1)) -11/10))) 60))) -1))))
(FPCore (z0) (* (pow z0 33/10) 119381/50000))
(FPCore (z0 z1) (- -1 (* (* (* -85/56 (* z0 z1)) z0) z1)))
(FPCore (z0 z1 z2) (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) z2))
(FPCore (z0) (* -7016851/250000000 z0))
(FPCore (z0 z1) (* (- (- 5213335363/100000000000000000 (* (cbrt z0) 4492659933/100000000000000000)) (* (pow z0 2/3) -5924416513/1000000000000000000)) z1))
(FPCore (z0 z1) (- (* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0) (/ (+ (pow z0 806282737481277/100000000000000) (* z0 z0)) (- 121550806591497/1000000000000000 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))))) (* 1000000000 z2)) (* 1000000000 z2)))
(FPCore (z0 z1 z2) (- (* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2)))) -1))
(FPCore (z0) (* -2202959/118350000 z0))
(FPCore (z0) (* 46133662500891/125000000000 z0))
(FPCore (z0) (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)))
(FPCore (z0 z1) (* (* (- (* z0 z1) 1) z0) z1))
(FPCore (z0 z1 z2) (* (- (/ 3886409/50000000000 (- (* 9519/540130 z0) (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) 973449/100000))) (- -443/20000000 (* (- (* 371791/100000000000 z1) 150087/10000000000) z1))) z2))
(FPCore (z0 z1 z2) (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) z2))
(FPCore (z0 z1) (* (* 6673/250000000000 (sqrt (* z0 1000))) z1))
(FPCore (z0 z1 z2) (* (* 4543/125000000 (sqrt (* z0 z1))) (pow z2 -2/3)))
(FPCore (z0 z1 z2) (* z0 (/ (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1)) (* z2 (- z1 1)))))
(FPCore (z0 z1 z2) (* (* z0 8157/200000000) (/ (pow z1 -2/3) z2)))
(FPCore (z0 z1 z2) (- (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) z2))
(FPCore (z0 z1 z2) (- (/ (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))) (- -1 (exp (- 15 (* -100 (- (/ z1 (- (fabs (- 11/10 z1)) -11/10)) 1)))))) z2))
(FPCore (z0) (* 46133662500891/125000000000 (pow z0 1/6)))
(FPCore (z0 z1) (- (* (* -91223/5000 z0) 1000/630259) z1))
(FPCore (z0 z1 z2) (* (* (pow (* z0 z1) 5) z2) 1/5))
(FPCore (z0 z1 z2) (- (* z0 (- (* z1 z0) 1)) (* 85/56 (* (* z2 z1) z2))))
(FPCore (z0) (/ 1 (* (* z0 z0) z0)))
(FPCore (z0 z1) (pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1))
(FPCore (z0 z1) (* (* -85/56 (* z0 z1)) z0))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -3))
(FPCore (z0 z1) (* -85/56 (* z0 z1)))
(FPCore (z0 z1) (* z0 (* (- 1 z1) (- 1 z1))))
(FPCore (z0 z1 z2) (* z0 (- (/ 1 (- z1 z2)) (/ 1 z1))))
(FPCore (z0 z1 z2) (* z0 (* z1 (- z2))))
(FPCore (z0 z1) (* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5)))
(FPCore (z0) (* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0))))
(FPCore (z0 z1) (* z0 (exp (* (- z1 2) -100))))
(FPCore (z0) (/ z0 (sqrt 54013/100)))
(FPCore (z0 z1) (/ 500000000000000/9424777960769379 (* z0 z1)))
(FPCore (z0 z1) (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)))
(FPCore (z0 z1 z2) (/ z0 (* (* 9424777960769379/500000000000000 z1) z2)))
(FPCore (z0 z1) (/ z0 (* (- z1 z0) z1)))
(FPCore (z0 z1 z2) (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2)))
(FPCore (z0 z1) (* (atan z0) z1))
(FPCore (z0 z1 z2) (exp (/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (sinh (* (* z2 z0) z1))))
(FPCore (z0 z1) (* (/ (- 1 z0) z0) z1))
(FPCore (z0 z1 z2) (- (/ 1 (tanh (* (* z0 z1) z2))) (pow (tanh (* (* z0 z1) z2)) -3)))
(FPCore (z0 z1 z2) (* (- 1 (* 3/2 (* (* (* z0 z1) z0) z1))) z2))
(FPCore (z0 z1) (* (exp (* (- z0 2) -100)) z1))
(FPCore (z0 z1) (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5))))
(FPCore (z0 z1) (/ (* z0 (pow z1 2/3)) (sqrt 54013/100)))
(FPCore (z0) (pow (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) 2))
(FPCore (z0) (* z0 1/1000))
(FPCore (z0) (pow (* 100/61689 z0) -16/5))
(FPCore (z0 z1) (/ 3886409/50000000000 (- (* (- 158519/25000 (+ (* -251909/54013000 z0) z1)) z1) (- (* 9519/540130 z0) -973449/100000))))
(FPCore (z0 z1 z2) (pow (/ (* z0 z1) (sinh (* (* z2 z0) z1))) 2))
(FPCore (z0 z1) (* (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1))
(FPCore (z0 z1 z2) (* (* 6673/250000000000 (sqrt (* z0 1000))) (/ (sqrt z1) z2)))
(FPCore (z0 z1 z2) (- z0 (- -1 (* (* (* -85/56 (* z1 z2)) z1) z2))))
(FPCore (z0 z1) (* (pow z0 33/10) z1))
(FPCore (z0 z1 z2) (+ (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) z2)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5))))
(FPCore (z0 z1) (* (* -85/56 z0) z1))
(FPCore (z0 z1) (* (* (* (* z0 z1) 360603235428487/1000000000000000) z0) z0))
(FPCore (z0) (* 4/2367 z0))
(FPCore (z0 z1) (* (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) (* 177148/5 (exp (* z1 (- (* -564493/100000 z1) -144847/1000000))))))
(FPCore (z0) (* 411354199/12500000000000 z0))
(FPCore (z0 z1 z2) (* (* (pow z0 (- z1 2)) z1) z2))
(FPCore (z0 z1 z2) (/ z0 (* (- z1 z2) z1)))
(FPCore (z0 z1) (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)))
(FPCore (z0 z1 z2) (* z0 (+ (- (* (- (* (* -91223/5000 z1) 1000/630259) (* -104497/10000 z2)) (pow z2 7/10)) (- (* -159587/10000 (pow z2 2/5)) (* (* 11101/6250000000000000 (pow z2 25)) (pow (* z1 1000/630259) -22/5)))) (- (* (- (* 265651/100000000 (pow (* z1 1000/630259) -4/5)) 205581/100000000) (pow z2 103/10)) (* -119381/50000 (pow z2 33/10))))))
(FPCore (z0 z1) (* (* z0 (- (* -69837/250 z0) -282329/1000)) z1))
(FPCore (z0 z1) (- (* -91223/5000 (* 1000/630259 z0)) z1))
(FPCore (z0 z1) (* (* (pow z0 -2/3) 8157/200000000) z1))
(FPCore (z0 z1) (- (* z0 (- (/ -430313/5000 (- z0 (- (* 11113/5620200 z1) -34359/12500))) (* 199789/20000 z0))) (* (/ z0 (- (* (* z0 z0) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z0)))))
(FPCore (z0 z1) (- z0 (/ -3995125013/10000000000000000 z1)))
(FPCore (z0 z1) (* (* 6673/250000000000 (sqrt (* z0 1000))) (sqrt z1)))
(FPCore (z0) (* -91223/5000 (* 1000/630259 z0)))
(FPCore (z0) (* (* z0 (- (* -69837/250 z0) -282329/1000)) z0))
(FPCore (z0 z1 z2) (* z0 (- (* (* z1 z1) (- (* (* z1 z2) 360603235428487/1000000000000000) (/ -1 (- z2 121550806591497/1000000000000000)))) (/ (pow z1 806282737481277/100000000000000) (- 121550806591497/1000000000000000 z2)))))
(FPCore (z0 z1 z2) (* z0 (- (* z1 (- (* z0 z1) 1)) (* 85/56 (* (* z2 z0) z2)))))
(FPCore (z0) (* -135904211/1000000 z0))
(FPCore (z0 z1 z2) (* (/ (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))))
(FPCore (z0 z1 z2) (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) (* (* (pow z2 2/3) (sqrt (* z0 100/61689))) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10))))))))
(FPCore (z0 z1) (* (- 2 (/ (- (* 3 z0) 1) (* z0 z0))) z1))
(FPCore (z0) (- (/ (- (/ -2620316969/100000000 z0) -116851017/31250000) z0) (* (- 2463198817/50000000 (* 2991126123/50000000 z0)) (pow z0 -4))))
(FPCore (z0 z1 z2) (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) z2))
(FPCore (z0 z1 z2) (- (* (* (- (* z0 z1) 1) z0) z1) z2))
(FPCore (z0 z1 z2) (* (* -85/56 (* z0 z1)) z2))
(FPCore (z0 z1) (* z0 (- 134133/1000 (* -352473/1000 z1))))
(FPCore (z0 z1 z2) (* (+ (* (* 4423/20000 (sqrt z0)) (exp (- 14933/10000 (/ (- (* 2366/5 z0) 57033) (* z0 z0))))) (+ (* (- (/ (- (* -54312/5 z0) -1664060) (* z0 z0)) -66407/5000) z1) (* (* (pow z2 2/3) (sqrt (* z0 100/61689))) (+ (- (* (- (* (* -47463/2500 z0) 100/61689) (* -9233/625 z2)) (pow z2 3/5)) (- (* -21391/1250 (pow z2 2/5)) (* (* 86433/500000000000000 (pow z2 22)) (pow (* z0 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z0 100/61689) -3/10)) 5379/20000) (pow z2 34/5)) (* 145009/5000000 (pow z2 33/10))))))) 1/1000000))
(FPCore (z0 z1 z2) (* (- (* 45680940361/2000 (/ z0 (* z1 z1))) -735/2) z2))
(FPCore (z0 z1 z2) (* (exp (* 1/3 (+ (* (* -1678109403/625000000 (- 1 z0)) (- 1 z0)) (- (* (* -1349503397427/10000000000 (- 1 z1)) (- 1 z1)) (* (* z0 z0) z0))))) z2))
(FPCore (z0) (* z0 (- (* -69837/250 z0) -282329/1000)))
(FPCore (z0 z1) (- (* (pow z0 33/10) 119381/50000) z1))
(FPCore (z0) (* 578377/1000000 z0))
(FPCore (z0) (* -15821/514075 z0))
(FPCore (z0 z1 z2) (/ z0 (* (* (* (- z1 1) z2) z2) z2)))
(FPCore (z0 z1) (- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) (* -159587/10000 (pow z1 2/5))))
(FPCore (z0) (* (* (pow z0 35969/50000) 196) (exp (- (/ (- (* 12451/1000 z0) 29567/100) (* z0 z0)) 41249/10000))))
(FPCore (z0 z1) (+ (* (atan z0) (- z1 1)) z0))
(FPCore (z0) (* 267184324754639/50000000000000 (sqrt z0)))
(FPCore (z0) (* -41249/10000 z0))
(FPCore (z0 z1) (* (pow z0 4681/10000) z1))
(FPCore (z0 z1 z2) (* (- z0) (pow z1 (- z2 1))))
(FPCore (z0 z1 z2) (+ (- z0 z1) (* (- 1 z2) (atan z1))))
(FPCore (z0 z1) (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) z1))
(FPCore (z0 z1) (- (* 411354199/12500000000000 (pow z0 2/3)) z1))
(FPCore (z0 z1) (* -7/2 (/ (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000))))) z1)))
(FPCore (z0 z1 z2) (* z0 (- (* (* (* (- 1 z1) 4) z2) (- 1 z1)) 6)))
(FPCore (z0) (* 243371/50000000 z0))
(FPCore (z0 z1) (- z0 (* (/ z1 (- (* (* z1 z1) 442087/5000) -660989/100000)) (- 134133/1000 (* -352473/1000 z1)))))
(FPCore (z0 z1) (* z0 (* 177148/5 (exp (* z1 (- (* -564493/100000 z1) -144847/1000000))))))
(FPCore (z0 z1) (pow (- z0 1) z1))
(FPCore (z0 z1 z2) (* (* (* -85/56 (* z0 z1)) z0) z2))
(FPCore (z0 z1) (* (* (* -85/56 (* z0 z1)) z0) z1))
(FPCore (z0 z1) (* z0 (- (* -69837/250 z1) -282329/1000)))
(FPCore (z0) (* -7/2 (- (exp (* (* (- z0 1) -14/5) (- z0 1))) (* 80738543/1000000000 (exp (* (* (- z0 62849/500000) -17943/1000) (- z0 62849/500000)))))))
(FPCore (z0 z1) (* (* z0 602214129000000000000000) z1))
(FPCore (z0 z1) (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5)))))
(FPCore (z0 z1 z2) (* (pow (fabs (- 1 (* (* (* z0 z1) z0) z1))) 3/2) z2))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1))))
(FPCore (z0 z1) (* z0 (pow z1 1/6)))
(FPCore (z0 z1) (* z0 (- (exp (* (* (- z1 1) -14/5) (- z1 1))) (* 80738543/1000000000 (exp (* (* (- z1 62849/500000) -17943/1000) (- z1 62849/500000)))))))
(FPCore (z0 z1) (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10)))
(FPCore (z0) (* -1244951/62500 z0))
(FPCore (z0) (/ (pow z0 2/3) (sqrt 54013/100)))
(FPCore (z0 z1) (* (/ 2000000000000000/3141592653589793 z0) z1))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) z2)))
(FPCore (z0 z1) (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)))
(FPCore (z0 z1) (/ (pow z0 2/3) z1))
(FPCore (z0 z1 z2) (+ (* z0 (- (/ (- (* -54312/5 z1) -1664060) (* z1 z1)) -66407/5000)) z2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (* 1/2 (/ z1 (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* z0 (pow (* z1 z2) 5)))
(FPCore (z0 z1 z2) (- (* (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)) (pow z1 7/10)) z2))
(FPCore (z0 z1) (* z0 (/ 8157/200000000 z1)))
(FPCore (z0 z1) (+ (- (* (- (* (* -91223/5000 z0) 1000/630259) (* -104497/10000 z1)) (pow z1 7/10)) (- (* -159587/10000 (pow z1 2/5)) (* (* 11101/6250000000000000 (pow z1 25)) (pow (* z0 1000/630259) -22/5)))) (- (* (- (* 265651/100000000 (pow (* z0 1000/630259) -4/5)) 205581/100000000) (pow z1 103/10)) (* -119381/50000 (pow z1 33/10)))))
(FPCore (z0 z1 z2) (/ 1 (tanh (* (* z0 z1) z2))))
(FPCore (z0 z1 z2) (* (pow (* (* (- z0 1) (- z0 1)) (* (- z0 1) (- z0 1))) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0) (* z0 50/28101))
(FPCore (z0) (pow (* 100/61689 z0) -3/10))
(FPCore (z0 z1 z2) (+ (* (* (pow z0 2/3) (sqrt (* z1 100/61689))) (+ (- (* (- (* (* -47463/2500 z1) 100/61689) (* -9233/625 z0)) (pow z0 3/5)) (- (* -21391/1250 (pow z0 2/5)) (* (* 86433/500000000000000 (pow z0 22)) (pow (* z1 100/61689) -16/5)))) (- (* (- (* 320971/1000000 (pow (* z1 100/61689) -3/10)) 5379/20000) (pow z0 34/5)) (* 145009/5000000 (pow z0 33/10))))) z2))
(FPCore (z0 z1 z2) (/ (* z0 (pow z1 -2/3)) z2))
(FPCore (z0 z1 z2) (* z0 (pow z1 (- z2 1))))
(FPCore (z0) (/ 29567/100 z0))
(FPCore (z0 z1 z2) (- (* (* (- (* z0 z1) 1) z0) z1) (- -1 (* (* (* -85/56 (* z2 z0)) z2) z0))))
(FPCore (z0 z1) (- (* -91223/5000 (* 1000/630259 z0)) (* -104497/10000 z1)))
(FPCore (z0) (* z0 1/1000000000000000000))
(FPCore (z0) (- (* 411354199/12500000000000 (pow z0 2/3)) (* 1427549651/10000000000000 (cbrt z0))))
(FPCore (z0 z1 z2) (* z0 (* z1 (/ z1 (* z2 z2)))))
(FPCore (z0 z1 z2) (/ z0 (- (* (- 158519/25000 (+ (* -251909/54013000 z1) z2)) z2) (- (* 9519/540130 z1) -973449/100000))))
(FPCore (z0 z1) (* z0 (* 1000/630259 z1)))
(FPCore (z0) (/ 1/1000000000 z0))
(FPCore (z0 z1 z2) (- z0 (* (* -11101/6250000000000000 (pow z1 25)) (pow (* 1000/630259 z2) -22/5))))
(FPCore (z0 z1 z2) (- (/ (+ (* (atan z0) (- z1 1)) z0) z1) z2))
(FPCore (z0 z1 z2) (pow (* (/ z0 z1) (* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (- z2 1))) 2))
(FPCore (z0 z1) (* z0 (* (* (- 1 z1) (- 1 z1)) (* (- 1 z1) (- 1 z1)))))
(FPCore (z0 z1 z2) (- (* (- 205581/100000000 (* (pow (* 1000/630259 z0) -4/5) 265651/100000000)) (pow z1 103/10)) z2))
(FPCore (z0 z1 z2) (* (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)) (- (- 1 (* (pow (tanh (* (* z2 z0) z1)) -2) 4)) (* (pow (tanh (* (* z2 z0) z1)) -4) -3))))
(FPCore (z0 z1 z2) (pow (tanh (* (* z0 z1) z2)) -4))
(FPCore (z0 z1 z2) (* z0 (* (pow (* (- 1 z1) (- 1 z1)) (- z2 1)) (- z1 1))))
(FPCore (z0) (* (* (/ 352473/1000 (- -660989/100000 (* (* z0 z0) 442087/5000))) z0) z0))
(FPCore (z0 z1 z2) (- (* (- (* 265651/100000000 (pow (* 1000/630259 z0) -4/5)) 205581/100000000) (pow z1 103/10)) z2))