(FPCore (z0) (/ 1 (sqrt z0)))
(FPCore (z0) (/ z0 (sqrt E)))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0) (- 1 (/ 1 (sqrt z0))))
(FPCore (z0) (log (- 1 (/ 1 (sqrt z0)))))
(FPCore (z0) (log (- 1 (/ 1 z0))))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0) (pow (log (- 1 z0)) 2))
(FPCore (z0) (pow (log z0) 2))
(FPCore (z0) (pow (log (- 1 (/ 1 z0))) 2))
(FPCore (z0) (* z0 (sqrt E)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0) (* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 2)))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0) (sqrt (+ (pow z0 2) (pow z0 2))))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) z1))
(FPCore (z0 z1) (pow (cos z0) z1))
(FPCore (z0) (cos (* z0 z0)))
(FPCore (z0 z1) (pow (* z0 z1) 2))
(FPCore (z0) (pow (* z0 z0) 2))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2))
(FPCore (z0) (* z0 (pow E 3/2)))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1) (pow (sqrt (- 1 (pow z0 2))) z1))
(FPCore (z0) (* (log (- 1 (/ 1 z0))) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (log z0) (log z0)))
(FPCore (z0) (* (log (- 1 z0)) (log (- 1 z0))))
(FPCore (z0) (* z0 (exp 3/2)))
(FPCore (z0 z1) (* z0 (cos (+ z1 z1))))
(FPCore (z0 z1 z2) (pow (* z0 (floor z1)) z2))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2))
(FPCore (z0) (pow z0 2/3))
(FPCore (z0) (* (* 16 z0) (log z0)))
(FPCore (z0 z1 z2) (pow (/ z0 z1) z2))
(FPCore (z0) (- 1/2 (* (cos z0) 1/2)))
(FPCore (z0) (* z0 (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) z1))
(FPCore (z0 z1) (* (cos (+ z0 z0)) z1))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0) (sin (* z0 z0)))
(FPCore (z0) (+ 1/2 (* 1/2 (cos z0))))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (/ 1 (* 2 z2)))))
(FPCore (z0) (pow (log (- 1 z0)) 3))
(FPCore (z0) (pow (log z0) 3))
(FPCore (z0) (pow (log (- 1 (/ 1 z0))) 3))
(FPCore (z0 z1) (pow (/ z0 z1) 2))
(FPCore (z0 z1) (pow (* z0 z0) (/ 1/2 z1)))
(FPCore (z0 z1 z2) (* (pow (* z0 z0) (/ 1/2 z1)) z2))
(FPCore (z0) (pow (cos z0) 2))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)))
(FPCore (z0 z1) (* z0 (pow (cos z1) 4)))
(FPCore (z0) (pow (* (/ z0 z0) (sqrt z0)) 2))
(FPCore (z0) (pow (sqrt (- 1 z0)) 2))
(FPCore (z0) (pow (sqrt z0) 2))
(FPCore (z0 z1) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 11/40))
(FPCore (z0) (* z0 (pow (log (- 1 (/ 1 (sqrt E)))) 3)))
(FPCore (z0 z1 z2) (+ (pow (* z0 z1) 2) (pow (* z2 z1) 2)))
(FPCore (z0) (- 1 (cos z0)))
(FPCore (z0 z1) (* z0 (pow (cos z1) 2)))
(FPCore (z0 z1) (* z0 (- 1 (cos (+ z1 z1)))))
(FPCore (z0) (- (cos z0) -1))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) z1) z2))
(FPCore (z0) (* (sqrt 2) z0))
(FPCore (z0) (pow (* z0 z0) (- z0 1)))
(FPCore (z0) (- 7/40 (sqrt (+ (pow z0 2) (pow z0 2)))))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0) (* E (log z0)))
(FPCore (z0) (* E (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* E (log (- 1 z0))))
(FPCore (z0) (pow (* E (log z0)) 2))
(FPCore (z0) (* z0 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)))
(FPCore (z0) (pow z0 -2/3))
(FPCore (z0) (pow (* E (log (- 1 z0))) 2))
(FPCore (z0) (/ (+ 1 z0) (pow z0 2)))
(FPCore (z0 z1 z2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 z2)) 2)))
(FPCore (z0 z1) (/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2)))
(FPCore (z0) (* (* 16 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (* (* -84 z0) (log z0)))
(FPCore (z0) (* (* -4 z0) (log z0)))
(FPCore (z0) (* (* -84 E) (log (- 1 z0))))
(FPCore (z0) (* (* 16 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* -84 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* 16 (sqrt E)) z0))
(FPCore (z0) (* z0 (pow E 2)))
(FPCore (z0 z1 z2) (* z0 (pow (/ z1 z2) 2)))
(FPCore (z0 z1) (pow (* z0 z0) z1))
(FPCore (z0) (* z0 (pow E 5/2)))
(FPCore (z0 z1) (sin (+ z0 z1)))
(FPCore (z0 z1) (* (pow (cos z0) 3) z1))
(FPCore (z0) (- 1 (cos (+ z0 z0))))
(FPCore (z0) (* (cos (* z0 z0)) 1/2))
(FPCore (z0) (* (sin z0) (sin z0)))
(FPCore (z0 z1) (cos (- z0 z1)))
(FPCore (z0) (* (exp 5/2) z0))
(FPCore (z0) (* (sqrt E) z0))
(FPCore (z0) (- 1/2 (* (cos (* z0 z0)) 1/2)))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0) (- 1/2 (fabs (- z0 1/2))))
(FPCore (z0 z1) (fmax (- 1/2 (fabs (- z0 1/2))) z1))
(FPCore (z0 z1 z2) (* (sin (- (+ z0 z0) (* -3 z1))) z2))
(FPCore (z0) (* (* z0 z0) (sin z0)))
(FPCore (z0) (+ 1/2 (* 1/2 (cos (+ z0 z0)))))
(FPCore (z0) (log (tan z0)))
(FPCore (z0 z1) (cos (* z0 z1)))
(FPCore (z0) (* (sqrt z0) (sqrt z0)))
(FPCore (z0) (pow (sqrt z0) 4))
(FPCore (z0) (/ (* z0 z0) (pow z0 4)))
(FPCore (z0) (pow (sqrt (- 1 z0)) 4))
(FPCore (z0) (* (* -4 (* z0 z0)) (log (- 1 z0))))
(FPCore (z0) (* (exp 3/2) z0))
(FPCore (z0) (* (* -8 E) (pow (log (- 1 z0)) 2)))
(FPCore (z0) (- (* (cos z0) 1/2) -1/2))
(FPCore (z0 z1) (* (pow z0 2/3) z1))
(FPCore (z0) (* (* -8 E) (pow (log z0) 2)))
(FPCore (z0 z1) (pow z0 (- z1 1)))
(FPCore (z0) (* (* -4 (* E E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) z0))
(FPCore (z0) (* (pow z0 2) (sqrt z0)))
(FPCore (z0) (* (pow (log z0) 2) (sqrt E)))
(FPCore (z0) (* (pow (log (- 1 z0)) 2) (sqrt E)))
(FPCore (z0 z1) (* z0 (pow (* z1 z1) (/ 1 z1))))
(FPCore (z0 z1 z2) (+ (- 1 z0) (* z1 (pow (* z2 z2) (/ 1 z2)))))
(FPCore (z0) (pow (* z0 z0) (/ 1 z0)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (/ 1 (* 2 z1))))
(FPCore (z0 z1) (* (- 1/2 (* (cos z0) 1/2)) (* z1 z1)))
(FPCore (z0) (sqrt (* z0 z0)))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1))
(FPCore (z0 z1) (* z0 (sin (+ z1 z1))))
(FPCore (z0) (cos (* (+ PI PI) (* 1/180 z0))))
(FPCore (z0 z1) (cos (* (+ z0 z0) (* 1/180 z1))))
(FPCore (z0) (* z0 (exp 5/2)))
(FPCore (z0) (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))))
(FPCore (z0) (* -8 (pow (* E (log z0)) 2)))
(FPCore (z0) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) z0))
(FPCore (z0) (+ z0 (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))
(FPCore (z0) (pow z0 806282737481277/100000000000000))
(FPCore (z0) (* -8 (pow (* z0 z0) 2)))
(FPCore (z0) (+ z0 (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))))
(FPCore (z0) (+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0))))
(FPCore (z0) (+ (* -8 (pow (* z0 z0) 2)) (- (+ (* z0 z0) (* z0 z0)) (* 64 (sqrt z0)))))
(FPCore (z0) (+ (* (* -8 E) (pow (log z0) 2)) (+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0)))))
(FPCore (z0) (+ (* (* 16 (sqrt z0)) (log (- 1 z0))) (* (pow (log z0) 2) (sqrt E))))
(FPCore (z0) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) z0))
(FPCore (z0) (+ (* (* 16 z0) (log z0)) (* (pow z0 2) (sqrt z0))))
(FPCore (z0) (+ (* (* -4 (* z0 z0)) (log (- 1 z0))) (+ (* -8 (pow z0 2)) (- (+ z0 z0) (* 64 z0)))))
(FPCore (z0) (+ (* (* -4 z0) (log z0)) (+ (* -8 z0) (- z0 z0))))
(FPCore (z0) (* (sin z0) (cos z0)))
(FPCore (z0 z1) (pow z0 (- (/ 1/2 z1) 1)))
(FPCore (z0) (* -40 (pow (cos z0) 4)))
(FPCore (z0 z1) (* z0 (sin (* (/ z1 180) PI))))
(FPCore (z0 z1) (/ (* -40 (pow (cos z0) 4)) z1))
(FPCore (z0 z1) (* z0 (cos (* 2 z1))))
(FPCore (z0) (- (cos (* z0 z0)) -1))
(FPCore (z0 z1) (sin (* z0 z1)))
(FPCore (z0) (* (* z0 z0) (log z0)))
(FPCore (z0 z1 z2) (* (cos (- z0 z1)) z2))
(FPCore (z0 z1) (* z0 (* (sin z1) (sin z1))))
(FPCore (z0) (log (tan (+ z0 z0))))
(FPCore (z0 z1) (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1))
(FPCore (z0) (pow (* (/ (- -1 z0) (- z0 1)) (sqrt (- 1 z0))) 2))
(FPCore (z0 z1 z2) (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2))
(FPCore (z0 z1 z2) (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2))
(FPCore (z0 z1 z2) (* (pow (* z0 z0) z1) z2))
(FPCore (z0 z1) (pow (* z0 z0) (- z1 1)))
(FPCore (z0) (pow (cos z0) 3))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0) (/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4)))
(FPCore (z0 z1) (cos (* (* z0 1/180) (+ z1 z1))))
(FPCore (z0 z1) (sin (- (+ z0 z0) (* -3 z1))))
(FPCore (z0) (cos (* (* PI 1/180) (+ z0 z0))))
(FPCore (z0 z1) (sin (/ z0 z1)))
(FPCore (z0) (* (sqrt (fabs z0)) (sqrt (fabs z0))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0) (- 1/2 (* 1/2 (cos z0))))
(FPCore (z0) (sqrt (* (log z0) -2)))
(FPCore (z0 z1) (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) z1))
(FPCore (z0) (* (* (exp 3/2) 2) z0))
(FPCore (z0) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log z0) 2))))
(FPCore (z0) (- (cos (+ z0 z0)) -1))
(FPCore (z0) (+ (* (* -84 E) (log (- 1 z0))) (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0)))))
(FPCore (z0) (* (* (exp 3/2) 2) (pow (log z0) 2)))
(FPCore (z0 z1) (* z0 (cos (* (/ z1 180) PI))))
(FPCore (z0 z1) (* (sin (* z0 1/2)) z1))
(FPCore (z0) (+ (* (* z0 2) (pow z0 2)) (* (* 16 z0) (log z0))))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)))
(FPCore (z0) (+ z0 (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))))
(FPCore (z0) (- (+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0))) (* -16 E)))
(FPCore (z0) (* (exp 5/2) (pow (log (- 1 z0)) 2)))
(FPCore (z0) (+ (cos z0) 1))
(FPCore (z0) (* (* (exp 3/2) 2) (pow (log (- 1 z0)) 2)))
(FPCore (z0) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0))
(FPCore (z0) (+ z0 (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0) (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) z0))
(FPCore (z0) (* (* 16 (exp 3/2)) z0))
(FPCore (z0) (* (exp 5/2) (pow z0 2)))
(FPCore (z0) (* (exp 5/2) (pow (log z0) 2)))
(FPCore (z0) (+ z0 (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))))
(FPCore (z0) (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) z0))
(FPCore (z0) (* (* 16 (exp 3/2)) (log (- 1 z0))))
(FPCore (z0) (+ (* (* -84 z0) (log z0)) (+ (* z0 z0) (+ z0 z0))))
(FPCore (z0) (+ (+ (- (+ z0 z0) (* -16 z0)) (+ (* z0 z0) (* z0 z0))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow z0 2)))))
(FPCore (z0) (+ (* (* (exp 3/2) 2) (pow (log z0) 2)) (* (* 16 (exp 3/2)) (log (- 1 z0)))))
(FPCore (z0) (+ z0 (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))))
(FPCore (z0) (pow (* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0))) 2))
(FPCore (z0) (* (/ (+ 1 z0) (pow z0 2)) (sqrt (- 1 z0))))
(FPCore (z0) (* (+ (cos z0) 1) 1/2))
(FPCore (z0) (* (cos z0) (sin z0)))
(FPCore (z0) (pow (sin z0) 2))
(FPCore (z0) (* (sqrt z0) (* z0 z0)))
(FPCore (z0 z1 z2) (* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2)))))))
(FPCore (z0 z1) (pow (/ z0 z1) 1/2))
(FPCore (z0 z1) (* z0 (sin (* z1 1/2))))
(FPCore (z0) (* 5 (pow z0 2)))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0) (log (fabs (tan z0))))
(FPCore (z0 z1) (* z0 (tan z1)))
(FPCore (z0) (* 5 (pow (cos z0) 2)))
(FPCore (z0) (* (pow E 5/2) z0))
(FPCore (z0) (- 1/2 (* -1/2 (cos z0))))
(FPCore (z0) (- 1/2 (* -1/2 (cos (+ z0 z0)))))
(FPCore (z0 z1) (- z0 (* 5 (pow (cos z1) 2))))
(FPCore (z0) (- 1 (* 5 (pow (cos z0) 2))))
(FPCore (z0) (tan (+ (/ PI 4) (* 1/2 z0))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 z2))))
(FPCore (z0 z1) (+ (* z0 z1) (pow z0 2)))
(FPCore (z0 z1) (tan (+ (/ z0 4) (* 1/2 z1))))
(FPCore (z0) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* 16 (pow z0 3/2)) (log (- 1 z0))))
(FPCore (z0 z1) (* (pow z0 -2/3) z1))
(FPCore (z0) (* (* 16 (pow E 3/2)) z0))
(FPCore (z0 z1) (* z0 (sqrt (fabs z1))))
(FPCore (z0) (* (* 2 (pow E 3/2)) z0))
(FPCore (z0) (+ z0 (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0 z1) (pow z0 (- z1 3)))
(FPCore (z0 z1 z2) (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) z2))
(FPCore (z0 z1) (* (/ (+ 1 (* z0 z1)) (pow (sqrt z1) 2)) (sqrt (- 1 (pow z0 2)))))
(FPCore (z0 z1) (* (sqrt (fabs z0)) z1))
(FPCore (z0 z1) (* (sin (* z0 z0)) z1))
(FPCore (z0) (* (* (log (- 1 z0)) (log (- 1 z0))) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) z0))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0) (* z0 (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0) (* (* (log z0) (log z0)) (log (- 1 z0))))
(FPCore (z0 z1) (* (pow z0 3) z1))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) 1/2)))
(FPCore (z0 z1) (/ z0 (- 1 (* 5 (pow (cos z1) 2)))))
(FPCore (z0) (* 40 (pow (cos z0) 4)))
(FPCore (z0) (pow z0 4681/10000))
(FPCore (z0 z1) (* (sin (* (* 1/180 z0) PI)) z1))
(FPCore (z0) (- (/ (* 40 (pow z0 4)) (- 1 (* 5 z0)))))
(FPCore (z0 z1) (* z0 (cos (* -1/2 z1))))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) z2)))
(FPCore (z0) (log (* z0 z0)))
(FPCore (z0 z1) (/ (* 40 (pow (cos z0) 4)) z1))
(FPCore (z0) (/ (* 40 (pow z0 4)) (- 1 (* 5 z0))))
(FPCore (z0) (tan (* (+ (+ z0 z0) PI) 1/4)))
(FPCore (z0 z1) (* (* (pow (cos z0) 3) z1) z1))
(FPCore (z0) (- 1 (* 11 (pow (cos z0) 2))))
(FPCore (z0) (+ 1/2 (* 1/2 (cos (* 2 z0)))))
(FPCore (z0 z1) (+ (- 1 (* 11 (pow (cos z0) 2))) z1))
(FPCore (z0) (* 11 (pow z0 2)))
(FPCore (z0) (* (* (sqrt 2) 1/2) z0))
(FPCore (z0) (log (tan (+ (/ PI 4) (* 1/2 z0)))))
(FPCore (z0) (* 11 (pow (cos z0) 2)))
(FPCore (z0 z1 z2) (* (* (pow (cos z0) 3) z1) z2))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0 z1) (* (* (pow z0 3) z1) z1))
(FPCore (z0 z1) (log (tan (+ (/ z0 4) (* 1/2 z1)))))
(FPCore (z0 z1) (- z0 (* 11 (pow (cos z1) 2))))
(FPCore (z0 z1 z2) (* z0 (sqrt (* z1 z2))))
(FPCore (z0 z1) (* z0 (- 1 (cos z1))))
(FPCore (z0 z1) (sin (/ (* z0 z0) z1)))
(FPCore (z0) (/ (/ (* z0 z0) (pow z0 4)) 8))
(FPCore (z0 z1 z2) (sin (/ (* (* z0 z1) (/ z0 z0)) z2)))
(FPCore (z0) (* 1/2 (cos (* z0 z0))))
(FPCore (z0) (* 5 (+ 1/2 (* 1/2 (cos z0)))))
(FPCore (z0 z1) (* z0 (cos (* z1 1/2))))
(FPCore (z0) (pow (sqrt (- 1 z0)) 3))
(FPCore (z0) (* (* -8 z0) (log z0)))
(FPCore (z0 z1) (* z0 (pow z1 2)))
(FPCore (z0 z1) (* (- (cos z0) -1) (* 1/2 (* z1 z1))))
(FPCore (z0) (pow (sqrt z0) 3))
(FPCore (z0) (+ (+ (+ z0 z0) (* z0 z0)) (* (* 16 z0) (log z0))))
(FPCore (z0 z1) (* (- (cos (* z0 z0)) -1) (* 1/2 (* z1 z1))))
(FPCore (z0) (- (pow (* z0 z0) 2) (- (/ z0 z0) 1)))
(FPCore (z0) (cos (* (* 1/90 z0) PI)))
(FPCore (z0) (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))
(FPCore (z0) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))
(FPCore (z0 z1) (+ z0 (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))))
(FPCore (z0) (+ (- 1 (* 11 (pow z0 2))) (- (/ (* 40 z0) (- 1 z0)))))
(FPCore (z0) (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))))
(FPCore (z0 z1) (* (/ (/ (* z0 z0) (pow z0 4)) 8) z1))
(FPCore (z0 z1) (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow z1 2)))))
(FPCore (z0) (- (* (cos (+ z0 z0)) 1/2) -1/2))
(FPCore (z0 z1 z2) (* (* z0 (- 1 (cos (+ z1 z1)))) z2))
(FPCore (z0 z1) (* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) z1))
(FPCore (z0 z1) (/ (sqrt (fabs z0)) z1))
(FPCore (z0 z1) (* (* z0 (- 1 (cos z1))) 1/2))
(FPCore (z0 z1) (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2))
(FPCore (z0 z1) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))))
(FPCore (z0 z1) (cos (* (* z0 1/180) z1)))
(FPCore (z0 z1 z2) (/ z0 (* (tan z1) z2)))
(FPCore (z0 z1) (cos (* (* 1/180 z0) (+ z1 z1))))
(FPCore (z0) (cos (* (* (+ PI PI) 1/180) z0)))
(FPCore (z0 z1) (cos (* (* (+ z0 z0) 1/180) z1)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (- z2 1))))
(FPCore (z0) (cos (* (* 1/180 z0) (+ PI PI))))
(FPCore (z0) (sin (* (/ z0 180) PI)))
(FPCore (z0) (- 1 (exp z0)))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0 z1) (pow (* (- 1 z0) (- 1 z0)) (- z1 1)))
(FPCore (z0) (* (- 1 (sqrt E)) z0))
(FPCore (z0) (* (* z0 z0) (cos z0)))
(FPCore (z0) (* z0 (* (sqrt 2) 1/2)))
(FPCore (z0 z1) (* (cos (- z0 z1)) 1/2))
(FPCore (z0) (* 3 (pow z0 2)))
(FPCore (z0 z1) (* (cos (* (* (+ PI PI) 1/180) z0)) z1))
(FPCore (z0 z1) (* (cos (* (* z0 1/180) z1)) 1/2))
(FPCore (z0 z1) (* (- (cos (+ z0 z0)) -1) z1))
(FPCore (z0 z1) (* (sin (+ z0 z0)) z1))
(FPCore (z0 z1) (* (cos (* z0 z1)) 1/2))
(FPCore (z0) (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2))
(FPCore (z0) (sqrt (fabs (* z0 z0))))
(FPCore (z0 z1) (* (* 1/2 z0) (- 1 (cos z1))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1))
(FPCore (z0 z1) (- 1/2 (* (cos (- z0 z1)) 1/2)))
(FPCore (z0 z1) (sin (+ z0 (+ z1 z1))))
(FPCore (z0 z1) (/ (sin z0) z1))
(FPCore (z0 z1 z2) (- z0 (* (cos (- z1 z2)) 1/2)))
(FPCore (z0 z1) (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))))
(FPCore (z0 z1) (/ z0 (sqrt z1)))
(FPCore (z0 z1) (* (sin (* z0 1/2)) (cos (* z1 1/2))))
(FPCore (z0 z1) (- (cos (* (+ z0 z0) (* 1/180 z1))) -1))
(FPCore (z0 z1) (sqrt (fabs (* z0 z1))))
(FPCore (z0 z1) (pow z0 (- (/ 1 (* 2 z1)) 1)))
(FPCore (z0 z1 z2) (* z0 (pow (* (- z1 1) (- z1 1)) (- (/ 1 (* 2 z2)) 1))))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- (/ 1 z1) 1)))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- (/ 1 (* 2 z1)) 1)))
(FPCore (z0) (* 1/2 (cos (* (* PI 1/180) (+ z0 z0)))))
(FPCore (z0 z1) (* (- (* (cos z0) 1/2) -1/2) z1))
(FPCore (z0) (- (cos (* (+ PI PI) (* 1/180 z0))) -1))
(FPCore (z0 z1) (+ (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2))))
(FPCore (z0 z1) (* 1/2 (cos (* (* z0 1/180) (+ z1 z1)))))
(FPCore (z0 z1) (* z0 (cos (* (* PI 1/180) (+ z1 z1)))))
(FPCore (z0 z1) (* (cos (* z0 1/2)) (sin (* z1 1/2))))
(FPCore (z0 z1) (pow (* z0 (sin z1)) 2))
(FPCore (z0 z1) (- (cos (* (+ PI PI) (* 1/180 z0))) z1))
(FPCore (z0) (* z0 (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))
(FPCore (z0) (* z0 (- 1 (sqrt E))))
(FPCore (z0 z1) (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))))
(FPCore (z0) (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))))
(FPCore (z0 z1) (* (cos (* z0 1/2)) z1))
(FPCore (z0 z1) (* (cos (* (+ z0 z0) (* 1/180 z1))) 1/2))
(FPCore (z0 z1) (* (cos (* (+ PI PI) (* 1/180 z0))) z1))
(FPCore (z0 z1) (* z0 (cos (* z1 z1))))
(FPCore (z0) (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)))
(FPCore (z0 z1) (* (* z0 z1) (pow z0 z0)))
(FPCore (z0) (* (* z0 z0) (pow z0 2)))
(FPCore (z0) (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2))
(FPCore (z0 z1) (- z0 (* (cos (* (+ PI PI) (* 1/180 z1))) 1/2)))
(FPCore (z0) (* (* 83 z0) (log z0)))
(FPCore (z0 z1) (+ 1 (pow (/ z0 z1) 2)))
(FPCore (z0 z1) (pow (* z0 (cos z1)) 2))
(FPCore (z0) (* (* -18 (sqrt E)) z0))
(FPCore (z0) (+ (cos (* z0 z0)) 1))
(FPCore (z0 z1) (/ z0 (sqrt (fabs z1))))
(FPCore (z0) (cos (* (/ z0 180) PI)))
(FPCore (z0 z1) (/ (sqrt z0) z1))
(FPCore (z0) (* -18 (sqrt z0)))
(FPCore (z0) (* (+ (cos (* z0 z0)) 1) 1/2))
(FPCore (z0 z1) (* (cos (* -1/2 z0)) z1))
(FPCore (z0 z1) (/ z0 (cos z1)))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) z1))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)))
(FPCore (z0 z1) (* z0 (sin (* 2 z1))))
(FPCore (z0) (sin (* (* 1/180 z0) PI)))
(FPCore (z0 z1) (+ (pow (+ 153/40 (* z0 50813/6250)) 2) z1))
(FPCore (z0) (* (cos z0) 5/2))
(FPCore (z0) (sin (- (* z0 1/2) (* 1/4 PI))))
(FPCore (z0) (* (* z0 z0) (sqrt z0)))
(FPCore (z0) (pow (+ 153/40 (* z0 50813/6250)) 2))
(FPCore (z0) (+ z0 (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0 z1) (- z0 (* (cos (+ z1 z1)) 5/2)))
(FPCore (z0 z1) (sin (- (* z0 1/2) (* 1/4 z1))))
(FPCore (z0 z1) (* z0 (pow z1 2/3)))
(FPCore (z0) (+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0))))
(FPCore (z0 z1 z2) (sqrt (+ (* (- z0 z1) (- z0 z1)) (* z2 z2))))
(FPCore (z0) (* (cos (+ z0 z0)) 5/2))
(FPCore (z0) (pow (+ 153/40 z0) 2))
(FPCore (z0 z1) (* z0 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0) (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0))))))
(FPCore (z0 z1) (* (pow z0 4) z1))
(FPCore (z0 z1 z2) (* z0 (* (cos z1) (cos z2))))
(FPCore (z0 z1) (pow (* z0 (cos (* z1 z1))) 2))
(FPCore (z0) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z0 z0)))))))
(FPCore (z0) (/ (/ (* (/ z0 2) (pow z0 2)) (pow (sqrt z0) 4)) 8))
(FPCore (z0 z1) (- z0 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1)))))))
(FPCore (z0 z1 z2) (tanh (* z0 (* z1 z2))))
(FPCore (z0 z1 z2) (* (* z0 z1) (sin z2)))
(FPCore (z0) (/ (sqrt 2) z0))
(FPCore (z0 z1 z2) (+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2))
(FPCore (z0 z1 z2) (+ z0 (* z1 (* (sin z2) (sin z2)))))
(FPCore (z0 z1) (/ z0 (sin (- (* z1 1/2) (* 1/4 PI)))))
(FPCore (z0 z1) (+ 1 (* z0 (* (sin z1) (sin z1)))))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0) (- -3/2 (* (cos (+ z0 z0)) 5/2)))
(FPCore (z0) (- -3/2 (* (cos z0) 5/2)))
(FPCore (z0 z1) (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) z1))
(FPCore (z0 z1 z2) (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2))
(FPCore (z0 z1 z2) (pow (/ (* z0 z1) (* 2 z2)) 2))
(FPCore (z0 z1 z2) (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2))
(FPCore (z0) (* (- 1/2 (* (cos z0) 1/2)) 3))
(FPCore (z0) (pow (* (/ (- z0 -1) (- 1 z0)) (sqrt (- 1 z0))) 2))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos z0))) z1))
(FPCore (z0) (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3))
(FPCore (z0 z1 z2) (* z0 (sin (+ (* 2 z1) (* 3 z2)))))
(FPCore (z0) (pow (- z0 23/40) 2))
(FPCore (z0 z1) (* z0 (sin (* z1 z1))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)) z1))
(FPCore (z0) (* (pow E 5/2) (pow (log z0) 2)))
(FPCore (z0) (pow (- (* z0 50813/6250) 111/40) 2))
(FPCore (z0 z1 z2) (* (cos (+ z0 (+ z1 z1))) z2))
(FPCore (z0 z1 z2) (* (cos (- (- (* -3 z0) z1) z1)) z2))
(FPCore (z0) (* (pow E 5/2) (pow (log (- 1 z0)) 2)))
(FPCore (z0) (pow (- (* z0 50813/6250) 23/40) 2))
(FPCore (z0 z1) (pow (* z0 (sin (* z1 z1))) 2))
(FPCore (z0) (* 4343/1000 (log z0)))
(FPCore (z0 z1) (sin (/ (- z0 z1) 2)))
(FPCore (z0) (sqrt (fmax (+ (pow z0 2) (pow z0 2)) (+ (pow z0 2) (pow z0 2)))))
(FPCore (z0 z1) (* (* z0 z0) (sin z1)))
(FPCore (z0 z1) (* z0 (log (/ (+ 1 z1) (- 1 z1)))))
(FPCore (z0) (* (+ z0 z0) (sin z0)))
(FPCore (z0 z1) (cos (* (+ z0 z1) -2)))
(FPCore (z0 z1 z2) (/ z0 (sqrt (fabs (* z1 z2)))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))))
(FPCore (z0 z1) (- -1 (* (* z0 (- 1 (cos (+ z1 z1)))) 1/2)))
(FPCore (z0) (tan (+ (* 1/2 z0) (/ PI 4))))
(FPCore (z0) (sin (+ (- (+ z0 z0)) (* PI 1/2))))
(FPCore (z0 z1) (tan (+ (* 1/2 z0) (/ z1 4))))
(FPCore (z0 z1) (* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) z1))
(FPCore (z0) (+ z0 (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))))
(FPCore (z0 z1 z2) (* (* (/ z0 z1) (pow (* (- z2 1) (- z2 1)) (- (/ 1 (* 2 z1)) 1))) (- z2 1)))
(FPCore (z0) (* (* (* z0 z0) E) (pow (log z0) 2)))
(FPCore (z0) (log (/ (+ 1 z0) (- 1 z0))))
(FPCore (z0) (* (* -9 z0) (pow z0 2)))
(FPCore (z0 z1 z2) (* (/ z0 z1) (pow z2 z2)))
(FPCore (z0) (* (* (* E E) E) (pow (log (- 1 z0)) 2)))
(FPCore (z0) (- 1/2 (* 1/2 (cos (* 2 z0)))))
(FPCore (z0 z1 z2) (- z0 (* (* z1 (- 1 (cos (+ z2 z2)))) 1/2)))
(FPCore (z0 z1) (* z0 (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000))))
(FPCore (z0 z1 z2) (* (/ z0 z1) (pow (* z2 z2) (- z2 1))))
(FPCore (z0 z1) (* (+ z0 z0) (sin z1)))
(FPCore (z0) (pow (- (* z0 50813/6250) 199/40) 2))
(FPCore (z0) (* (* 2 (pow z0 3/2)) (pow (log z0) 2)))
(FPCore (z0) (pow (- z0 199/40) 2))
(FPCore (z0) (* (* 2 (pow E 3/2)) (pow (log (- 1 z0)) 2)))
(FPCore (z0 z1 z2) (* (pow (/ z0 z1) 1/2) (pow (/ z0 z2) 1/2)))
(FPCore (z0) (+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2))))
(FPCore (z0 z1 z2) (- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2))
(FPCore (z0 z1 z2) (+ z0 (* (- (cos (* (+ PI PI) (* 1/180 z1))) -1) (* 1/2 (* z2 z2)))))
(FPCore (z0 z1) (log (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1))))))
(FPCore (z0 z1 z2) (* 1/2 (pow (/ (* z0 z1) (* 2 z2)) 2)))
(FPCore (z0) (* (* (pow z0 1/2) (pow z0 1/2)) (- 1 (* z0 z0))))
(FPCore (z0 z1 z2) (- 1 (* (* 1/2 (pow z0 2)) (/ z1 z2))))
(FPCore (z0 z1 z2) (* z0 (pow (/ z1 z2) 1/2)))
(FPCore (z0 z1 z2) (/ z0 (* (pow z1 2/3) z2)))
(FPCore (z0 z1 z2) (* (* 1/2 (pow z0 2)) (/ z1 z2)))
(FPCore (z0 z1) (* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z1 z1))))
(FPCore (z0 z1) (+ (pow (- (* z0 50813/6250) 23/40) 2) z1))
(FPCore (z0 z1 z2) (* (pow (/ z0 z1) 1/2) z2))
(FPCore (z0 z1 z2) (pow (+ (* z0 z1) (pow z0 2)) (- z2 2)))
(FPCore (z0 z1) (log (/ (+ 1 (* z0 z1)) (- 1 (* z0 z1)))))
(FPCore (z0 z1) (pow (sqrt (- 1 (* z0 z0))) z1))
(FPCore (z0) (+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0))))
(FPCore (z0) (* (pow z0 1/2) (pow z0 1/2)))
(FPCore (z0) (+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -84 z0) (log z0))) (* 16 E)))
(FPCore (z0 z1) (/ (+ (pow z0 2) (pow z0 2)) z1))
(FPCore (z0 z1) (* (* z0 z0) (- 1/2 (* (cos z1) 1/2))))
(FPCore (z0 z1 z2) (/ (- (sqrt z0) z1) (+ z2 z2)))
(FPCore (z0 z1) (* z0 (pow (sin z1) 2)))
(FPCore (z0) (/ (* z0 z0) (sqrt z0)))
(FPCore (z0 z1 z2) (* z0 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1))))
(FPCore (z0 z1) (/ (/ (+ (pow z0 2) (pow z0 2)) z1) z1))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2))
(FPCore (z0) (- 1 (cos (* z0 z0))))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 3/40))
(FPCore (z0 z1 z2) (pow (* z0 (sin (* (/ z1 180) PI))) z2))
(FPCore (z0) (* (+ z0 z0) (cos z0)))
(FPCore (z0 z1 z2) (* (pow (* (- 1 z0) (- 1 z0)) (- (/ 1/2 z1) 1)) z2))
(FPCore (z0 z1 z2) (* 3 (+ (* (+ 1/2 z0) z1) (cos z2))))
(FPCore (z0 z1 z2) (* 3 (+ (* z0 z1) (cos z2))))
(FPCore (z0 z1) (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0))))
(FPCore (z0 z1) (* (pow (cos z0) 4) z1))
(FPCore (z0 z1) (pow (* z0 (sin (* (/ z1 180) PI))) 2))
(FPCore (z0 z1) (pow (/ (- -1 (* z0 z1)) (- (* z1 z1) 1)) 3))
(FPCore (z0) (* (sqrt E) (* (log z0) (log z0))))
(FPCore (z0 z1 z2) (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) z2))
(FPCore (z0 z1 z2) (+ z0 (* 3 (+ (* (+ 1/2 (* 1/2 (cos (+ z1 z1)))) z2) (cos z1)))))
(FPCore (z0 z1) (+ (* (+ 1/2 (* 1/2 (cos (+ z0 z0)))) z1) (cos z0)))
(FPCore (z0 z1) (pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3))
(FPCore (z0 z1) (* (tan (* (+ (+ z0 z0) PI) 1/4)) z1))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos z0))) (* z1 z1)))
(FPCore (z0) (* (sqrt E) (* (log (- 1 z0)) (log (- 1 z0)))))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* z1 z2))) z0))
(FPCore (z0 z1) (sqrt (* (+ z0 z1) (- z1 z0))))
(FPCore (z0 z1 z2) (* z0 (sin (+ z1 (+ z2 z2)))))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0) (/ 1 (pow z0 -1)))
(FPCore (z0 z1 z2) (* z0 (pow (* z1 z1) z2)))
(FPCore (z0) (* -200 (pow (cos z0) 4)))
(FPCore (z0 z1 z2) (+ (* (- 1/2 (* z0 1/2)) (* z1 z1)) (* (- (cos z0) -1) (* 1/2 (* z2 z2)))))
(FPCore (z0) (* (fabs z0) 3275911/10000000))
(FPCore (z0 z1) (* (* (+ (cos z0) 1) 1/2) (* z1 z1)))
(FPCore (z0 z1) (* (sin (* -1/2 z0)) z1))
(FPCore (z0 z1 z2) (* (sin (+ z0 (+ z1 z1))) z2))
(FPCore (z0 z1) (* z0 (sin (+ (- (+ z1 z1)) (* PI 1/2)))))
(FPCore (z0 z1 z2) (* z0 (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z2) 1))))
(FPCore (z0) (+ 1/2 (* 1/2 (cos (* z0 z0)))))
(FPCore (z0) (- 1 (pow (cos z0) 2)))
(FPCore (z0) (* (sin z0) (* z0 1/2)))
(FPCore (z0 z1) (/ 1 (* (pow z0 2/3) z1)))
(FPCore (z0) (* (* -18 z0) (log z0)))
(FPCore (z0 z1) (sin (+ (* 2 z0) (* 3 z1))))
(FPCore (z0 z1) (- z0 (pow (cos z1) 2)))
(FPCore (z0 z1) (* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (cos (* 2 z1))))
(FPCore (z0 z1) (log (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1) (* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (cos (* 2 z1))))
(FPCore (z0 z1 z2) (+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) z2))
(FPCore (z0 z1) (/ z0 (- (sqrt z1) -1)))
(FPCore (z0 z1) (* (+ (- 1 z0) (- z0)) (cos (* 2 z1))))
(FPCore (z0 z1 z2) (* z0 (sin (+ (* 2 z1) z2))))
(FPCore (z0) (+ (- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2))) (* (pow E 5/2) (pow (log z0) 2))))
(FPCore (z0) (- (+ (+ z0 z0) (* z0 z0)) (* 4 (pow z0 3/2))))
(FPCore (z0 z1) (sin (+ (* 2 z0) z1)))
(FPCore (z0 z1) (/ (tan z0) z1))
(FPCore (z0) (/ 1 (sqrt (fabs z0))))
(FPCore (z0 z1) (+ z0 (pow (- (* z1 50813/6250) 199/40) 2)))
(FPCore (z0 z1 z2) (* (- 1/2 (* (cos (- z0 z1)) 1/2)) z2))
(FPCore (z0 z1 z2) (* z0 (sqrt (fabs (+ z1 z2)))))
(FPCore (z0 z1 z2) (+ (* (- 1/2 (* (cos (* (+ PI PI) (* 1/180 z0))) 1/2)) (* z1 z1)) (* (- (cos (* (+ PI PI) (* 1/180 z0))) -1) (* 1/2 (* z2 z2)))))
(FPCore (z0 z1) (* z0 (cbrt z1)))
(FPCore (z0 z1) (/ z0 (sin z1)))
(FPCore (z0 z1 z2) (tanh (* (* z0 z1) z2)))
(FPCore (z0 z1) (sin (* (+ z0 z1) 2)))
(FPCore (z0) (cbrt (* z0 z0)))
(FPCore (z0) (/ (* -40 (pow z0 4)) (- 1 (* 5 z0))))
(FPCore (z0 z1 z2) (* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (cos (* 2 z2)))))
(FPCore (z0 z1) (* (sin (/ (* z0 z0) z1)) (sin (/ (* z0 z0) z1))))
(FPCore (z0) (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0))
(FPCore (z0) (pow (- (* z0 50813/6250) 31/8) 2))
(FPCore (z0 z1 z2) (* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2))
(FPCore (z0) (sqrt (+ (* z0 z0) (* z0 z0))))
(FPCore (z0) (* (pow E 5/2) (* (log (- 1 z0)) (log (- 1 z0)))))
(FPCore (z0 z1 z2) (* (* (* (/ z0 8) z1) (pow (sqrt z0) 3)) (* (+ (- 1 z0) (- z0)) (sin (* 2 z2)))))
(FPCore (z0) (+ z0 (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))))
(FPCore (z0) (+ (* (sqrt z0) (* z0 z0)) (* (* 16 z0) (log z0))))
(FPCore (z0 z1) (* (* z0 z1) (pow z0 3)))
(FPCore (z0 z1 z2) (* (sqrt (fabs (- z0 z1))) z2))
(FPCore (z0) (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) z0))
(FPCore (z0 z1) (* (+ z0 z0) (cos z1)))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) z1))
(FPCore (z0) (+ (+ (+ (+ z0 z0) (* -64 z0)) (* (* -8 z0) (* z0 z0))) (* (* -4 (pow z0 2)) (log (- 1 z0)))))
(FPCore (z0 z1) (* (+ (- 1 z0) (- z0)) (sin (* 2 z1))))
(FPCore (z0) (* (pow E 5/2) (* (log z0) (log z0))))
(FPCore (z0) (* (* -8 E) (* (log (- 1 z0)) (log (- 1 z0)))))
(FPCore (z0) (* (* -8 E) (* (log z0) (log z0))))
(FPCore (z0 z1) (* (* (/ z0 8) z1) (pow (sqrt z0) 3)))
(FPCore (z0) (* (* -4 (pow E 2)) (log (- 1 (/ 1 z0)))))
(FPCore (z0 z1) (* z0 (cos (* (* 1/180 z1) PI))))
(FPCore (z0 z1) (* (sin (/ z0 z1)) (sin (/ z0 z1))))
(FPCore (z0) (+ (* (sqrt E) (* (log z0) (log z0))) (* (* 16 (sqrt z0)) (log (- 1 z0)))))
(FPCore (z0) (+ (+ (+ (* z0 z0) (* z0 z0)) (* -64 (sqrt z0))) (* (* -8 (pow z0 2)) (* (log z0) (log z0)))))
(FPCore (z0) (* (* -4 (pow E 2)) z0))
(FPCore (z0 z1) (* (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))) (* z1 z1)))
(FPCore (z0) (sqrt (+ (pow z0 2) (* z0 z0))))
(FPCore (z0) (+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -8 z0) (* z0 z0))) (* (* -84 E) (log (- 1 z0)))))
(FPCore (z0) (* (* 2 (pow z0 3/2)) (* (log z0) (log z0))))
(FPCore (z0) (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) z0))
(FPCore (z0 z1 z2) (* (* (- z0 (* (+ z0 z0) z0)) (pow (* (- 1 z1) (- 1 z1)) (- z0 1))) z2))
(FPCore (z0) (* (* -8 (pow z0 2)) (* (log z0) (log z0))))
(FPCore (z0 z1) (* (+ (- 1 (* 11 z0)) (- (/ z0 z0))) (sin (* 2 z1))))
(FPCore (z0 z1 z2) (* (/ 1 (sqrt (fabs (- z0 z1)))) z2))
(FPCore (z0) (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0))
(FPCore (z0) (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) z0))
(FPCore (z0) (* (* -4 (pow z0 2)) (log (- 1 z0))))
(FPCore (z0) (+ z0 (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0) (+ (+ (+ (+ z0 z0) (* z0 z0)) (* -4 (pow z0 3/2))) (* (pow E 5/2) (* (log z0) (log z0)))))
(FPCore (z0 z1 z2) (/ (* (/ z0 z1) (* z2 z2)) (pow (sqrt z2) 4)))
(FPCore (z0) (* (* -8 (pow E 2)) (* (log (- 1 z0)) (log (- 1 z0)))))
(FPCore (z0 z1 z2) (/ z0 (sqrt (fabs (- z1 z2)))))
(FPCore (z0 z1) (* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0))))
(FPCore (z0) (* z0 (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))
(FPCore (z0 z1 z2) (* (sin z0) (- z1 z2)))
(FPCore (z0) (pow (+ 197/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1) (* (sqrt (* (log (fmax (- 1/2 (fabs (- z0 1/2))) 1/1000000)) -2)) z1))
(FPCore (z0 z1) (/ 1 (sqrt (fabs (- z0 z1)))))
(FPCore (z0) (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) z0))
(FPCore (z0) (sqrt (* z0 1000)))
(FPCore (z0 z1) (* (sqrt (fabs (- z0 z1))) (sqrt (fabs (+ z0 z1)))))
(FPCore (z0) (+ 1/2 (* 1/2 (cos (* (* PI 1/180) (+ z0 z0))))))
(FPCore (z0) (* (* -8 (pow E 2)) z0))
(FPCore (z0 z1 z2) (- z0 (* (* 1/2 z1) (- 1 (cos (+ z2 z2))))))
(FPCore (z0) (+ (+ (+ (+ z0 z0) (* z0 z0)) (* (* -4 z0) (log z0))) (* (* -8 E) (* (log z0) (log z0)))))
(FPCore (z0) (sqrt (* (fabs z0) 1000)))
(FPCore (z0 z1) (+ (* (* (pow z0 3) z1) z1) z1))
(FPCore (z0) (* (* 2 (pow E 3/2)) (* (log (- 1 z0)) (log (- 1 z0)))))
(FPCore (z0 z1) (+ z0 (* 1/2 (cos (* (* PI 1/180) (+ z1 z1))))))
(FPCore (z0) (+ z0 (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))))
(FPCore (z0 z1 z2) (+ (* (+ z0 z0) (+ z0 z0)) (* z1 (pow z0 z2))))
(FPCore (z0) (* (* -200 z0) (pow z0 -2)))
(FPCore (z0 z1 z2) (* (* (* (/ z0 8) z1) (pow (sqrt z0) 2)) (* (+ (- 1 z0) (- z0)) (cos (* 2 z2)))))
(FPCore (z0 z1) (pow (+ z0 z0) (- z1 3)))
(FPCore (z0 z1) (* z0 (* 2 (atan2 (sqrt z1) (sqrt z1)))))
(FPCore (z0 z1) (* (* (/ z0 8) z1) (pow (sqrt z0) 2)))
(FPCore (z0 z1 z2) (/ (* z0 z1) (pow z0 z2)))
(FPCore (z0 z1) (* z0 (* 2 (atan2 z1 z1))))
(FPCore (z0 z1) (* (* z0 z1) (pow z0 2)))
(FPCore (z0 z1) (sin (+ (+ z0 z0) z1)))
(FPCore (z0 z1) (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)))
(FPCore (z0) (- (/ (* -40 (pow z0 4)) (- 1 (* 5 z0))) (- (* (+ 1/2 z0) 11) 1)))
(FPCore (z0 z1 z2) (atan (/ (* z0 z1) z2)))
(FPCore (z0) (exp (* (- z0 2) -100)))
(FPCore (z0 z1) (* (* -200 (pow (cos z0) 4)) z1))
(FPCore (z0) (- (- (/ z0 z0) -11) (* (* -200 z0) (pow z0 -2))))
(FPCore (z0) (* (sin z0) (+ z0 z0)))
(FPCore (z0 z1) (* (* (* z0 z1) (pow z0 2)) (* (+ z0 z0) (cos z0))))
(FPCore (z0) (- (pow (* (/ z0 z0) (sqrt z0)) 2) (- (/ (- -1 z0) (- z0 1)) 1)))
(FPCore (z0 z1 z2) (- z0 (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1)))
(FPCore (z0 z1) (- (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1))
(FPCore (z0 z1 z2) (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) z2))
(FPCore (z0 z1) (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 z1)))))
(FPCore (z0) (pow (* z0 z0) 3))
(FPCore (z0 z1 z2) (pow (* z0 z1) z2))
(FPCore (z0 z1 z2) (pow (- (/ (+ z0 z0) (* z1 z1)) (/ (+ z0 z0) (* z2 z2))) 2))
(FPCore (z0 z1) (* z0 (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2))))
(FPCore (z0) (- 1/2 (* 1/2 (cos (* z0 z0)))))
(FPCore (z0) (* (pow (log (- 1 z0)) 3) (sqrt E)))
(FPCore (z0) (- 1/2 (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2)))
(FPCore (z0 z1) (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)))
(FPCore (z0 z1 z2) (- (/ (- (* (cos z0) z1) -1) (- (* z1 z1) 1)) z2))
(FPCore (z0 z1) (+ (pow (- (* z0 50813/6250) 31/8) 2) z1))
(FPCore (z0) (* (log z0) E))
(FPCore (z0 z1) (- -1 (* (* 1/2 z0) (- 1 (cos z1)))))
(FPCore (z0 z1 z2) (pow (* z0 (cos (* (/ z1 180) PI))) z2))
(FPCore (z0) (pow (* (log (- 1 z0)) E) 3))
(FPCore (z0) (* 3 (cos z0)))
(FPCore (z0 z1) (* z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))))
(FPCore (z0) (/ (/ (* z0 z0) (pow z0 4)) 4))
(FPCore (z0) (* (* -16 (exp 3/2)) z0))
(FPCore (z0 z1) (* (cos (* (* 1/180 z0) (+ z1 z1))) 1/2))
(FPCore (z0 z1) (- -1 (* (* 1/2 z0) (- 1 (cos (+ z1 z1))))))
(FPCore (z0 z1 z2) (* (/ (tan z0) z1) z2))
(FPCore (z0 z1) (* (* z0 z0) (- 1/2 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) z1))
(FPCore (z0) (* (cos (* (* 1/180 z0) (+ PI PI))) 1/2))
(FPCore (z0 z1) (pow (* (sin z0) z1) 2))
(FPCore (z0 z1) (* (tan (+ (* 1/2 z0) (/ PI 4))) z1))
(FPCore (z0 z1) (* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 3)))
(FPCore (z0 z1) (pow (* z0 (cos (* (/ z1 180) PI))) 2))
(FPCore (z0) (* (log (- 1 z0)) E))
(FPCore (z0) (pow (* (log z0) E) 3))
(FPCore (z0 z1) (* z0 (- 1/2 (* -1/2 (cos (+ z1 z1))))))
(FPCore (z0 z1) (* (cbrt z0) z1))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 1/16))
(FPCore (z0) (/ (* z0 z0) (sin z0)))
(FPCore (z0 z1) (- 1/2 (* (cos (* z0 z1)) 1/2)))
(FPCore (z0) (- 1/2 (* (cos (* (* 1/180 z0) (+ PI PI))) 1/2)))
(FPCore (z0) (* (log (- 1 (/ 1 z0))) E))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 13/80))
(FPCore (z0 z1) (* (cos (* (* 1/180 z0) (+ PI PI))) z1))
(FPCore (z0 z1 z2) (* z0 (- (* (sin (* z1 1/2)) (cos (* z2 1/2))) (* (cos (* z1 1/2)) (sin (* z2 1/2))))))
(FPCore (z0) (* 4343/1000 (log (* z0 z0))))
(FPCore (z0 z1) (sqrt (* (* z0 1000) z1)))
(FPCore (z0) (* (pow (log (- 1 (/ 1 (sqrt E)))) 3) z0))
(FPCore (z0) (* (cos z0) (cos z0)))
(FPCore (z0 z1) (fmax (- (+ 19/10 (* z0 50813/6250))) z1))
(FPCore (z0) (pow (+ 109/40 (* z0 50813/6250)) 2))
(FPCore (z0 z1) (- z0 (* (cos (* (* (+ PI PI) 1/180) z1)) 1/2)))
(FPCore (z0 z1) (* (* (/ (/ z0 z0) 8) z1) (pow (sqrt (- 1 z0)) 2)))
(FPCore (z0 z1) (- z0 (* (cos (* (* 1/180 z1) (+ PI PI))) 1/2)))
(FPCore (z0) (* (pow (log z0) 3) (sqrt E)))
(FPCore (z0 z1) (* (* (* 2 (- z0 1)) (+ (+ z0 z0) 1)) (sin z1)))
(FPCore (z0) (+ (cos (* (* 1/180 z0) (+ PI PI))) 1))
(FPCore (z0 z1) (* (* (* 2 z0) (+ z0 1)) (sin z1)))
(FPCore (z0 z1) (+ (pow (+ 197/40 (* z0 50813/6250)) 2) z1))
(FPCore (z0 z1) (pow (tanh (* z0 z1)) -2))
(FPCore (z0 z1) (* z0 (sqrt (* (log (fmax (- 1/2 (fabs (- z1 1/2))) 1/1000000)) -2))))
(FPCore (z0) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) z0))
(FPCore (z0 z1) (* (cos (* (* 1/90 z0) PI)) z1))
(FPCore (z0 z1 z2) (pow (tanh (* z0 (* z1 z2))) -2))
(FPCore (z0) (* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0))))
(FPCore (z0 z1) (+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0))))
(FPCore (z0) (+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1))
(FPCore (z0) (* (cos (* (* 1/90 z0) PI)) 1/2))
(FPCore (z0 z1 z2) (* (- 1/2 (* z0 1/2)) (* (cos z1) (cos z2))))
(FPCore (z0 z1) (+ (cos (* (* 1/180 z0) (+ PI PI))) z1))
(FPCore (z0 z1) (- (* (pow z0 4) -17/4) (* 933/50 (* z1 z1))))
(FPCore (z0) (* 5/2 (cos z0)))
(FPCore (z0) (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)))
(FPCore (z0) (* 5/2 (cos (+ z0 z0))))
(FPCore (z0 z1) (* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) z1))
(FPCore (z0 z1) (- z0 (* (cos (* (* 1/90 z1) PI)) 1/2)))
(FPCore (z0) (* (+ (cos (* (* 1/180 z0) (+ PI PI))) 1) 1/2))
(FPCore (z0 z1) (* z0 (pow z1 4681/10000)))
(FPCore (z0 z1) (* (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) 3) z1))
(FPCore (z0 z1) (* (pow (sqrt (- 1 z0)) 3) (+ (* (* z0 z0) (sin z1)) (* (* 3 z0) (+ z0 z0)))))
(FPCore (z0 z1) (+ (cos (* (* 1/180 z0) (+ z1 z1))) 1))
(FPCore (z0) (* z0 (* 1 (sqrt E))))
(FPCore (z0) (- 1/2 (* (cos z0) -1/2)))
(FPCore (z0 z1 z2) (- (sqrt (+ (* z0 z0) (* z1 z1))) z2))
(FPCore (z0) (* 5 (- 1/2 (* -1/2 (cos z0)))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (* (* 1/90 z0) PI)) 1/2)) (* z1 z1)))
(FPCore (z0 z1) (sin (* (+ z0 z0) (* 1/180 z1))))
(FPCore (z0) (* (* -20 z0) (pow z0 2)))
(FPCore (z0 z1 z2) (* (sin (+ (+ z0 z0) z1)) (- (pow (* z2 z2) 2) (- (/ z2 z2) 1))))
(FPCore (z0) (* (* -18 z0) (pow z0 2)))
(FPCore (z0) (pow z0 2/5))
(FPCore (z0 z1) (* z0 (/ (- z1 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24)))))
(FPCore (z0 z1) (* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1))))
(FPCore (z0 z1) (/ z0 (- -3/2 (* 5/2 (cos (+ z1 z1))))))
(FPCore (z0) (* (* (- 1 (sqrt E)) 3) z0))
(FPCore (z0) (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0))))
(FPCore (z0) (+ 1/2 (* 1/2 (sin (+ z0 z0)))))
(FPCore (z0) (* 1/2 (sin (+ (- (+ z0 z0)) (* PI 1/2)))))
(FPCore (z0 z1) (- z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))))
(FPCore (z0) (- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) -1/2))
(FPCore (z0) (* (* 3 z0) (pow z0 2)))
(FPCore (z0 z1) (pow (* (sin (* z0 z0)) z1) 2))
(FPCore (z0 z1 z2) (* (sin (+ (+ z0 z0) z1)) z2))
(FPCore (z0) (* (/ (/ (* z0 z0) (pow z0 4)) 4) (* (pow (sqrt z0) 3) (+ (* z0 z0) (* z0 z0)))))
(FPCore (z0 z1) (/ (pow z0 -2/3) z1))
(FPCore (z0 z1 z2) (cbrt (/ (- z0 z1) (+ z2 z2))))
(FPCore (z0 z1 z2) (/ z0 (+ 1 (pow (/ z1 z2) 2))))
(FPCore (z0) (/ z0 (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))))
(FPCore (z0) (- -3/2 (* 5/2 (cos (+ z0 z0)))))
(FPCore (z0 z1) (- (* (* (* z0 z1) (pow z0 3)) (* (+ z0 z0) (sin z0))) (* (/ (/ z0 z0) 4) (* (pow z0 3) (+ z0 z0)))))
(FPCore (z0) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))
(FPCore (z0) (- 3/40 (sqrt (+ (pow z0 2) (pow z0 2)))))
(FPCore (z0 z1 z2) (* (sin (+ (+ z0 z0) z1)) (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1))))
(FPCore (z0) (* (exp 7/2) z0))
(FPCore (z0 z1 z2) (/ z0 (* (* 1000000000000000000 (exp z1)) z2)))
(FPCore (z0) (* (* -9 (exp 5/2)) z0))
(FPCore (z0) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) z0))
(FPCore (z0 z1) (/ z0 (- 1 (* 5 (+ 1/2 (* 1/2 (cos (+ z1 z1))))))))
(FPCore (z0 z1 z2) (* z0 (* (cos z1) (sin z2))))
(FPCore (z0 z1) (/ (fabs z0) (sqrt (fabs z1))))
(FPCore (z0 z1) (* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) (sin (* 2 z1))))
(FPCore (z0 z1) (- (exp (* z0 z1)) 1))
(FPCore (z0 z1) (- (* (cos (* (* (+ PI PI) 1/180) z0)) 1/2) z1))
(FPCore (z0) (* (* (- 1 (sqrt z0)) 3) (- (+ (+ z0 z0) (+ z0 z0)) 24)))
(FPCore (z0) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24))))
(FPCore (z0 z1) (pow (* (sin (* (* 1/180 z0) PI)) z1) 2))
(FPCore (z0 z1) (- (* (cos (* z0 z1)) 1/2) -1/2))
(FPCore (z0) (- -3/2 (* 5/2 (cos z0))))
(FPCore (z0) (sin (* (+ PI PI) (* 1/180 z0))))
(FPCore (z0 z1) (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos z1)))))
(FPCore (z0 z1 z2) (+ z0 (pow (* (sin (* (* 1/180 z1) PI)) z2) 2)))
(FPCore (z0 z1) (+ (pow (- (* z0 50813/6250) 243/40) 2) z1))
(FPCore (z0) (pow (- (* z0 50813/6250) 243/40) 2))
(FPCore (z0 z1 z2) (* z0 (* (+ (- 1 (* 11 (pow (cos z1) 2))) (- (/ (* 40 (pow (cos z1) 4)) (- 1 (* 5 (pow (cos z1) 2)))))) (sin (* 2 z2)))))
(FPCore (z0) (* (- 1 (sqrt z0)) 3))
(FPCore (z0) (pow z0 33/10))
(FPCore (z0 z1) (- z0 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1)))))))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 7/40))
(FPCore (z0 z1 z2) (pow (* (sin (* (* 1/180 z0) PI)) z1) z2))
(FPCore (z0) (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0))))))
(FPCore (z0 z1) (sqrt (- (* z0 z0) (* z1 z1))))
(FPCore (z0) (* (+ 1/2 (* 1/2 (cos z0))) 11))
(FPCore (z0 z1) (/ (fabs z0) (sqrt z1)))
(FPCore (z0) (+ 1/2 (* 1/2 (sin z0))))
(FPCore (z0) (* (* 20 E) (log (- 1 z0))))
(FPCore (z0 z1) (- (* 3 (pow (cos z0) 2)) z1))
(FPCore (z0) (* (* -66 z0) (log z0)))
(FPCore (z0 z1 z2) (* (+ (+ (pow z0 2) (/ z0 z0)) 1/3) (sin (+ (* 2 z1) (* 3 z2)))))
(FPCore (z0) (- (* (* z0 z0) (sin z0)) (* (* z0 z0) (+ z0 z0))))
(FPCore (z0) (* (* 210 z0) (log z0)))
(FPCore (z0 z1 z2) (+ z0 (pow (/ z1 z2) 2)))
(FPCore (z0) (* (* -108 (sqrt E)) z0))
(FPCore (z0 z1) (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) z1))
(FPCore (z0) (* 15 (sqrt z0)))
(FPCore (z0) (* (* -108 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (- (- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) -1))
(FPCore (z0 z1) (pow (* (- z0 1) (- z0 1)) (- z1 1)))
(FPCore (z0 z1 z2) (* z0 (- (log z1) (* z2 z1))))
(FPCore (z0) (* (* 13 z0) (log z0)))
(FPCore (z0) (* (* 72 z0) (log z0)))
(FPCore (z0) (* (* 13 E) (log (- 1 z0))))
(FPCore (z0 z1) (* (log (fabs z0)) z1))
(FPCore (z0) (- 3/20 (sqrt (+ (pow z0 2) (pow z0 2)))))
(FPCore (z0) (* (* -1280 z0) (log z0)))
(FPCore (z0) (- (- (pow z0 2) (/ z0 z0)) -1))
(FPCore (z0) (* (* -8 E) (log (- 1 z0))))
(FPCore (z0) (* (* 53 z0) (log z0)))
(FPCore (z0) (* (* 15 z0) (log z0)))
(FPCore (z0) (* (* -108 z0) (log z0)))
(FPCore (z0) (* (+ (+ z0 z0) 1/3) (sin (+ z0 z0))))
(FPCore (z0 z1) (pow (tan (* (+ (+ z0 z0) PI) 1/4)) z1))
(FPCore (z0 z1) (* (- 1 z0) (* 4343/1000 (log z1))))
(FPCore (z0) (- (sqrt (+ (pow z0 2) (pow z0 2))) 1/4))
(FPCore (z0 z1) (- (pow (* (/ z0 z0) (sqrt z0)) 2) (/ (+ 1 (* z1 z0)) (pow (sqrt z0) 2))))
(FPCore (z0) (+ (pow z0 806282737481277/100000000000000) (* z0 z0)))
(FPCore (z0 z1) (* z0 (- (* 3 (pow (cos z1) 2)) 1)))
(FPCore (z0) (* (* -1280 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* 210 (sqrt z0)))
(FPCore (z0) (* (* -15 z0) (log z0)))
(FPCore (z0 z1 z2) (* (* (* (* z0 z1) (* z0 z0)) (- (- 1 z0) (/ z0 z0))) (sin (+ z2 z2))))
(FPCore (z0) (+ (+ (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))) 1/3))
(FPCore (z0 z1 z2) (/ (fabs z0) (sqrt (fabs (* z1 z2)))))
(FPCore (z0) (- -1 (* (fabs z0) 3275911/10000000)))
(FPCore (z0) (* (* -7 z0) (log z0)))
(FPCore (z0 z1) (/ z0 (pow z1 2)))
(FPCore (z0 z1) (+ (pow (- (* z0 50813/6250) 111/40) 2) z1))
(FPCore (z0) (* (* -18 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* 20 (sqrt z0)))
(FPCore (z0 z1) (+ (pow z0 806282737481277/100000000000000) z1))
(FPCore (z0) (* (* 120 z0) (log z0)))
(FPCore (z0) (- (* 3 (pow (cos z0) 2)) 1))
(FPCore (z0) (* (* -115 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (* (* 20 z0) (log z0)))
(FPCore (z0) (* (* 18 (sqrt E)) z0))
(FPCore (z0) (* (* 15 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) -1/2)))
(FPCore (z0) (* (* -70 E) (log (- 1 z0))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1))
(FPCore (z0) (* 3 (pow (cos z0) 2)))
(FPCore (z0 z1) (pow (/ (- -1 (* z0 z1)) (- (* z0 z1) 1)) (* z1 1/2)))
(FPCore (z0) (- (* (cos z0) (cos z0)) (* (sin z0) (sin z0))))
(FPCore (z0) (* 2 (- (* 3 (pow (cos z0) 2)) 1)))
(FPCore (z0) (* (* 210 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (pow (- 1 (sqrt z0)) 4))
(FPCore (z0) (* 18 (sqrt z0)))
(FPCore (z0) (* (* -70 z0) (log z0)))
(FPCore (z0) (* -108 (sqrt z0)))
(FPCore (z0) (* (* 210 (sqrt E)) z0))
(FPCore (z0) (* (* 20 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0 z1) (- z0 (* (fabs z1) 3275911/10000000)))
(FPCore (z0) (* (* -18 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (* (* -70 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* -930 z0) (log z0)))
(FPCore (z0) (log (+ 1 z0)))
(FPCore (z0) (* (* -115 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* 90 z0) (log z0)))
(FPCore (z0) (- (pow (* z0 z0) 2) (/ (+ 1 z0) (pow z0 2))))
(FPCore (z0 z1 z2) (* z0 (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1)))
(FPCore (z0) (/ 1 (+ (+ z0 z0) (log z0))))
(FPCore (z0) (* (* 30 z0) (log z0)))
(FPCore (z0) (* (* -1280 E) (log (- 1 z0))))
(FPCore (z0) (* (* 210 (sqrt E)) (log (- 1 (/ 1 z0)))))
(FPCore (z0 z1) (* z0 (pow z1 4)))
(FPCore (z0) (* (* 15 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (* -115 (sqrt z0)))
(FPCore (z0 z1) (* (* (* z0 z0) (- z0 z0)) (sin (+ z1 z1))))
(FPCore (z0 z1) (+ z0 (pow (+ 109/40 (* z1 50813/6250)) 2)))
(FPCore (z0 z1 z2) (* (cos (+ z0 z1)) z2))
(FPCore (z0) (* (* -115 z0) (log z0)))
(FPCore (z0 z1) (pow (/ (- -1 z0) (- z0 1)) (* z1 1/2)))
(FPCore (z0) (* (* 13 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (* -8 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (* (+ z0 1/3) (sin z0)))
(FPCore (z0) (* (* -180 z0) (log z0)))
(FPCore (z0 z1) (* (* 1/2 (- 2 z0)) (/ (fabs z1) (sqrt z0))))
(FPCore (z0) (* (* -530 z0) (log z0)))
(FPCore (z0 z1) (pow (+ z0 z0) (- z1 1)))
(FPCore (z0) (* (* -108 (sqrt z0)) (log (- 1 z0))))
(FPCore (z0) (* (* 20 (sqrt E)) z0))
(FPCore (z0 z1 z2) (+ (* z0 z1) (* (- 1 z0) (* 4343/1000 (log z2)))))
(FPCore (z0 z1) (* (sqrt z0) (fabs z1)))
(FPCore (z0) (* (sin (- z0 z0)) (- (* z0 z0) (* z0 z0))))
(FPCore (z0 z1) (sin (* (- z0 z1) -1/2)))
(FPCore (z0 z1 z2) (/ (- z0 (log z1)) z2))
(FPCore (z0) (log (- z0 -1)))
(FPCore (z0 z1 z2) (* (* (sin z0) z1) z2))
(FPCore (z0 z1) (* z0 (* 1/2 (cos z1))))
(FPCore (z0 z1) (+ (* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3))) (* (sin (+ z0 z1)) (- (pow z0 2) (- z0 1)))))
(FPCore (z0 z1) (* (- 1/2 (* 1/2 (cos z0))) (* z1 z1)))
(FPCore (z0 z1 z2) (* (* (cos z0) z1) z2))
(FPCore (z0 z1 z2) (* (+ (* (- (* (cos (+ z0 z0)) 1/2) -1/2) z1) (cos z0)) z2))
(FPCore (z0) (* (pow E 7/2) z0))
(FPCore (z0 z1 z2) (* (- (- (pow z0 2) (/ z0 z0)) -1) (sin (+ (* 2 z1) z2))))
(FPCore (z0 z1) (- (cbrt z0) (cbrt z1)))
(FPCore (z0) (* -9 (pow z0 5/2)))
(FPCore (z0) (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) z0))
(FPCore (z0 z1) (* (cos (- (* PI 1/2) z0)) z1))
(FPCore (z0 z1) (* (- (cos (* (* 1/90 z0) PI)) -1) z1))
(FPCore (z0 z1 z2) (* z0 (cos (+ (* 2 z1) (* 3 z2)))))
(FPCore (z0 z1 z2) (* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* z2 z2) 2) (+ (/ z2 z2) 1/3))))
(FPCore (z0) (- (* (* -84 z0) (log z0)) (* -16 E)))
(FPCore (z0) (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) z0))
(FPCore (z0 z1 z2) (+ (pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2) z2))
(FPCore (z0) (* (sin (- z0 z0)) (+ (pow z0 2) (+ z0 1/3))))
(FPCore (z0) (+ (* (- z0 -1) (sin z0)) (* (+ z0 1/3) (sin z0))))
(FPCore (z0) (/ (* (- 1/2 z0) (- 1/2 z0)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))))
(FPCore (z0) (* (- z0 -1) (sin z0)))
(FPCore (z0) (+ (pow (* (/ z0 z0) (sqrt z0)) 2) (+ (/ (- -1 z0) (- z0 1)) 1/3)))
(FPCore (z0 z1 z2) (* z0 (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3))))
(FPCore (z0) (- (sqrt (+ z0 1)) (sqrt z0)))
(FPCore (z0) (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) z0))
(FPCore (z0) (log (fabs (sin z0))))
(FPCore (z0 z1) (* (pow (* z0 z0) (- z0 1)) z1))
(FPCore (z0 z1) (* z0 (log (tan (+ z1 z1)))))
(FPCore (z0) (- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0))
(FPCore (z0) (+ (+ (* (* -8 z0) (pow z0 2)) (+ (* z0 z0) (+ z0 z0))) (- (* (* -84 z0) (log z0)) (* -16 E))))
(FPCore (z0 z1 z2) (* (* -3 z0) (sin (+ z1 z2))))
(FPCore (z0) (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) z0))
(FPCore (z0 z1) (- (pow z0 z1) 1))
(FPCore (z0) (* (- 1/2 (* -1/2 (cos (+ z0 z0)))) 11))
(FPCore (z0 z1) (* (* z0 z0) (floor z1)))
(FPCore (z0) (* z0 (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))
(FPCore (z0 z1) (* z0 (log (tan z1))))
(FPCore (z0) (- (* (* -84 E) (log (- 1 z0))) (* -16 E)))
(FPCore (z0) (sqrt (sqrt z0)))
(FPCore (z0 z1) (- (- (+ z0 z0) (* z0 3)) (* (sin z0) z1)))
(FPCore (z0 z1) (+ (* (- (- z0 z0) -1) (sin (+ z0 z1))) (* (+ (+ z0 z0) 1/3) (sin (+ z0 z0)))))
(FPCore (z0 z1) (* z0 (- 1 (pow (cos z1) 2))))
(FPCore (z0 z1 z2) (/ (* (/ z0 z1) (* (/ z0 z1) (* 1/2 z2))) (pow (sqrt (- 1 z2)) 4)))
(FPCore (z0 z1) (pow (- (* (sin (* z0 1/2)) (cos (* z1 1/2))) (* (cos (* z0 1/2)) (sin (* z1 1/2)))) 2))
(FPCore (z0) (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) z0))
(FPCore (z0 z1) (/ z0 (- -269813/62500 (fabs z1))))
(FPCore (z0) (* (* -9 (pow E 5/2)) z0))
(FPCore (z0) (pow (- (* z0 z0) (* z0 z0)) 2))
(FPCore (z0 z1) (* (- (- z0 z0) -1) (sin (+ z0 z1))))
(FPCore (z0 z1 z2) (+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6)))
(FPCore (z0 z1 z2) (+ (* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3))) (* (sin (+ (+ z0 z0) z1)) (- (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (- (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1)))))
(FPCore (z0 z1 z2) (* (- (+ (* (sin z0) z1) z0) z2) 6))
(FPCore (z0 z1 z2) (* (sin (- (+ z0 z0) (* -3 z1))) (+ (pow (* (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) (sqrt (- 1 (* z2 z2)))) 2) (+ (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 1/3))))
(FPCore (z0) (/ z0 (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30))))
(FPCore (z0) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) z0))
(FPCore (z0 z1) (* (- (cos (* (* 1/90 z0) PI)) -1) (* 1/2 (* z1 z1))))
(FPCore (z0) (+ (* (sin z0) (+ z0 z0)) (* (sin z0) (- z0 z0))))
(FPCore (z0) (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z0 z0)))))))
(FPCore (z0) (* (* z0 -1/8) (sin z0)))
(FPCore (z0 z1 z2) (* (* -3 z0) (sin (+ z1 (+ z2 z2)))))
(FPCore (z0 z1) (- (cos (* (* 1/90 z0) PI)) z1))
(FPCore (z0 z1) (* (- 1/2 (* (cos z0) 1/2)) z1))
(FPCore (z0) (* 3 (- 1 (pow (cos z0) 2))))
(FPCore (z0 z1) (fabs (* (* z0 z0) (floor z1))))
(FPCore (z0 z1) (* z0 (/ (* (- 1/2 z1) (- 1/2 z1)) (* (- (+ (+ (- (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E))))))) (* -16 E)) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))))) (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) 24) (* (+ (- 1 (* 2 (* 1 (sqrt E)))) E) 30)))))
(FPCore (z0 z1) (* (* -3 z0) (sin z1)))
(FPCore (z0 z1) (+ (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (+ (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 1/3)))
(FPCore (z0 z1 z2) (pow (/ z0 (+ z1 z0)) z2))
(FPCore (z0) (* (- 1/2 (* -1/2 (cos z0))) 11))
(FPCore (z0) (- (cos (* (* 1/90 z0) PI)) -1))
(FPCore (z0) (- (+ (* z0 z0) (* z0 6)) (* (sin z0) 3)))
(FPCore (z0) (* z0 (- (+ (- (+ (+ (+ (+ (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (+ (* -8 (pow (* E (log (- 1 (/ 1 (sqrt E))))) 2)) (- (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 2) (sqrt E))) (* 64 (sqrt E)))))) (- (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* -16 E))) (* (* 2 (pow E 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 4 (pow E 3/2))) (* (pow E 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)))
(FPCore (z0) (* 11/2 (cos z0)))
(FPCore (z0) (* (* -378 E) (log (- 1 z0))))
(FPCore (z0 z1 z2) (* (* (cos z0) (cos z1)) z2))
(FPCore (z0 z1 z2) (- (* (* 1/2 z0) (- 1 (cos (+ z1 z1)))) z2))
(FPCore (z0) (* 180 (/ (atan z0) PI)))
(FPCore (z0) (* (sqrt E) (pow (log (- 1 z0)) 2)))
(FPCore (z0 z1 z2) (* (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1)) (sin z2)))
(FPCore (z0 z1) (* z0 (+ 1/2 (* 1/2 (cos (* 2 z1))))))
(FPCore (z0 z1 z2) (* (sin (* z0 z1)) z2))
(FPCore (z0 z1) (/ (* (pow (cos z0) 4) 40) z1))
(FPCore (z0 z1 z2) (* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) (sin (+ (* 2 z2) (* 3 z1)))))
(FPCore (z0) (/ (atan z0) PI))
(FPCore (z0) (* (cos z0) (* z0 1/2)))
(FPCore (z0) (* (sin z0) 3))
(FPCore (z0 z1) (- z0 (- (* 11/2 (cos (+ z1 z1))) -9/2)))
(FPCore (z0 z1 z2) (* (pow z0 (- z1 3)) z2))
(FPCore (z0) (- (/ (* -40 (pow z0 4)) (- -3/2 (* 5/2 z0))) (- (* 11/2 (cos z0)) -9/2)))
(FPCore (z0) (* 11/2 (cos (+ z0 z0))))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) (pow (* (- 1 z2) (- 1 z2)) (- z1 1))))
(FPCore (z0 z1) (* z0 (cos (/ z1 2))))
(FPCore (z0) (sqrt (- (* z0 z0) (* z0 z0))))
(FPCore (z0 z1 z2) (* (+ (+ (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) 1/3) z2))
(FPCore (z0 z1) (pow (/ z0 z1) z0))
(FPCore (z0 z1 z2) (* (* 2 (- (* 3 (pow (cos z0) 2)) 1)) (+ (+ (pow (* (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2)) (sqrt (- 1 (pow z1 2)))) 2) (/ (+ 1 (* z1 (cos z2))) (pow (sqrt (- 1 (pow z1 2))) 2))) 1)))
(FPCore (z0 z1) (/ z0 (- -3/2 (* (cos (+ z1 z1)) 5/2))))
(FPCore (z0 z1) (- (cbrt z0) z1))
(FPCore (z0) (- (* 11/2 (cos z0)) -9/2))
(FPCore (z0) (* (pow (cos z0) 4) 40))
(FPCore (z0 z1) (cos (/ z0 z1)))
(FPCore (z0 z1 z2) (- (- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))) z2))
(FPCore (z0 z1) (/ z0 (- 1 (* 5 (- 1/2 (* -1/2 (cos (+ z1 z1))))))))
(FPCore (z0) (* 3 (- 1 (sqrt z0))))
(FPCore (z0 z1) (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) z1))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (sqrt (fabs z1))))
(FPCore (z0) (log (fabs (cos z0))))
(FPCore (z0) (* (sqrt z0) (pow z0 2)))
(FPCore (z0) (* (* -378 E) (log (- 1 (/ 1 z0)))))
(FPCore (z0) (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2)))
(FPCore (z0 z1) (fmax (- 29/5 (* z0 50813/6250)) z1))
(FPCore (z0 z1) (pow (/ z0 (+ z1 z0)) z0))
(FPCore (z0 z1) (* (cbrt z0) (- (cbrt z0) (cbrt z1))))
(FPCore (z0 z1) (- (pow (* (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2)) (sqrt (- 1 (pow z0 2)))) 2) (/ (+ 1 (* z0 (cos z1))) (pow (sqrt (- 1 (pow z0 2))) 2))))
(FPCore (z0) (* (sqrt E) (pow (log z0) 2)))
(FPCore (z0 z1) (* (sin (* (+ z0 z1) 2)) 3))
(FPCore (z0 z1 z2) (- (+ (* (* -3 z0) (sin z1)) (* (- z1 z2) 6)) (* (sin (* z1 2)) 3)))
(FPCore (z0) (pow (- (* z0 50813/6250) 67/40) 2))
(FPCore (z0 z1) (* (sqrt (fabs z0)) (fabs z1)))
(FPCore (z0) (- 9/20 (sqrt (+ (pow z0 2) (pow z0 2)))))