(FPCore (z0) (tan (- (* 5/4 PI) (* -1/2 z0))))
(FPCore (z0) (log (tan (- (* 5/4 PI) (* -1/2 z0)))))
(FPCore (z0) (sin (- (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0 z1) (* z0 (log (tan (- (* 5/4 PI) (* -1/2 z1))))))
(FPCore (z1 z0 z2) (* (* z1 z0) z2))
(FPCore (z0) (cos (* (+ (* -2 z0) PI) -1/4)))
(FPCore (z0) (tan (- (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0) (- (cos (* 1/2 z0)) (sin (* -1/2 z0))))
(FPCore (z0) (* (cos (* 1/2 z0)) (* (sqrt 2) 1/2)))
(FPCore (z0) (* (sin (* 1/2 z0)) (* (sqrt 2) 1/2)))
(FPCore (z0 z1) (/ (- 1 (* (* (* z0 z0) z1) z1)) (+ 1 (* z1 z0))))
(FPCore (z0 z1) (* z0 (log (* (/ 1 (cos (* (+ (* -2 z1) PI) -1/4))) (sin (- (* -1/2 z1) (* -1/4 PI)))))))
(FPCore (z0) (log (* (/ 1 (cos (* (+ (* -2 z0) PI) -1/4))) (sin (- (* 1/4 PI) (* 1/2 z0))))))
(FPCore (z0) (* (/ 1 (cos (* (+ (* -2 z0) PI) -1/4))) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z1 z0) (cos (* z1 z0)))
(FPCore (z0) (log (fabs (tan (* (+ (* -2 z0) PI) -1/4)))))
(FPCore (z0 z1) (* z0 (log (fabs (tan (* (+ (* -2 z1) PI) -1/4))))))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0) (* (* (sqrt 2) 1/2) (- (cos (* 1/2 z0)) (sin (* -1/2 z0)))))
(FPCore (z0 z1) (* (* (* z0 z0) z1) z1))
(FPCore (z0) (fabs (tan (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z1 z0) (sin (* z1 z0)))
(FPCore (z0) (* (* (sqrt 2) 1/2) (+ 1 (* 1/2 z0))))
(FPCore (z0) (/ (* (* (sqrt 2) 1/2) (+ 1 (* 1/2 z0))) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0) (tan (* (+ (* -2 z0) PI) -1/4)))
(FPCore (z0) (log (/ (* (* (sqrt 2) 1/2) (+ 1 (* 1/2 z0))) (sin (- (* 1/4 PI) (* 1/2 z0))))))
(FPCore (z0 z1) (* z0 (log (/ (* (* (sqrt 2) 1/2) (+ 1 (* 1/2 z1))) (sin (- (* -1/2 z1) (* -1/4 PI)))))))
(FPCore (z0) (- (cos (* 1/2 z0)) (sin (* 1/2 z0))))
(FPCore (z0 z1) (* (- (* -1/3 (* (* z0 z0) z1)) z1) z0))
(FPCore (z1 z0 z2) (* (sin (* z1 z0)) z2))
(FPCore (z0 z1) (- 1 (* (* (* z0 z0) z1) z1)))
(FPCore (z0) (/ (* (sin (* 1/2 z0)) (* (sqrt 2) 1/2)) (cos (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z0 z1) (sqrt (/ (+ z0 z1) z1)))
(FPCore (z0 z1) (+ (* (* (* z0 z0) z1) 1/2) z1))
(FPCore (z0 z1) (* (cos z0) (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)))))
(FPCore (z0) (cos (- (* 5/4 PI) (* -1/2 z0))))
(FPCore (z0) (/ (- (cos (* 1/2 z0)) (sin (* 1/2 z0))) (cos (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) 1/2)))
(FPCore (z0) (sin (- (* -1/4 PI) (* 1/2 z0))))
(FPCore (z0) (fabs (tan (- (* 5/4 PI) (* -1/2 z0)))))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0) (* (* z0 z0) (* z0 z0)))
(FPCore (z0) (- 1 (/ (* (sin (* 1/2 z0)) (* (sqrt 2) 1/2)) (cos (* (+ (* -2 z0) PI) -1/4)))))
(FPCore (z0) (* (- (* -2/5 (* z0 z0)) 2/3) z0))
(FPCore (z0) (log (fabs (sin (- (* -1/4 PI) (* 1/2 z0))))))
(FPCore (z0 z1) (* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2))))
(FPCore (z0) (log (- 1 (/ (* (sin (* 1/2 z0)) (* (sqrt 2) 1/2)) (cos (* (+ (* -2 z0) PI) -1/4))))))
(FPCore (z0) (fabs (sin (* (+ (* -2 z0) PI) 1/4))))
(FPCore (z0 z1) (+ 1 (* -1/2 (* (* (* z0 z0) z1) z1))))
(FPCore (z0) (fabs (/ -1 (sin (- (* 1/4 PI) (* 1/2 z0))))))
(FPCore (z0 z1 z2) (/ z0 (+ (* (pow (cos z1) 4) z2) z0)))
(FPCore (z0) (log (fabs (cos (* (+ (* -2 z0) PI) -1/4)))))
(FPCore (z0) (fabs (sin (- (* -1/4 PI) (* 1/2 z0)))))
(FPCore (z0) (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)))
(FPCore (z0) (/ -1 (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0) (log (fabs (sin (* (+ (* -2 z0) PI) 1/4)))))
(FPCore (z0) (log (tan (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0 z1) (* (pow (cos z0) 4) z1))
(FPCore (z0) (- (* -2/5 (* z0 z0)) 2/3))
(FPCore (z0 z1 z2) (* z0 (sqrt (+ 1 (/ z1 z2)))))
(FPCore (z0 z1) (* (* (- (* (* (- (* -2/5 (* z0 z0)) 2/3) z0) z0) 2) z0) z1))
(FPCore (z0) (log (fabs (/ -1 (sin (- (* 1/4 PI) (* 1/2 z0)))))))
(FPCore (z0 z1) (- 1 (* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2)))))
(FPCore (z0) (fabs (cos (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z0 z2 z1) (* z0 (sin (- (+ PI (* z2 z1))))))
(FPCore (z0 z1) (sqrt (- 1 (* z0 (- 1/2 (* (cos (+ z1 z1)) 1/2))))))
(FPCore (z0) (* -2/5 (* z0 z0)))
(FPCore (z1 z0 z2) (/ (* z1 z0) z2))
(FPCore (z0) (* (* (- (* -2/5 (* z0 z0)) 2/3) z0) z0))
(FPCore (z0 z1) (* (* (* (- (* (* (- (* -2/5 (* z0 z0)) 2/3) z0) z0) 2) z0) z1) 1/2))
(FPCore (z0 z1) (* z0 (log (- 1 (/ (* (sin (* 1/2 z1)) (* (sqrt 2) 1/2)) (cos (* (+ (* -2 z1) PI) -1/4)))))))
(FPCore (z0) (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (sqrt 2) 1/2)))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1) (* (* (* z0 z0) z1) 1/2))
(FPCore (z0 z1) (* -1/3 (* (* z0 z0) z1)))
(FPCore (z0 z1 z2) (/ (* z0 (pow (cos z1) 4)) z2))
(FPCore (z0) (log (- (cos (* 1/2 z0)) (sin (* -1/2 z0)))))
(FPCore (z0 z2 z1) (atan2 (* z0 (sin (- (+ PI (* z2 z1))))) (cos (* z2 z1))))
(FPCore (z0 z1) (* z0 (log (/ 1 (/ (cos (- (* 5/4 PI) (* -1/2 z1))) (sin (* z1 (- (* -1/4 (/ PI z1)) 1/2))))))))
(FPCore (z0 z1 z2) (sqrt (/ 1 (/ z0 (+ (* (pow (cos z1) 4) z2) z0)))))
(FPCore (z0) (/ 1 (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (sqrt 2) 1/2))))
(FPCore (z0 z1) (sqrt (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))))
(FPCore (z1 z2 z0) (+ (* (pow (cos z1) 4) z2) z0))
(FPCore (z1 z0 z2) (atan2 (* (* z1 z0) z2) 1))
(FPCore (z0 z1 z2) (* (atan2 (* (- z0) z1) 1) (- z2)))
(FPCore (z0 z1 z2) (sqrt (/ (+ (* (- 1 (* (+ z0 z0) z0)) z1) z2) z2)))
(FPCore (z0) (sin (* z0 (- (* -1/4 (/ PI z0)) 1/2))))
(FPCore (z0) (* (* (sqrt 2) 1/2) (+ 1 (* -1/2 z0))))
(FPCore (z0) (log (/ 1 (/ (cos (- (* 5/4 PI) (* -1/2 z0))) (sin (* z0 (- (* -1/4 (/ PI z0)) 1/2)))))))
(FPCore (z0 z1 z2) (sqrt (fabs (/ z0 (+ (* (pow (cos z1) 4) z2) z0)))))
(FPCore (z0) (/ 1 (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (* (sqrt 2) 1/2) (+ 1 (* -1/2 z0))))))
(FPCore (z0) (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (* (sqrt 2) 1/2) (+ 1 (* -1/2 z0)))))
(FPCore (z0) (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (sin (* 1/2 z0)) (* (sqrt 2) 1/2))))
(FPCore (z0) (/ (* (cos (* 1/2 z0)) (* (sqrt 2) 1/2)) (cos (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z0) (- (* -1/4 (/ PI z0)) 1/2))
(FPCore (z0 z1 z2) (/ 1 (/ z0 (+ (* (pow (cos z1) 4) z2) z0))))
(FPCore (z0 z1) (* z0 (* z1 z1)))
(FPCore (z0 z1 z2) (sqrt (+ 1 (/ (* z0 (pow (cos z1) 4)) z2))))
(FPCore (z0) (/ 1 (cos (* (+ (* -2 z0) PI) -1/4))))
(FPCore (z0) (log (/ 1 (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (sqrt 2) 1/2)))))
(FPCore (z0) (/ (cos (* (+ (* -2 z0) PI) -1/4)) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0 z1) (- (* -1/3 (* (* z0 z0) z1)) z1))
(FPCore (z0 z1 z2) (* (sqrt (fabs (/ z0 (+ (* (pow (cos z1) 4) z2) z0)))) (* (cos z1) (sqrt (- 1 (* (- 1/2 (* (cos (+ z1 z1)) 1/2)) z2))))))
(FPCore (z0 z1) (- 1 (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1)))
(FPCore (z0) (/ (- (cos (* 1/2 z0)) (sin (* -1/2 z0))) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0) (/ 1 (/ (cos (- (* 5/4 PI) (* -1/2 z0))) (sin (* z0 (- (* -1/4 (/ PI z0)) 1/2))))))
(FPCore (z0) (/ (* (sin (* -1/2 z0)) (* (sqrt 2) 1/2)) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0 z1 z2) (+ (* (pow (cos z0) 4) z1) z2))
(FPCore (z0 z1 z2) (fabs (/ z0 (+ (* (pow (cos z1) 4) z2) z0))))
(FPCore (z0 z1) (* (* 1/3 (* (* z0 z0) z1)) z0))
(FPCore (z0 z1) (* (log (tan (- (* 5/4 PI) (* -1/2 z0)))) z1))
(FPCore (z0 z1) (* (- (log (fabs (cos (* (+ (* -2 z0) PI) -1/4))))) z1))
(FPCore (z0) (* (* (* (- (* -2/5 (* z0 z0)) 2/3) z0) z0) z0))
(FPCore (z0) (/ (cos (- (* 5/4 PI) (* -1/2 z0))) (sin (* z0 (- (* -1/4 (/ PI z0)) 1/2)))))
(FPCore (z0 z1 z2) (+ 1 (/ (* z0 (pow (cos z1) 4)) z2)))
(FPCore (z0 z1) (* z0 (log (- (cos (* 1/2 z1)) (sin (* -1/2 z1))))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))
(FPCore (z0) (* (/ -1 (cos (- (* 5/4 PI) (* -1/2 z0)))) (sin (* (- (* -2 z0) PI) -1/4))))
(FPCore (z0 z1) (* (* (* (* z0 z0) z1) z1) z1))
(FPCore (z0 z1) (* z0 (log (/ 1 (/ (cos (* (+ (* -2 z1) PI) -1/4)) (* (sqrt 2) 1/2))))))
(FPCore (z0 z1) (* 1/3 (* (* z0 z0) z1)))
(FPCore (z0 z1) (* -1/2 (* (* (* z0 z0) z1) z1)))
(FPCore (z0) (sin (* (+ (* -2 z0) PI) -1/4)))
(FPCore (z0 z1) (* (* (* (* (* z0 z0) z1) z1) z1) (* (* z0 z0) z1)))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1) (* z0 (log (* (/ -1 (cos (- (* 5/4 PI) (* -1/2 z1)))) (sin (* (- (* -2 z1) PI) -1/4))))))
(FPCore (z0 z1) (* z0 (log (/ 1 (/ (cos (* (+ (* -2 z1) PI) -1/4)) (* (* (sqrt 2) 1/2) (+ 1 (* -1/2 z1))))))))
(FPCore (z0) (* -1/4 (/ PI z0)))
(FPCore (z0) (log (* (/ -1 (cos (- (* 5/4 PI) (* -1/2 z0)))) (sin (* (- (* -2 z0) PI) -1/4)))))
(FPCore (z0) (sin (* (- (* -2 z0) PI) -1/4)))
(FPCore (z0) (/ (* (sqrt 2) 1/2) (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0 z1 z2) (/ (+ (* (- 1 (* (+ z0 z0) z0)) z1) z2) z2))
(FPCore (z0) (log (/ 1 (/ (cos (* (+ (* -2 z0) PI) -1/4)) (* (* (sqrt 2) 1/2) (+ 1 (* -1/2 z0)))))))
(FPCore (z0 z1) (+ (* (- (log (fabs (cos (* (+ (* -2 z0) PI) -1/4))))) z1) (* (log (fabs (sin (* (+ (* -2 z0) PI) 1/4)))) z1)))
(FPCore (z0 z1 z2) (+ (* (- 1 (* (+ z0 z0) z0)) z1) z2))
(FPCore (z0 z1 z2) (* (sqrt (/ (+ z0 z1) z1)) z2))
(FPCore (z0 z1) (* z0 (pow (cos z1) 4)))
(FPCore (z0) (- (log (fabs (cos (* (+ (* -2 z0) PI) -1/4))))))
(FPCore (z0) (sin (* (+ (* -2 z0) PI) 1/4)))
(FPCore (z0) (* (cos z0) (cos z0)))
(FPCore (z0) (/ -1 (cos (- (* 5/4 PI) (* -1/2 z0)))))
(FPCore (z0 z1) (* (+ 1 (* z0 (- (* z0 (+ 1/2 (* -1/2 z0))) 1))) z1))
(FPCore (z0 z1) (* (log (fabs (sin (* (+ (* -2 z0) PI) 1/4)))) z1))
(FPCore (z0 z1) (* (- 1 (* (+ z0 z0) z0)) z1))
(FPCore (z0) (/ (* (cos (* 1/2 z0)) (* (sqrt 2) 1/2)) (sin (- (* 1/4 PI) (* 1/2 z0)))))