(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0) (log (tan (- (* 1/2 z0) (* -1/4 PI)))))
(FPCore (z0) (tan (- (* 1/2 z0) (* -1/4 PI))))
(FPCore (z1 z0 z2) (* (* (+ z1 z1) z0) z2))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1 z2) (* z0 (* (cos z1) (cos z2))))
(FPCore (z1 z0 z2) (- 0 (* (* (+ z1 z1) z0) z2)))
(FPCore (z0 z1) (* 2 (* z0 (sin z1))))
(FPCore (z0) (sin (- (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0 z1) (* z0 (log (tan (- (* z1 1/2) (* -1/4 PI))))))
(FPCore (z0) (sin (- (* 1/2 z0) (* -1/4 PI))))
(FPCore (z0 z1) (* (- (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2))) (* (* z1 z1) 1/6)))
(FPCore (z0 z1) (* (- (* (- (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2))) (* (* z1 z1) 1/6)) (* -2 (sin z0))) z1))
(FPCore (z0 z1) (* 2 (- (atan (exp (/ z0 z1))) (* 1/4 PI))))
(FPCore (z0) (* (* z0 z0) 1/6))
(FPCore (z0) (- (* (atan (exp z0)) 2) (* 1/2 PI)))
(FPCore (z0) (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))))
(FPCore (z0 z1) (+ 1 (* z0 (/ (+ 1 (* 1/2 (/ z0 z1))) z1))))
(FPCore (z0) (fabs (sin (- (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0 z1 z2) (* (+ (/ z0 z1) (sin z2)) z1))
(FPCore (z0 z1) (- (atan (exp (/ z0 z1))) (* 1/4 PI)))
(FPCore (z0 z1 z2) (- (log (tan (- (* 1/2 z0) (* -1/4 PI)))) (* (* (+ z1 z1) z0) z2)))
(FPCore (z0 z1 z2) (* (* z0 z1) (* 2 (sin z2))))
(FPCore (z0) (* -6 (sin z0)))
(FPCore (z0) (/ (fabs (sin (- (* 1/4 PI) (* 1/2 z0)))) (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))))
(FPCore (z0) (* (* 2 (sin z0)) -6))
(FPCore (z0) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2)))
(FPCore (z0 z1) (* (- (cos z0)) z1))
(FPCore (z0 z1) (/ 1 (/ (- (atan (exp (/ z0 z1))) (* -1/4 PI)) (* (- (pow (atan (exp (/ z0 z1))) 2) (* (* PI PI) 1/16)) 2))))
(FPCore (z0 z1 z2) (* (* (cos z0) z1) (cos z2)))
(FPCore (z0) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)))
(FPCore (z0) (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))))
(FPCore (z0 z1 z2) (asin (* z0 (* (cos z1) (cos z2)))))
(FPCore (z0) (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))))
(FPCore (z0 z1) (- (atan (+ 1 (* z0 (/ (+ 1 (* 1/2 (/ z0 z1))) z1)))) (* 1/4 PI)))
(FPCore (z0) (log (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0) (pow (* 2 (sin z0)) 3))
(FPCore (z0 z1) (- (pow (atan (exp (/ z0 z1))) 2) (* (* PI PI) 1/16)))
(FPCore (z0) (* (pow (* 2 (sin z0)) 3) 2))
(FPCore (z0) (- (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2))))
(FPCore (z0) (log (/ (fabs (sin (- (* 1/4 PI) (* 1/2 z0)))) (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))))))
(FPCore (z0 z1 z2) (asin (* (+ (/ z0 z1) (sin z2)) z1)))
(FPCore (z0 z1 z2) (asin (- (* z0 (sin z1)) (* z2 (cos z1)))))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) 1/2)))
(FPCore (z0) (log (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))))
(FPCore (z0 z1 z2) (asin (+ (* z0 (sin z1)) (* z2 (cos z1)))))
(FPCore (z0 z1 z2) (+ (* z0 (sin z1)) (* z2 (cos z1))))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1) (* (- (atan (+ 1 (* z0 (/ (+ 1 (* 1/2 (/ z0 z1))) z1)))) (* 1/4 PI)) 2))
(FPCore (z0 z1 z2) (- (* z0 (sin z1)) (* z2 (cos z1))))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) 1/2))
(FPCore (z0 z1) (/ 1 (pow (atan (exp (/ z0 z1))) -4)))
(FPCore (z0 z1) (* (- (pow (atan (exp (/ z0 z1))) 2) (* (* PI PI) 1/16)) 2))
(FPCore (z0 z1) (asin (* z0 (cos z1))))
(FPCore (z0 z1) (/ 1/2 (- (pow (atan (exp (/ z0 z1))) 2) (* (* PI PI) 1/16))))
(FPCore (z0 z1) (+ 1 (* (* (/ z0 (* z1 z1)) 1/2) z0)))
(FPCore (z0) (pow (log (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))) 3))
(FPCore (z0 z1 z2) (- (* (* z0 z1) (- 1 (* (+ z2 z2) z2))) -1))
(FPCore (z0 z1) (+ (* (atan (+ 1 (/ z0 z1))) 2) (* -1/2 PI)))
(FPCore (z0 z1) (/ (/ (- (/ 1 (pow (atan (exp (/ z0 z1))) -4)) (* (* (* PI PI) (* PI PI)) 1/256)) (- (pow (atan (exp (/ z0 z1))) 2) (* -1/16 (* PI PI)))) (- (atan (exp (/ z0 z1))) (* -1/4 PI))))
(FPCore (z0) (* (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))) (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))))
(FPCore (z0) (pow (log (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))) 2))
(FPCore (z0) (- (pow (log (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))) 3) (pow (log (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))) 3)))
(FPCore (z0 z1) (* (* (- (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2))) (* (* z1 z1) 1/6)) z1))
(FPCore (z0 z1) (/ (- (/ 1 (pow (atan (exp (/ z0 z1))) -4)) (* (* (* PI PI) (* PI PI)) 1/256)) (- (pow (atan (exp (/ z0 z1))) 2) (* -1/16 (* PI PI)))))
(FPCore (z0) (- (cos (* 1/2 z0)) (sin (* -1/2 z0))))
(FPCore (z0) (* (log (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))) (log (* (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))) (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))))))
(FPCore (z0) (pow (log (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))) 3))
(FPCore (z0 z1) (sqrt (+ 1 (* z0 z1))))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1) (- (/ 1 (pow (atan (exp (/ z0 z1))) -4)) (* (* (* PI PI) (* PI PI)) 1/256)))
(FPCore (z0) (+ 1 (* (* z0 z0) 1/6)))
(FPCore (z0 z1 z2) (sqrt (- (* (* z0 z1) (- 1 (* (+ z2 z2) z2))) -1)))
(FPCore (z0 z1) (* z0 (/ (+ 1 (* 1/2 (/ z0 z1))) z1)))
(FPCore (z0) (log (* (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))) (fabs (sin (- (* 1/4 PI) (* 1/2 z0)))))))
(FPCore (z0 z1) (* (* 2 (sin z0)) z1))
(FPCore (z0) (+ (* (log (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))) (log (* (fabs (sin (- (* 1/2 z0) (* -1/4 PI)))) (fabs (sin (- (* 1/4 PI) (* 1/2 z0))))))) (pow (log (fabs (sin (- (* 1/2 z0) (* -1/4 PI))))) 2)))
(FPCore (z0 z1) (* (* (/ z0 (* z1 z1)) 1/2) z0))
(FPCore (z0 z1) (- (* (- (* (* 4 (- 1/2 (* (cos (+ z0 z0)) 1/2))) (* -6 (sin z0))) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) (* (* 2 (sin z0)) -6)) (* (pow (* 2 (sin z0)) 3) 2))) (* (* z1 z1) 1/6)) (* -2 (sin z0))))
(FPCore (z0 z1) (/ (- (atan (exp (/ z0 z1))) (* -1/4 PI)) (* (- (pow (atan (exp (/ z0 z1))) 2) (* (* PI PI) 1/16)) 2)))
(FPCore (z0 z1) (asin (* (- (cos z0)) z1)))
(FPCore (z0 z1) (* 2 (/ (/ (- (/ 1 (pow (atan (exp (/ z0 z1))) -4)) (* (* (* PI PI) (* PI PI)) 1/256)) (- (pow (atan (exp (/ z0 z1))) 2) (* -1/16 (* PI PI)))) (- (atan (exp (/ z0 z1))) (* -1/4 PI)))))
(FPCore (z0 z1 z2) (* (* z0 z1) (- 1 (* (+ z2 z2) z2))))