(FPCore (z0) (* z0 50813/6250))
(FPCore (z0 z1) (* (/ z1 z0) (/ z1 z0)))
(FPCore (z0) (+ 1/2 (* 1/2 (cos (+ z0 z0)))))
(FPCore (z0) (pow (cos z0) 2))
(FPCore (z0) (* z0 223577/50000))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0) (* z0 50813/62500))
(FPCore (z0 z1) (* (sin z1) z0))
(FPCore (z0 z1) (* (* (* z0 (floor z1)) z0) (floor z1)))
(FPCore (z0) (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))
(FPCore (z0) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0) (* 5 (pow (cos z0) 2)))
(FPCore (z0) (* z0 284553/100000))
(FPCore (z0) (- 1 (* 5 (pow (cos z0) 2))))
(FPCore (z0 z1) (* (cos z1) z0))
(FPCore (z0) (* 40 (pow (cos z0) 4)))
(FPCore (z0) (* z0 223577/100000))
(FPCore (z0) (- (* (cos (+ z0 z0)) 1/2) -1/2))
(FPCore (z0) (* -40 (pow (cos z0) 4)))
(FPCore (z0) (* z0 50813/25000))
(FPCore (z0) (- 1 (* 11 (pow (cos z0) 2))))
(FPCore (z0) (* 11 (pow (cos z0) 2)))
(FPCore (z0) (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))))
(FPCore (z0) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))
(FPCore (z0) (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))
(FPCore (z0 z1) (cos (+ (* 2 z1) (* 3 z0))))
(FPCore (z0) (* 1/180 z0))
(FPCore (z0 z1 z2) (* z0 (cos (+ (* 2 z2) (* 3 z1)))))
(FPCore (z0 z1) (* (- (* z1 z1) 1) z0))
(FPCore (z0) (- 1 (pow (cos z0) 2)))
(FPCore (z0 z1) (cos (+ (* 2 z1) z0)))
(FPCore (z0 z1 z2) (* (* 3 z0) (cos (+ (* 2 z2) z1))))
(FPCore (z0 z1) (* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (+ z1 z1))))
(FPCore (z0) (* (* 1/90 PI) z0))
(FPCore (z0) (- 1/2 (* -1/2 (cos (+ z0 z0)))))
(FPCore (z0 z1) (cos (+ (* 2 z1) (* 2 z0))))
(FPCore (z0) (* (* 1/180 z0) PI))
(FPCore (z0) (* PI z0))
(FPCore (z0 z1) (sin (- (+ z1 z1) (* -3 z0))))
(FPCore (z0) (sqrt (- 1 (pow (cos z0) 2))))
(FPCore (z0 z1) (cos (- z1 z0)))
(FPCore (z0) (* z0 50813/12500))
(FPCore (z0) (pow (cos z0) 3))
(FPCore (z0 z1 z2) (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))))
(FPCore (z0 z1 z2) (+ (+ (* 3 (cos (+ (* 2 z2) (* 2 z1)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1))))))
(FPCore (z0 z1) (* 3 (cos (+ (* 2 z1) (* 2 z0)))))
(FPCore (z0) (* z0 PI))
(FPCore (z0) (* (* (* 1/180 z0) PI) 2))
(FPCore (z0) (cos (* (* 1/90 PI) z0)))
(FPCore (z0 z1 z2) (* (* z1 z0) z2))
(FPCore (z0 z1) (/ z1 (* z0 z0)))
(FPCore (z0) (* z0 182927/100000))
(FPCore (z0 z1 z2) (* (sin (- (+ z2 z2) (* -3 z1))) z0))
(FPCore (z0) (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2))
(FPCore (z0 z1) (sin (* (+ z0 z1) 2)))
(FPCore (z0 z1) (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))))
(FPCore (z0) (cos (* (* (* 1/180 z0) PI) 2)))
(FPCore (z0 z1) (pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0)))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z2) (- 1 z2)) (/ 1/2 z1)) z0))
(FPCore (z0) (- 1/2 (* 1/2 (cos (+ z0 z0)))))
(FPCore (z0) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1))
(FPCore (z0) (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11))
(FPCore (z0) (* z0 108401/20000))
(FPCore (z0) (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5))
(FPCore (z0 z1 z2) (/ (* (/ z2 z0) (/ z2 z0)) (* (- 1 (* z1 z1)) (- 1 (* z1 z1)))))
(FPCore (z0 z1) (* (pow (cos z1) 3) z0))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) 1/2)))
(FPCore (z0 z1 z2) (* z1 (* z0 z2)))
(FPCore (z0) (tan (* (+ (+ z0 z0) PI) 1/4)))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0) (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))
(FPCore (z0) (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 11) 1)))
(FPCore (z0) (* z0 105691/20000))
(FPCore (z0) (* -200 (pow (cos z0) 4)))
(FPCore (z0 z1) (* (* z0 z0) (* (floor z1) (floor z1))))
(FPCore (z0) (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)))
(FPCore (z0) (sin (- (* z0 1/2) (* 1/4 PI))))
(FPCore (z0 z1) (* (cos (- z1 z0)) 1/2))
(FPCore (z0 z1) (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))))
(FPCore (z0 z1 z2) (tanh (* z1 (* z0 z2))))
(FPCore (z0 z1) (sin (+ z0 (+ z1 z1))))
(FPCore (z0) (* z0 121951/100000))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1) (* (- (* z0 z0) 1) (tan z1)))
(FPCore (z0) (- 1 (cos (+ z0 z0))))
(FPCore (z0 z1) (cos (+ z0 (+ z1 z1))))
(FPCore (z0 z1 z2) (* (cos (+ z1 (+ z2 z2))) z0))
(FPCore (z0 z1) (* (sin (* (+ z0 z1) 2)) 3))
(FPCore (z0) (- 1/2 (fabs (- z0 1/2))))
(FPCore (z0 z1 z2) (/ z2 (* (- (* z1 z1) 1) z0)))
(FPCore (z0) (tan (+ (/ PI 4) (* 1/2 z0))))
(FPCore (z0) (* (* PI z0) 1/90))
(FPCore (z0) (tan (+ (* 1/2 z0) (/ PI 4))))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0) (log (tan (+ (/ PI 4) (* 1/2 z0)))))
(FPCore (z0 z1) (* (/ z0 z1) (/ z0 z1)))
(FPCore (z0) (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))
(FPCore (z0) (* (* 3 z0) z0))
(FPCore (z0) (+ 153/40 (* z0 50813/6250)))
(FPCore (z0 z1) (log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1))))))
(FPCore (z0 z1) (cos (* -2 (+ z0 z1))))
(FPCore (z0) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))
(FPCore (z0 z1 z2) (* z1 (log (/ (+ 1 (* z0 (sin z2))) (- 1 (* z0 (sin z2)))))))
(FPCore (z0 z1 z2) (* (- (+ (* (sin z2) z1) z2) z0) 6))
(FPCore (z0 z1 z2) (* (* -3 z0) (sin (+ z1 (+ z2 z2)))))
(FPCore (z0) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2)))
(FPCore (z0) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11))
(FPCore (z0) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))
(FPCore (z0 z1) (* (* (cos z1) (* z0 z0)) (- (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))) -11) (* (* -200 (pow (cos z1) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))) -2)))))
(FPCore (z0) (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))))
(FPCore (z0) (- (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) (/ 80 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))) -11) (* (* -200 (pow (cos z0) 4)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) -2))))
(FPCore (z0 z1 z2) (* (* z1 z2) z0))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1) (* z0 (- (* z1 z1) 1)))
(FPCore (z0 z1) (* (sin (+ z0 z0)) (sin (+ z1 z1))))
(FPCore (z0) (cos (* (* PI z0) 1/90)))
(FPCore (z0 z1) (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)))
(FPCore (z0 z1) (- 1/2 (* (cos (- z1 z0)) 1/2)))
(FPCore (z0) (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)))
(FPCore (z0 z1 z2) (* (* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))) (cos (+ z2 z2))))
(FPCore (z0 z1) (cos (- (* -3 z0) (+ z1 z1))))
(FPCore (z0 z1) (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0))
(FPCore (z0) (+ 41/10 (* z0 50813/6250)))
(FPCore (z0) (* (cos (* (* 1/90 PI) z0)) 1/2))
(FPCore (z0) (pow (+ 153/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1) (* (- 1 (* z0 z0)) (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))) (- (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) 11) 1))))
(FPCore (z0 z1 z2) (* (cos (- (* -3 z1) (+ z2 z2))) z0))
(FPCore (z0 z1) (cos (+ (+ z0 z0) (+ z1 z1))))
(FPCore (z0 z1) (* (cos (+ z0 z0)) (cos (+ z1 z1))))
(FPCore (z0) (- (* z0 50813/6250) 111/40))
(FPCore (z0) (* (cos (* (* PI z0) 1/90)) 1/2))
(FPCore (z0) (* -3 (* z0 z0)))
(FPCore (z0) (- (* z0 50813/6250) 23/40))
(FPCore (z0 z1 z2) (* (* z0 z2) z1))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1 z2) (tanh (* (* z1 z0) z2)))
(FPCore (z0) (- (* z0 50813/6250) 199/40))
(FPCore (z0) (pow (- (* z0 50813/6250) 111/40) 2))
(FPCore (z0) (- (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2) -1/2))
(FPCore (z0) (- (cos (* (* 1/90 PI) z0)) -1))
(FPCore (z0 z1) (+ (* z0 223577/100000) (* z1 50813/12500)))
(FPCore (z0) (pow (- (* z0 50813/6250) 23/40) 2))
(FPCore (z0) (- (+ 41/10 (* z0 50813/6250))))
(FPCore (z0 z1) (* (* (* (- (* z1 z1) 1) (- (* z1 z1) 1)) 8) z0))
(FPCore (z0 z1) (/ (* z1 z1) z0))
(FPCore (z0 z1 z2) (- (* (* z2 z0) 4) (* z1 z1)))
(FPCore (z0) (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11))
(FPCore (z0) (pow (- (* z0 50813/6250) 199/40) 2))
(FPCore (z0) (+ 4/5 (* z0 50813/6250)))
(FPCore (z0) (* z0 7259/3125))
(FPCore (z0 z1) (sin (/ (- z0 z1) 2)))
(FPCore (z0) (+ 197/40 (* z0 50813/6250)))
(FPCore (z0) (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))
(FPCore (z0) (+ 19/10 (* z0 50813/6250)))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0) (- 1/2 (* (cos (* (* (* 1/180 z0) PI) 2)) 1/2)))
(FPCore (z0 z1) (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3))
(FPCore (z0 z1) (sin (+ (+ z0 z1) z1)))
(FPCore (z0 z1 z2) (+ (* (cos (- (* -3 z1) (+ z2 z2))) z0) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))))))
(FPCore (z0 z1) (* (/ PI z1) z0))
(FPCore (z0 z1) (+ (* z1 50813/25000) (* z0 223577/50000)))
(FPCore (z0) (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))
(FPCore (z0 z1) (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z0))))
(FPCore (z0 z1 z2) (* 3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2))))))
(FPCore (z0 z1 z2) (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* -2 (+ z1 z2)))))
(FPCore (z0 z1) (pow (* (- 1 z1) (- 1 z1)) z0))
(FPCore (z0) (+ 63/10 (* z0 50813/6250)))
(FPCore (z0 z1) (+ (* z1 284553/100000) (* z0 223577/50000)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z2) (- 1 z2)) z1) z0))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0 z1 z2) (* (* 1/2 (/ z2 z1)) z0))
(FPCore (z0) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5)))
(FPCore (z0 z1) (* (* (- (* z1 z1) 1) z0) z0))
(FPCore (z0) (- (* z0 50813/6250) 31/8))
(FPCore (z0) (+ 109/40 (* z0 50813/6250)))
(FPCore (z0 z1) (* (* (* (- (* z1 z1) 1) z0) z0) (- (* z1 z1) 1)))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1) (* 3 (cos (+ (+ z0 z0) (+ z1 z1)))))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0))
(FPCore (z0 z1) (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))
(FPCore (z0 z1) (* (/ z1 (* z0 z0)) z1))
(FPCore (z0 z1) (* (* (pow (cos z1) 3) z0) z0))
(FPCore (z0) (* 3 (* z0 z0)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z2 1) (- z2 1)) (/ 1 (* 2 z1)))))
(FPCore (z0 z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))))
(FPCore (z0 z1) (+ 1 (* (/ z0 z1) (/ z0 z1))))
(FPCore (z0 z1 z2) (/ (- z0 z1) (* z2 z2)))
(FPCore (z0) (sin (* 3 z0)))
(FPCore (z0) (pow (- (* z0 50813/6250) 31/8) 2))
(FPCore (z0 z1) (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2))
(FPCore (z0) (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))
(FPCore (z0 z1) (cos (* (+ z0 z1) -2)))
(FPCore (z0) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))))
(FPCore (z0 z1 z2) (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)))
(FPCore (z0 z1) (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)))
(FPCore (z0) (- (* z0 50813/6250) 243/40))
(FPCore (z0 z1) (* z1 (- 1 (cos (+ z0 z0)))))
(FPCore (z0) (- (+ 4/5 (* z0 50813/6250))))
(FPCore (z0) (pow (+ 197/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1) (sqrt (* (+ z1 z0) (- z0 z1))))
(FPCore (z0 z1) (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))
(FPCore (z0 z1) (* (/ z1 z0) z1))
(FPCore (z0) (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0) (+ 3 (* z0 50813/6250)))
(FPCore (z0) (- 29/5 (* z0 50813/6250)))
(FPCore (z0 z1) (* (+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))) (cos (+ z1 z1))))
(FPCore (z0) (- (sin (* (+ (+ z0 z0) PI) 1/4))))
(FPCore (z0) (+ 26/5 (* z0 50813/6250)))
(FPCore (z0) (* (/ z0 180) PI))
(FPCore (z0) (sqrt (- 1/2 (* (cos (+ z0 z0)) 1/2))))
(FPCore (z0) (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))
(FPCore (z0) (- (cos (+ z0 z0)) -1))
(FPCore (z0) (+ (- 1 (* 11 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))))))
(FPCore (z0) (- (+ 19/10 (* z0 50813/6250))))
(FPCore (z0 z1) (* (* (floor z1) z0) (* (floor z1) z0)))
(FPCore (z0 z1) (cos (* 2 (* 1/2 (- z0 z1)))))
(FPCore (z0) (* z0 361337/100000))
(FPCore (z0 z1 z2) (- (* z2 (* z0 4)) (* z1 z1)))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0) (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1))
(FPCore (z0) (- 47/10 (* z0 50813/6250)))
(FPCore (z0 z1) (* 1/2 (cos (* 2 (* 1/2 (- z0 z1))))))
(FPCore (z0 z1 z2) (- (* z1 z1) (* (* z2 z0) 4)))
(FPCore (z0 z1) (log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1))))
(FPCore (z0) (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))))
(FPCore (z0) (pow (+ 109/40 (* z0 50813/6250)) 2))
(FPCore (z0) (* (* 1/180 PI) z0))
(FPCore (z0 z1) (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))
(FPCore (z0) (- 3/10 (* z0 50813/6250)))
(FPCore (z0) (cbrt (- -1 z0)))
(FPCore (z0 z1) (* (cos (* z0 1/2)) (sin (* z1 1/2))))
(FPCore (z0) (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))))
(FPCore (z0 z1 z2) (sqrt (+ (* (- z0 z2) (- z0 z2)) (* z1 z1))))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0) (* (fabs z0) 3275911/10000000))
(FPCore (z0 z1) (* (sin (* z0 1/2)) (cos (* z1 1/2))))
(FPCore (z0) (log (fabs (tan (* (+ (+ z0 z0) PI) 1/4)))))
(FPCore (z0) (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z0 z0)) 1/2) -1/2) 11) 1)))
(FPCore (z0 z1) (sin (- (* z0 1/2) (* z1 1/2))))
(FPCore (z0 z1 z2) (/ z1 (* z0 z2)))
(FPCore (z0) (sin (- (* -1/4 PI) (* z0 1/2))))
(FPCore (z0) (fabs (tan (* (+ (+ z0 z0) PI) 1/4))))
(FPCore (z0 z1) (sin (+ (* 2 z1) z0)))
(FPCore (z0) (- (+ 26/5 (* z0 50813/6250))))
(FPCore (z0) (- (+ 3 (* z0 50813/6250))))
(FPCore (z0) (* 5/2 (cos (+ z0 z0))))
(FPCore (z0 z1) (* (sin z1) (sin z0)))
(FPCore (z0 z1) (sin (+ (* 2 z1) (* 3 z0))))
(FPCore (z0 z1) (cos (* (/ PI z1) z0)))
(FPCore (z0 z1 z2) (* (/ z2 (* z1 z1)) z0))
(FPCore (z0 z1 z2) (* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1))
(FPCore (z0) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2)))
(FPCore (z0) (pow (- (* z0 50813/6250) 243/40) 2))
(FPCore (z0) (* -1/50000 z0))
(FPCore (z0 z1) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3))
(FPCore (z0 z1) (+ (* (+ (* (- (* (cos (+ z1 z1)) 1/2) -1/2) z0) (cos z1)) 3) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1))))
(FPCore (z0) (- (cbrt z0) (cbrt (- -1 z0))))
(FPCore (z0) (+ (sin (* z0 1/2)) (cos (* -1/2 z0))))
(FPCore (z0) (* (cbrt z0) (- (cbrt z0) (cbrt (- -1 z0)))))
(FPCore (z0 z1 z2) (* (sin (+ (+ z1 z2) z2)) z0))
(FPCore (z0) (* 11/2 (- (cos (+ z0 z0)) -1)))
(FPCore (z0 z1 z2) (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1) (* (* 1/2 z1) (- 1 (cos (+ z0 z0)))))
(FPCore (z0 z1) (- -1 (* (* z1 (- 1 (cos (+ z0 z0)))) 1/2)))
(FPCore (z0 z1 z2) (+ (+ (* 3 (cos (+ (+ z1 z1) (+ z2 z2)))) (* (* 3 z0) (cos (+ (* 2 z2) z1)))) (* z0 (cos (+ (* 2 z2) (* 3 z1))))))
(FPCore (z0) (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)))
(FPCore (z0) (/ -269813/62500 (- (fabs z0) -269813/62500)))
(FPCore (z0 z1) (* (sin (+ z1 z1)) z0))
(FPCore (z0 z1 z2) (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))))
(FPCore (z0 z1 z2) (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3))
(FPCore (z0) (- -3/2 (* 5/2 (cos (+ z0 z0)))))
(FPCore (z0) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))
(FPCore (z0) (- (sqrt (+ z0 1)) (sqrt z0)))
(FPCore (z0) (sin (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0) (- 5/2 (* z0 50813/6250)))
(FPCore (z0 z1 z2) (+ (* (sin (- (+ z2 z2) (* -3 z1))) z0) (* (+ (* (sin (+ (+ z1 z2) z2)) z0) (sin (* (+ z1 z2) 2))) 3)))
(FPCore (z0 z1) (/ (* z0 PI) z1))
(FPCore (z0 z1) (sqrt (+ (* z1 z1) (* z0 z0))))
(FPCore (z0) (- (+ 63/10 (* z0 50813/6250))))
(FPCore (z0) (tan (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0 z1) (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))))
(FPCore (z0) (+ 71/20 (* z0 50813/6250)))
(FPCore (z0 z1) (cos (+ z1 z0)))
(FPCore (z0) (- (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3) 1))
(FPCore (z0) (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) 3))
(FPCore (z0 z1 z2) (- (* z1 z1) (* z2 (* z0 4))))
(FPCore (z0 z1) (* (sin (* 4 z1)) z0))
(FPCore (z0) (cos (- (* -1/4 PI) (* z0 1/2))))
(FPCore (z0) (- (* (cos (* (* PI z0) 1/90)) 1/2) -1/2))
(FPCore (z0 z1) (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0))
(FPCore (z0) (- 1/2 (* (cos (* (* PI z0) 1/90)) 1/2)))
(FPCore (z0 z1) (* (tan z1) z0))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0 z1) (sqrt (fabs (* z1 z0))))
(FPCore (z0) (- 18/5 (* z0 50813/6250)))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0) (pow (- 1 (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 5)) -2))
(FPCore (z0 z1) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1))))
(FPCore (z0) (* 3 (cos z0)))
(FPCore (z0 z1) (+ 1 (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0)))))))
(FPCore (z0) (* (sin (* 1/4 PI)) (cos (* -1/2 z0))))
(FPCore (z0 z1) (* z1 (- 1/2 (* 1/2 (cos (+ z0 z0))))))
(FPCore (z0) (fabs (sin (- (* z0 1/2) (* 1/4 PI)))))
(FPCore (z0 z1) (+ (* 3 (cos z1)) (* (* 3 z0) (pow (cos z1) 2))))
(FPCore (z0) (- 7/5 (* z0 50813/6250)))
(FPCore (z0) (+ (cos (+ z0 z0)) 1))
(FPCore (z0 z1) (* (* 3 z0) (pow (cos z1) 2)))
(FPCore (z0) (- (* z0 50813/6250) 67/40))
(FPCore (z0 z1 z2) (* (* 3 z0) (sin (+ (* 2 z2) z1))))
(FPCore (z0 z1) (* (* z0 z0) (pow (cos z1) 3)))
(FPCore (z0) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))
(FPCore (z0) (pow (- (* z0 50813/6250) 67/40) 2))
(FPCore (z0) (* 3 (- 1 (pow (cos z0) 2))))
(FPCore (z0) (* z0 7259/500))
(FPCore (z0) (sin (* (* 1/90 PI) z0)))
(FPCore (z0 z1) (* (cos z1) (sin z0)))
(FPCore (z0 z1 z2) (* z0 (sin (+ (* 2 z2) (* 3 z1)))))
(FPCore (z0) (- (cos (* -1/2 z0)) (sin (* z0 1/2))))
(FPCore (z0 z1) (sin (* z0 z1)))
(FPCore (z0 z1) (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)))
(FPCore (z0 z1) (/ (- (- (+ z1 z1) z0) (* -3 (* z0 z0))) (- (* z0 z0) -1)))
(FPCore (z0 z1) (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2))
(FPCore (z0) (pow (cos z0) 6))
(FPCore (z0 z1 z2) (- (* z1 z1) (* z2 (* z0 3))))
(FPCore (z0 z1) (* z1 (* z0 3)))
(FPCore (z0) (pow (tan (* (+ (+ z0 z0) PI) 1/4)) 1))
(FPCore (z0) (pow (tan (* (+ (+ z0 z0) PI) 1/4)) -1))
(FPCore (z0 z1 z2) (* z1 (* (* 1/2 z0) z2)))
(FPCore (z0 z1) (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))))
(FPCore (z0 z1 z2) (* (/ z2 (* (- (* z1 z1) 1) z0)) (/ z2 (* (- (* z1 z1) 1) z0))))
(FPCore (z0 z1 z2) (sqrt (- (* z1 z1) (* z2 (* z0 3)))))
(FPCore (z0 z1) (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))
(FPCore (z0 z1) (* (* z1 z1) z0))
(FPCore (z0 z1) (- (* (pow (cos z1) 3) z0) -1))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0 z1) (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)))
(FPCore (z0 z1 z2) (* (* z2 z0) z1))
(FPCore (z0) (+ 21/40 (* z0 50813/6250)))
(FPCore (z0) (/ (+ PI PI) z0))
(FPCore (z0) (* (sqrt (- 1 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))) (cos z0)))
(FPCore (z0 z1 z2) (+ 1 (pow (/ (- z0 z1) z2) 2)))
(FPCore (z0 z1) (* (tan (+ (* 1/2 z1) (/ PI 4))) z0))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1 z2) (pow (/ (- z0 z1) z2) 2))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0 z1) (* (- (* (cos (* (* (* 1/180 z1) PI) 2)) 1/2) -1/2) (* z0 z0)))
(FPCore (z0 z1) (/ (* z1 z1) (* z0 z0)))
(FPCore (z0) (* (+ (cos (+ z0 z0)) 1) 1/2))
(FPCore (z0) (pow (- 1 (* 5 (pow (cos z0) 2))) 2))
(FPCore (z0) (- (* z0 50813/6250) 17/20))
(FPCore (z0 z1) (* 3 (sin (+ (* 2 z1) (* 2 z0)))))
(FPCore (z0 z1) (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0)))
(FPCore (z0) (+ 13/8 (* z0 50813/6250)))
(FPCore (z0 z1) (- -1 (* (* 1/2 z1) (- 1 (cos (+ z0 z0))))))
(FPCore (z0 z1 z2) (tanh (* (* z1 z2) z0)))
(FPCore (z0 z1) (sin (+ (* 2 z1) (* 2 z0))))
(FPCore (z0) (sin (- (* 1/4 PI) (* z0 1/2))))
(FPCore (z0 z1) (- 1/2 (* 1/2 (cos (* 2 (* 1/2 (- z0 z1)))))))
(FPCore (z0 z1 z2) (sqrt (- (* z1 z1) (* z2 (* z0 4)))))
(FPCore (z0) (* (* (* 1/180 PI) z0) 2))
(FPCore (z0 z1) (* (* (pow (- 1 (* z0 z0)) -3) 3) (- 1/2 (* (cos (+ z1 z1)) 1/2))))
(FPCore (z0 z1 z2) (sqrt (+ (* (- z2 z0) (- z2 z0)) (* z1 z1))))
(FPCore (z0) (pow (/ 1 z0) 2))
(FPCore (z0 z1) (* (* z1 z0) z0))
(FPCore (z0) (- (cos (* -1/2 z0)) (sin (* -1/2 z0))))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0 z1 z2) (pow (tanh (* z1 (* z0 z2))) -2))
(FPCore (z0) (- (* z0 50813/6250) 21/4))
(FPCore (z0) (* (* (sqrt 2) 1/2) (+ (sin (* z0 1/2)) (cos (* -1/2 z0)))))
(FPCore (z0) (+ 97/20 (* z0 50813/6250)))
(FPCore (z0 z1 z2) (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))))
(FPCore (z0 z1) (+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))))
(FPCore (z0 z1 z2) (+ (* (sin (* 3 z2)) z1) (* (sin z2) z0)))
(FPCore (z0 z1) (* (* (- 1 (* z1 z1)) z0) z0))
(FPCore (z0) (+ 49/20 (* z0 50813/6250)))
(FPCore (z0 z1) (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1))))
(FPCore (z0) (+ 1/4 (* z0 50813/6250)))
(FPCore (z0 z1 z2) (* (/ z2 (* (* (* (- 1 (* z1 z1)) z0) z0) (- 1 (* z1 z1)))) z2))
(FPCore (z0 z1) (cos (- (- (* -3 z0) z1) z1)))
(FPCore (z0) (+ 63/100 (* z0 50813/62500)))
(FPCore (z0 z1) (log (sqrt (+ (* z1 z1) (* z0 z0)))))
(FPCore (z0) (sin (* (+ (+ z0 z0) PI) 1/4)))
(FPCore (z0) (* (cos (* (* (* 1/180 PI) z0) 2)) 1/2))
(FPCore (z0 z1) (sqrt (* (- z0 z1) (+ z1 z0))))
(FPCore (z0 z1) (* (- 1 (+ 1/2 (* 1/2 (cos (+ z1 z1))))) (* 3 (pow (- 1 (* z0 z0)) -3))))
(FPCore (z0 z1) (/ (sin (* (* 1/90 PI) z0)) z1))
(FPCore (z0 z1) (* (- 1 (* z1 z1)) z0))
(FPCore (z0 z1) (* (sin z1) (cos z0)))
(FPCore (z0 z1) (sin (- PI (* z1 z0))))
(FPCore (z0 z1) (* (sin (* 3 z1)) z0))
(FPCore (z0 z1) (+ (- (cbrt (+ (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))) (cbrt (- (* (sqrt (fabs (- z1 z0))) (sqrt (fabs (+ z1 z0)))) z0))))
(FPCore (z0 z1 z2) (* (+ (+ (* (* (pow (cos z1) 3) z0) z0) z0) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1)))) (* (- 1 (+ 1/2 (* 1/2 (cos (+ z2 z2))))) (* 3 (pow (- 1 (* z0 z0)) -3)))))
(FPCore (z0) (cos (* (* (* 1/180 PI) z0) 2)))
(FPCore (z0) (log (- z0 -1)))
(FPCore (z0) (+ 31/10 (* z0 50813/6250)))
(FPCore (z0 z1 z2) (- (* z0 (sin (+ (* 2 z2) (* 3 z1))))))
(FPCore (z0) (* (cos (* -1/4 PI)) (sin (* z0 1/2))))
(FPCore (z0) (- (* 3 (pow (cos z0) 2)) 1))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0 z1 z2) (* (log (sqrt (+ (* z1 z1) (* z0 z0)))) z2))
(FPCore (z0 z1) (- (exp (* z0 z1)) 1))
(FPCore (z0) (pow (+ 241/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1) (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))))
(FPCore (z0 z1 z2) (- (* (* 3 z0) (sin (+ (* 2 z2) z1)))))
(FPCore (z0) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))))
(FPCore (z0) (* 5 (- (* (cos (+ z0 z0)) 1/2) -1/2)))
(FPCore (z0 z1 z2) (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))))
(FPCore (z0 z1 z2) (- (* (cos (- (- (* -3 z1) z2) z2)) z0) (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2))))))
(FPCore (z0 z1 z2) (/ (* z1 z0) z2))
(FPCore (z0 z1) (* z0 (* (- (* z1 z1) 1) (- (* z1 z1) 1))))
(FPCore (z0) (+ 11/4 (* z0 50813/6250)))
(FPCore (z0 z1 z2) (* (* z1 z1) (* (* 1/2 z0) z2)))
(FPCore (z0) (* 3 (pow (cos z0) 2)))
(FPCore (z0 z1) (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2))
(FPCore (z0) (- (cos (+ z0 z0)) 1))
(FPCore (z0) (- -1 (* (fabs z0) 3275911/10000000)))
(FPCore (z0 z1 z2) (* (sin (- PI (* z1 z0))) z2))
(FPCore (z0) (+ 241/40 (* z0 50813/6250)))
(FPCore (z0) (pow (+ 13/8 (* z0 50813/6250)) 2))
(FPCore (z0 z1 z2) (* 6 (+ (- z2 z0) (* z1 (sin z2)))))
(FPCore (z0) (sin (* (/ z0 180) PI)))
(FPCore (z0) (+ 27/20 (* z0 50813/6250)))
(FPCore (z0) (- (* z0 50813/6250) 127/20))
(FPCore (z0 z1) (cbrt (* (+ (sqrt (* (+ z1 z0) (- z0 z1))) z0) -1/2)))
(FPCore (z0 z1 z2) (* (cos (- (- (* -3 z1) z2) z2)) z0))
(FPCore (z0) (fabs (sin (- (* -1/4 PI) (* z0 1/2)))))
(FPCore (z0 z1 z2) (* -3 (+ (* (cos (+ z1 (+ z2 z2))) z0) (cos (* (+ z1 z2) -2)))))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0) (cos (* (+ (+ z0 z0) PI) 1/4)))
(FPCore (z0 z1 z2) (/ z0 (* (tan z2) z1)))
(FPCore (z0) (sin (* z0 30)))
(FPCore (z0) (* 200 (pow (cos z0) 4)))
(FPCore (z0 z1) (/ 1 (sqrt (fabs (- z1 z0)))))
(FPCore (z0 z1 z2) (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))))
(FPCore (z0 z1) (* z0 (/ (+ PI PI) z1)))
(FPCore (z0) (* z0 31831/400000))
(FPCore (z0 z1) (- (* 3 (sin (+ (* 2 z1) (* 2 z0))))))
(FPCore (z0) (sin (fabs (remainder z0 (+ PI PI)))))
(FPCore (z0 z1 z2) (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0)))
(FPCore (z0) (* (- z0 -15234687407/1000000000) z0))
(FPCore (z0 z1 z2) (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0)))
(FPCore (z0 z1 z2) (- (* (/ (- z0 z1) (* z2 z2)) (- z0 z1)) -1))
(FPCore (z0 z1) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))
(FPCore (z0) (- (* z0 50813/6250) 57/10))
(FPCore (z0) (+ 93/20 (* z0 50813/6250)))
(FPCore (z0) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))
(FPCore (z0 z1 z2) (* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1)))
(FPCore (z0) (sin (* z0 PI)))
(FPCore (z0 z1) (pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0))
(FPCore (z0) (+ 23/40 (* z0 50813/62500)))
(FPCore (z0 z1) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1/3)))
(FPCore (z0 z1 z2) (* (sin (+ z1 (+ z2 z2))) (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 1))))
(FPCore (z0) (/ 1/3 z0))
(FPCore (z0) (remainder z0 (+ PI PI)))
(FPCore (z0) (* z0 27439/12500))
(FPCore (z0 z1) (/ (* PI z0) z1))
(FPCore (z0) (fabs (remainder z0 (+ PI PI))))
(FPCore (z0 z1) (- (sqrt (* (- z0 z1) (+ z1 z0))) z0))
(FPCore (z0 z1 z2) (* (* (/ z2 z1) z2) z0))
(FPCore (z0 z1) (cos (/ (* z0 PI) z1)))
(FPCore (z0 z1 z2) (- -1 (* (/ (- z0 z1) (* z2 z2)) (- z0 z1))))
(FPCore (z0) (pow (+ 21/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1 z2) (* (sin z1) (* (* (- (pow (* (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) (sqrt (- 1 (* z0 z0)))) 2) (- (/ (- (* (cos z1) z0) -1) (- (* z0 z0) 1)) 1)) 2) (- (* (+ 1/2 (* 1/2 (cos (+ z2 z2)))) 3) 1))))
(FPCore (z0 z1) (+ (* (sin z0) (sin z1)) (* (cos z1) (cos z0))))
(FPCore (z0 z1 z2) (/ (* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2))) (* (- (* z0 z0) 1) (tan z1))))
(FPCore (z0 z1) (cos (* z0 (/ (+ PI PI) z1))))
(FPCore (z0) (- (* (* (sqrt 2) 1/2) (cos (* -1/2 z0))) (* (sin (* z0 1/2)) (* (sqrt 2) 1/2))))
(FPCore (z0) (sin (* (* PI z0) 1/90)))
(FPCore (z0) (* z0 50813/50000))
(FPCore (z0) (* 80 (pow (cos z0) 2)))
(FPCore (z0 z1 z2) (+ (cbrt (/ (- (sqrt (* (- z1 z2) (+ z2 z1))) z1) (+ z0 z0))) (/ (cbrt (* (+ (sqrt (* (+ z2 z1) (- z1 z2))) z1) -1/2)) (cbrt z0))))
(FPCore (z0 z1 z2) (* (* (- (/ (* -40 (pow (cos z1) 4)) (- 1 (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 5))) (- (* (- (* (cos (+ z1 z1)) 1/2) -1/2) 11) 1)) (- 1 (* z0 z0))) (cos (+ z2 z2))))
(FPCore (z0) (+ 19/100 (* z0 50813/62500)))
(FPCore (z0 z1) (* (- (* z0 z0) 1) z1))
(FPCore (z0 z1 z2) (/ (* z2 z2) (* (* z0 (- (* z1 z1) 1)) (* z0 (- (* z1 z1) 1)))))
(FPCore (z0 z1 z2) (/ (/ z1 z0) z2))
(FPCore (z0 z1) (* (* (* z1 z1) z0) z0))
(FPCore (z0 z1 z2) (* (* (* z0 z0) (* (cos z1) (+ (+ 11 (/ (* 80 (pow (cos z1) 2)) (- 1 (* 5 (pow (cos z1) 2))))) (/ (* 200 (pow (cos z1) 4)) (pow (- 1 (* 5 (pow (cos z1) 2))) 2))))) (sin (* 2 z2))))
(FPCore (z0) (- 1 (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))))
(FPCore (z0) (* (cos z0) (+ (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))) (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2)))))
(FPCore (z0) (- (* z0 50813/6250) 61/20))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (* 1/90 PI) z1)) 1/2)) (* z0 z0)))
(FPCore (z0) (+ 11 (/ (* 80 (pow (cos z0) 2)) (- 1 (* 5 (pow (cos z0) 2))))))
(FPCore (z0) (/ (* 200 (pow (cos z0) 4)) (pow (- 1 (* 5 (pow (cos z0) 2))) 2)))
(FPCore (z0) (- (* 11/2 (- (cos (+ z0 z0)) -1)) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0)))))))
(FPCore (z0 z1) (- 1/2 (* (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))) 1/2)))
(FPCore (z0) (remainder z0 (* 2 PI)))
(FPCore (z0) (/ (- (sin (* (+ (+ z0 z0) PI) 1/4))) (sin (- (* z0 1/2) (* 1/4 PI)))))
(FPCore (z0 z1) (+ (+ (* (* (pow (cos z1) 3) z0) z0) (* (sqrt (- 1 (* z0 z0))) z0)) (+ (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z0) (cos z1))) (/ z0 (- (sqrt (- 1 (* z0 z0))) -1)))))
(FPCore (z0) (* (sqrt 2) z0))
(FPCore (z0) (* (* (sqrt 2) 1/2) (sin (* z0 1/2))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (* 1/90 PI) z0)) 1/2)) (* z1 z1)))
(FPCore (z0) (cos (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0 z1) (* (- 1 (* z0 z0)) (tan z1)))