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