(FPCore (z1 z2 z0) (* (/ z1 z2) z0))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z1 z0) (cos (- z1 z0)))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0) (* 1/2 (- 1 (cos (+ z0 z0)))))
(FPCore (z0) (* z0 PI))
(FPCore (z1 z0) (* 1/2 (- 1 (cos (- z1 z0)))))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z1 z0) (* 1/2 (cos (- z1 z0))))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0) (* 1/6 z0))
(FPCore (z0 z1 z2) (/ z0 (sqrt (* z1 z2))))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0) (* PI z0))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0 z1) (* (* (* z0 z1) z0) z1))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (+ z2 z2))))
(FPCore (z0) (- (sqrt (- z0 -1)) (sqrt z0)))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0) (* (* -1/6 z0) z0))
(FPCore (z0 z1) (* (* 3 z0) z1))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0) (* (* 1/180 z0) PI))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1) (* (* z0 9) z1))
(FPCore (z0 z1) (sin (* (- z0 z1) 1/2)))
(FPCore (z0 z1) (- (cos z0) (cos z1)))
(FPCore (z0) (* (* 1/2 (- (sqrt 5) 1)) (cos z0)))
(FPCore (z0) (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1))
(FPCore (z0) (- (cos z0) 1))
(FPCore (z0) (sin (* (* 1/180 z0) PI)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0) (* -1/6 z0))
(FPCore (z0 z1) (* (* z0 z1) 3))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0) (- 1 (cos z0)))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0 z1) (sin (- z0 z1)))
(FPCore (z0 z1 z2) (/ (* (sin z0) z1) z2))
(FPCore (z0 z1) (* z0 (log (/ z0 z1))))
(FPCore (z0) (* (* 1/6 z0) z0))
(FPCore (z0) (cos (* -1/180 (* z0 PI))))
(FPCore (z0) (* (* 1/2 (cos z0)) (- (sqrt 5) 1)))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 3)))
(FPCore (z0 z1) (* (cos (* 1/2 z0)) (sin (* 1/2 z1))))
(FPCore (z0 z1) (* -27 (* z0 z1)))
(FPCore (z0 z1) (* (* z0 27) z1))
(FPCore (z0 z1) (pow (* (floor z0) z1) 2))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 4)))
(FPCore (z0 z1) (* (* z0 z1) PI))
(FPCore (z0) (* (* z0 z0) 900))
(FPCore (z1 z0) (* 1/2 (+ 1 (cos (- z1 z0)))))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0 z1 z2) (* (sin (- z0 z1)) (cos z2)))
(FPCore (z0) (* 1/180 z0))
(FPCore (z0) (sin (* (+ z0 z0) PI)))
(FPCore (z0) (* (- (* 1/4 z0) -1/3) z0))
(FPCore (z0) (* (* (- (sqrt 5) 3) 1/2) (cos z0)))
(FPCore (z0 z1) (/ 1 (* z0 z1)))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0) (* (sqrt 2) (- 1 (cos z0))))
(FPCore (z0 z1 z2) (* (* 1/4 (* z0 z0)) (* (/ z1 (* z2 z2)) z1)))
(FPCore (z0) (* (* 3 z0) z0))
(FPCore (z0 z1) (* (* -2 z0) (cos (* 1/2 z1))))
(FPCore (z0 z2 z1) (* (cos z0) (* 1/2 (- 1 (cos (- z2 z1))))))
(FPCore (z0 z1 z2) (sqrt (/ z0 (* z1 z2))))
(FPCore (z0) (- 1/2 (* -1/6 z0)))
(FPCore (z0 z2 z1) (* z0 (/ (- z2 z1) z2)))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 4))))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 3))))
(FPCore (z0) (* (* z0 PI) 1/90))
(FPCore (z1 z2 z0) (* -9/2 (* (/ z1 z2) z0)))
(FPCore (z0) (- 1 (cos (+ z0 z0))))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0 z1) (+ (* 1/2 (- 1 (cos (+ z0 z0)))) (* 1/2 (- 1 (cos (+ z1 z1))))))
(FPCore (z0 z1 z2) (/ (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))) -1) 2))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 4) z2)))
(FPCore (z0 z1) (sqrt (/ (+ z0 z0) z1)))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (+ (+ (+ z0 z1) z2) z2)))
(FPCore (z0) (cos (* (+ z0 z0) PI)))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))))
(FPCore (z0 z1 z2) (/ (* (- z0) z1) z2))
(FPCore (z0 z1 z2) (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))) -1))
(FPCore (z0) (/ 1/3 z0))
(FPCore (z0 z1 z2) (* 1/2 (* (* 1/4 (* z0 z0)) (* (/ z1 (* z2 z2)) z1))))
(FPCore (z0) (* (sqrt 2) z0))
(FPCore (z0) (sin (* z0 30)))
(FPCore (z1 z0) (* (cos (- z1 z0)) 1/2))
(FPCore (z0) (* z0 3275911/10000000))
(FPCore (z0) (cos (* z0 -30)))
(FPCore (z0 z1 z2) (* (/ (* (sin z0) z1) z2) z1))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1) (* (/ z0 (+ z1 z1)) z0))
(FPCore (z0 z1) (* (sin (* z0 30)) (cos (* z1 -30))))
(FPCore (z0) (sqrt (/ 1 z0)))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0 z1) (- (sqrt (/ (+ z0 z0) z1))))
(FPCore (z1 z2 z0) (* -2 (* (/ z1 z2) z0)))
(FPCore (z0) (* -3275911/10000000 z0))
(FPCore (z0) (- (* -3275911/10000000 z0) 1))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0) (* (* -1/2 (- 3 (sqrt 5))) (cos z0)))
(FPCore (z0 z1) (sqrt (* -4 (* z0 z1))))
(FPCore (z0) (* 1/2 (cos (* (* z0 PI) -1/90))))
(FPCore (z0 z1 z2) (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2)))
(FPCore (z0 z1 z2) (* (* (* -2 z0) (cos (* 1/2 z1))) (sqrt (+ 1 (pow (/ z2 (* (+ z0 z0) (cos (* 1/2 z1)))) 2)))))
(FPCore (z0 z1) (* (+ z0 z0) (cos (* 1/2 z1))))
(FPCore (z0 z1) (/ z0 (* -3 z1)))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))))
(FPCore (z0 z1 z2) (sqrt (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2))))
(FPCore (z0) (cos (* (* z0 PI) -1/90)))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0 z1 z2) (* z0 (/ z1 (* z2 z2))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 4) z2))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 3 z1) z2)))
(FPCore (z0 z1 z2) (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2))
(FPCore (z0 z1 z2) (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))))
(FPCore (z0) (- (* 1/6 z0) -1/2))
(FPCore (z0) (* (- (cos z0) 1) (sqrt 2)))
(FPCore (z0 z1 z2) (/ (* (* z0 z1) z0) (* z2 z2)))
(FPCore (z0) (* 1/2 (+ 1 (cos (* (* z0 PI) -1/90)))))
(FPCore (z0 z1) (- (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1) (* (* (- (sqrt 5) 3) 1/2) (cos z1))))
(FPCore (z0) (- (* z0 3275911/10000000) -1))
(FPCore (z0 z1 z2) (- (* z0 (log (/ z0 z1))) z2))
(FPCore (z0 z1) (* (- z0 1/2) (log z1)))
(FPCore (z0 z1) (* (* (+ z0 z0) z1) z0))
(FPCore (z0 z1) (- (* (* (- (sqrt 5) 3) 1/2) (cos z0)) (- (* (* 1/2 (- (sqrt 5) 1)) (cos z1)) -1)))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 3 z1) z2)))))
(FPCore (z0 z1) (* 1/3 (/ z0 z1)))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 3 z1) z2))))
(FPCore (z0 z1) (* (/ z0 z1) 1/3))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 3 z1) z2)))) (* 3 z1)))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1) (sqrt (+ (* 1/2 (- 1 (cos (+ z0 z0)))) (* 1/2 (- 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1 z2) (* (/ (- z0 -7936500793651/10000000000000000) z1) z2))
(FPCore (z0 z1) (/ -1 (* (- (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1) (* (* (- (sqrt 5) 3) 1/2) (cos z1))) 3)))
(FPCore (z0 z1 z2) (* (* (/ (- z0 -7936500793651/10000000000000000) z1) z2) z2))
(FPCore (z0 z1) (sqrt (* -4 (/ z0 z1))))
(FPCore (z0) (- (* (- z0 1/2) (log z0)) z0))
(FPCore (z0) (* 3 (sqrt z0)))
(FPCore (z0 z1) (/ z0 (* z1 -3/2)))
(FPCore (z0 z1) (* (- (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1) (* (* (- (sqrt 5) 3) 1/2) (cos z1))) 3))
(FPCore (z0 z1) (* z0 (tan z1)))
(FPCore (z0 z1 z2) (* (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))) (cos z2)))
(FPCore (z0 z1) (* (- z0 1) (log z1)))
(FPCore (z0) (* (* z0 z0) PI))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* (* z1 z2) 3))) z0))
(FPCore (z0) (* (- (/ 2 (* z0 (/ (- z0 -1) z0))) 2) (- (/ 2 (* z0 (/ (- z0 -1) z0))) 2)))
(FPCore (z0 z1) (- (* (* (* (* (+ z0 z1) (+ z0 z1)) (+ z0 z1)) (+ z0 z1)) (+ z0 z1)) (* (* (* (* z0 z0) z0) z0) z0)))
(FPCore (z0) (* (sin z0) (sqrt 2)))
(FPCore (z0 z1) (* (* (+ PI PI) z0) z1))
(FPCore (z0 z1) (* (* 1/2 (+ 1 (cos (* (* z0 PI) -1/90)))) (* z1 z1)))
(FPCore (z0) (* (- z0 1/2) (log z0)))
(FPCore (z0) (- (* (- z0 1/2) (log z0)) (- z0 91893853320467/100000000000000)))
(FPCore (z0 z1) (* (* (* (* z0 z1) z0) z1) (* (* (* z0 z1) z0) z1)))
(FPCore (z0) (* (* 1/2 (cos z0)) (- (sqrt 5) 3)))
(FPCore (z0) (- 2 (/ 2 (* z0 (/ (- z0 -1) z0)))))
(FPCore (z0) (* (sqrt 2) (- (cos z0) 1)))
(FPCore (z0 z1) (* 27 (* z0 z1)))
(FPCore (z0 z1) (* (- (sin z0) (* 1/16 (sin z1))) (sqrt 2)))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0) (* (* (* (* z0 z0) z0) z0) 5))
(FPCore (z0 z1) (* (sqrt (- (log (- 1 z0)))) (cos (* (+ PI PI) z1))))
(FPCore (z0 z1 z2) (* (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000) z1))
(FPCore (z0 z1) (* (* (* (- z0) z1) z1) z0))
(FPCore (z0) (/ 1 (* (* (* z0 z0) z0) z0)))
(FPCore (z0) (* z0 (sqrt (/ 1 z0))))
(FPCore (z0) (sin (* PI z0)))
(FPCore (z0) (/ 1/2 (* z0 (sqrt (/ 1 z0)))))
(FPCore (z0 z1) (* (* (* (* (* z0 z0) z0) z0) 5) z1))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z2) z2))
(FPCore (z0) (* (* z0 z0) -1/6))
(FPCore (z0 z1) (/ (sin z0) (sqrt (+ (* 1/2 (- 1 (cos (+ z1 z1)))) (* 1/2 (- 1 (cos (+ z0 z0))))))))
(FPCore (z0 z2 z1) (* (cos z0) (cos (- z2 z1))))
(FPCore (z0 z1) (* -1/3 (/ z0 z1)))
(FPCore (z0 z1) (/ (- z0) (tan z1)))
(FPCore (z0 z1) (* (/ (+ z0 z0) z1) z0))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* (* z1 z2) 4))) z0))
(FPCore (z0) (+ 1/2 (* 1/2 (cos z0))))
(FPCore (z0 z1) (* (* (- (sin z0) (* 1/16 (sin z1))) (sqrt 2)) (- (sin z1) (* 1/16 (sin z0)))))
(FPCore (z0 z1 z2) (* (/ -2 (* (* (sin z0) z1) z1)) z2))
(FPCore (z0) (* (* 1/2 (- 1 (cos (+ z0 z0)))) (* (sqrt 2) (- (cos z0) 1))))
(FPCore (z0) (- (* (* 1/2 (cos z0)) (- (sqrt 5) 1)) -1))
(FPCore (z0) (* (* -1/16 (* 1/2 (- 1 (cos (+ z0 z0))))) (* (sqrt 2) (- (cos z0) 1))))
(FPCore (z0) (* 692910599291889/10000000000000000 z0))
(FPCore (z0 z1 z2) (* (- (* (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000) z1) -28832688827/125000) z1))
(FPCore (z0 z1) (* (* z0 (cos (* -1/180 (* z1 PI)))) (sin (* (* 1/180 z1) PI))))
(FPCore (z0 z1) (/ z0 (tan z1)))
(FPCore (z0) (* (* 1/2 (- 1 (cos (+ z0 z0)))) (* (sqrt 2) (- 1 (cos z0)))))
(FPCore (z0 z1) (/ z0 (sqrt z1)))
(FPCore (z0 z1) (* (* 9 z0) z1))
(FPCore (z0) (* (* -1/16 (* 1/2 (- 1 (cos (+ z0 z0))))) (* (sqrt 2) (- 1 (cos z0)))))
(FPCore (z0 z1) (* (* (* 6 PI) z0) z1))
(FPCore (z0) (* (* 1/90 z0) PI))
(FPCore (z0 z1 z2) (* (sin z0) (/ z1 (fabs (sin z2)))))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z0) z2))
(FPCore (z0 z1) (/ z0 (fabs (sin z1))))
(FPCore (z0) (* z0 (sqrt PI)))
(FPCore (z0) (/ (sin z0) z0))
(FPCore (z0) (* (/ (- 3 (sqrt 5)) 2) (cos z0)))
(FPCore (z0) (cos (* (* 1/90 z0) PI)))
(FPCore (z0 z1) (* 3/4 (/ (exp (/ z0 (* -3 z1))) (* (* (* 6 PI) z1) z0))))
(FPCore (z0 z1 z2) (/ (- z0) (sqrt (* z1 z2))))
(FPCore (z0 z1) (/ (- (- (* (* 3 z0) z0) z1) (+ z1 z0)) (- (* z0 z0) -1)))
(FPCore (z0 z1 z2) (- (+ z0 z0) (* (* -27 z1) z2)))
(FPCore (z0) (* (* 6 PI) z0))
(FPCore (z0 z1 z2) (/ (* z0 (- z1 z2)) z1))
(FPCore (z0 z1) (sqrt (- 1 (* -1/4 (* (/ z0 (* z1 z1)) z0)))))
(FPCore (z0 z1) (* 1/4 (/ (exp (/ (- z0) z1)) (* (* (+ PI PI) z1) z0))))
(FPCore (z0 z1) (/ z0 (cos z1)))
(FPCore (z0 z1) (/ -4 (* z0 z1)))
(FPCore (z1 z0) (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)))
(FPCore (z0) (* (cos (* -1/180 (* z0 PI))) (sin (* (* 1/180 z0) PI))))
(FPCore (z1 z0) (- (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))))
(FPCore (z0 z1) (cos (* -1/2 (+ z0 z1))))
(FPCore (z0) (* (* -1/16 (sin z0)) (* (sqrt 2) (- 1 (cos z0)))))
(FPCore (z0 z1 z2) (* (* (* (* z0 z1) z0) z1) z2))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) (+ z0 z0)))
(FPCore (z0) (/ -3/4 (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1) (* -1/2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1) (/ z0 (* (- z1 -1) z1)))
(FPCore (z0) (* -1/6 (* (* z0 z0) z0)))
(FPCore (z1 z0) (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))))
(FPCore (z0) (* (cos z0) (- (sqrt 5) 3)))
(FPCore (z0 z1 z2) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (fmax (fmax (fmax (- (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- -23/10 (* z0 10)) (fmax (fmax (- (* z1 10) 29/5) (- 5 (* z2 10))) (- (* z0 10) 6))) (- (* z2 10) 6)) (- 33/10 (* z1 10))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (fmax (fmax (- 7/2 (* z1 10)) (- (* z1 10) 33/2)) (+ 41/10 (* z0 10))) (- (* z0 -10) 27/2)) (- (* z2 10) 9)) (- 5 (* z2 10))) (fmax (fmax (fmax (fmax (fmax (- (* z2 10) 9) (- (* z1 10) 33/2)) (- 5 (* z2 10))) (- 1/2 (* z1 10))) (+ 15/2 (* z0 10))) (- -17/2 (* z0 10)))) (fmax (fmax (fmax (fmax (fmax (- 31/10 (* z1 10)) (- (* z2 10) 9)) (- (* z0 10) 21/2)) (- 13/2 (* z0 10))) (- 3 (* z2 10))) (- (* z1 10) 13/2))) (fmax (fmax (- (* z2 10) 29/5) (fmax (fmax (fmax (- 5 (* z2 10)) (fmax (- (* z1 10) 33/2) (+ 41/10 (* z0 10)))) (- 3/2 (* z1 10))) (- -61/10 (* z0 10)))) (- (- (* z2 8) 5/2) (* z1 10)))) (fmax (fmax (fmax (fmax (fmax (- 31/10 (* z1 10)) (- 5 (* z2 10))) (- (* z2 10) 29/5)) (- (* z1 10) 6)) (- (* z0 10) 31/5)) (- -5/2 (* z0 10))))) (fmax (fmax (fmax (fmax (fmax (fmax (- (* z1 10) 33/2) (+ 41/10 (* z0 10))) (- 3/2 (* z1 10))) (- -61/10 (* z0 10))) (- 67/10 (* z2 10))) (- (* z2 10) 15/2)) (- (- 15/2 (* z2 8)) (* z1 10)))) (fmax (fmax (- 67/10 (* z2 10)) (fmax (fmax (- (* z0 10) 31/5) (fmax (- 31/10 (* z1 10)) (- (* z1 10) 6))) (- -5/2 (* z0 10)))) (- (* z2 10) 15/2))) (fmax (fmax (fmax (- (* z2 10) 15/2) (fmax (- -23/10 (* z0 10)) (fmax (- (* z1 10) 29/5) (- (* z0 10) 6)))) (- 13/2 (* z2 10))) (- 33/10 (* z1 10))))) (- 11/2 (* z2 10))) (- (* z0 10) 9)) (- -17/2 (* z0 10))) (- (* z2 10) 7)) (- (* z1 10) 13/2)) (- -7/2 (* z1 10))) (fmin (fmax (fmax (fmax (fmax (fmax (- -3 (* z2 10)) (fmax (- (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (+ 5/2 (* z2 10)))) (- (* z1 10) 5/2)) (- (* z0 10) 9)) (- -7/2 (* z0 10))) (- -7/2 (* z1 10))) (fmax (fmax (fmax (fmax (fmax (- 26/5 (* z2 10)) (fmax (- (* z2 10) 57/10) (- (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))))) (- (* z1 10) 5/2)) (- (* z0 10) 9)) (- -7/2 (* z0 10))) (- -7/2 (* z1 10))))) (fmax (fmax (fmax (fmax (fmax (+ 27/5 (* z0 10)) (- (* z1 10) 7/2)) (- -13/2 (* z0 10))) (- (* z2 10) 34/5)) (- 57/10 (* z2 10))) (- 33/10 (* z1 10)))) (fmax (fmax (- 53/10 (* z2 10)) (fmax (- (* z2 10) 36/5) (fmax (fmax (- (* z1 10) 67/10) (- (* z0 10) 13/2)) (- -43/10 (* z0 10))))) (- 13/2 (* z1 10)))) (fmax (fmax (fmax (fmax (fmax (+ (+ (* z1 8619/5000) 543983/100000) (* z0 98503/10000)) (- (- (* z1 8619/5000) 397829/50000) (* z0 98503/10000))) (+ (* z1 184289/100000) (- (* z2 122859/12500) 374413/50000))) (- (+ (* z1 184289/100000) 95953/20000) (* z2 122859/12500))) (- (* z1 10) 39/10)) (- 33/10 (* z1 10)))) (fmax (fmax (- 29/5 (* z2 10)) (- (* z2 10) 67/10)) (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2))))
(FPCore (z0) (* 1/24 z0))
(FPCore (z2 z0 z1) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (fmax (fmax (fmax (- (fmin (fmin (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z2 10) 7/2) (- 1/2 (* z2 10))) (- -7/2 (* z0 10))) (+ 1 (* z0 10))) (- (sqrt (+ (* (- 2 (* z2 10)) (- 2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- 4 (* z2 10)) (- (* z2 10) 7)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (- 11/2 (* z2 10)) (- 11/2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z2 10)) (- (* z2 10) 21/2)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (- 9 (* z2 10)) (- 9 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- -3 (* z2 10)) (* z2 10)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (+ 3/2 (* z2 10)) (+ 3/2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2))) (+ 5/2 (* z1 10))) (- -3 (* z1 10))) (- (* z0 10) 5/2)) (- (* z2 10) 9)) (- -7/2 (* z2 10))) (- -7/2 (* z0 10))) (fmax (fmax (fmax (fmax (- (* z0 10) 5/2) (fmax (fmax (- (fmin (fmin (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z2 10) 7/2) (- 1/2 (* z2 10))) (- -7/2 (* z0 10))) (+ 1 (* z0 10))) (- (sqrt (+ (* (- 2 (* z2 10)) (- 2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- 4 (* z2 10)) (- (* z2 10) 7)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (- 11/2 (* z2 10)) (- 11/2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z2 10)) (- (* z2 10) 21/2)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (- 9 (* z2 10)) (- 9 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2)) (fmax (fmax (fmax (- -3 (* z2 10)) (* z2 10)) (- -7/2 (* z0 10))) (+ 1 (* z0 10)))) (- (sqrt (+ (* (+ 3/2 (* z2 10)) (+ 3/2 (* z2 10))) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))) 3/2))) (- (* z1 10) 57/10)) (- 26/5 (* z1 10)))) (- (* z2 10) 9)) (- -7/2 (* z2 10))) (- -7/2 (* z0 10)))) (fmax (fmax (fmax (fmax (fmax (fmax (- (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- -23/10 (* z2 10)) (fmax (- (* z2 10) 6) (fmax (- 5 (* z1 10)) (- (* z0 10) 29/5)))) (- (* z1 10) 6)) (- 33/10 (* z0 10))) (fmin (fmin (fmax (fmax (fmax (fmax (fmax (fmax (- (* z0 10) 33/2) (+ 41/10 (* z2 10))) (- 5 (* z1 10))) (- 3/2 (* z0 10))) (- -61/10 (* z2 10))) (- (* z1 10) 29/5)) (- (- (* z1 8) 5/2) (* z0 10))) (fmin (fmin (fmax (fmax (fmax (fmax (fmax (- 7/2 (* z0 10)) (- (* z0 10) 33/2)) (+ 41/10 (* z2 10))) (- (* z2 -10) 27/2)) (- (* z1 10) 9)) (- 5 (* z1 10))) (fmax (fmax (fmax (fmax (fmax (- (* z0 10) 33/2) (- (* z1 10) 9)) (- 5 (* z1 10))) (- 1/2 (* z0 10))) (+ 15/2 (* z2 10))) (- -17/2 (* z2 10)))) (fmax (fmax (fmax (fmax (- (* z2 10) 21/2) (fmax (- 31/10 (* z0 10)) (- (* z1 10) 9))) (- 13/2 (* z2 10))) (- 3 (* z1 10))) (- (* z0 10) 13/2)))) (fmax (fmax (fmax (fmax (fmax (- 31/10 (* z0 10)) (- 5 (* z1 10))) (- (* z1 10) 29/5)) (- (* z0 10) 6)) (- (* z2 10) 31/5)) (- -5/2 (* z2 10))))) (fmax (fmax (fmax (fmax (fmax (fmax (- (* z0 10) 33/2) (+ 41/10 (* z2 10))) (- 3/2 (* z0 10))) (- -61/10 (* z2 10))) (- 67/10 (* z1 10))) (- (* z1 10) 15/2)) (- (- 15/2 (* z1 8)) (* z0 10)))) (fmax (fmax (- 67/10 (* z1 10)) (fmax (fmax (- (* z2 10) 31/5) (fmax (- (* z0 10) 6) (- 31/10 (* z0 10)))) (- -5/2 (* z2 10)))) (- (* z1 10) 15/2))) (fmax (fmax (fmax (- (* z1 10) 15/2) (fmax (fmax (- (* z2 10) 6) (- (* z0 10) 29/5)) (- -23/10 (* z2 10)))) (- 13/2 (* z1 10))) (- 33/10 (* z0 10))))) (- 11/2 (* z1 10))) (- (* z2 10) 9)) (- -17/2 (* z2 10))) (- (* z1 10) 7)) (- (* z0 10) 13/2)) (- -7/2 (* z0 10)))) (fmax (fmax (fmax (fmax (fmax (- (* z0 10) 7/2) (+ 27/5 (* z2 10))) (- -13/2 (* z2 10))) (- (* z1 10) 34/5)) (- 57/10 (* z1 10))) (- 33/10 (* z0 10)))) (fmax (fmax (fmax (fmax (fmax (- (* z0 10) 67/10) (- (* z2 10) 13/2)) (- -43/10 (* z2 10))) (- (* z1 10) 36/5)) (- 53/10 (* z1 10))) (- 13/2 (* z0 10)))) (fmax (fmax (fmax (- (+ (* z0 184289/100000) 95953/20000) (* z1 122859/12500)) (fmax (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z2 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z2 98503/10000))) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000)))) (- (* z0 10) 39/10)) (- 33/10 (* z0 10)))))
(FPCore (z0 z1) (+ (* 1/4 (/ (exp (/ (- z0) z1)) (* (* (+ PI PI) z1) z0))) (* 3/4 (/ (exp (/ z0 (* -3 z1))) (* (* (* 6 PI) z1) z0)))))
(FPCore (z0 z1 z2) (* (* z0 z0) (* (/ z1 (* z2 z2)) z1)))
(FPCore (z0) (* (sin z0) (* (sqrt 2) (- 1 (cos z0)))))
(FPCore (z0) (/ 1/2 (* z0 z0)))
(FPCore (z0 z1) (- 1 (* -1/4 (* (/ z0 (* z1 z1)) z0))))
(FPCore (z0 z1) (- (* (/ z0 (* z1 z1)) z0) 1))
(FPCore (z0 z1) (* (* (/ z0 (* z1 z1)) z0) 1/4))
(FPCore (z0) (* 1/2 (cos (* (* 1/90 z0) PI))))
(FPCore (z0 z1 z2) (fmin (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (fmax (fmax (fmax (- (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- -23/10 (* z0 10)) (fmax (fmax (- (* z1 10) 29/5) (- 5 (* z2 10))) (- (* z0 10) 6))) (- (* z2 10) 6)) (- 33/10 (* z1 10))) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (fmax (fmax (- 7/2 (* z1 10)) (- (* z1 10) 33/2)) (+ 41/10 (* z0 10))) (- (* z0 -10) 27/2)) (- (* z2 10) 9)) (- 5 (* z2 10))) (fmax (fmax (fmax (fmax (fmax (- (* z2 10) 9) (- (* z1 10) 33/2)) (- 5 (* z2 10))) (- 1/2 (* z1 10))) (+ 15/2 (* z0 10))) (- -17/2 (* z0 10)))) (fmax (fmax (fmax (fmax (fmax (- 31/10 (* z1 10)) (- (* z2 10) 9)) (- (* z0 10) 21/2)) (- 13/2 (* z0 10))) (- 3 (* z2 10))) (- (* z1 10) 13/2))) (fmax (fmax (- (* z2 10) 29/5) (fmax (fmax (fmax (- 5 (* z2 10)) (fmax (- (* z1 10) 33/2) (+ 41/10 (* z0 10)))) (- 3/2 (* z1 10))) (- -61/10 (* z0 10)))) (- (- (* z2 8) 5/2) (* z1 10)))) (fmax (fmax (fmax (fmax (fmax (- 31/10 (* z1 10)) (- 5 (* z2 10))) (- (* z2 10) 29/5)) (- (* z1 10) 6)) (- (* z0 10) 31/5)) (- -5/2 (* z0 10))))) (fmax (fmax (fmax (fmax (fmax (fmax (- (* z1 10) 33/2) (+ 41/10 (* z0 10))) (- 3/2 (* z1 10))) (- -61/10 (* z0 10))) (- 67/10 (* z2 10))) (- (* z2 10) 15/2)) (- (- 15/2 (* z2 8)) (* z1 10)))) (fmax (fmax (- 67/10 (* z2 10)) (fmax (fmax (- (* z0 10) 31/5) (fmax (- 31/10 (* z1 10)) (- (* z1 10) 6))) (- -5/2 (* z0 10)))) (- (* z2 10) 15/2))) (fmax (fmax (fmax (- (* z2 10) 15/2) (fmax (- -23/10 (* z0 10)) (fmax (- (* z1 10) 29/5) (- (* z0 10) 6)))) (- 13/2 (* z2 10))) (- 33/10 (* z1 10))))) (- 11/2 (* z2 10))) (- (* z0 10) 9)) (- -17/2 (* z0 10))) (- (* z2 10) 7)) (- (* z1 10) 13/2)) (- -7/2 (* z1 10))) (fmin (fmax (fmax (fmax (fmax (fmax (- -3 (* z2 10)) (fmax (- (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (+ 5/2 (* z2 10)))) (- (* z1 10) 5/2)) (- (* z0 10) 9)) (- -7/2 (* z0 10))) (- -7/2 (* z1 10))) (fmax (fmax (fmax (fmax (fmax (- 26/5 (* z2 10)) (fmax (- (* z2 10) 57/10) (- (fmin (fmin (fmax (fmax (- -7/2 (* z1 10)) (fmax (- -3 (* z0 10)) (* z0 10))) (+ 1 (* z1 10))) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))))) (- (* z1 10) 5/2)) (- (* z0 10) 9)) (- -7/2 (* z0 10))) (- -7/2 (* z1 10))))) (fmax (fmax (fmax (fmax (fmax (+ 27/5 (* z0 10)) (- (* z1 10) 7/2)) (- -13/2 (* z0 10))) (- (* z2 10) 34/5)) (- 57/10 (* z2 10))) (- 33/10 (* z1 10)))) (fmax (fmax (- 53/10 (* z2 10)) (fmax (- (* z2 10) 36/5) (fmax (fmax (- (* z1 10) 67/10) (- (* z0 10) 13/2)) (- -43/10 (* z0 10))))) (- 13/2 (* z1 10)))) (fmax (fmax (fmax (fmax (fmax (+ (+ (* z1 8619/5000) 543983/100000) (* z0 98503/10000)) (- (- (* z1 8619/5000) 397829/50000) (* z0 98503/10000))) (+ (* z1 184289/100000) (- (* z2 122859/12500) 374413/50000))) (- (+ (* z1 184289/100000) 95953/20000) (* z2 122859/12500))) (- (* z1 10) 39/10)) (- 33/10 (* z1 10)))) (fmax (fmax (- 29/5 (* z2 10)) (- (* z2 10) 67/10)) (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2))) (fmax (fmax (fmax (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2) (fmax (- (* z2 10) 34/5) (- 57/10 (* z2 10)))) (- 13/10 (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))))) (- 33/10 (* z1 10)))))
(FPCore (z0 z1) (* (* PI z0) z1))
(FPCore (z0 z1) (* z0 (sin (* (/ z1 180) PI))))
(FPCore (z0) (/ (* (* 4 z0) z0) (* (- -1 z0) (- -1 z0))))
(FPCore (z0 z1) (+ (* (- 11/5 (* z0 5)) (- 11/5 (* z0 5))) (* (- 21/20 (* z1 10)) (- 21/20 (* z1 10)))))
(FPCore (z0 z1 z2) (+ (sqrt (- (* z0 z0) (* (* z1 4) z2))) z0))
(FPCore (z0 z1) (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0) (* z0 98503/10000))
(FPCore (z0) (sqrt (/ 2 z0)))
(FPCore (z0 z1) (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))))
(FPCore (z0) (* (- (* z0 10) 33/10) (- (* z0 10) 33/10)))
(FPCore (z0) (* 6 (* (* (* z0 z0) z0) z0)))
(FPCore (z0) (/ (- (* (* -1/16 (* 1/2 (- 1 (cos (+ z0 z0))))) (* (sqrt 2) (- (cos z0) 1))) 2) (- (* (* 1/2 (cos z0)) (- (sqrt 5) 3)) (+ 1 (* 1/2 (- (sqrt 5) 1))))))
(FPCore (z0 z1) (- (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (+ 11/2 (* z1 10)) (+ 11/2 (* z1 10))))) 3/2))
(FPCore (z0 z1) (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (+ 11/2 (* z1 10)) (+ 11/2 (* z1 10))))))
(FPCore (z0 z1) (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)))
(FPCore (z0) (log (/ (- z0 -1) z0)))
(FPCore (z0 z1) (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (+ 11/2 (* z1 10)) (+ 11/2 (* z1 10)))))
(FPCore (z0 z1) (log (- 1 (/ z0 z1))))
(FPCore (z0 z1) (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (* z1 z1) 100)))
(FPCore (z0 z1) (* (sin (* 1/2 z0)) (cos (* 1/2 z1))))
(FPCore (z0 z1) (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10)))))
(FPCore (z0 z1) (+ (* z0 184289/100000) (* z1 122859/12500)))
(FPCore (z0) (* (- 97/20 (* z0 10)) (- 97/20 (* z0 10))))
(FPCore (z0 z1) (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (- 7/2 (* z1 10)) (- 7/2 (* z1 10))))))
(FPCore (z0 z1) (- (- (* z0 8619/5000) 397829/50000) (* z1 98503/10000)))
(FPCore (z0 z1) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000)))
(FPCore (z0) (+ 397829/50000 (* z0 98503/10000)))
(FPCore (z0 z2 z1) (fmax (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z2 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z2 98503/10000))) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000))))
(FPCore (z0 z1 z2) (/ (* z0 (pow z1 z2)) (+ 1 (* z1 (+ 10 z1)))))
(FPCore (z0) (/ (+ 1 (/ (* (* 4 z0) z0) (* (- -1 z0) (- -1 z0)))) (+ 2 (/ (* (* 4 z0) z0) (* (- -1 z0) (- -1 z0))))))
(FPCore (z0) (- 1 (* (/ (- (sqrt 5) 1) -2) (cos z0))))
(FPCore (z0 z1 z2) (fmax (fmax (- (+ (* z0 184289/100000) 95953/20000) (* z1 122859/12500)) (fmax (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z2 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z2 98503/10000))) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000)))) (- (* z0 10) 39/10)))
(FPCore (z0) (* (+ 11/4 (* z0 10)) (+ 11/4 (* z0 10))))
(FPCore (z1 z0) (cbrt (/ z1 (+ z0 z0))))
(FPCore (z0) (/ PI (- z0)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 4 z1) z2)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 z2)))
(FPCore (z0 z1 z2) (/ (* z0 (fabs z1)) (+ z2 z2)))
(FPCore (z0 z1) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)))
(FPCore (z0 z1) (* (* (* (cos z0) z1) (/ z1 (* z0 z0))) 2))
(FPCore (z0 z1) (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10)))))
(FPCore (z0) (- (* (* 1/2 (cos z0)) (- (sqrt 5) 3)) (+ 1 (* 1/2 (- (sqrt 5) 1)))))
(FPCore (z0 z1) (- (- (* (* 1/2 (cos z0)) (- (sqrt 5) 1)) -1) (* (* -1/2 (- 3 (sqrt 5))) (cos z1))))
(FPCore (z1 z2 z0) (* 9 (* (/ z1 z2) z0)))
(FPCore (z0 z1) (+ (* (- 11/5 (* z0 5)) (- 11/5 (* z0 5))) (* (+ 131/20 (* z1 10)) (+ 131/20 (* z1 10)))))
(FPCore (z0 z1) (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10)))))
(FPCore (z0) (/ 15/8 (* (* (* (* (* z0 z0) z0) z0) z0) z0)))
(FPCore (z0 z1) (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z1 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z1 98503/10000))))
(FPCore (z1 z2 z0) (fmax (- (sqrt (+ (* (- -41/10 (* z1 10)) (- -41/10 (* z1 10))) (* (- (* z2 10) 33/10) (- (* z2 10) 33/10)))) 3/2) (fmax (- 57/10 (* z0 10)) (- (* z0 10) 34/5))))
(FPCore (z0) (+ 2 (/ (* (* 4 z0) z0) (* (- -1 z0) (- -1 z0)))))
(FPCore (z0 z1 z2) (* z0 (* (/ z1 (* z2 z2)) z1)))
(FPCore (z0) (- (sqrt z0) (sqrt (- z0 -1))))
(FPCore (z0 z1) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))
(FPCore (z0) (* (- 37/5 (* z0 10)) (- 37/5 (* z0 10))))
(FPCore (z0) (* (* 1/2 (- 1 (cos (+ z0 z0)))) (sqrt 2)))
(FPCore (z0) (* (- 2 (* z0 10)) (- 2 (* z0 10))))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) z2))
(FPCore (z0 z1) (/ (- (/ (- z0 z1) (- (+ z1 z0) -2)) -1) 2))
(FPCore (z0) (* (- 9 (* z0 10)) (- 9 (* z0 10))))
(FPCore (z0) (* (- (* z0 10) 7/2) (- (* z0 10) 7/2)))
(FPCore (z2) (* (/ 1 (* (* (* (* (* z2 z2) z2) z2) z2) z2)) 0))
(FPCore (z0) (* z0 122859/12500))
(FPCore (z0 z1) (- (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)) (* (* (* -3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)))))
(FPCore (z0 z1) (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2))
(FPCore (z0 z1) (* z0 (- (exp z1) 1)))
(FPCore (z0 z1) (+ 1 (/ (+ (* (- (sqrt 5) 1) (cos z0)) (* (- 3 (sqrt 5)) (cos z1))) 2)))
(FPCore (z0 z1) (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))))
(FPCore (z0 z1 z2) (fmax (fmax (fmax (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2) (fmax (- (* z2 10) 34/5) (- 57/10 (* z2 10)))) (- 13/10 (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))))) (- 33/10 (* z1 10))))
(FPCore (z0 z1) (* 3 (/ (- (- (* (* 3 z0) z0) z1) (+ z1 z0)) (- (* z0 z0) -1))))
(FPCore (z0 z1) (- (/ (- z0 z1) (- (+ z1 z0) -2)) -1))
(FPCore (z0 z1) (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))))
(FPCore (z2 z0 z1) (fmax (fmax (- 29/5 (* z2 10)) (- (* z2 10) 67/10)) (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2)))
(FPCore (z0 z1) (* 3 (+ 1 (/ (+ (* (- (sqrt 5) 1) (cos z0)) (* (- 3 (sqrt 5)) (cos z1))) 2))))
(FPCore (z0 z1) (- (+ (* z0 184289/100000) 95953/20000) (* z1 122859/12500)))
(FPCore (z0 z1) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6)))
(FPCore (z0 z1) (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0) (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))))
(FPCore (z0 z1) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3))
(FPCore (z0 z1) (+ (+ (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)) (+ (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (* (* z0 z0) z0))) z0))
(FPCore (z0 z1) (+ (+ (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)) (+ (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (* (* z0 z0) z0))) (+ z0 (* 3 (/ (- (- (* (* 3 z0) z0) z1) (+ z1 z0)) (- (* z0 z0) -1))))))
(FPCore (z0 z1 z2) (- (* (* z0 z1) 3) (* z2 z2)))
(FPCore (z0 z1) (* (* -2 z0) (sqrt (+ 1 (* 1/4 (* (/ z1 (* z0 z0)) z1))))))
(FPCore (z0 z1 z2) (fmax (- (+ (* z0 184289/100000) 95953/20000) (* z1 122859/12500)) (fmax (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z2 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z2 98503/10000))) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000)))))
(FPCore (z0) (+ 1 (/ (* (* 4 z0) z0) (* (- -1 z0) (- -1 z0)))))
(FPCore (z0 z1) (* 1/3 (/ z0 (sqrt z1))))
(FPCore (z0) (* (* z0 z0) 100))
(FPCore (z0 z1) (* (* z0 18) z1))
(FPCore (z0 z1) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))
(FPCore (z0) (* 314159265359/50000000000 z0))
(FPCore (z0) (* (* -1/16 (* 1/2 (- 1 (cos (+ z0 z0))))) (sqrt 2)))
(FPCore (z0) (* (+ 131/20 (* z0 10)) (+ 131/20 (* z0 10))))
(FPCore (z0) (/ -1061405429/1000000000 (- (* z0 3275911/10000000) -1)))
(FPCore (z0) (* (- 11/5 (* z0 5)) (- 11/5 (* z0 5))))
(FPCore (z0 z1) (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10)))))
(FPCore (z0) (* (+ 1 (* z0 10)) (+ 1 (* z0 10))))
(FPCore (z0 z1) (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))))
(FPCore (z0 z1) (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))))
(FPCore (z0 z1) (+ (+ (* z0 8619/5000) 543983/100000) (* z1 98503/10000)))
(FPCore (z0 z1) (- (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (* z1 z1) 100))) 3/2))
(FPCore (z0) (* (+ 11/2 (* z0 10)) (+ 11/2 (* z0 10))))
(FPCore (z0) (* (* (* (- (cos z0) 1) (sqrt 2)) (* 1/2 (- 1 (cos (+ z0 z0))))) 1/16))
(FPCore (z0 z1) (* z0 (sqrt (+ 1 (* 1/4 (* (/ z1 (* z0 z0)) z1))))))
(FPCore (z0) (* (- 61/20 (* z0 5)) (- 61/20 (* z0 5))))
(FPCore (z0) (acos (- z0 1)))
(FPCore (z0 z1) (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (- 7/2 (* z1 10)) (- 7/2 (* z1 10)))))
(FPCore (z0 z1) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 z2))))
(FPCore (z0 z1) (* (- (cos z0) (cos z1)) (* (* (- (sin z0) (* 1/16 (sin z1))) (sqrt 2)) (- (sin z1) (* 1/16 (sin z0))))))
(FPCore (z0 z1) (+ z0 (+ (+ (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)) (+ (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (* (* z0 z0) z0))) (+ z0 (* 3 (/ (- (- (* (* 3 z0) z0) z1) (+ z1 z0)) (- (* z0 z0) -1)))))))
(FPCore (z0 z1 z2) (* (* (- z0) z1) z2))
(FPCore (z0 z1) (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))))
(FPCore (z0 z1 z2) (fmax (fmax (fmax (- (+ (* z0 184289/100000) 95953/20000) (* z1 122859/12500)) (fmax (fmax (+ (+ (* z0 8619/5000) 543983/100000) (* z2 98503/10000)) (- (- (* z0 8619/5000) 397829/50000) (* z2 98503/10000))) (+ (* z0 184289/100000) (- (* z1 122859/12500) 374413/50000)))) (- (* z0 10) 39/10)) (- 33/10 (* z0 10))))
(FPCore (z0) (- 1 (* -3275911/10000000 z0)))
(FPCore (z0) (acos (- 1 z0)))
(FPCore (z0 z1) (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (* z1 z1) 100))))
(FPCore (z0 z1) (* (- 1/2 z0) (log z1)))
(FPCore (z0) (* z0 184289/100000))
(FPCore (z0 z1 z2) (fmax (fmax (- (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))) 3/2) (fmax (- (* z2 10) 34/5) (- 57/10 (* z2 10)))) (- 13/10 (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10))))))))
(FPCore (z0 z1) (- 13/10 (sqrt (+ (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))) (* (- 33/10 (* z1 10)) (- 33/10 (* z1 10)))))))
(FPCore (z0) (* (- 21/20 (* z0 10)) (- 21/20 (* z0 10))))
(FPCore (z0 z1 z2) (* z0 (/ (fabs z1) z2)))
(FPCore (z0 z1) (* (* (cos z0) z1) (/ z1 (* z0 z0))))
(FPCore (z0) (* (* (- (cos z0) 1) (sqrt 2)) (* 1/2 (- 1 (cos (+ z0 z0))))))
(FPCore (z0 z1) (- (sqrt (+ (* (- -3/2 (* z0 10)) (- -3/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))
(FPCore (z0 z1) (- (sqrt (+ (* (+ 1 (* z0 10)) (+ 1 (* z0 10))) (* (- 7/2 (* z1 10)) (- 7/2 (* z1 10))))) 3/2))
(FPCore (z0 z1) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2))
(FPCore (z0) (+ (* z0 184289/100000) 95953/20000))
(FPCore (z0) (* (- -41/10 (* z0 10)) (- -41/10 (* z0 10))))
(FPCore (z0 z1) (+ (* (+ (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))) (- (* z0 z0) -1)) (+ (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (* (* z0 z0) z0))))
(FPCore (z0 z1) (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10)))))
(FPCore (z0 z1) (* (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3)))
(FPCore (z0) (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))))
(FPCore (z0 z1) (+ (* (- 11/5 (* z0 5)) (- 11/5 (* z0 5))) (* (- 97/20 (* z1 10)) (- 97/20 (* z1 10)))))
(FPCore (z0) (- 1/2 (* 1/6 z0)))
(FPCore (z0 z1) (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0) (* (/ (- (sqrt 5) 1) 2) (cos z0)))
(FPCore (z0 z1 z2) (log (* (+ z0 z1) z2)))
(FPCore (z0 z1 z2) (/ (- (sqrt (- (* z0 z0) (* (* z1 z2) 4))) z0) (+ z2 z2)))
(FPCore (z0) (- (/ -1061405429/1000000000 (- (* z0 3275911/10000000) -1)) -1453152027/1000000000))
(FPCore (z0) (sin (* (+ PI PI) z0)))
(FPCore (z0 z1) (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)))
(FPCore (z0 z1) (pow (* z0 (sin (* (/ z1 180) PI))) 2))
(FPCore (z1 z2 z0) (fmax (- (fmin (fmin (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- 1/2 (* z1 10)) (- (* z1 10) 7/2)) (- -7/2 (* z2 10))) (+ 1 (* z2 10))) (- (sqrt (+ (* (- 2 (* z1 10)) (- 2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- 4 (* z1 10)) (- (* z1 10) 7)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- 11/2 (* z1 10)) (- 11/2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z1 10)) (- (* z1 10) 21/2)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- 9 (* z1 10)) (- 9 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- -3 (* z1 10)) (* z1 10)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- -3/2 (* z1 10)) (- -3/2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2))) (- (* z0 10) 57/10)))
(FPCore (z0) (* (sqrt (* PI 2)) (pow (+ (- z0) 15/2) (- (- z0) -1/2))))
(FPCore (z0) (* (* z0 z0) 1/6))
(FPCore (z0 z1 z2) (- (/ z0 z1) (/ 54929528941/2000000 (* z2 z1))))
(FPCore (z0 z1) (* 900 (+ (* z0 z0) (* z1 z1))))
(FPCore (z0) (/ 2 (* z0 z0)))
(FPCore (z0) (/ (- (/ 1/3 z0) 1/2) z0))
(FPCore (z0 z1 z2) (/ z0 (* (* (* z1 z2) z2) PI)))
(FPCore (z0 z1 z2) (- (* (* (* z0 z0) -3/8) (/ z1 (* z2 z2))) (* 1/2 z0)))
(FPCore (z0 z1 z2) (sqrt (+ (* 900 (+ (* z0 z0) (* z1 z1))) (* (* z2 z2) 900))))
(FPCore (z0) (* 1/5 z0))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z0 z1) (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)))
(FPCore (z0) (- (/ 1/3 z0) 1/2))
(FPCore (z0 z1) (* (cos z0) (/ (sin z1) (cos (+ z1 z0)))))
(FPCore (z0 z1) (* z0 (sqrt (/ z1 z0))))
(FPCore (z0) (* (* z0 z0) -3/8))
(FPCore (z0) (/ 1 (* z0 9)))
(FPCore (z0 z1) (- (cos (+ z0 z0)) (- 1 (cos (+ z1 z1)))))
(FPCore (z1 z0) (* (+ (- (- 1 (cos (+ z1 z1))) (cos (+ z0 z0))) 1) 1/2))
(FPCore (z0 z1) (* -3/8 (* (* z0 z0) z1)))
(FPCore (z0 z1 z2) (+ (* z0 z0) (* (+ z1 z2) (- z1 z2))))
(FPCore (z0 z1) (* z0 (cos (* -1/180 (* z1 PI)))))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))))
(FPCore (z0) (* (- (* -1/4 z0) 1/3) z0))
(FPCore (z1 z0) (sqrt (* (+ (- (- 1 (cos (+ z1 z1))) (cos (+ z0 z0))) 1) 1/2)))
(FPCore (z0) (* (* (sqrt (* PI 2)) (pow (+ (- z0) 15/2) (- (- z0) -1/2))) (exp (- z0 15/2))))
(FPCore (z0) (/ 2/9 z0))
(FPCore (z0) (* 1/2 (- 1 (cos (* (* z0 PI) -1/90)))))
(FPCore (z0 z1) (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 9 (* z0 10)) (- 9 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)))
(FPCore (z0 z1) (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))))
(FPCore (z0 z1 z2) (* z0 (- (/ z1 z2) (/ 54929528941/2000000 (* z0 z2)))))
(FPCore (z0 z1) (* (- (cos (+ z0 z0)) (- 1 (cos (+ z1 z1)))) 1/2))
(FPCore (z0 z1) (- (* (cos (* 1/2 z0)) (sin (* 1/2 z1))) (* (cos (* 1/2 z1)) (sin (* 1/2 z0)))))
(FPCore (z0 z1 z2) (/ z0 (* (* z1 z2) PI)))
(FPCore (z0 z1) (pow (- (* (cos (* 1/2 z0)) (sin (* 1/2 z1))) (* (cos (* 1/2 z1)) (sin (* 1/2 z0)))) 2))
(FPCore (z0 z1) (* z0 (cos (/ (* z1 PI) -180))))
(FPCore (z0 z1) (sqrt (* -16 (* z0 z1))))
(FPCore (z0) (/ 1 (sin z0)))
(FPCore (z0 z1 z2) (/ (+ (* z0 z0) (* (+ z1 z2) (- z1 z2))) (* z1 2)))
(FPCore (z0 z1 z2) (/ (- z0) (* (* (* z1 z2) z2) PI)))
(FPCore (z0 z1) (* (* (* z0 z1) z1) PI))
(FPCore (z0) (/ (- (/ -1061405429/1000000000 (- (* z0 3275911/10000000) -1)) -1453152027/1000000000) (- (* z0 3275911/10000000) -1)))
(FPCore (z0 z1) (* (* (+ z0 z0) z0) z1))
(FPCore (z0 z1 z2) (fmax (+ 5/2 (* z0 10)) (- (fmin (fmin (fmin (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- 1/2 (* z1 10)) (- (* z1 10) 7/2)) (- -7/2 (* z2 10))) (+ 1 (* z2 10))) (- (sqrt (+ (* (- 2 (* z1 10)) (- 2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- 4 (* z1 10)) (- (* z1 10) 7)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- 11/2 (* z1 10)) (- 11/2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z1 10)) (- (* z1 10) 21/2)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- 9 (* z1 10)) (- 9 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)) (fmax (fmax (fmax (- -3 (* z1 10)) (* z1 10)) (- -7/2 (* z2 10))) (+ 1 (* z2 10)))) (- (sqrt (+ (* (- -3/2 (* z1 10)) (- -3/2 (* z1 10))) (* (+ 1 (* z2 10)) (+ 1 (* z2 10))))) 3/2)))))
(FPCore (z0 z1 z2) (+ (* 900 (+ (* z0 z0) (* z1 z1))) (* (* z2 z2) 900)))
(FPCore (z0 z1) (/ 54929528941/2000000 (* z0 z1)))
(FPCore (z0) (* (- 28/5 (* z0 10)) (- 28/5 (* z0 10))))
(FPCore (z0) (* (* PI z0) 1/180))
(FPCore (z0) (* (* 1/2 (cos z0)) (- 3 (sqrt 5))))
(FPCore (z0 z1) (+ (* (+ 131/20 (* z0 10)) (+ 131/20 (* z0 10))) (* (- 28/5 (* z1 10)) (- 28/5 (* z1 10)))))
(FPCore (z0) (/ (+ PI PI) z0))
(FPCore (z0 z1 z2) (* (* (* z0 18) z1) z2))
(FPCore (z0 z1 z2) (- (sqrt (+ (* 900 (+ (* z0 z0) (* z1 z1))) (* (* z2 z2) 900))) 25))
(FPCore (z0) (* z0 (- 1/3 (* -1/4 z0))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 4 z1) z2))))
(FPCore (z0 z1 z2) (* (/ z0 (+ z1 z1)) z2))
(FPCore (z0 z1 z2) (* (* (* z0 z0) -3/8) (/ z1 (* z2 z2))))
(FPCore (z0 z1) (* (* (* (* (* (* z0 z0) z0) z0) z0) z0) z1))
(FPCore (z0) (* (cos z0) (- (sqrt 5) 1)))
(FPCore (z0 z1) (fmin (fmin (fmin (fmin (fmax (fmax (fmax (- (* z0 10) 7/2) (- 1/2 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10))) (- (sqrt (+ (* (- 2 (* z0 10)) (- 2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- (* z0 10) 7) (- 4 (* z0 10))) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))) (- (sqrt (+ (* (- 11/2 (* z0 10)) (- 11/2 (* z0 10))) (* (+ 1 (* z1 10)) (+ 1 (* z1 10))))) 3/2)) (fmax (fmax (fmax (- 15/2 (* z0 10)) (- (* z0 10) 21/2)) (- -7/2 (* z1 10))) (+ 1 (* z1 10)))))
(FPCore (z0 z1) (+ (* (- 28/5 (* z0 10)) (- 28/5 (* z0 10))) (* (- 97/20 (* z1 10)) (- 97/20 (* z1 10)))))
(FPCore (z0) (* -1/2 (- 1 (cos (+ z0 z0)))))
(FPCore (z0 z1) (sqrt (* -16 (/ z0 z1))))
(FPCore (z0) (- 1/2 (* -1/3 z0)))
(FPCore (z0 z1) (* z0 (/ (- 1 z0) z1)))
(FPCore (z0 z1 z2) (* (cos z0) (pow (- (* (cos (* 1/2 z1)) (sin (* 1/2 z2))) (* (cos (* 1/2 z2)) (sin (* 1/2 z1)))) 2)))
(FPCore (z0) (* (- z0 11/40) (- z0 11/40)))
(FPCore (z0 z1) (/ z0 (* 3 (sqrt z1))))
(FPCore (z0 z1 z2) (* (cos z0) (sin (- z1 z2))))
(FPCore (z0 z1) (* z0 (sqrt (/ -4 (* z1 z0)))))
(FPCore (z0 z1) (* (* (* (- z0) z0) z1) z1))
(FPCore (z0 z1) (log (- 1 (/ (- z0 z1) (- 1 z1)))))
(FPCore (z0 z1) (/ (- 3652704169880641883561/100000000000000000000 (/ (+ 45796100221584283915100827016327/100000000000000000000000000000 z0) z1)) (- z1)))
(FPCore (z0) (sin (* 30 z0)))
(FPCore (z0) (/ z0 (sqrt PI)))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 z1)) z2) z2))
(FPCore (z0) (* 1/720 (* z0 z0)))
(FPCore (z0 z1) (/ (- 3652704169880641883561/100000000000000000000 (/ (+ 45796100221584283915100827016327/100000000000000000000000000000 z0) z1)) z1))
(FPCore (z0 z1 z2) (sin (* z0 (atan2 z1 z2))))
(FPCore (z0 z1 z2) (/ (+ (* (- (* (+ z0 7936500793651/10000000000000000) z1) 13888888888889/5000000000000000) z1) 83333333333333/1000000000000000) z2))
(FPCore (z0 z1 z2) (* -1/3 (/ z0 (* z1 z2))))
(FPCore (z0) (- (exp (+ z0 z0)) 1))
(FPCore (z0) (cos (* 30 z0)))
(FPCore (z0) (* 1/2 (- 1 (cos (* (* 1/90 z0) PI)))))
(FPCore (z0 z1) (+ (* (- 28/5 (* z0 10)) (- 28/5 (* z0 10))) (* (- 21/20 (* z1 10)) (- 21/20 (* z1 10)))))
(FPCore (z0 z1) (- 1 (/ (- z0 z1) (- 1 z1))))
(FPCore (z0) (- (/ -3/4 (* (* (* z0 z0) z0) z0)) (/ 15/8 (* (* (* (* (* z0 z0) z0) z0) z0) z0))))
(FPCore (z0 z1) (/ z0 (* z1 3)))
(FPCore (z0 z1 z2) (* (cos z0) (* (cos z1) (sin z2))))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z2) 1/2))
(FPCore (z0 z1) (- (* (/ -2 (- (sqrt 5) -3)) (cos z0)) (- (* (* 1/2 (- (sqrt 5) 1)) (cos z1)) -1)))
(FPCore (z0) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (+ (- (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -84 E) (* (* -8 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -4 (* E E)) (* (* (* -8 E) E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (- (* (* (sqrt (* (* E E) E)) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -16 (sqrt (* (* E E) E))) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (sqrt (* (* E E) E))) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)))))
(FPCore (z0) (pow (tan z0) 2))
(FPCore (z0) (* (- (+ (+ (+ (+ (+ (* (* -18 E) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (+ (+ (* (* (* E E) -116) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (+ (- (+ (+ (* (* 210 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (* 20 (sqrt E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 3) (sqrt E))) (* 1200 (sqrt E))) (+ (* (* (* (* E E) E) -18) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (* (* -20 (* (* E E) E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))))) (- (* (* -720 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -120 (* E E)) (log (- 1 (/ 1 (sqrt E)))))))) (- (* (* -220 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 1280 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (- (* -300 E) (* (* (sqrt (* (* E E) E)) -3) (pow (log (- 1 (/ 1 (sqrt E)))) 3))) (- (* (* (sqrt (* (* E E) E)) -20) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 930 (sqrt (* (* E E) E))) (log (- 1 (/ 1 (sqrt E)))))))) (+ (* (* (exp 5/2) 3) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (* (* (exp 5/2) 120) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (+ (* (* (exp 5/2) -20) (log (- 1 (/ 1 (sqrt E))))) (* (exp 7/2) (pow (log (- 1 (/ 1 (sqrt E)))) 3)))) 120) (/ (* (- 1/2 z0) (- 1/2 z0)) (* (+ (- (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -84 E) (* (* -8 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -4 (* E E)) (* (* (* -8 E) E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (- (* (* (sqrt (* (* E E) E)) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -16 (sqrt (* (* E E) E))) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (sqrt (* (* E E) E))) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)) (* (+ (* 2 (- 1/2 (sqrt E))) E) 30)))))
(FPCore (z0 z1) (/ (+ 45796100221584283915100827016327/100000000000000000000000000000 z0) z1))
(FPCore (z0 z1) (/ (+ 2 (* (+ z0 z0) (- 1 z1))) (* z1 z0)))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))) (+ z1 z1)))
(FPCore (z0 z1) (- (* (* 1/4 z0) z1) (* -1/3 z0)))
(FPCore (z1 z0 z2) (* (cos (- z1 z0)) (sin z2)))
(FPCore (z0 z1 z2) (* -90 (/ z0 (* (* z1 z2) PI))))
(FPCore (z0) (* (/ -2 (- (sqrt 5) -3)) (cos z0)))
(FPCore (z0) (/ (* (- 1/2 z0) (- 1/2 z0)) (* (+ (- (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -84 E) (* (* -8 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (log (- 1 (/ 1 (sqrt E)))) (+ (* -4 (* E E)) (* (* (* -8 E) E) (log (- 1 (/ 1 (sqrt E))))))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (- (* (* (sqrt (* (* E E) E)) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -16 (sqrt (* (* E E) E))) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (sqrt (* (* E E) E))) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)) (* (+ (* 2 (- 1/2 (sqrt E))) E) 30))))
(FPCore (z0) (* (cos (* -1/180 (* z0 PI))) 2))
(FPCore (z0) (- (* 1/2 PI) (* (+ PI PI) z0)))