(FPCore (z0) (- 1/2 (fabs (- z0 1/2))))
(FPCore (z0) (* -1/50000 z0))
(FPCore (z0 z1) (- z1 (* (* 4/5 z1) (exp (* -1/50000 z0)))))
(FPCore (z0) (* 4/5 z0))
(FPCore (z0 z1) (* (* 4/5 z1) (exp (* -1/50000 z0))))
(FPCore (z0 z1 z2) (/ (- z0 z1) (* z2 z2)))
(FPCore (z0 z1 z2) (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)))
(FPCore (z0 z1 z2) (- (* (/ (- z1 z0) (* z2 z2)) (- z0 z1)) 1))
(FPCore (z0 z1) (/ z0 (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1 z2) (fmin 31416/5 (* (- z2 (* (* 4/5 z2) (exp (* -1/50000 z0)))) z1)))
(FPCore (z0 z1 z2) (* (- z2 (* (* 4/5 z2) (exp (* -1/50000 z0)))) z1))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0) (/ 269813/62500 (- z0 -269813/62500)))
(FPCore (z0 z1 z2) (/ (+ (/ z0 (* z2 z2)) z1) (* z2 z2)))
(FPCore (z0 z1 z2) (+ (/ z0 (* z2 z2)) z1))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1) (* (- z0) (/ z0 (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0 z1 z2) (- (/ (+ (/ z0 (* z2 z2)) z1) (* z2 z2)) -1))
(FPCore (z0 z1) (* (/ z0 (+ (* z0 z0) (* z1 z1))) z0))
(FPCore (z0 z1 z2) (log (- (/ (+ (/ z0 (* z2 z2)) z1) (* z2 z2)) -1)))
(FPCore (z0 z1) (* (- (+ z1 z0) -7071/2500) z0))
(FPCore (z0) (* 327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))
(FPCore (z0 z1 z2) (* 4343/1000 (log (- (/ (+ (/ z0 (* z2 z2)) z1) (* z2 z2)) -1))))
(FPCore (z0) (* (- (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))) 1781477937/1000000000) (/ 269813/62500 (- -269813/62500 z0))))
(FPCore (z0 z1) (/ (- z0 -7071/5000) (* z1 z0)))
(FPCore (z0 z1) (* (* (* (- z0 -7071/5000) (* (- z1 -7071/5000) (/ (+ z1 z0) (* (* (- (+ z1 z0) -7071/2500) z0) z1)))) (- z1 -7071/5000)) (/ (- z0 -7071/5000) (* z1 z0))))
(FPCore (z0) (/ 269813/62500 (- -269813/62500 z0)))
(FPCore (z0 z1) (* (/ (- z0 -7071/5000) (* z1 z0)) (- z1 -7071/5000)))
(FPCore (z0) (* (- (* (- (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))) 1781477937/1000000000) (/ 269813/62500 (- -269813/62500 z0))) 178281891/500000000) (/ 269813/62500 (- z0 -269813/62500))))
(FPCore (z0 z1) (/ (+ z1 z0) (* (* (- (+ z1 z0) -7071/2500) z0) z1)))
(FPCore (z0) (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))))
(FPCore (z0 z1) (* (* (/ (- z0 -7071/5000) (* z1 z0)) (- z1 -7071/5000)) (- z0 -7071/5000)))
(FPCore (z0 z1) (log (* (* (* (- z0 -7071/5000) (* (- z1 -7071/5000) (/ (+ z1 z0) (* (* (- (+ z1 z0) -7071/2500) z0) z1)))) (- z1 -7071/5000)) (/ (- z0 -7071/5000) (* z1 z0)))))
(FPCore (z0) (- (/ 358925334511777/62500000000000 (- z0 -269813/62500)) 1821255987/1000000000))
(FPCore (z0 z1) (* (- z1 -7071/5000) (/ (+ z1 z0) (* (* (- (+ z1 z0) -7071/2500) z0) z1))))
(FPCore (z0) (* (* (exp (* -1/2 (* z0 z0))) (/ 2690995334841/1562500000000 (- -269813/62500 z0))) (- -31938153/100000000 (* (- (* (- (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))) 1781477937/1000000000) (/ 269813/62500 (- -269813/62500 z0))) 178281891/500000000) (/ 269813/62500 (- z0 -269813/62500))))))
(FPCore (z0) (* (exp (* -1/2 (* z0 z0))) (/ 2690995334841/1562500000000 (- z0 -269813/62500))))
(FPCore (z0) (/ 2690995334841/1562500000000 (- z0 -269813/62500)))
(FPCore (z0 z1) (* (* (- (+ z1 z0) -7071/2500) z0) z1))
(FPCore (z0) (- (* (- (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))) 1781477937/1000000000) (/ 269813/62500 (- -269813/62500 z0))) 178281891/500000000))
(FPCore (z0 z1) (* (* z1 z0) z0))
(FPCore (z0 z1 z2) (* (* (- z0 1) 4343/1000) (log (* (* (* (* (- z2 -7071/5000) (/ (+ z2 z1) (* (* (- (+ z2 z1) -7071/2500) z1) z2))) (- z1 -7071/5000)) (- z2 -7071/5000)) (/ (- z1 -7071/5000) (* z2 z1))))))
(FPCore (z0 z1) (* (* (* z1 z0) z0) 31831/400000))
(FPCore (z0 z1 z2) (* (* (* (* z2 z1) z1) 31831/400000) z0))
(FPCore (z0) (- (* (- (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))))) (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))) 1))
(FPCore (z0) (* (- (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))) (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))) (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))))
(FPCore (z0 z1) (* (- 1/16 (* 1/20 (exp (* -1/50000 z0)))) z1))
(FPCore (z0 z1) (pow (* (- 1/16 (* 1/20 (exp (* -1/50000 z0)))) z1) 1/4))
(FPCore (z0) (- 1/16 (* 1/20 (exp (* -1/50000 z0)))))
(FPCore (z0 z1) (- (pow (* (- 1/16 (* 1/20 (exp (* -1/50000 z0)))) z1) 1/4)))
(FPCore (z0) (pow (fmin (* 1/8000 z0) 17/10) 6))
(FPCore (z0) (- 1 (if (>= z0 10) 0 (* (* (exp (* -1/2 (* z0 z0))) (/ 2690995334841/1562500000000 (- -269813/62500 z0))) (- -31938153/100000000 (* (- (* (- (* (- 1821255987/1000000000 (/ 358925334511777/62500000000000 (- z0 -269813/62500))) (/ 269813/62500 (- z0 -269813/62500))) 1781477937/1000000000) (/ 269813/62500 (- -269813/62500 z0))) 178281891/500000000) (/ 269813/62500 (- z0 -269813/62500))))))))
(FPCore (z0) (- (pow (fmin (* 1/8000 z0) 17/10) 6)))
(FPCore (z0) (exp (- (pow (fmin (* 1/8000 z0) 17/10) 6))))
(FPCore (z0 z1) (* (+ (* (exp (- (pow (fmin (* 1/8000 z1) 17/10) 6))) (* z1 z0)) z1) 5/8778))
(FPCore (z0) (fmin (* 1/8000 z0) 17/10))
(FPCore (z0) (* 1/8000 z0))
(FPCore (z0) (* 1291/125000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))))
(FPCore (z0) (- (* -802853/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))) (- 1257758349/500000000 (* 1291/62500 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))))
(FPCore (z0 z1) (* (* 5/8778 z0) (exp (- (pow (fmin (* 1/8000 z1) 17/10) 6)))))
(FPCore (z0 z1) (- (* (* 5/8778 z0) (exp (- (pow (fmin (* 1/8000 z1) 17/10) 6)))) -5/8778))
(FPCore (z0 z1) (* (- (* (* 4/5 z1) (exp (* -1/50000 z0))) z1) -39/50))
(FPCore (z0) (* -802853/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))))
(FPCore (z0) (* (log z0) 4343/1000))
(FPCore (z0) (* 5/8778 z0))
(FPCore (z0 z1) (* (exp (- (pow (* (- 1/16 (* 1/20 (exp (* -1/50000 z0)))) z1) 1/4))) (* (- (* (* 4/5 z1) (exp (* -1/50000 z0))) z1) -39/50)))
(FPCore (z0 z1) (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))))
(FPCore (z0 z1) (log (* (* (* (* (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))) (- z1 -7071/5000)) (- z0 -7071/5000)) (- z1 -7071/5000)) (+ z1 z0))))
(FPCore (z0 z1 z2) (* (log (* (* (* (* (/ (- z1 -7071/5000) (* (* (* z2 z2) z1) (* (- (+ z2 z1) -7071/2500) z1))) (- z2 -7071/5000)) (- z1 -7071/5000)) (- z2 -7071/5000)) (+ z2 z1))) (* -4343/1000 (- z0 1))))
(FPCore (z0) (* -911/100 (sqrt z0)))
(FPCore (z0 z1 z2) (- (* z2 (/ z0 (fmax z1 10000))) -21/1000))
(FPCore (z0 z1 z2) (* z2 (/ z0 (fmax z1 10000))))
(FPCore (z0 z1 z2) (* (* (log z2) (* (- 69/50 (log z0)) 49/100)) (log z1)))
(FPCore (z0 z1 z2) (/ 21/1000 (- (* z2 (/ z0 (fmax z1 10000))) -21/1000)))
(FPCore (z0 z1) (* (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))) (- z1 -7071/5000)))
(FPCore (z0 z1) (* (* (- 69/50 (log z0)) 49/100) (log z1)))
(FPCore (z0 z1) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0)))
(FPCore (z0 z1) (* (* (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))) (- z1 -7071/5000)) (- z0 -7071/5000)))
(FPCore (z0 z1) (* (* (- (+ z1 z0) -7071/2500) z0) z0))
(FPCore (z0 z1) (* (* (* (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))) (- z1 -7071/5000)) (- z0 -7071/5000)) (- z1 -7071/5000)))
(FPCore (z0 z1) (* (* (* (* (/ (- z0 -7071/5000) (* (* (* z1 z1) z0) (* (- (+ z1 z0) -7071/2500) z0))) (- z1 -7071/5000)) (- z0 -7071/5000)) (- z1 -7071/5000)) (+ z1 z0)))
(FPCore (z0 z1 z2) (* (/ z2 (- (* z1 z1) -24)) z0))
(FPCore (z0) (* -157/1000000 z0))
(FPCore (z0 z1) (* (- (* -78/125 (exp (* -1/50000 z0))) -39/50) z1))
(FPCore (z0) (- (* 83/250000 z0) (- -667/5 (* -4343/1000 (log z0)))))
(FPCore (z0) (- (* -78/125 (exp (* -1/50000 z0))) -39/50))
(FPCore (z0) (- (log z0) 69/50))
(FPCore (z0) (* -49/100 (log z0)))
(FPCore (z0 z1) (/ z0 (- (* z1 z1) -39/5)))
(FPCore (z0) (- (- 523/5 (* -53/250000 z0)) (* 543/500 (log z0))))
(FPCore (z0) (* 5751/100000 z0))
(FPCore (z0 z1) (* (* (* 477/10 (* (* z1 z0) z0)) z0) z0))
(FPCore (z0 z1) (* (* (- (* -78/125 (exp (* -1/50000 z0))) -39/50) z1) (exp (- (pow (* (- 1/16 (* 1/20 (exp (* -1/50000 z0)))) z1) 1/4)))))
(FPCore (z0 z1 z2) (* (* (/ z0 (- (* z1 z1) -39/5)) z2) z0))
(FPCore (z0) (- (* 4343/500 (log z0)) 15))
(FPCore (z0) (/ -1/40000 z0))
(FPCore (z0) (/ (- (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) (+ (* (- (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))))) -2) -1291/62500)) (- (* (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) 197147/1000000) 1257758349/500000000)) (- (* (- (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))))) (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))) 1)))
(FPCore (z0 z1) (* (* (/ -1/40000 z0) z1) z1))
(FPCore (z0) (* -83/250000 z0))
(FPCore (z0 z1) (log (* (* (* 477/10 (* (* z1 z0) z0)) z0) z0)))
(FPCore (z0 z1) (- (- -15 (* (* (/ -1/40000 z0) z1) z1)) (* -4343/500 (log z0))))
(FPCore (z0) (* -543/500 (log z0)))
(FPCore (z0 z1) (* (* z1 z0) -1/40000))
(FPCore (z0 z1 z2) (* (* (* (/ z2 (- (* z1 z1) -24)) z0) z2) z0))
(FPCore (z0 z1 z2) (* (exp (* (* z2 z0) -1/40000)) (* 1/10 (- z1 301))))
(FPCore (z0) (- (* 2171/1000 (log z0)) -359/5))
(FPCore (z0) (- (* -543/500 (log z0)) -523/5))
(FPCore (z0) (- (- 359/5 (* -157/1000000 z0)) (* -2171/1000 (log z0))))
(FPCore (z0 z1 z2) (* (* (/ z2 (- (* z1 z1) -24)) z0) z2))
(FPCore (z0 z1) (* (/ -1/40000 z0) z1))
(FPCore (z0 z1 z2) (* (/ z0 (- (* z1 z1) -39/5)) z2))
(FPCore (z0 z1 z2) (* (* (* (/ z0 (- (* z1 z1) -39/5)) z2) z0) z2))
(FPCore (z0) (- (* (log z0) 4343/1000) -12953/1000))
(FPCore (z0) (* 4343/500 (log z0)))
(FPCore (z0 z1) (* 31831/400000 (* z1 z0)))
(FPCore (z0) (* 2171/1000 (log z0)))
(FPCore (z0) (* (- z0 301) 1/10))
(FPCore (z0) (* -4343/1000 (log z0)))
(FPCore (z0 z1) (/ z1 (- (* z0 z0) -24)))
(FPCore (z0) (/ (- (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) (+ (* (- (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))))) -2) -1291/62500)) (- (* (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) 197147/1000000) 1257758349/500000000)) (- 1 (* (- (- -358197/250000 (* -327/125000 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))) (* 189269/1000000 (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)))))) (sqrt (* -2 (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000))))))))
(FPCore (z0) (* 477/10 z0))
(FPCore (z0) (- 667/5 (* (log z0) 4343/1000)))
(FPCore (z0) (* 10/1793 z0))
(FPCore (z0 z1) (* (log (* (* (* 477/10 (* (* z1 z0) z0)) z0) z0)) -4343/1000))
(FPCore (z0) (* 4343/250 (log z0)))
(FPCore (z0 z1) (* (log (* (* (* (- z0 -7071/5000) (* (- z1 -7071/5000) (/ (+ z1 z0) (* (* (- (+ z1 z0) -7071/2500) z0) z1)))) (- z1 -7071/5000)) (/ (- z0 -7071/5000) (* z1 z0)))) 4343/1000))
(FPCore (z0) (* 933/20000 z0))
(FPCore (z0) (- (* 10/251 (sqrt z0)) -1))
(FPCore (z0 z1 z2) (- -1 (/ (+ (/ z0 (* z2 z2)) z1) (* z2 z2))))
(FPCore (z0 z1) (+ (* (exp (- (pow (fmin (* 1/8000 z1) 17/10) 6))) (* z1 z0)) z1))
(FPCore (z0) (* -67/5000 z0))
(FPCore (z0) (* 10/251 (sqrt z0)))
(FPCore (z0 z1) (- (* -4343/1000 (log z1)) (- z0 (* 5751/100000 z1))))
(FPCore (z0) (- (* -4343/1000 (log z0)) (* -5751/100000 z0)))
(FPCore (z0 z1) (* (* -67/5000 z1) (* (exp (* -1/200 z1)) (- (- (* (log z1) 4343/250) z0) 117))))
(FPCore (z0) (* 49/100 (log z0)))
(FPCore (z0 z1) (* (* 933/20000 z1) (exp (* 10/1793 z0))))
(FPCore (z0 z1) (* (exp (- (pow (fmin (* 1/8000 z1) 17/10) 6))) (* z1 z0)))
(FPCore (z0) (/ 251/10 (- (sqrt z0) -251/10)))
(FPCore (z0) (* (exp (- (pow (fmin (* 1/8000 z0) 17/10) 6))) z0))
(FPCore (z0) (/ 1 (- (* 10/251 (sqrt z0)) -1)))
(FPCore (z0) (* -1/200 z0))
(FPCore (z0 z1) (- (* (log z1) 4343/250) z0))
(FPCore (z0 z1) (- (- (* (log z1) 4343/250) z0) 117))
(FPCore (z0) (- 69/50 (log z0)))