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