(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) 1/2)))
(FPCore (z0) (* (- (cos (+ z0 z0)) -1) 1/2))
(FPCore (z1 z0) (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0)))
(FPCore (z1 z0) (* (* (- (cos (+ z1 z1)) 1) -1/2) z0))
(FPCore (z1 z0) (sqrt (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0))))
(FPCore (z1 z0) (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0))
(FPCore (z0 z1) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1))
(FPCore (z0 z1) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))
(FPCore (z1 z0) (* (cos z1) z0))
(FPCore (z0 z1) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)))
(FPCore (z2 z1 z0) (* (sqrt (+ (* (* 1/2 (- (cos (+ z2 z2)) 1)) z1) 1)) z0))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) 1/2) z1))
(FPCore (z1 z0) (* (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* 4 z0)) -1) (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0)))
(FPCore (z1 z0) (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* 4 z0)) -1))
(FPCore (z0 z1) (* (* -252 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0 z1) (* (* -9 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z1 z0) (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* 4 z0)))
(FPCore (z1 z0) (- 3 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -9 z0))))
(FPCore (z1 z0) (- 90 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -252 z0))))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z1 z0) (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* (- (cos (+ z0 z0)) -1) -1/2)))
(FPCore (z0 z1 z2) (/ (* (cos z0) z1) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))))
(FPCore (z1 z0) (* (sin z1) (cos z0)))
(FPCore (z1 z0) (* (- 1 z1) (* z0 z0)))
(FPCore (z0) (pow (cos z0) 7))
(FPCore (z0 z1) (* (* 46 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0) (- (cos (+ z0 z0)) -1))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0 z1) (* (* 8 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0 z1) (- 1 (* (* (- (cos (+ z0 z0)) -1) -1/2) z1)))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z2 z1 z0) (* (* (cos z2) z1) z0))
(FPCore (z0 z1) (* (* 6 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z1 z0 z2) (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))))
(FPCore (z0) (pow (cos z0) 3))
(FPCore (z0 z1) (log (/ (- -1 (* (sin z0) (cos z1))) (- (* (sin z0) (cos z1)) 1))))
(FPCore (z2 z1 z0) (* (log (/ (- -1 (* (cos z2) (sin z1))) (- (* (cos z2) (sin z1)) 1))) z0))
(FPCore (z0 z2 z1) (/ z0 (* (cos z2) z1)))
(FPCore (z0) (* (pow (cos z0) 7) (sin z0)))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) (cos z2)))
(FPCore (z0 z1) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2))
(FPCore (z1 z0 z2) (/ (* (cos z1) z0) (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0 z1) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2))
(FPCore (z1 z0 z2) (* (* (cos z1) z0) z2))
(FPCore (z0 z1) (- 1 (* (sin z0) (cos z1))))
(FPCore (z0) (* (* (* (* (* z0 z0) z0) z0) (* (* (* z0 z0) z0) z0)) 1/464486400))
(FPCore (z1 z0) (pow (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0)) 3/2))
(FPCore (z1 z0 z2) (* (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))) 1/6))
(FPCore (z1 z0) (log (/ (- (* (sin z1) (cos z0)) -1) (- 1 (* (sin z1) (cos z0))))))
(FPCore (z0 z1 z2) (* (* z0 z0) (/ (- (* -1/2 (cos (+ z1 z1))) 1/2) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1))))
(FPCore (z1 z0) (* (- (* 1/2 (cos (+ z1 z1))) -1/2) (* z0 z0)))
(FPCore (z1 z0) (- (* (sin z1) (cos z0)) -1))
(FPCore (z1 z0) (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -4 z0)))
(FPCore (z1 z0) (* (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -4 z0)) -9) (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0)))
(FPCore (z0) (- (cos z0) (* (pow (cos z0) 3) 2)))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) -1))
(FPCore (z1 z0) (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -4 z0)) -9))
(FPCore (z0) (* (pow (cos z0) 3) -2))
(FPCore (z1 z0) (- 1 (* (sin z1) (cos z0))))
(FPCore (z1 z0 z2) (* (* z1 (* z0 z0)) (- (cos z2) (* (pow (cos z2) 3) 2))))
(FPCore (z0 z1) (* (+ z0 z0) (cos z1)))
(FPCore (z1 z0) (/ (- (* (sin z1) (cos z0)) -1) (- 1 (* (sin z1) (cos z0)))))
(FPCore (z1 z0 z2) (* (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))) 1/5040))
(FPCore (z0 z1) (* z0 (/ z0 (* z1 z1))))
(FPCore (z2 z1 z0) (+ (* (cos z2) (+ z1 z1)) (* (* (* z1 (* z0 z0)) (- (cos z2) (* (pow (cos z2) 3) 2))) -1/3)))
(FPCore (z1 z0 z2) (* (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))) 1/120))
(FPCore (z2 z1 z0) (* (log (/ (- (* (sin z2) (cos z1)) -1) (- 1 (* (sin z2) (cos z1))))) z0))
(FPCore (z1 z0) (* (- (cos z1) (* (pow (cos z1) 3) 2)) z0))
(FPCore (z2 z1 z0) (* (+ (* (cos z2) (+ z1 z1)) (* (* (* z1 (* z0 z0)) (- (cos z2) (* (pow (cos z2) 3) 2))) -1/3)) z0))
(FPCore (z0) (/ 4 (- (cos (+ z0 z0)) -1)))
(FPCore (z1 z0 z2) (* (* (* z1 (* z0 z0)) (- (cos z2) (* (pow (cos z2) 3) 2))) -1/3))
(FPCore (z0 z1) (* (* -46 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0 z1) (/ (fabs (sin z0)) (sqrt (- z1))))
(FPCore (z0 z1) (* (* -6 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0 z1) (/ (- 1 (cos (+ z0 z0))) (+ z1 z1)))
(FPCore (z1 z0 z2) (/ (* 1/6 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z0) (- (sin z0) -1))
(FPCore (z1 z0) (* (/ 1/2 z1) (- (cos (+ z0 z0)) 1)))
(FPCore (z1 z0 z2) (/ (* 1/120 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z1 z0) (- (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0) -1))
(FPCore (z0 z1) (log (- 1 (* (sin z0) (cos z1)))))
(FPCore (z1 z0 z2) (/ (* (* 1/2 z1) (* (* (sin z0) z1) (cos z0))) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))))
(FPCore (z0) (- 1 (sin z0)))
(FPCore (z0 z1 z2) (/ (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)) z2))
(FPCore (z0 z1) (/ (- (* (sin z0) (cos z1)) 1) (- -1 (* (sin z0) (cos z1)))))
(FPCore (z0 z1) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0) (pow (cos z0) 6))
(FPCore (z0 z1) (log (- (* (sin z0) (cos z1)) -1)))
(FPCore (z0 z1) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2)))
(FPCore (z0) (* (- (cos (+ z0 z0)) -1) -1/2))
(FPCore (z0) (pow (cos z0) 5))
(FPCore (z0 z1) (* (* (sin (+ z0 z0)) 1/2) (cos z1)))
(FPCore (z0 z2 z1) (* (* (* 1/2 z0) z0) (* (* (sin z2) (pow (cos z2) 7)) (* (* (* z1 z1) z1) z1))))
(FPCore (z1 z0) (log (/ (- 1 (* (sin z1) (cos z0))) (- (* (sin z1) (cos z0)) -1))))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) -1/2) (- -1 (* (* (* (- (cos (+ z0 z0)) -1) -1/2) z1) 4))))
(FPCore (z1 z0) (/ (- 1 (* (sin z1) (cos z0))) (- (* (sin z1) (cos z0)) -1)))
(FPCore (z1 z0) (pow (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0)) 5/2))
(FPCore (z1 z0) (* z1 (* z0 z0)))
(FPCore (z0 z1) (* (* (* (* z0 z0) z0) z0) (- 1 z1)))
(FPCore (z0 z1) (/ (* (* (sin (+ z0 z0)) 1/2) 1/2) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1))))
(FPCore (z0 z1) (/ (* (sin (+ z0 z0)) 1/2) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1))))
(FPCore (z1 z0) (- (* (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -4 z0)) -9) (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0)) -5))
(FPCore (z1 z0) (pow (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0)) 7/2))
(FPCore (z0 z1) (sqrt (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)))))
(FPCore (z0) (sqrt (/ -1 z0)))
(FPCore (z1 z0 z2) (* (* (* (* (* (* z1 z1) z1) z1) (* z0 z0)) (pow (cos z2) 7)) (sin z2)))
(FPCore (z0) (* -4/3 z0))
(FPCore (z0 z1) (* (/ (fabs (sin z0)) (sqrt (- z1))) z1))
(FPCore (z0 z1) (* (* -8 (* (- (cos (+ z0 z0)) -1) 1/2)) z1))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) 1))
(FPCore (z0 z1) (log (/ (- (* (sin z0) (cos z1)) 1) (- -1 (* (sin z0) (cos z1))))))
(FPCore (z0) (- (* (cos (+ z0 z0)) 1/2) 1/2))
(FPCore (z0 z1) (/ -2 (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2)))
(FPCore (z0 z1) (* 4 (- (* z0 z0) (* z1 z1))))
(FPCore (z0 z1) (- 1 (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (- (* -1/2 (cos (+ z1 z1))) 1/2))))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z1 z0 z2) (/ (* z1 (* (* (sin z0) z1) (cos z0))) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))))
(FPCore (z0 z1 z2) (/ (* (* (cos z0) z1) (sin z0)) (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))))
(FPCore (z0 z1) (* (- (* (* (* (- (cos (+ z0 z0)) -1) -1/2) z1) -4) -9) (* (- (cos (+ z0 z0)) -1) 1/2)))
(FPCore (z0) (* (* (- (cos (+ z0 z0)) -1) 1/2) 9))
(FPCore (z1 z0) (* (sqrt (- z1)) z0))
(FPCore (z0 z1) (* (* (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1))) 2) (* (cos z0) (cos z1))))
(FPCore (z1 z0) (* (* (* (* z1 z1) z1) z1) (* z0 z0)))
(FPCore (z0) (* (* z0 z0) 1/3))
(FPCore (z0 z1) (* (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1))) 2))
(FPCore (z1 z0 z2) (/ (* -1/5040 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z0 z1) (* (* (* (sin (+ z0 z0)) 1/2) (cos z1)) (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)))))
(FPCore (z0 z1) (* (* (/ (- -1 (* -1/3 (* z0 z0))) z1) z0) z0))
(FPCore (z0 z1) (/ (- -1 (* -1/3 (* z0 z0))) z1))
(FPCore (z1 z0) (- -1 (* (sin z1) (cos z0))))
(FPCore (z0 z1) (* (sqrt (/ -1 z0)) z1))
(FPCore (z1 z0) (* (/ (fabs (sin z1)) (sqrt (- z0))) z0))
(FPCore (z0 z1) (* (- (cos (+ z0 z0)) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))) 1/2))
(FPCore (z0) (* (tan z0) (/ 2 (cos z0))))
(FPCore (z1 z0) (/ (* (sin z1) (cos z0)) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2))))
(FPCore (z0) (log (- (sin z0) -1)))
(FPCore (z1 z0 z2) (* (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1))) 1/4))
(FPCore (z1 z0) (- -1 (/ (* (* (cos z1) 2) (cos z0)) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2))))
(FPCore (z0 z1) (- (* -4/3 z0) (* -4 z1)))
(FPCore (z0 z1) (- 1 (/ (log (- 1 (* (sin z0) (cos z1)))) (log (- (* (sin z0) (cos z1)) -1)))))
(FPCore (z0 z1) (* (* -8 z0) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z1 z0) (+ (* (* z1 (* z0 z0)) -1/3) z1))
(FPCore (z1 z0) (* (pow (cos z1) 6) (* z0 z0)))
(FPCore (z1 z0) (* (- (cos (+ z1 z1)) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))) -1/2))
(FPCore (z1 z0 z2) (/ (* z1 z0) z2))
(FPCore (z1 z0) (* (/ (sin (+ z1 z1)) 2) (* z0 z0)))
(FPCore (z1 z0 z2) (/ (* (/ (sin (+ z1 z1)) 2) (* z0 z0)) (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0) (* (* 11/500 z0) z0))
(FPCore (z0 z1) (- (* (* (* -3/2 z0) z1) z1) -1))
(FPCore (z1 z0) (- (* (* z1 -3/2) (* z0 z0)) -1))
(FPCore (z1 z0) (* (pow (cos z1) 4) z0))
(FPCore (z1 z0) (* (* (cos z1) (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)))) (sin (+ z0 z0))))
(FPCore (z1 z0) (* (* z1 -3/2) (* z0 z0)))
(FPCore (z1 z0 z2) (* 1/720 (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1)))))
(FPCore (z0) (log (fabs (cos z0))))
(FPCore (z0 z1) (pow (* (cos z0) z1) 3))
(FPCore (z1 z0 z2) (/ (* (* (/ (sin (+ z1 z1)) 2) (* z0 z0)) 1/2) (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0) (- -1 (* -1/3 (* z0 z0))))
(FPCore (z1 z0) (/ -1 (* (sin z1) (cos z0))))
(FPCore (z1 z0) (* (* z1 (* z0 z0)) -1/3))
(FPCore (z1 z0) (* (* (+ (* (* z1 (* z0 z0)) -1/3) z1) z0) z0))
(FPCore (z1 z0) (* (cos z1) (/ (cos z0) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2))))
(FPCore (z0 z1) (/ (log (- 1 (* (sin z0) (cos z1)))) (log (- (* (sin z0) (cos z1)) -1))))
(FPCore (z0 z1) (* z0 (/ z0 z1)))
(FPCore (z0 z1) (* (* (sin z0) z1) (cos z0)))
(FPCore (z1 z0) (* (* 1/2 z1) (* (* (sin z0) z1) (cos z0))))
(FPCore (z1 z0) (* (sin (+ z1 z1)) (cos z0)))
(FPCore (z0 z1) (* (* (* -3/2 z0) z1) z1))
(FPCore (z0) (- 53/1000 (* (* 11/500 z0) z0)))
(FPCore (z1 z0 z2) (* 1/80640 (* (* z1 z1) (/ (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1)))))
(FPCore (z0) (* 16/9 (* z0 z0)))
(FPCore (z1 z2 z0) (* (* (* (* (* z1 z1) z1) z1) z2) (* z0 z0)))
(FPCore (z0) (- (cos (+ z0 z0)) 1))
(FPCore (z0) (/ 2 (cos z0)))
(FPCore (z0 z1) (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)))
(FPCore (z1 z0) (- (* (sin z1) (cos z0)) 1))
(FPCore (z1 z0) (pow (* (cos z1) z0) 7))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z1 z0 z2) (/ (* -1/80640 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z1 z0 z2) (/ (* 1/5040 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z0) (* (* (- (cos (+ z0 z0)) -1) 1/2) 46))
(FPCore (z1 z0) (pow (- (* (* (- (cos (+ z1 z1)) 1) -1/2) z0) 1) 2))
(FPCore (z1 z0) (asinh (/ (* (sin z1) (cos z0)) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2)))))
(FPCore (z0) (* (- (* -1/315 (* z0 z0)) -2/45) (* z0 z0)))
(FPCore (z0 z1) (* (pow (cos z0) 4) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)))
(FPCore (z1 z0) (* (- (* z1 z1) -2) z0))
(FPCore (z0) (* 1/6 (* z0 z0)))
(FPCore (z0 z1) (- (cos (+ z0 z0)) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))))
(FPCore (z0 z1) (- (/ (- (* 4 z0) (/ (- (/ (+ z0 z0) z1) -2) z1)) z1) -4/3))
(FPCore (z0) (* -1/315 (* z0 z0)))
(FPCore (z0) (- 1 (cos (+ z0 z0))))
(FPCore (z0) (* (* (sin (+ z0 z0)) 1/2) (pow (cos z0) 6)))
(FPCore (z0) (* -6 (* (- (cos (+ z0 z0)) -1) 1/2)))
(FPCore (z0 z1 z2) (/ (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)) (* z2 (cos z0))))
(FPCore (z0 z1) (* (* (* (* z0 z0) z0) z0) z1))
(FPCore (z1 z0) (/ -1 (- (/ -1 (* (sin z1) (cos z0))) 1)))
(FPCore (z0 z1) (* -1/6 (* z0 (/ z0 (* z1 z1)))))
(FPCore (z0) (- (log (fabs (cos z0)))))
(FPCore (z0 z1) (* (* (* z0 z0) z0) (- (/ (- (* 4 z1) (/ (- (/ (+ z1 z1) z0) -2) z0)) z0) -4/3)))
(FPCore (z0 z1 z2) (* (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)) z2))
(FPCore (z0 z1) (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (- (* -1/2 (cos (+ z1 z1))) 1/2)))
(FPCore (z0 z1) (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (cos (+ z1 z1))))
(FPCore (z0 z1) (* (* (/ -2 (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2)) (cos z1)) (cos z0)))
(FPCore (z0 z1) (* (- -1 (cos (+ z0 z0))) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z1 z0) (pow (* (cos z1) z0) 3))
(FPCore (z1 z0) (* (* (cos z1) z0) 1/6))
(FPCore (z0) (log (- 1 (sin z0))))
(FPCore (z0 z1) (asinh (/ (* (sin z0) (cos z1)) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)))))
(FPCore (z0) (* (pow (cos z0) 4) -4))
(FPCore (z0 z1) (pow (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1) 3/2))
(FPCore (z0 z1) (pow (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1) -7/2))
(FPCore (z0) (/ (sin z0) (fabs (cos z0))))
(FPCore (z0 z1) (- (- (* z0 z0) -1/2) (* -1/2 (cos (+ z1 z1)))))
(FPCore (z1 z0 z2) (* (* (pow (cos z1) 4) (* z0 z0)) (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)))))
(FPCore (z0 z1) (/ (- -1 (* (sin z0) (cos z1))) (- (* (sin z0) (cos z1)) 1)))
(FPCore (z0 z1) (- -1 (* (sin z0) (cos z1))))
(FPCore (z1 z0) (/ (* (sin (+ z1 z1)) (cos z0)) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)))
(FPCore (z0 z1 z2) (* (* (* 1/2 z0) z0) (* (* (* (* z1 z1) z1) z1) z2)))
(FPCore (z0 z1) (* (- 1 (* (sin z0) (cos z1))) (* (sin z0) (cos z1))))
(FPCore (z1 z0 z2) (/ (* 1/720 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z1 z0) (* (- (/ (- (/ (- (/ (+ z1 z1) z0) -2) z0) (* 4 z1)) z0) 4/3) (* (* z0 z0) z0)))
(FPCore (z0 z1) (* (sqrt (/ -1 z0)) (* z1 z0)))
(FPCore (z0 z1) (/ (+ z0 z0) (cos z1)))
(FPCore (z1 z0) (/ (- (* (- (cos (+ z1 z1)) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))) 1/2) -3/2) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)))
(FPCore (z1 z0) (- (* (- (cos (+ z1 z1)) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))) -1/2) 3/2))
(FPCore (z0 z1) (- (+ (pow (sinh z0) 2) (* 1/2 (cos (+ z1 z1)))) -1/2))
(FPCore (z1 z0) (* (* (/ (sin (+ z1 z1)) 2) (pow (cos z1) 6)) (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (* (* -46 (* (- (cos (+ z0 z0)) -1) 1/2)) z1))
(FPCore (z0) (- (* -1/315 (* z0 z0)) -2/45))
(FPCore (z0 z1) (log (- 1 (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (- (* -1/2 (cos (+ z1 z1))) 1/2)))))
(FPCore (z1 z0) (/ -1 (- -1 (* (sin z1) (cos z0)))))
(FPCore (z0 z1) (- (* 16/9 (* z0 z0)) (* 16 (* z1 z1))))
(FPCore (z1 z0) (- (/ -1 (* (sin z1) (cos z0))) 1))
(FPCore (z0 z1) (* (- (- (cos (+ z0 z0)) 1) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))) 1/2))
(FPCore (z2 z1 z0) (* (* (pow (cos z2) 6) (* z1 z1)) (* z0 z0)))
(FPCore (z0 z1 z2) (* (* z0 (* (* (* z1 z1) z1) z1)) (* (/ (- (sin (+ z2 z2)) 0) 2) (pow (cos z2) 6))))
(FPCore (z1 z0 z2) (/ (* 1/4 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* z0 z0))) (- (* z2 (* (- (cos (+ z1 z1)) 1) -1/2)) 1)))
(FPCore (z1 z0) (* (* (pow (cos z1) 7) (sin z1)) (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (sqrt (- (+ (pow (sinh z0) 2) (* 1/2 (cos (+ z1 z1)))) -1/2)))
(FPCore (z0) (- (* 1/6 (* z0 z0)) -1))
(FPCore (z0 z1) (sqrt (- 1 (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (- (* -1/2 (cos (+ z1 z1))) 1/2)))))
(FPCore (z0 z1) (/ (* (sin z0) (cos z1)) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2))))
(FPCore (z0 z1) (/ (- (* 4 z0) (/ (- (/ (+ z0 z0) z1) -2) z1)) z1))
(FPCore (z0) (/ (- (sin z0) 1) (- -1 (sin z0))))
(FPCore (z0) (* (pow (cos z0) 6) (sin z0)))
(FPCore (z0 z1) (/ (- (/ (- (/ (+ z0 z0) z1) -2) z1) (* 4 z0)) z1))
(FPCore (z0) (* (- (* (- (* -1/315 (* z0 z0)) -2/45) (* z0 z0)) 1/3) (* z0 z0)))
(FPCore (z0 z1) (/ (* (cos z0) (cos z1)) (sqrt (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z1 z0) (pow (- 1 (* (* (- (cos (+ z1 z1)) 1) -1/2) z0)) 3))
(FPCore (z0 z1) (* (* (sin z0) z1) (sin z0)))
(FPCore (z0 z1) (/ 1 (* (/ (fabs (sin z0)) (sqrt (- z1))) z1)))
(FPCore (z0 z1) (- (* (* (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1))) 2) (* (cos z0) (cos z1))) 1))
(FPCore (z0 z1 z2) (* (* z0 (* (* z1 z1) z1)) (pow (cos z2) 5)))
(FPCore (z0) (fabs (/ -2 (cos z0))))
(FPCore (z0 z1) (* (* -1/3 (* z0 z0)) (- (cos z1) (* (pow (cos z1) 3) 2))))
(FPCore (z1 z0) (* (* (/ (cos z1) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)) (sin z0)) 2))
(FPCore (z1 z0 z2) (* (/ (* (* (* 1/2 z1) (* (* (sin z0) z1) (cos z0))) (* (* (- (cos (+ z0 z0)) -1) 1/2) (* z1 z1))) (pow (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z2) 1) 3/2)) 1/4))
(FPCore (z1 z0) (* (log (- 1 (* (sin z1) (cos z0)))) 2))
(FPCore (z0) (* -11/3 (* z0 z0)))
(FPCore (z1 z0) (* (* z1 z0) (* z1 z0)))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0 z1) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)))
(FPCore (z0) (* 121/250000 (- (* -500/11 (* z0 z0)) -13250/121)))
(FPCore (z1 z0) (/ 1 (* (/ (fabs (sin z1)) (sqrt (- z0))) (* z0 z0))))
(FPCore (z1 z0 z2) (* (* (* z1 z0) z1) (pow (cos z2) 6)))
(FPCore (z0 z1) (/ (cos z0) (sqrt (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2))))
(FPCore (z1 z0) (* (- (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* -4 z0)) -9) (- (* 1/2 (cos (+ z1 z1))) -1/2)))
(FPCore (z0) (- (* -1/3 (* z0 z0)) -1))
(FPCore (z0) (/ 1 (cos z0)))
(FPCore (z0 z1) (+ (sin (+ z0 z0)) (* (cos (+ z0 z0)) (+ z1 z1))))
(FPCore (z0 z2 z1) (* (* (* 1/2 z0) z0) (* (* (* z2 z2) (* z2 z2)) (* (pow (cos z1) 7) (sin z1)))))
(FPCore (z1 z0) (* (cos (+ z1 z1)) z0))
(FPCore (z0 z1) (- (- (cos (+ z0 z0)) 1) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2))))
(FPCore (z0) (* 11/500 z0))
(FPCore (z0) (* -1/12 z0))
(FPCore (z0 z1) (- (/ -2 (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2)) 1))
(FPCore (z1 z0) (* (* -6 z1) (* (- (cos (+ z0 z0)) -1) 1/2)))
(FPCore (z1 z0 z2) (/ (* (* z1 z0) (* z1 z0)) (* z2 z2)))
(FPCore (z1 z0) (* (- (* -1/2 (cos (+ z1 z1))) 1/2) z0))
(FPCore (z0) (/ (* (sin z0) 2) (fabs (cos z0))))
(FPCore (z0 z1) (/ (sqrt (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)) (cos z0)))
(FPCore (z0 z1) (* (* -1/2 (* z0 z0)) (- (* (* z1 z1) 1/4) (* z1 1/3))))
(FPCore (z0 z1) (/ (cos z0) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)))
(FPCore (z0 z1 z2) (* z0 (/ (* z1 z0) z2)))
(FPCore (z0) (- (* (* z0 z0) 1/3) -1))
(FPCore (z0 z1) (* (log (- 1 (* (sin z0) (cos z1)))) 2))
(FPCore (z1 z0) (* (- (cos z1) (* (pow (cos z1) 3) 2)) (* z0 z0)))
(FPCore (z1 z0) (/ 1/2 (* (/ (fabs (sin z1)) (sqrt (- z0))) (* z0 z0))))
(FPCore (z0) (- z0 (log (fabs (cos z0)))))
(FPCore (z1 z0 z2) (/ (* (* (cos z1) z0) 1/6) (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0 z1) (- (* (* -1/3 (* z0 z0)) (- (cos z1) (* (pow (cos z1) 3) 2))) (* -2 (cos z1))))
(FPCore (z0) (* -1/6 z0))
(FPCore (z0) (* -1/3 (* z0 z0)))
(FPCore (z0 z1) (* (* (pow (cos z0) 7) (sin z0)) (* (* (* z1 z1) z1) z1)))
(FPCore (z0 z1) (/ (cos z0) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1)) 1/2)))
(FPCore (z0 z1) (/ (* (cos z0) (cos z1)) (sqrt (- 1 (* (- (* (cos (+ z0 z0)) 1/2) 1/2) (- (* -1/2 (cos (+ z1 z1))) 1/2))))))
(FPCore (z1 z0) (* (/ (fabs (sin z1)) (sqrt (- z0))) (* z0 z0)))
(FPCore (z1 z0 z2) (/ (+ z1 (* 1/2 (* z1 (* z0 z0)))) z2))
(FPCore (z0 z1) (* (* z0 (/ z0 (* z1 z1))) -1/120))
(FPCore (z0 z1) (* (- (* (* -1/3 (* z0 z0)) (- (cos z1) (* (pow (cos z1) 3) 2))) (* -2 (cos z1))) z0))
(FPCore (z1 z0 z2) (/ (* z1 (* z0 z0)) (+ z2 z2)))
(FPCore (z0 z1) (* (- (* z0 z0) -2) z1))
(FPCore (z0) (fabs (/ -1 (cos z0))))
(FPCore (z0) (* -1/360 z0))
(FPCore (z1 z0) (* (/ (sin (+ z1 z1)) 2) z0))
(FPCore (z1 z0) (/ (* (* (cos z1) 2) (cos z0)) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2)))
(FPCore (z0 z1) (* (* z0 (/ z0 (* z1 z1))) -1/5040))
(FPCore (z0 z1) (* -1/2 (- z0 (* (- (* 1/3 z0) (* 1/4 (* z0 z0))) (* z1 z1)))))
(FPCore (z0 z1) (/ 2 (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z0 z0)) 1))))
(FPCore (z0 z1) (* (- 1 (* (- -1 (cos (+ z0 z0))) (- (* 1/2 (cos (+ z1 z1))) -1/2))) 1/2))
(FPCore (z1 z0) (+ (* z1 (* z0 z0)) z1))
(FPCore (z0 z1) (- 1 (* (* (sin z0) z1) (sin z0))))
(FPCore (z0 z1) (* (cos (+ z0 z0)) (+ z1 z1)))
(FPCore (z1 z0) (- (* (* -1/2 (- z1 (* (- (* z1 1/3) (* (* z1 z1) 1/4)) (* z0 z0)))) (* z0 z0)) -1))
(FPCore (z1 z0) (/ (* (sin z1) (cos z0)) (- (- (cos (+ z0 z0)) 1) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)))))
(FPCore (z1 z0) (log (- 1 (* (sin z1) (cos z0)))))
(FPCore (z0 z1) (+ (/ 1/2 (* (/ (fabs (sin z0)) (sqrt (- z1))) (* z1 z1))) (/ (fabs (sin z0)) (sqrt (- z1)))))
(FPCore (z1 z0) (* (* -1/2 (- z1 (* (- (* z1 1/3) (* (* z1 z1) 1/4)) (* z0 z0)))) (* z0 z0)))
(FPCore (z0) (- (* -1/3 z0) (* -1/4 (* z0 z0))))
(FPCore (z0 z1) (* (sinh (+ z0 z0)) (cos (+ z1 z1))))
(FPCore (z0 z1) (* (* (- z0) z1) z1))
(FPCore (z0) (* -500/11 (* z0 z0)))
(FPCore (z1 z0) (* (/ (cos z1) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)) (sin z0)))
(FPCore (z0 z1) (pow (- (* (sin z0) (cos z1)) 1) 2))
(FPCore (z0 z1) (* (cos z0) (* (sin z1) 2)))
(FPCore (z1 z0 z2) (* (/ (* (* z1 z0) (* z1 z0)) (* z2 z2)) 1/3))
(FPCore (z0) (/ (tan z0) (cos z0)))
(FPCore (z0) (log (/ (- -1 (sin z0)) (- (sin z0) 1))))
(FPCore (z1 z0) (* (/ (* (sin z1) (cos z0)) (- (- (cos (+ z0 z0)) 1) (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)))) -4))
(FPCore (z0 z1) (* (/ -2 (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) -1/2)) (cos z1)))
(FPCore (z1 z0) (* (pow (cos z1) 4) (* z0 z0)))
(FPCore (z0 z2 z1) (* (/ z0 (* z2 z1)) (sqrt (- z1))))
(FPCore (z0 z1) (/ (cos z0) (sqrt (- 1 (* (* (- (cos (+ z0 z0)) -1) 1/2) (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z1 z0) (- 28 (* (- (* -1/2 (cos (+ z1 z1))) 1/2) (* 8 z0))))
(FPCore (z1 z0) (- -1 (/ -1 (* (sin z1) (cos z0)))))
(FPCore (z0 z1) (* (+ z0 z0) (cos (+ z1 z1))))
(FPCore (z1 z0 z2) (/ (* (- (* 1/2 (cos (+ z1 z1))) -1/2) z0) (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0 z1) (+ (* (sinh (+ z0 z0)) (cos (+ z1 z1))) (* (cosh (+ z0 z0)) (sin (+ z1 z1)))))
(FPCore (z0 z1 z2) (* (* z0 (* (* (* z1 z1) z1) z1)) (* (sin z2) (pow (cos z2) 7))))
(FPCore (z0 z1) (* (* (* z0 z0) z0) (pow (cos z1) 5)))
(FPCore (z0 z2 z1) (/ z0 (sqrt (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))))))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) 1/2) (+ (* (- (* (cos (+ z0 z0)) 1/2) 1/2) z1) 1)))
(FPCore (z2 z1 z0) (* (* (- 1 (* z2 (* (- (cos (+ z1 z1)) 1) -1/2))) (- (* 1/2 (cos (+ z1 z1))) -1/2)) z0))
(FPCore (z1 z0) (* (+ (/ 1/2 (* (/ (fabs (sin z1)) (sqrt (- z0))) (* z0 z0))) (/ (fabs (sin z1)) (sqrt (- z0)))) z0))
(FPCore (z1 z0) (- 1 (/ -1 (* (sin z1) (cos z0)))))
(FPCore (z0 z1) (* (* -4 (* z0 z0)) (pow (cos z1) 4)))
(FPCore (z0) (* -11/500 z0))
(FPCore (z0 z1) (* (/ (cos z0) (* (- (* (- (cos (+ z0 z0)) -1) (- (* 1/2 (cos (+ z1 z1))) -1/2)) (- (cos (+ z1 z1)) 1)) 1/2)) (cos z1)))
(FPCore (z1 z0) (* (- (* (* z1 z1) 1/4) (* z1 1/3)) (* z0 z0)))