(FPCore (z0) (- 1 z0))
(FPCore (z0) (* z0 z0))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0) (+ z0 z0))
(FPCore (z0) (- z0))
(FPCore (z1 z0) (* z1 z0))
(FPCore (z0) (* z0 PI))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0 z1) (/ (- z0) z1))
(FPCore (z0 z1) (exp (/ (- z0) z1)))
(FPCore (z0) (cos (* (+ z0 z0) PI)))
(FPCore (z1 z0) (* (* z1 z0) PI))
(FPCore (z0) (/ 1 z0))
(FPCore (z0) (sin (* (+ z0 z0) PI)))
(FPCore (z0 z1) (- z0 (* z1 z0)))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0) (- (* 1/4 z0) -1/3))
(FPCore (z0) (* (- (* 1/4 z0) -1/3) z0))
(FPCore (z0) (/ z0 (- 1 z0)))
(FPCore (z0) (* 1/4 z0))
(FPCore (z0) (* (- 1 (* (- -1/2 (* (- (* 1/4 z0) -1/3) z0)) z0)) z0))
(FPCore (z0) (sqrt (/ z0 (- 1 z0))))
(FPCore (z0) (- -1/2 (* (- (* 1/4 z0) -1/3) z0)))
(FPCore (z0 z1) (* (* (+ z0 z0) PI) z1))
(FPCore (z0 z1) (exp (* -1/3 (/ z0 z1))))
(FPCore (z0 z1) (* -1/3 (/ z0 z1)))
(FPCore (z0) (* (* (- -1/2 (* (- (* 1/4 z0) -1/3) z0)) z0) z0))
(FPCore (z0) (* 3 z0))
(FPCore (z1 z0) (* (/ 1/8 (* (* z1 z0) PI)) (- (exp (* -1/3 (/ z0 z1))) (- (exp (/ (- z0) z1))))))
(FPCore (z0 z1) (/ 1/8 (* (* (exp (/ z0 z1)) (* z1 PI)) z0)))
(FPCore (z0) z0)
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0 z1) (* (exp (* -1/3 (/ z0 z1))) (/ 1/8 (* (* z1 z0) PI))))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0 z1) (* (* (* 6 PI) z0) z1))
(FPCore (z0 z1) (* 3/4 (exp (* -1/3 (/ z0 z1)))))
(FPCore (z0 z1) (* (exp (/ (- z0) z1)) 1/4))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0) (- (- 2 z0) z0))
(FPCore (z0) (- 2 z0))
(FPCore (z0) (* (* 6 PI) z0))
(FPCore (z0) (- z0 1))
(FPCore (z0) (- z0 -1))
(FPCore (z0) (sqrt z0))
(FPCore (z0) (/ 2 z0))
(FPCore (z0) (* 314159265359/50000000000 z0))
(FPCore (z0) (* (- (+ z0 z0) -1/2) PI))
(FPCore (z1 z2 z0) (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI))))
(FPCore (z0) (tan (* (- (+ z0 z0) -1/2) PI)))
(FPCore (z0) (* 4 z0))
(FPCore (z0) (- (+ z0 z0) -1/2))
(FPCore (z1 z2 z0) (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))))
(FPCore (z1 z2 z0) (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) -2))
(FPCore (z0) (* (- -1/2 (* (- (* 1/4 z0) -1/3) z0)) z0))
(FPCore (z1 z2 z0) (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2)))
(FPCore (z1 z0) (* (cos (* (+ PI PI) z1)) (sqrt (- (log (- 1 z0))))))
(FPCore (z1 z0) (- (* z1 z0) -1))
(FPCore (z0) (/ PI z0))
(FPCore (z0) (* (- 1 (* (- (* -1/3 z0) 1/2) z0)) z0))
(FPCore (z0) (cos (* 314159265359/50000000000 z0)))
(FPCore (z0) (* 1/2 z0))
(FPCore (z0) (/ -2 z0))
(FPCore (z0 z1) (- (exp (/ (- z0) z1)) -1))
(FPCore (z2 z1 z0) (* (* z2 z1) z0))
(FPCore (z0) (* (- z0) z0))
(FPCore (z0) (* (- (* (- (* 1/4 z0) -1/3) z0) -1/2) z0))
(FPCore (z0) (* (- z0 1) (- z0 1)))
(FPCore (z0 z1) (/ (pow (- (exp (/ (- z0) z1)) -1) -2) (* (exp (/ z0 z1)) z1)))
(FPCore (z1 z0) (sin (* (* z1 z0) PI)))
(FPCore (z0) (* (- 2 z0) z0))
(FPCore (z0) (- (* 1/3 z0) -1/2))
(FPCore (z0) (sinh (/ 1 z0)))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0) (* (- (* 1/3 z0) -1/2) z0))
(FPCore (z0) (- (* (- (* 1/4 z0) -1/3) z0) -1/2))
(FPCore (z0) (- 1 (* (- -1/2 (* (- (* 1/4 z0) -1/3) z0)) z0)))
(FPCore (z0) (- (* z0 z0) 1))
(FPCore (z1 z0) (* (exp (/ -2 z1)) (- 1 z0)))
(FPCore (z0 z1) (log (- z0 (* (exp (/ -2 z1)) (- z0 1)))))
(FPCore (z1 z0) (* (log (- z1 (* (exp (/ -2 z0)) (- z1 1)))) z0))
(FPCore (z1 z0) (/ 1/4 (* (* z1 z0) PI)))
(FPCore (z1 z0) (- (* (log (- z1 (* (exp (/ -2 z0)) (- z1 1)))) z0) -1))
(FPCore (z0) (exp (/ -2 z0)))
(FPCore (z0 z1) (- z0 (* (exp (/ -2 z1)) (- z0 1))))
(FPCore (z0) (* (log z0) (+ PI PI)))
(FPCore (z0) (- (+ z0 z0) 2))
(FPCore (z0) (- z0 (* -1/2 (* z0 z0))))
(FPCore (z0) (- (exp (/ PI z0)) -1))
(FPCore (z0) (- 1 (* (- (* -1/3 z0) 1/2) z0)))
(FPCore (z0) (- (* 1/2 z0) -1))
(FPCore (z1 z2 z0) (* (sqrt (- 1 (* (* (* (* (- z1 (* z2 z1)) z2) z2) z1) (- 1 z2)))) z0))
(FPCore (z0) (- (exp (/ (- PI) z0)) -1))
(FPCore (z0) (* (- (* -1/4 z0) 1/3) z0))
(FPCore (z0) (/ (- PI) z0))
(FPCore (z1 z0) (- (- (* z1 z0) -1) z0))
(FPCore (z1 z2 z0) (* (/ z1 (* z2 z2)) z0))
(FPCore (z0) (/ 1 (- (exp (/ PI z0)) -1)))
(FPCore (z0) (exp (/ (- PI) z0)))
(FPCore (z0) (* -1/4 z0))
(FPCore (z0) (* (sqrt PI) z0))
(FPCore (z0 z1) (exp (/ z0 z1)))
(FPCore (z0) (- (* -1/4 z0) 1/3))
(FPCore (z1 z2 z0) (/ 1 (- (pow (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI))) 2) -1)))
(FPCore (z0) (* -3 z0))
(FPCore (z0) (exp (/ PI z0)))
(FPCore (z0) (* (+ z0 z0) z0))
(FPCore (z0) (/ 1 (- (exp (/ (- PI) z0)) -1)))
(FPCore (z0 z1) (/ z0 (* z1 PI)))
(FPCore (z0) (sin (* z0 PI)))
(FPCore (z0) (/ (* z0 z0) (* (- z0 1) (- z0 1))))
(FPCore (z0) (- (/ 2 z0) 2))
(FPCore (z0 z1) (* (* (- z0 (* z1 z0)) z1) z1))
(FPCore (z0) (/ 4/3 z0))
(FPCore (z0) (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))))
(FPCore (z1 z0) (/ (- z1 z0) z1))
(FPCore (z0) (* (- (* -31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)) -314159265359/50000000000) z0))
(FPCore (z1 z2 z0) (* (* (/ z1 (* z2 z2)) z0) z0))
(FPCore (z1 z0) (* (+ (- -1 (* z1 z0)) z0) (+ (- -1 (* z1 z0)) z0)))
(FPCore (z1 z0) (* (* (- z1 1) (- (- z0 (* z1 z0)) 2)) z0))
(FPCore (z0) (* (- (* (- -1/2 (* (- (* 1/4 z0) -1/3) z0)) z0) 1) z0))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0) (- (/ 4/3 z0) -2))
(FPCore (z1 z2 z0) (* (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2)) -1/2))
(FPCore (z0 z1) (* (- z0 (* z1 z0)) z1))
(FPCore (z1 z0) (- (- (* z1 z0) -2) z1))
(FPCore (z1 z0) (- (* z1 z0) -2))
(FPCore (z0) (* -31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0 z1) (* (* (* (* (- z0 (* z1 z0)) z1) z1) z0) (- 1 z1)))
(FPCore (z0 z1) (sqrt (- 1 (* (* (* (* (- z0 (* z1 z0)) z1) z1) z0) (- 1 z1)))))
(FPCore (z0 z1) (- -1 (exp (/ (- z0) z1))))
(FPCore (z0 z1) (- 1 (* (* (* (* (- z0 (* z1 z0)) z1) z1) z0) (- 1 z1))))
(FPCore (z0) (/ 1 (* z0 PI)))
(FPCore (z0) (* (- z0 -1) z0))
(FPCore (z0) (exp (* z0 z0)))
(FPCore (z1 z0) (* (sin (* (+ PI PI) z1)) z0))
(FPCore (z0) (/ 1/8 (* z0 PI)))
(FPCore (z0) (- (- 1 z0) z0))
(FPCore (z0) (* -314159265359/50000000000 z0))
(FPCore (z0) (- 1/2 z0))
(FPCore (z1 z0) (* (cos (* (+ PI PI) z1)) z0))
(FPCore (z0) (* (* z0 PI) z0))
(FPCore (z1 z0 z2) (* (/ z1 (+ z0 z0)) z2))
(FPCore (z0 z1) (* (sqrt (/ z0 (- 1 z0))) (cos (* -314159265359/50000000000 z1))))
(FPCore (z0 z1) (* (- 1 z0) z1))
(FPCore (z0 z1 z2) (exp (* z0 (/ z1 z2))))
(FPCore (z0 z1) (* (* (- 1 z0) z1) z0))
(FPCore (z0) (- (* -31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)) -314159265359/50000000000))
(FPCore (z1 z0) (* (/ (sin (* (* z1 z0) PI)) (* (* (* (* z0 PI) z0) PI) z1)) (sin (* z0 PI))))
(FPCore (z0 z1) (pow (- (exp (/ (- z0) z1)) -1) -2))
(FPCore (z0 z1) (* (log (- (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1) (/ 1 (- -1 (exp (/ PI z0)))))) 1)) (- z0)))
(FPCore (z0 z1) (* (- z0 1) z1))
(FPCore (z1 z2 z0) (* (/ z1 (+ z2 z2)) z0))
(FPCore (z0) (sin (* 314159265359/50000000000 z0)))
(FPCore (z0) (/ (- 1 z0) z0))
(FPCore (z1 z2 z0) (- 1 (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2))))
(FPCore (z0) (* 2 (log z0)))
(FPCore (z0) (sqrt (- (- 1 z0) z0)))
(FPCore (z2 z0 z1) (* z2 (/ z0 z1)))
(FPCore (z0) (- (* -314159265359/50000000000 z0) (* -1/2 PI)))
(FPCore (z1 z0) (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0))
(FPCore (z0) (log (- (- 2 z0) z0)))
(FPCore (z0 z1) (* (- 2 (- z0 (* z1 z0))) (- z0 (* z1 z0))))
(FPCore (z0) (* (* (sqrt PI) z0) (exp (* z0 z0))))
(FPCore (z1 z0) (* (sin (* z1 PI)) (/ (sin (* (* z1 z0) PI)) (* (* (* (* z1 PI) z1) PI) z0))))
(FPCore (z1 z0) (sqrt (* (+ -1 (- (- (* z1 z0) -1) z1)) (- (* (- 1 z0) z1) 2))))
(FPCore (z0 z1) (* (exp (/ z0 z1)) z1))
(FPCore (z0) (* 64 z0))
(FPCore (z0) (* (* (- (* (* (* -1/6 (* z0 z0)) PI) PI) -1) z0) PI))
(FPCore (z1 z0) (- (/ 1/8 (* (* z1 z0) PI)) (/ (- (/ 1/24 PI) (* (/ z0 (* z1 PI)) 1/144)) (* z1 z1))))
(FPCore (z0 z1) (* (/ z0 (* z1 PI)) 1/144))
(FPCore (z0 z1) (* (* (log z0) (+ PI PI)) (- (* (* (- (* z0 z0) 1) z1) z1) -1)))
(FPCore (z0) (/ 4 z0))
(FPCore (z0) (sin (* (- z0) PI)))
(FPCore (z0) (- (* 1/2 z0) 3/2))
(FPCore (z0) (* (- (* 20/27 z0) 1/9) z0))
(FPCore (z0) (* 20/27 z0))
(FPCore (z0) (* (* z0 z0) (* (* z0 z0) 961389193575684075633145058384385882649239799132134631991269883031841/562500000000000000000000000000000000000000000000000000000000000000)))
(FPCore (z0) (- (* (* z0 z0) (* (* z0 z0) 961389193575684075633145058384385882649239799132134631991269883031841/562500000000000000000000000000000000000000000000000000000000000000)) 98696044010906577398881/2500000000000000000000))
(FPCore (z1 z0) (* 1/2 (* z1 z0)))
(FPCore (z0) (* -1/2 (* z0 z0)))
(FPCore (z0) (- (* 20/27 z0) 1/9))
(FPCore (z0 z1) (- z0 (/ -2 z1)))
(FPCore (z0) (* (- z0) PI))
(FPCore (z0 z1) (/ (- (* z0 z0) 1) (* (* (log z0) (+ PI PI)) (- (* (* (- (* z0 z0) 1) z1) z1) -1))))
(FPCore (z0) (* (- z0 1) (- 1 z0)))
(FPCore (z0 z1) (sqrt (* (- 2 (- z0 (* z1 z0))) (- z0 (* z1 z0)))))
(FPCore (z1 z0) (* (+ -1 (- (- (* z1 z0) -1) z1)) (- (* (- 1 z0) z1) 2)))
(FPCore (z0) (* -2 z0))
(FPCore (z0) (* (sqrt PI) (- z0 -1)))
(FPCore (z1 z0) (* (- z1 1) (- z0 (* z1 z0))))
(FPCore (z0) (log z0))
(FPCore (z1 z0) (* (- z1 1) (- (- z0 (* z1 z0)) 2)))
(FPCore (z0 z1 z2) (* (* (* (- z0 1) z1) z2) z0))
(FPCore (z0) (- (* -31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)) 314159265359/50000000000))
(FPCore (z1 z0) (* (sin (* (+ PI PI) z1)) (sqrt (- (log (- 1 z0))))))
(FPCore (z2 z0 z1) (* z2 (* (* (- 1 z0) z1) z0)))
(FPCore (z0 z1) (* (* (* (* z0 PI) z0) PI) z1))
(FPCore (z1 z0) (- (- (* z1 z0) -1) z1))
(FPCore (z0) (- (* 64 z0) -64/3))
(FPCore (z0) (* (- (* 64 z0) -64/3) z0))
(FPCore (z0 z1) (/ (+ z0 z0) z1))
(FPCore (z0) (- (* (- (* 64 z0) -64/3) z0) -8))
(FPCore (z0) (* (- (* (* (* -1/6 (* z0 z0)) PI) PI) -1) PI))
(FPCore (z0) (+ (log 3/4) z0))
(FPCore (z0 z1) (sqrt (* (+ 1 (- (- z0 (* z1 z0)) 1)) (- 2 (- z0 (* z1 z0))))))
(FPCore (z1 z2 z0) (- -1 (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2))))
(FPCore (z0) (- (+ z0 z0) 1))
(FPCore (z1 z0) (* (- z1 -1) (* (* (sqrt PI) z0) (exp (* z0 z0)))))
(FPCore (z0 z1) (log (- (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1) (/ 1 (- -1 (exp (/ PI z0)))))) 1)))
(FPCore (z0) (/ z0 PI))
(FPCore (z0 z1) (- (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1) (/ 1 (- -1 (exp (/ PI z0)))))) 1))
(FPCore (z0) (/ 1/4 (* z0 PI)))
(FPCore (z0) (- (log (* 4/3 (- 1 z0)))))
(FPCore (z0 z1) (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1))
(FPCore (z0 z1) (- (/ (+ 4 (* -8/3 z0)) z1) -2))
(FPCore (z1 z2 z0) (/ (- -1 (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2))) (* (+ z2 z2) z2)))
(FPCore (z0) (* (- (* 1/2 z0) 3/2) z0))
(FPCore (z1 z0) (- (/ 1/8 (* (* (exp (/ z1 z0)) (* z0 PI)) z1)) (* -1/8 (/ (exp (* (/ -1/3 z0) z1)) (* (* z1 z0) PI)))))
(FPCore (z1 z0) (* (* (exp (/ z1 z0)) (* z0 PI)) z1))
(FPCore (z0 z1) (- (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1) (/ 1 (- -1 (exp (/ PI z0))))))
(FPCore (z1 z0) (/ 1/8 (* (* (exp (/ z1 z0)) (* z0 PI)) z1)))
(FPCore (z0) (* (* (* z0 PI) z0) PI))
(FPCore (z0 z1) (- (/ (- (/ 1/24 PI) (* (/ z0 (* z1 PI)) 1/144)) (* z1 z1)) (/ 1/8 (* (* z1 z0) PI))))
(FPCore (z0 z1) (* (* (* (- z0 1) z1) z0) (* (* (- z0 1) z1) z0)))
(FPCore (z0 z1) (* (* (- z0) PI) z1))
(FPCore (z0) (/ 1/2 z0))
(FPCore (z0 z1) (* (/ -1/3 z0) z1))
(FPCore (z1 z0) (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0) (/ -1 (- (exp (/ PI z1)) -1)))))
(FPCore (z0 z1) (* (pow (- (exp (/ (- z0) z1)) -1) 2) z1))
(FPCore (z2 z1 z0) (* (sqrt (- 1 (* (* (* z2 (- 1 z1)) z1) (* (* z2 (- 1 z1)) z1)))) (sin (* (+ z0 z0) PI))))
(FPCore (z0 z1) (- (* (- (/ (+ 4 (* -8/3 z0)) z1) -2) z0) (- (/ 4/3 z1) -2)))
(FPCore (z2 z1 z0) (* (exp (/ (* z2 z1) z0)) z0))
(FPCore (z0) (* (- (* 1/2 z0) 3/2) (/ z0 (sqrt PI))))
(FPCore (z0 z1) (* (* (* z0 z0) z1) -1/4))
(FPCore (z0 z1) (- 1 (* (* (* (- z0 1) z1) z0) (* (* (- z0 1) z1) z0))))
(FPCore (z0) (* -1/6 (* z0 z0)))
(FPCore (z1 z0) (* (- -1 (* z1 z0)) (- -1 (* z1 z0))))
(FPCore (z1 z0) (- (- 1 (* z1 z1)) (* (- 1 (* z1 (- 2 z0))) (- (* z1 z0) -1))))
(FPCore (z2 z1 z0) (/ (exp (- (/ (* z2 z1) z0))) z0))
(FPCore (z1 z0) (* (- (log (* (- 1 z1) 4/3))) (* 3 z0)))
(FPCore (z0) (* (* (* -1/6 (* z0 z0)) PI) PI))
(FPCore (z0 z1) (- 2 (- z0 (* z1 z0))))
(FPCore (z0) (- (* (- (* 20/27 z0) 1/9) z0) 4/3))
(FPCore (z1 z0) (* (- (exp (/ (- (fabs z1)) z0)) -1) z0))
(FPCore (z0 z1) (exp (* (/ -1/3 z0) z1)))
(FPCore (z1 z0) (- (* (- z1 1) (- z0 (* z1 z0))) -2))
(FPCore (z1 z0) (* (sin (* 314159265359/50000000000 z1)) (sqrt (/ z0 (- 1 z0)))))
(FPCore (z0 z1) (* (* (* z0 z0) (- 1/3 (* z1 -1/4))) z1))
(FPCore (z1 z0) (- (/ 1/24 (* z1 PI)) (/ (* 1/144 z0) (* (* z1 PI) z1))))
(FPCore (z1 z0) (- 1 (* z1 (- 2 z0))))
(FPCore (z0 z1) (sqrt (- 1 (* (* (* (- z0 1) z1) z0) (* (* (- z0 1) z1) z0)))))
(FPCore (z0) (* (- (* 1/3 z0) -1/2) (* z0 z0)))
(FPCore (z1 z0) (- -1 (* z1 z0)))
(FPCore (z0 z1) (- (* (* (- (* z0 z0) 1) z1) z1) -1))
(FPCore (z2 z1 z0) (+ (* (* z2 PI) (+ z1 z1)) z0))
(FPCore (z0 z1) (- (/ (* 1/144 z0) (* (* z1 PI) z1)) (/ 1/24 (* z1 PI))))
(FPCore (z0 z1) (* (* (* (- z0) z0) PI) (* z1 PI)))
(FPCore (z0) (- -1 z0))
(FPCore (z0 z1) (* (* (sqrt PI) z0) (/ (exp (* z0 z0)) (+ (* (- z1 -1) (* (* (sqrt PI) z0) (exp (* z0 z0)))) (sqrt (- (- 1 z0) z0))))))
(FPCore (z0) (- 1 (* z0 z0)))
(FPCore (z0 z1) (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z0)) -1)) (/ 1 (- (exp (/ PI z0)) -1))) z1) (/ 1 (- -1 (exp (/ PI z0)))))))
(FPCore (z0 z1) (/ 1 (- (exp (/ (- z0) z1)) -1)))
(FPCore (z1 z2 z0) (* (sqrt (* (- 2 (- z1 (* z2 z1))) (- z1 (* z2 z1)))) (* (+ z0 z0) PI)))
(FPCore (z1 z0) (exp (/ (- (fabs z1)) z0)))
(FPCore (z0) (* 64/3 z0))
(FPCore (z0 z1) (* (/ z0 (* z1 PI)) 5/72))
(FPCore (z1 z0) (* (sqrt (- (log (- 1 z1)))) (* (+ z0 z0) PI)))
(FPCore (z0 z1) (/ (- (- 2 z0) z0) z1))
(FPCore (z0 z1) (* (- (* (- (/ (+ 4 (* -8/3 z0)) z1) -2) z0) (- (/ 4/3 z1) -2)) z0))
(FPCore (z1 z0) (* (- z1 1) z0))
(FPCore (z0) (- (- (* (- (* 20/27 z0) 1/9) z0) 4/3) (/ -2 z0)))
(FPCore (z0) (* (exp (* z0 z0)) z0))
(FPCore (z0) (/ 1 (- 1 z0)))
(FPCore (z0 z1) (* (- (* z0 z0) 1) z1))
(FPCore (z1 z0) (- (- (/ 1/24 (* z1 PI)) (/ (* 1/144 z0) (* (* z1 PI) z1))) (/ 1/8 (* z0 PI))))
(FPCore (z0 z1) (* (exp (* (/ -1/3 z0) z1)) (/ 1/8 (* (* z1 z0) PI))))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0) (* (+ PI PI) (- 1/4 z0)))
(FPCore (z0 z1) (* (sin (* (- z0) PI)) (sin (* (* z1 z0) PI))))
(FPCore (z1 z0) (* (sqrt (/ z1 (- 1 z1))) z0))
(FPCore (z2 z1 z0) (/ 1 (* (* (exp (/ (* z2 z1) z0)) z0) (sinh (/ 1 z0)))))
(FPCore (z0 z1) (* (/ 1/8 (* z0 PI)) (exp (* (/ -1/3 z0) z1))))
(FPCore (z1 z0) (* (exp (/ z1 z0)) (* z0 PI)))
(FPCore (z0) (sqrt (- 1 (* z0 z0))))
(FPCore (z1 z0) (* (- 1 (* z1 (- 2 z0))) (- (* z1 z0) -1)))
(FPCore (z0 z1) (pow (- (exp (/ (- z0) z1)) -1) 2))
(FPCore (z0 z1) (/ (+ 4 (* -8/3 z0)) z1))
(FPCore (z1 z0) (- (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0) (/ -1 (- (exp (/ PI z1)) -1)))) 1))
(FPCore (z0 z1) (* (* 314159265359/50000000000 z0) (sqrt (/ z1 (- 1 z1)))))
(FPCore (z0 z1) (* (- (/ (+ 4 (* -8/3 z0)) z1) -2) z0))
(FPCore (z1 z0) (/ (- (fabs z1)) z0))
(FPCore (z1 z0) (+ (* (- z1 -1) (* (* (sqrt PI) z0) (exp (* z0 z0)))) (sqrt (- (- 1 z0) z0))))
(FPCore (z1 z0) (* (- (* (- (* 64 z1) -64/3) z1) -8) z0))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) z2))
(FPCore (z0) (/ (sqrt (/ (- (- 1 z0) z0) PI)) (* (exp (* z0 z0)) z0)))
(FPCore (z1 z0) (- (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0) (/ -1 (- (exp (/ PI z1)) -1))))
(FPCore (z1 z0) (- 1 (* (- -1 (* z1 z0)) (- -1 (* z1 z0)))))
(FPCore (z0) (* 8 z0))
(FPCore (z0 z1) (- (/ 1/6 PI) (* (/ z0 (* z1 PI)) 5/72)))
(FPCore (z0 z2 z1) (/ (+ z0 z0) (* z2 z1)))
(FPCore (z0 z1) (* (* z0 z0) (- 1/3 (* z1 -1/4))))
(FPCore (z0 z1) (- (* (/ z0 (* z1 PI)) 1/144) (/ 1/24 PI)))
(FPCore (z0) (- (* (* (* -1/6 (* z0 z0)) PI) PI) -1))
(FPCore (z0) (/ 1/4 z0))
(FPCore (z1 z0) (sqrt (- (- 1 (* z1 z1)) (* (- 1 (* z1 (- 2 z0))) (- (* z1 z0) -1)))))
(FPCore (z0 z1) (* z0 (- z0 (* 2 (- (* z1 z0) -1)))))
(FPCore (z0) (/ -1/3 z0))
(FPCore (z0 z1) (/ z0 (+ z1 z1)))
(FPCore (z1 z0) (* (- (/ 4/3 z1) -2) (/ z0 z1)))
(FPCore (z0 z1) (* z0 (pow (- (exp (/ (- (fabs z1)) z0)) -1) 2)))
(FPCore (z0) (- z0 2))
(FPCore (z0) (- (/ PI z0) -2))
(FPCore (z0 z1) (- (* (* (* z0 z0) (- 1/3 (* z1 -1/4))) z1) (* -1/2 (* z0 z0))))
(FPCore (z1 z2 z0) (/ (- 1 (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2))) (* (+ z1 z1) z1)))
(FPCore (z0) (/ 1 (* (sqrt PI) z0)))
(FPCore (z2 z1 z0) (+ (* z2 (sin (* (+ PI PI) z1))) (* (cos (* (+ PI PI) z1)) z0)))
(FPCore (z0 z1) (- 2 (/ z0 z1)))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 z1)) z2) z2))
(FPCore (z0 z1) (* -8/3 (/ z0 z1)))
(FPCore (z0 z1) (/ (exp (/ (- z0) z1)) (* (* z1 z0) PI)))
(FPCore (z1 z0) (* (- (- 2 z1) z1) z0))
(FPCore (z0 z1) (* (+ 1 (- (- z0 (* z1 z0)) 1)) (- 2 (- z0 (* z1 z0)))))
(FPCore (z1 z0) (* (- z1) z0))
(FPCore (z1 z0) (log (- (/ 1 (- (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0) (/ -1 (- (exp (/ PI z1)) -1)))) 1)))
(FPCore (z1 z2 z0) (- (/ 1 (* (+ z1 z1) z1)) (+ (* (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2)) (- (/ 1 (* (+ z1 z1) z1)) (/ 1 (* (+ z2 z2) z2)))) (/ -1 (* (+ z2 z2) z2)))))
(FPCore (z0) (* 1/3 (* z0 z0)))
(FPCore (z1 z0) (* (+ z1 z1) (- (* z1 z0) -1)))
(FPCore (z0 z1) (* (- 1 z0) (* (- z0 1) z1)))
(FPCore (z1 z0) (/ (sin (* (* z1 z0) PI)) (* (* z1 z0) PI)))
(FPCore (z0 z1) (* (* (- (* z0 z0) 1) z1) z1))
(FPCore (z0 z1) (/ (- (/ 1/6 PI) (* (/ z0 (* z1 PI)) 5/72)) (* z1 z1)))
(FPCore (z0) (- (* -1/3 z0) 1/2))
(FPCore (z0 z1) (+ (* (* z0 (/ PI z1)) 1/2) PI))
(FPCore (z0 z1) (* (- (log (- 1 (* 4 z0)))) z1))
(FPCore (z0) (- -2 (/ (- (/ 4/3 z0) -2) z0)))
(FPCore (z0 z1) (* (/ z0 (* z1 PI)) 1/6))
(FPCore (z0) (* (- (* -3/2 z0) 1) z0))
(FPCore (z0 z1) (* (+ (* (* z0 (/ PI z1)) 1/2) PI) z0))
(FPCore (z0) (sin (* (* z0 PI) -2)))
(FPCore (z0 z1) (* (exp (/ z0 z1)) PI))
(FPCore (z0) (/ (+ (/ (- (/ 4/3 z0) -2) z0) 2) z0))
(FPCore (z0 z1) (- (* 1/16 (/ z0 (* z1 PI))) (/ 1/8 PI)))
(FPCore (z0) (- (* (- (* 20/27 z0) 1/9) z0) 1/3))
(FPCore (z0) (/ (- (- 1 z0) z0) PI))
(FPCore (z0 z1) (/ (- (/ 1/24 PI) (* (/ z0 (* z1 PI)) 1/144)) (* z1 z1)))
(FPCore (z1 z0) (* (* (- (* z1 z1) 1) z0) z0))
(FPCore (z0 z1) (/ (pow (- (exp (/ (- z0) z1)) -1) -2) z1))
(FPCore (z1 z0) (* (* z1 (- (* 64 z0) -64/3)) z0))
(FPCore (z0) (- (* (- (* -1/3 z0) 1/2) z0) 1))
(FPCore (z1 z0) (/ (* (- (/ -4/3 z1) 2) z0) z1))
(FPCore (z1 z0) (sqrt (* (- (- 2 z1) z1) z0)))
(FPCore (z1 z0) (- (/ 1/8 (* z1 PI)) (/ (* 1/16 z0) (* (* z1 PI) z1))))
(FPCore (z0) (* (* (* (* (* z0 PI) z0) PI) PI) -1/6))
(FPCore (z0 z1) (* (* (sqrt PI) z0) (- (* (- z1 -1) (sqrt PI)) 1)))
(FPCore (z0 z1) (- (/ z0 (- (* (- -1 z1) z0) (* (sqrt (/ (- (- 1 z0) z0) PI)) (exp (* (- z0) z0)))))))
(FPCore (z0 z1 z2) (* (exp (* z0 (/ z1 z2))) (* z2 z2)))
(FPCore (z0) (* (* (* (* -1/6 (* z0 z0)) PI) PI) PI))
(FPCore (z0) (* (- z0 -1) (* (sqrt PI) z0)))
(FPCore (z2 z1 z0) (* (sqrt (- 1 (* (* (* z2 (- 1 z1)) z1) (* (* z2 (- 1 z1)) z1)))) (cos (* (+ z0 z0) PI))))
(FPCore (z0) (- (* -3/2 z0) 1))
(FPCore (z0) (* (log 27/64) z0))
(FPCore (z0) (* (* (- (* 64/3 z0) -8) z0) z0))
(FPCore (z0) (* (- (* (- (* 20/27 z0) 1/9) z0) 1/3) z0))
(FPCore (z0 z1) (* 2 (+ (/ z0 z1) z0)))
(FPCore (z0 z1) (* (- 1 z0) (- (- (* z1 z0) -2) z1)))
(FPCore (z0) (- 2 (/ (- -2 (/ (- (/ 2/3 z0) -4/3) z0)) z0)))
(FPCore (z2 z0 z1) (* (sin (* (+ z2 z2) PI)) (sqrt (* (- 2 (- z0 (* z1 z0))) (- z0 (* z1 z0))))))
(FPCore (z0 z2 z1) (/ z0 (sqrt (- (* z2 z2) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))))
(FPCore (z2 z1 z0) (* (sqrt (* (* z2 (- 1 z1)) (- (- (* z2 z1) -2) z2))) (* (+ z0 z0) PI)))
(FPCore (z0) (/ 1/2 (* z0 z0)))
(FPCore (z0 z1) (- z0 z1))
(FPCore (z0) (* -24 (- 1 z0)))
(FPCore (z0) (* 16 (- 1 z0)))
(FPCore (z1 z0) (* (- (/ -4/3 z1) 2) z0))
(FPCore (z0 z1) (/ (- (* (* 16 (- 1 z0)) (* (- z0 1) (- z0 1))) (* (- 1 z0) (- -8 (* -24 (- 1 z0))))) z1))
(FPCore (z0) (log (- 1 (* 4 z0))))
(FPCore (z0 z1 z2) (asin (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2)))))))))
(FPCore (z0) (* (* -31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)) z0))
(FPCore (z0) (- (* -314159265359/25000000000 (/ z0 PI)) -1))
(FPCore (z0) (- (* (* 1/2 PI) z0) (* 1/4 PI)))
(FPCore (z1 z0) (- z1 (/ (* (- 3/2 (* 1/2 z0)) z0) (sqrt PI))))
(FPCore (z0) (- (* z0 z0) -1))
(FPCore (z1 z0) (* (+ (* 1/2 (* z1 z0)) z1) z0))
(FPCore (z0 z1) (- (/ (- (- 2 z0) z0) z1) (* (- z0 1) (- z0 1))))
(FPCore (z1 z0) (* (/ 1/8 (* z1 PI)) (- (exp (/ (- z0) z1)) (- (exp (* -1/3 (/ z0 z1)))))))
(FPCore (z0 z1) (- (/ 1/4 (* z0 PI)) (/ 1/6 (* z1 PI))))
(FPCore (z0) (* (* 31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)) z0))
(FPCore (z0 z1) (sqrt (- (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (* z0 z0))))
(FPCore (z0) (/ (- (/ 4/3 z0) -2) z0))
(FPCore (z1 z2 z0) (/ (- (cos (* (atan (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI)))) 2)) -1) (* (+ z2 z2) z2)))
(FPCore (z0) (exp (* (+ z0 z0) PI)))
(FPCore (z1 z0) (/ 1 (- (* (/ (sqrt (/ (- (- 1 z1) z1) PI)) z1) (exp (* (- z1) z1))) (- -1 z0))))
(FPCore (z0 z1) (sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1)))))))
(FPCore (z0 z1) (- (/ (* 1/16 z0) (* (* z1 PI) z1)) (/ 1/8 (* z1 PI))))
(FPCore (z0 z1) (* 1/8 (/ (+ (exp (/ (- z0) z1)) (exp (* -1/3 (/ z0 z1)))) PI)))
(FPCore (z0) (- (- (* (- (* 1/2 z0) 3/2) z0) 1) (/ -1 z0)))
(FPCore (z1 z0) (- 1 (* (- 1 (* z1 (- 2 z0))) (- (* z1 z0) -1))))
(FPCore (z0 z1) (* 1/8 (exp (* (/ -1/3 z0) z1))))
(FPCore (z0 z1) (/ (exp (* -1/3 (/ z0 z1))) PI))
(FPCore (z0) (/ (+ (/ (- (/ 2/3 z0) -4/3) z0) 2) z0))
(FPCore (z0 z2 z1) (- (/ 1/2 (* z0 z0)) (+ (* (cos (* (atan (* (/ z0 z2) (tan (* (- (+ z1 z1) -1/2) PI)))) 2)) (- (/ 1/2 (* z0 z0)) (/ 1 (* (+ z2 z2) z2)))) (/ -1 (* (+ z2 z2) z2)))))
(FPCore (z0) (log (- (log (- 1 z0)))))
(FPCore (z1 z0) (* (- (* (- (* (* z1 (- (* 64 z0) -64/3)) z0) (* -8 z1)) z0) (* -4 z1)) z0))
(FPCore (z0 z1) (- (/ (- (- 2 z0) z0) z1) -2))
(FPCore (z1 z0) (* 64 (* z1 z0)))
(FPCore (z1 z0) (- (- (* (- (/ 4 z1) -2) z0) 2) (/ 4/3 z1)))
(FPCore (z0 z1) (* (- (* (* (* z0 z0) (- 1/3 (* z1 -1/4))) z1) (* -1/2 (* z0 z0))) z1))
(FPCore (z0) (- z0 -1/2))
(FPCore (z1 z0) (- (/ 1/4 (* (* z1 z0) PI)) (/ (- (/ 1/6 PI) (/ (* z1 5/72) (* z0 PI))) (* z0 z0))))
(FPCore (z1 z0) (* (- (* (- (* (- (* 64 z1) -64/3) z1) -8) z1) -4) z0))
(FPCore (z0 z1) (+ (* (+ (* (* z0 (/ PI z1)) 1/2) PI) z0) (* z1 PI)))
(FPCore (z0) (- (- (* -3/2 z0) 1) (/ -1 z0)))
(FPCore (z0 z1) (- (* (sqrt (- 1 (* z0 z0))) (* z1 z1)) (* z0 z0)))
(FPCore (z0) (- (/ (+ (/ 1 z0) (* (- (* 1/2 z0) 3/2) z0)) (sqrt PI)) -1))
(FPCore (z0 z1) (- (sqrt PI) (* (* (sqrt PI) z0) (- (* (- z1 -1) (sqrt PI)) 1))))
(FPCore (z1 z0) (* (- (/ 4 z1) -2) z0))
(FPCore (z0) (- (* (- (* (- (* 20/27 z0) 1/9) z0) 1/3) z0) -2))
(FPCore (z1 z0) (- (* (* (- (* z1 z1) 1) z0) z0) -1))
(FPCore (z1 z0) (- (- (/ 1/8 (* z1 PI)) (/ (* 1/16 z0) (* (* z1 PI) z1))) (/ 1/8 (* z0 PI))))
(FPCore (z1 z0) (sqrt (- (* z1 z1) (/ (* z0 z0) (sqrt (- 1 (* z0 z0)))))))
(FPCore (z0 z1 z2) (/ z0 (sqrt (- (* z1 z1) (/ (* z2 z2) (sqrt (- 1 (* z2 z2))))))))
(FPCore (z0 z1) (/ (exp (/ (- z0) z1)) (* (* (+ z0 z0) PI) z1)))
(FPCore (z0) (* (* -24 (- 1 z0)) (- 1 z0)))
(FPCore (z1 z0) (/ 1/8 (* (* z1 z0) PI)))
(FPCore (z1 z0) (* (- (* z1 z1) 1) z0))
(FPCore (z2 z1 z0) (+ (* z2 z1) z0))
(FPCore (z0) (* 31006276680305942139213528068663279/750000000000000000000000000000000 (* z0 z0)))
(FPCore (z0 z1) (- (* (/ z0 (* z1 PI)) 1/6) (/ 1/4 PI)))
(FPCore (z1 z0) (- (* (/ (sqrt (/ (- (- 1 z1) z1) PI)) z1) (exp (* (- z1) z1))) (- -1 z0)))
(FPCore (z1 z0) (/ 1 (* (- (/ 1 (- (exp (/ (- PI) z1)) -1)) (/ 1 (- (exp (/ PI z1)) -1))) z0)))
(FPCore (z0 z1) (sin (* (- z0 1) z1)))
(FPCore (z0) (* (sqrt (- (log (- 1 z0)))) PI))
(FPCore (z1 z0) (/ (- (- (/ 1/8 (* z1 PI)) (/ (* 1/16 z0) (* (* z1 PI) z1))) (/ 1/8 (* z0 PI))) z1))
(FPCore (z1 z0) (* (* z1 (- (* 8 z0) -4)) z0))
(FPCore (z0 z1) (/ z0 (fabs z1)))
(FPCore (z0 z1) (sqrt (* (- (- 2 z0) z0) z1)))
(FPCore (z1 z2 z0) (+ (* (- z1 z2) z0) z2))
(FPCore (z0 z1) (* (* z0 PI) (sqrt (- (log (- 1 z1))))))
(FPCore (z1 z0) (- (exp (/ (- (fabs z1)) z0)) -1))
(FPCore (z0) (* (sinh (/ 1 z0)) 2))
(FPCore (z0 z1) (- (* (- 1 z0) (* (- z0 1) z1)) -2))
(FPCore (z1 z0) (/ (sin (* (* z1 z0) PI)) (* z1 PI)))
(FPCore (z0) (* -3/2 z0))
(FPCore (z0) (* -8 (- 1 z0)))
(FPCore (z1 z0) (- (/ 1/4 (* (* z1 z0) PI)) (/ 1/6 (* (* z1 PI) z1))))
(FPCore (z1 z0) (* (- (- (* (- (/ 4 z1) -2) z0) 2) (/ 4/3 z1)) z0))
(FPCore (z0 z1) (* (* (- z0) z0) (log (- 1 z1))))
(FPCore (z0 z1) (* (/ (- (* (* 16 (- 1 z0)) (* (- z0 1) (- z0 1))) (* (- 1 z0) (- -8 (* -24 (- 1 z0))))) z1) -1/6))
(FPCore (z0) (* (* (- (* -1/3 z0) 1/2) z0) z0))
(FPCore (z0 z1) (* (* (sqrt PI) z0) (- z1 -1)))
(FPCore (z1 z0) (- (/ 1/4 (* (* z1 z0) PI)) (/ (- (/ 1/6 PI) (* (/ z0 (* z1 PI)) 5/72)) (* z1 z1))))
(FPCore (z0 z1) (* (* 4 z0) z1))
(FPCore (z0) (log (* 4/3 (- 1 z0))))
(FPCore (z0) (- (* (- (* -3/2 z0) 1) z0) -1))
(FPCore (z1 z0) (* (sin (* z1 PI)) (sin (* (* z1 z0) PI))))
(FPCore (z0) (* 4/3 (- 1 z0)))
(FPCore (z0) (* (* z0 z0) 1/6))
(FPCore (z0) (* (- (* (- (* 1/2 z0) 3/2) z0) 1) z0))
(FPCore (z1 z2 z0) (sqrt (- (pow (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI))) 2) -1)))
(FPCore (z0) (exp (/ 1 z0)))
(FPCore (z0 z1) (* (- (/ (- (- 2 z0) z0) z1) (* (- z0 1) (- z0 1))) (* z1 z1)))
(FPCore (z1 z2 z0) (/ 1 (sqrt (- (pow (* (/ z1 z2) (tan (* (- (+ z0 z0) -1/2) PI))) 2) -1))))
(FPCore (z0 z1) (- (* (/ (- (* (* 16 (- 1 z0)) (* (- z0 1) (- z0 1))) (* (- 1 z0) (- -8 (* -24 (- 1 z0))))) z1) -1/6) (- (* (+ (- z0 1) 1) (- (+ z0 z0) 2)) (* (- (+ z0 z0) 2) z1))))
(FPCore (z0 z1) (- (* (- (/ (- (- 2 z0) z0) z1) -2) z0) 2))
(FPCore (z0 z1) (* (+ -1 (* (- 1 z0) z1)) (+ -1 (* (- 1 z0) z1))))
(FPCore (z0 z1) (* (- (- 2 z0) z0) z1))
(FPCore (z0 z1) (- (/ (sqrt (/ (- (- 1 z0) z0) PI)) (* (exp (* z0 z0)) z0)) (- -1 z1)))
(FPCore (z0) (* -314159265359/25000000000 (/ z0 PI)))
(FPCore (z0) (- -2 (/ (- (/ 2/3 z0) -4/3) z0)))
(FPCore (z1 z0) (* (- (* (* z1 (- (* 64 z0) -64/3)) z0) (* -8 z1)) z0))
(FPCore (z0) (- (* (sqrt PI) (- z0 -1)) 1))
(FPCore (z0 z1) (* (* (- z0 1) z1) (- (- (* z1 z0) -1) z1)))
(FPCore (z0) (* 98696044010906577398881/15000000000000000000000 (* z0 z0)))
(FPCore (z1 z0) (/ -1/4 (* (* z1 z0) PI)))
(FPCore (z0 z1) (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))
(FPCore (z0 z1) (* z0 (- (* 8 z1) -4)))
(FPCore (z0) (sqrt (/ (- (- 1 z0) z0) PI)))
(FPCore (z0) (/ (- (* 1/2 z0) 3/2) (sqrt PI)))
(FPCore (z0) (* (log (- (log (- 1 z0)))) 1/2))
(FPCore (z1 z0) (* (* z1 (- (/ 2 z0) 2)) z0))
(FPCore (z0 z1) (* (* (sqrt PI) z0) (- 1 (* (- z1 -1) (sqrt PI)))))
(FPCore (z0 z1) (/ 1/8 (* (exp (/ z0 z1)) (* z1 PI))))
(FPCore (z0 z1) (- (/ 1/8 (* (* (exp (/ z0 z1)) (* z1 PI)) z0))))
(FPCore (z0) (/ -1/4 (* z0 PI)))
(FPCore (z0 z1) (/ z0 (sin z1)))
(FPCore (z0 z1) (* z0 (- (* 64 z1) -64/3)))
(FPCore (z0 z1) (* (* (- z0 1) z1) z0))
(FPCore (z0) (- (/ 2 z0) -1))
(FPCore (z0) (* (sqrt (/ z0 (- 1 z0))) 314159265359/50000000000))
(FPCore (z0 z1) (- (* (- (* (* z0 (- (* 64 z1) -64/3)) z1) (* -8 z0)) z1) (* -4 z0)))
(FPCore (z0) (- (* 64/3 z0) -8))
(FPCore (z0 z1 z2) (* (exp (* z0 (/ z1 z2))) z2))
(FPCore (z0 z1) (* -4/3 (/ z0 z1)))
(FPCore (z0 z1) (* (- (/ (- (- 2 z0) z0) z1) (* (- z0 1) (- z0 1))) z1))
(FPCore (z0 z1) (* (- (+ z0 z0) 2) z1))
(FPCore (z0) (* (+ (* (* (* (* (* z0 PI) z0) PI) PI) -1/6) PI) z0))
(FPCore (z0 z1) (- (- (+ z0 z0) 2) (/ (- (* (+ (- z0 1) 1) (- (+ z0 z0) 2)) (* (/ (- (* (* 16 (- 1 z0)) (* (- z0 1) (- z0 1))) (* (- 1 z0) (- -8 (* -24 (- 1 z0))))) z1) -1/6)) z1)))
(FPCore (z0) (/ (- (/ 2/3 z0) -4/3) z0))
(FPCore (z0 z1) (- (* (- 1 z0) (* (- z0 1) z1)) (- z0 2)))