(FPCore (z0 z1) (* z0 z1))
(FPCore (z0) (* z0 z0))
(FPCore (z0 z1) (- z0 z1))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0) (+ z0 z0))
(FPCore (z0) (cos z0))
(FPCore (z0) (- z0))
(FPCore (z0) (sin z0))
(FPCore (z0 z1) (+ z0 z1))
(FPCore (z0) (- z0 -1))
(FPCore (z0) (- 1 z0))
(FPCore (z0) (* (- 1 (cos (+ z0 z0))) 1/2))
(FPCore (z0) (cos (+ z0 z0)))
(FPCore (z0) (sqrt z0))
(FPCore (z0) (- z0 1))
(FPCore (z0) (tan z0))
(FPCore (z0) (/ 1 z0))
(FPCore (z0) (log z0))
(FPCore (z0) (* (- (cos (+ z0 z0)) -1) 1/2))
(FPCore (z0) (* 1/2 z0))
(FPCore (z0 z1) (/ (- z0) z1))
(FPCore (z1 z0) (cos (- z1 z0)))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z0) z0)
(FPCore (z0) (* (* (* z0 z0) z0) z0))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0) (* (* z0 z0) z0))
(FPCore (z0 z1 z2) (* z0 (- z1 z2)))
(FPCore (z0) (* -2 z0))
(FPCore (z0) (sqrt (- z0 -1)))
(FPCore (z0) (* z0 PI))
(FPCore (z0) (* (cos (+ z0 z0)) -1/2))
(FPCore (z0) (exp z0))
(FPCore (z1 z0) (* 1/2 (- 1 (cos (- z1 z0)))))
(FPCore (z0 z1) (- 1 (* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0) (* (* 1/180 z0) PI))
(FPCore (z0) (* -1/2 z0))
(FPCore (z0 z1) (* z0 (* 1/2 (- 1 (cos (+ z1 z1))))))
(FPCore (z0) (fabs (cos z0)))
(FPCore (z0 z1) (sqrt (- 1 (* z0 (* 1/2 (- 1 (cos (+ z1 z1))))))))
(FPCore (z0 z1) (* (- z0) z1))
(FPCore (z1 z0) (* (cos z1) (cos z0)))
(FPCore (z0 z1 z2) (+ (+ z0 z1) z2))
(FPCore (z0 z1) (* 1/2 (- z0 z1)))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0) (- z0 2))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0) (* (cos (+ z0 z0)) 1/2))
(FPCore (z0 z1) (* z0 (floor z1)))
(FPCore (z0) (* 1/2 (cos (+ z0 z0))))
(FPCore (z0) (- (sqrt (- z0 -1)) (sqrt z0)))
(FPCore (z0) (* z0 1/2))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0) (* 4 z0))
(FPCore (z1 z0) (* 1/2 (cos (- z1 z0))))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1) (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))
(FPCore (z0) (sin (* (* 1/180 z0) PI)))
(FPCore (z0 z1) (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1)))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0 z1) (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0 z1) (* (+ z0 z0) z1))
(FPCore (z0) (* 1/180 z0))
(FPCore (z0) (* 1/6 z0))
(FPCore (z0 z1) (* z0 (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0) (* z0 4))
(FPCore (z0 z1) (+ (* z0 z0) (* z1 z1)))
(FPCore (z0 z1) (/ z0 (+ z1 z1)))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0) (- z0 3))
(FPCore (z0) (* -4 z0))
(FPCore (z0) (/ 1/2 z0))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0) (cos (* -1/2 z0)))
(FPCore (z0) (* 1/2 (cos z0)))
(FPCore (z0 z1) (* -4 (/ z0 z1)))
(FPCore (z0) (- z0 1/2))
(FPCore (z0 z1) (sin (* 1/2 (- z0 z1))))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1) (* (/ z0 z1) -1/2))
(FPCore (z0 z1 z2) (/ z0 (- z1 z2)))
(FPCore (z0) (- z0 4))
(FPCore (z0) (* 3 z0))
(FPCore (z0) (* -1/6 z0))
(FPCore (z0) (floor z0))
(FPCore (z0 z1 z2) (* z0 (sqrt (- 1 (* z1 (* 1/2 (- 1 (cos (+ z2 z2)))))))))
(FPCore (z0) (* PI z0))
(FPCore (z0) (cos (* z0 -1/2)))
(FPCore (z0 z1 z2) (* (- z0 z1) z2))
(FPCore (z0) (* 1/4 z0))
(FPCore (z0) (* z0 3))
(FPCore (z0) (- z0 8))
(FPCore (z0) (- z0 12))
(FPCore (z0) (- z0 16))
(FPCore (z0) (- z0 14))
(FPCore (z0) (- z0 13))
(FPCore (z0) (- z0 7))
(FPCore (z0) (- z0 11))
(FPCore (z0) (- z0 15))
(FPCore (z0) (- z0 17))
(FPCore (z0) (- z0 6))
(FPCore (z0) (- z0 19))
(FPCore (z0) (- z0 9))
(FPCore (z0) (- z0 18))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0) (- z0 5))
(FPCore (z0) (- z0 20))
(FPCore (z0) (- z0 10))
(FPCore (z0 z1) (* (* -4 z0) z1))
(FPCore (z0) (cos (* (* 1/180 z0) PI)))
(FPCore (z0 z1) (* (* z0 4) z1))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0) (- (* 1/6 z0) -1/2))
(FPCore (z0 z1) (* (* (* z0 z0) z1) z1))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0 z1) (* (* -4 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0 z1) (* (* -252 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z1 z0) (/ (- z1 z0) z1))
(FPCore (z0 z1) (* (* 4 z0) z1))
(FPCore (z0) (* (- z0) z0))
(FPCore (z0 z1) (* z0 (- 1 z1)))
(FPCore (z0) (/ -1 z0))
(FPCore (z0 z1 z2) (+ (+ (+ z0 z1) z2) z2))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0 z1 z2) (/ z0 (sqrt (* z1 z2))))
(FPCore (z0) (sin (* 1/2 z0)))
(FPCore (z0) (exp (- z0)))
(FPCore (z0) (* 1/90 (* z0 PI)))
(FPCore (z0 z1 z2) (/ (- z0 z1) z2))
(FPCore (z0 z1) (* z0 (- z1 1)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (+ z2 z2))))
(FPCore (z0) (/ 2 z0))
(FPCore (z0) (- 1 (* -1/2 z0)))
(FPCore (z0) (* (+ z0 z0) z0))
(FPCore (z0 z1) (sin (- z0 z1)))
(FPCore (z0 z1) (sqrt (* -4 (/ z0 z1))))
(FPCore (z0) (* (* -1/6 z0) z0))
(FPCore (z0 z1) (* (* z0 z1) 4))
(FPCore (z0) (sinh z0))
(FPCore (z0) (* z0 30))
(FPCore (z0 z1) (+ 90 (* (* -252 z0) (* 1/2 (+ 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1) (* (* z0 9) z1))
(FPCore (z0 z1 z2) (+ z0 (* z1 z2)))
(FPCore (z0) (* (* z0 z0) 900))
(FPCore (z0) (cos (* 1/90 (* z0 PI))))
(FPCore (z0 z1) (- (+ z0 z1) -2))
(FPCore (z0 z1) (* (* z0 z1) PI))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) 1/2) z1))
(FPCore (z0) (sin (* z0 1/2)))
(FPCore (z0) (* (cos z0) 2))
(FPCore (z0) (/ z0 (- z0 -1)))
(FPCore (z0) (* (* 1/2 (cos z0)) (- (sqrt 5) 1)))
(FPCore (z1 z0) (* (- z1 -1) z0))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- z0 z2)))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- z2 z1)))
(FPCore (z0 z1) (- 1/2 (- (* (cos (+ z0 z0)) 1/2) (* 1/2 (- 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1) (/ (+ z0 z0) z1))
(FPCore (z0 z1 z2) (* z0 (+ z1 z2)))
(FPCore (z0 z1) (- (- z0 -1) z1))
(FPCore (z0 z1) (+ 3 (* (* -9 z0) (* 1/2 (+ 1 (cos (+ z1 z1)))))))
(FPCore (z0) (* z0 9))
(FPCore (z0 z1) (* (* -9 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0) (* (- z0 -1) z0))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0) (sqrt (+ z0 z0)))
(FPCore (z0 z1) (+ 1 (* (* -4 z0) (* 1/2 (+ 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1) (* (* z0 (* 1/2 (+ 1 (cos (+ z1 z1))))) (+ 1 (* (* -4 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))))
(FPCore (z0) (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)))
(FPCore (z0) (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)))
(FPCore (z0) (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)) (- z0 16)) (- z0 17)) (- z0 18)))
(FPCore (z0 z1) (* (* 46 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0) (* (- z0 1) (- z0 2)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)))
(FPCore (z0) (* z0 27))
(FPCore (z0) (* (* (- z0 1) (- z0 2)) (- z0 3)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)) (- z0 16)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)))
(FPCore (z0 z1) (* (* z0 27) z1))
(FPCore (z0 z1 z2) (- (* z0 z1) z2))
(FPCore (z0 z1) (sqrt (- 1/2 (- (* (cos (+ z0 z0)) 1/2) (* 1/2 (- 1 (cos (+ z1 z1))))))))
(FPCore (z0) (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)))
(FPCore (z0) (* 30 z0))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)) (- z0 16)) (- z0 17)))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)) (- z0 16)) (- z0 17)) (- z0 18)) (- z0 19)))
(FPCore (z0) (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)))
(FPCore (z0) (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)))
(FPCore (z0) (* 1/16 (sin z0)))
(FPCore (z0) (sin (* z0 30)))
(FPCore (z0) (* -6 z0))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 4 z1) z2)))
(FPCore (z0) (cos (* z0 -30)))
(FPCore (z0 z1) (* (sin (* z0 30)) (cos (* z1 -30))))
(FPCore (z0) (* (* (* (* (* (* (* z0 z0) z0) z0) z0) z0) z0) z0))
(FPCore (z0) (/ (- z0 -1) z0))
(FPCore (z0) (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)) (- z0 5)) (- z0 6)) (- z0 7)) (- z0 8)) (- z0 9)) (- z0 10)) (- z0 11)) (- z0 12)) (- z0 13)) (- z0 14)) (- z0 15)) (- z0 16)) (- z0 17)) (- z0 18)) (- z0 19)) (- z0 20)))
(FPCore (z1 z0) (* (- z1 z0) (- z1 z0)))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z1 z0) (cos (+ z1 z0)))
(FPCore (z1 z0) (* 1/2 (+ 1 (cos (- z1 z0)))))
(FPCore (z0 z1) (* (* 3 z0) z1))
(FPCore (z0) (* 1/8 z0))
(FPCore (z0) (- (* 1/4 z0) -1/3))
(FPCore (z0) (/ z0 (- 1 z0)))
(FPCore (z0) (- 1 (* z0 z0)))
(FPCore (z0 z1) (exp (/ (- z0) z1)))
(FPCore (z0) (* (- (* 1/4 z0) -1/3) z0))
(FPCore (z0) (fabs (sin z0)))
(FPCore (z0 z1) (- (sin z0) (* 1/16 (sin z1))))
(FPCore (z0) (* (* 4 z0) z0))
(FPCore (z0 z1) (+ (+ z0 z1) z1))
(FPCore (z0) (* z0 (- 1 (* -1/2 z0))))
(FPCore (z0 z1 z2) (* (* (* z0 z0) 1/4) (* (/ z1 (* z2 z2)) z1)))
(FPCore (z0) (- z0 11/20))
(FPCore (z0) (/ 1/3 z0))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0) (* -1/4 z0))
(FPCore (z0) (- (* z0 10) 6))
(FPCore (z0) (- -1 z0))
(FPCore (z0 z1 z2) (* (- z0) (/ z1 z2)))
(FPCore (z0 z1) (* (- z0 1) z1))
(FPCore (z0) (* 1/24 z0))
(FPCore (z0) (* (* (* (* (* z0 z0) z0) z0) z0) z0))
(FPCore (z0) (- 13/2 (* z0 10)))
(FPCore (z0) (- 1 (cos z0)))
(FPCore (z0) (* z0 10))
(FPCore (z0 z1 z2) (* (sin (- z0 z1)) (cos z2)))
(FPCore (z0) (- 1/2 (* z0 10)))
(FPCore (z0 z1) (* (- 1 z0) z1))
(FPCore (z0) (/ -2 z0))
(FPCore (z0 z1) (- (+ z0 z1) -3))
(FPCore (z0) (- (* z0 10) 7/2))
(FPCore (z0) (* (* (* (* z0 z0) z0) z0) z0))
(FPCore (z0) (+ 5/2 (* z0 10)))
(FPCore (z0) (* z0 (- (* 1/6 z0) -1/2)))
(FPCore (z0 z1) (* (cos (* -1/2 z0)) (sin (* 1/2 z1))))
(FPCore (z0) (pow (sin (* (* 1/180 z0) PI)) 4))
(FPCore (z0 z1) (pow z0 z1))
(FPCore (z0 z1) (* (floor z0) z1))
(FPCore (z0 z1) (* (* z0 z1) 3))
(FPCore (z0) (+ 1 (* z0 (- (* 1/6 z0) -1/2))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 (* z2 4))))
(FPCore (z0) (exp (* z0 z0)))
(FPCore (z0) (sqrt (pow (sin (* (* 1/180 z0) PI)) 4)))
(FPCore (z0 z1) (* (* (cos z0) 2) z1))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) (+ z0 z0)))
(FPCore (z0) (- 1/2 z0))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) z2))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1 z2) (* (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) z2))
(FPCore (z0 z1) (/ (sin z0) (sqrt (- 1/2 (- (* (cos (+ z1 z1)) 1/2) (* (- 1 (cos (+ z0 z0))) 1/2))))))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0 z1) (atan2 z0 z1))
(FPCore (z0 z1) (* -2 (/ z0 z1)))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0 z1 z2) (* (+ z0 z1) z2))
(FPCore (z0 z1 z2) (* (cos z0) (cos (- z1 z2))))
(FPCore (z0 z1) (* (/ (+ z0 z0) z1) z0))
(FPCore (z0 z1) (- (+ z0 z1) 2))
(FPCore (z0 z1 z2) (* (* (* (cos z0) 2) z1) z2))
(FPCore (z0) (- (cos (+ z0 z0)) -1))
(FPCore (z0 z1) (* z0 (log (/ z0 z1))))
(FPCore (z0) (* -3275911/10000000 z0))
(FPCore (z0) (/ 1 (* (* (* z0 z0) z0) z0)))
(FPCore (z1 z0) (* (cos (- z1 z0)) 1/2))
(FPCore (z0) (- (* z0 3275911/10000000) -1))
(FPCore (z0 z1) (- (cos z0) (cos z1)))
(FPCore (z0) (sin (* PI z0)))
(FPCore (z0) (* z0 3275911/10000000))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0) (* -12 z0))
(FPCore (z0 z1) (* (* 8 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0) (* z0 (+ 1 (* z0 (- (* 1/6 z0) -1/2)))))
(FPCore (z0 z1) (pow (* (floor z0) z1) 2))
(FPCore (z0 z1) (* 1/3 (/ z0 z1)))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- (- z2 -1) z1)))
(FPCore () 0)
(FPCore (z0) (* -252 z0))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0) (* (cos (* (* 1/180 z0) PI)) (sin (* (* 1/180 z0) PI))))
(FPCore (z0) (* z0 -9))
(FPCore (z0) (/ (- 1 z0) z0))
(FPCore (z0 z1) (* (- z0 z1) (+ z0 z1)))
(FPCore (z0 z1) (* (+ z0 z1) (- z1 z0)))
(FPCore (z0 z1 z2) (- z0 (* z1 z2)))
(FPCore (z0 z1) (* (+ z0 z1) 1/2))
(FPCore (z0) (- 2 z0))
(FPCore (z0) (pow (cos (* (* 1/180 z0) PI)) 4))
(FPCore (z0) (/ (sqrt z0) z0))
(FPCore (z0) (* (sin z0) (sqrt 2)))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0) (fabs (* 1/2 (+ 1 (cos (* 1/90 (* z0 PI)))))))
(FPCore (z0) (* -30 z0))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 3)))
(FPCore (z0) (- (* z0 z0) -1))
(FPCore (z0) (* (cos z0) (- (sqrt 5) 1)))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0) (sqrt (/ z0 (- 1 z0))))
(FPCore (z0) (- (* (- (* 1/4 z0) -1/3) z0) -1/2))
(FPCore (z0 z1) (* (/ z0 z1) -4))
(FPCore (z0) (/ 2 (* z0 z0)))
(FPCore (z0 z1) (sqrt (* (* -16 z0) z1)))
(FPCore (z1 z0) (* (* (* 1/2 (+ 1 (cos (+ z1 z1)))) (- (cos (+ z0 z0)) -1)) 1/2))
(FPCore (z0) (pow (+ (- z0) 15/2) (- (- z0) -1/2)))
(FPCore (z0 z1) (/ z0 (* (- z1 -1) z1)))
(FPCore (z0) (* -3 z0))
(FPCore (z0 z1) (* (exp z0) (sin z1)))
(FPCore (z0) (+ (- z0) 15/2))
(FPCore (z0 z1 z2) (/ z0 (* (* z1 z2) PI)))
(FPCore (z0 z1) (+ (sqrt z0) (sqrt z1)))
(FPCore (z0) (* (* z0 z0) 1/2))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0) (cos (* (+ z0 z0) PI)))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1 z2) (* (+ (+ (+ z0 z1) z2) z2) (+ (+ (+ z0 z1) z2) z2)))
(FPCore (z0) (+ (- z0) 7))
(FPCore (z0 z1 z2) (* (* (- z0) z1) z2))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 4 z1) z2))))
(FPCore (z0) (- (- z0) -1/2))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 (* z2 4)))))
(FPCore (z0 z1) (* (* -27 z0) z1))
(FPCore (z0) (* 1/2 (- 1 (cos (* 1/90 (* z0 PI))))))
(FPCore (z0) (- (* z0 z0) 1))
(FPCore (z0 z1 z2) (+ (+ (+ (+ z0 z1) z2) z2) 2))
(FPCore (z0 z1) (* 27 (* z0 z1)))
(FPCore (z0) (* 1/2 (+ 1 (cos (* 1/90 (* z0 PI))))))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0) (+ 1 (* (* 1/2 (cos z0)) (- (sqrt 5) 1))))
(FPCore (z0 z1) (* (* -2 z0) (cos (* z1 -1/2))))
(FPCore (z0) (log (- z0)))
(FPCore (z0) (* (* 3/2 (cos z0)) (- (sqrt 5) 3)))
(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 z1) (- 1 (* (/ z0 (* z1 z1)) z0)))
(FPCore (z0) (* z0 5))
(FPCore (z0 z1 z2) (/ (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (+ (+ (+ (+ z0 z1) z2) z2) 2))) -1) 2))
(FPCore (z0) (* z0 100))
(FPCore (z0 z1) (pow (- 1 (* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))) 3/2))
(FPCore (z0 z1 z2) (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2)))
(FPCore (z0) (- (log z0)))
(FPCore (z0) (* (+ (* (* 1/2 (cos z0)) (- (sqrt 5) 1)) 1) 3))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (+ (+ (+ z0 z1) z2) z2)))
(FPCore (z0 z1 z2) (- (* (+ (+ (+ z0 z1) z2) z2) (+ (+ (+ z0 z1) z2) z2)) 1))
(FPCore (z0 z1) (* 1/2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (+ (+ (+ (+ z0 z1) z2) z2) 2))))
(FPCore (z0 z1 z2) (* (* (* -2 z0) (cos (* z1 -1/2))) (sqrt (+ 1 (pow (/ z2 (* (+ z0 z0) (cos (* z1 -1/2)))) 2)))))
(FPCore (z0 z1 z2) (sqrt (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2))))
(FPCore (z0) (+ 1 (* (* -1/6 z0) z0)))
(FPCore (z0) (/ 1/2 (sqrt z0)))
(FPCore (z0) (* 6 z0))
(FPCore (z0 z1 z2) (+ (* z0 z1) z2))
(FPCore (z0 z1 z2) (* z0 (/ z1 (* z2 z2))))
(FPCore (z0) (* 2 (cosh z0)))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0 z1) (* (+ z0 z0) (cos (* z1 -1/2))))
(FPCore (z0 z1 z2) (pow (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))) 2))
(FPCore (z0) (sin (* (+ z0 z0) PI)))
(FPCore (z0 z1 z2) (/ z0 (* (+ z1 z1) (cos (* z2 -1/2)))))
(FPCore (z0) (+ 1 (* z0 10)))
(FPCore (z1 z0 z2) (* (* 1/2 (- 1 (cos (- z1 z0)))) (cos z2)))
(FPCore (z0) (+ z0 -15/2))
(FPCore (z0 z1) (* (* -2 z0) z1))
(FPCore (z0) (+ 3/2 (* z0 10)))
(FPCore (z0) (- (* -3275911/10000000 z0) 1))
(FPCore (z0) (- (* z0 10) 67/10))
(FPCore (z0) (+ 4 (* z0 10)))
(FPCore (z0) (+ 7/2 (* z0 10)))
(FPCore (z0) (- 2 (* z0 10)))
(FPCore (z0) (- -3 (* z0 10)))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) -1))
(FPCore (z0) (sin (+ z0 z0)))
(FPCore (z0) (- (* z0 10) 3/2))
(FPCore (z0) (+ 41/10 (* z0 10)))
(FPCore (z0) (* (* (- z0 -1) z0) z0))
(FPCore (z0) (- (* z0 10) 11/2))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 4) z2)))
(FPCore (z0) (exp (+ z0 -15/2)))
(FPCore (z0) (* (cos z0) (- (sqrt 5) 3)))
(FPCore (z0) (- (* z0 10) 29/5))
(FPCore (z0 z1 z2) (- (- z0 z1) z2))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))))
(FPCore (z0) (- z0 -2))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z2) z2))
(FPCore (z0) (- 7/2 (* z0 10)))
(FPCore (z0) (+ 15/2 (* z0 10)))
(FPCore (z0) (- (* z0 10) 5/2))
(FPCore (z0) (+ 3 (* z0 10)))
(FPCore (z0) (- (* z0 10) 7))
(FPCore (z0) (- (* z0 10) 1/2))
(FPCore (z0 z1) (cos (* (+ z0 z1) 1/2)))
(FPCore (z0 z1) (* (* -1/2 z0) z1))
(FPCore (z0 z1) (- (* 13764240537310136880149/125000000000000000000 z0) (- 2284450290879775841688574159837293/625000000000000000000000000000 (/ (- 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 z1) z0))))
(FPCore (z0 z1 z2) (* (cos z0) (* 1/2 (- 1 (cos (- z1 z2))))))
(FPCore (z0 z1 z2) (* z0 (+ (- z1) z2)))
(FPCore (z0) (- (* z0 10) 13/2))
(FPCore (z0 z1) (/ 1 (* z0 z1)))
(FPCore (z0) (- (* z0 10) 9))
(FPCore (z0) (- (* z0 10) 5))
(FPCore (z0 z1) (/ -4 (* z0 z1)))
(FPCore (z0) (* z0 (+ 1 (* (* -1/6 z0) z0))))
(FPCore (z0) (cosh z0))
(FPCore (z0) (/ 2 (* z0 (/ (- z0 -1) z0))))
(FPCore (z0) (* -46 z0))
(FPCore (z0 z1) (- (* (* -4 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))) -1))
(FPCore (z0 z1) (* (- (* (* -4 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))) -1) (* (* 1/2 (+ 1 (cos (+ z1 z1)))) z0)))
(FPCore (z0 z1) (* 1/16 (+ (+ z0 z1) z1)))
(FPCore (z0 z1) (* (* 6 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0 z1) (- (* 1/16 (+ (+ z0 z1) z1)) (* 1/8 z1)))
(FPCore (z0) (* 1/2 (cos (* 1/90 (* z0 PI)))))
(FPCore (z0) (exp (/ -2 z0)))
(FPCore (z0 z1) (/ z0 (fabs (sin z1))))
(FPCore (z0 z1) (/ (+ z0 z1) z1))
(FPCore (z0 z1) (* 8 (* z0 z1)))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))))
(FPCore (z0 z1) (* (- z0 z1) (+ z1 z0)))
(FPCore (z0 z1 z2) (/ (sqrt (- 1 (* (* (- 1 (cos (+ z0 z0))) 1/2) z1))) z2))
(FPCore (z0 z1) (+ 1 (/ (+ (* (- (sqrt 5) 1) (cos z0)) (* (- 3 (sqrt 5)) (cos z1))) 2)))
(FPCore (z0 z1) (- (sin z0) (/ (sin z1) 16)))
(FPCore (z0 z1 z2) (/ (* (sin z0) z1) (fabs (sin z2))))
(FPCore (z0) (* z0 (- 1 z0)))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0 z1) (* 3 (+ 1 (/ (+ (* (- (sqrt 5) 1) (cos z0)) (* (- 3 (sqrt 5)) (cos z1))) 2))))
(FPCore (z0) (* 1/2 (- (cos (+ z0 z0)) 1)))
(FPCore (z0 z1) (* (- z0 1/2) (log z1)))
(FPCore (z0) (* (/ (- 3 (sqrt 5)) 2) (cos z0)))
(FPCore (z0) (/ -1061405429/1000000000 (- (* z0 3275911/10000000) -1)))
(FPCore (z0) (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos z0))))
(FPCore (z0 z1) (* (* z0 -9) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0) (/ (sin z0) 16))
(FPCore (z0 z1) (+ (* (+ (* (* 1/2 (cos z0)) (- (sqrt 5) 1)) 1) 3) (* -3/2 (* (cos z1) (- (sqrt 5) 3)))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 4) z2))))
(FPCore (z0 z1) (* (* -46 z0) (* 1/2 (+ 1 (cos (+ z1 z1))))))
(FPCore (z0) (/ PI z0))
(FPCore (z0) (- 2 (/ 2 (* z0 (/ (- z0 -1) z0)))))
(FPCore (z0) (* -1/4 (* z0 z0)))
(FPCore (z0 z1) (- (* (* z0 -9) (* 1/2 (+ 1 (cos (+ z1 z1))))) -3))
(FPCore (z0 z1 z2) (- z0 (* (/ (+ z1 z1) z2) z1)))
(FPCore (z0) (* (/ (- (sqrt 5) 1) 2) (cos z0)))
(FPCore (z0) (sin (* (+ PI PI) z0)))
(FPCore (z0 z1) (* (* z0 PI) z1))
(FPCore (z0) (pow z0 2/3))
(FPCore (z0 z1) (* z0 (/ -1/3 z1)))
(FPCore (z0) (* z0 (sqrt 2)))
(FPCore (z0 z1) (* (* z0 3) z1))
(FPCore (z0 z1) (* (sin (* z0 1/2)) (cos (* z1 -1/2))))
(FPCore (z0 z1 z2) (* -90 (/ z0 (* (* z1 z2) PI))))
(FPCore (z0) (pow (cos z0) 7))
(FPCore (z0 z1 z2) (* (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))) (cos z2)))
(FPCore (z0) (cos (* (* (* 1/180 z0) PI) -2)))
(FPCore (z0 z1) (* (- z0 1) (log z1)))
(FPCore (z1 z0 z2) (* (cos (- z1 z0)) (cos z2)))
(FPCore (z0 z1) (+ (* -12 z0) (* 8 (* z0 z1))))
(FPCore (z0 z1) (/ (sqrt (* (* -16 z0) z1)) z0))
(FPCore (z0 z1 z2) (* 1/2 (* (* (* z0 z0) 1/4) (* (/ z1 (* z2 z2)) z1))))
(FPCore (z0) (* (pow (cos z0) 7) (sin z0)))
(FPCore (z0 z1) (sqrt (* (/ z0 z1) -4)))
(FPCore (z0 z1) (* z0 (+ 1/2 (* 1/6 z1))))
(FPCore (z0) (/ PI (sin (* PI z0))))
(FPCore (z0) (* (* (* 1/180 z0) PI) 2))
(FPCore (z0) (- z0 11/40))
(FPCore (z0) (- (cos z0) 1))
(FPCore (z0) (* 9 z0))
(FPCore (z0) (- (* (* 1/2 (cos z0)) (- (sqrt 5) 1)) -1))
(FPCore (z0 z1) (+ (+ z0 z0) z1))
(FPCore (z0 z1 z2) (* (cos z0) (sin (- z1 z2))))
(FPCore (z0 z1 z2) (/ (* (* z0 (+ (+ z1 z2) z0)) (+ (* z2 z1) (* z0 (+ (+ z1 z2) z0)))) (* (* (+ (+ (+ z1 z2) z0) z0) (+ (+ (+ z1 z2) z0) z0)) (- (* (+ (+ (+ z1 z2) z0) z0) (+ (+ (+ z1 z2) z0) z0)) 1))))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* z1 (* z2 4)))) z0))
(FPCore (z0) (- (+ z0 z0) -1))
(FPCore (z0 z1) (* z0 (- 2 (+ z1 z1))))
(FPCore (z1 z0 z2) (sqrt (+ (* (- z1 z0) (- z1 z0)) (* z2 z2))))
(FPCore (z0) (sin (* 30 z0)))
(FPCore (z0 z1 z2) (* (* z0 (/ z1 (* z2 z2))) z0))
(FPCore (z0 z1) (* (cos (* z0 -1/2)) (sin (* z1 1/2))))
(FPCore (z0) (/ 1 (cos z0)))
(FPCore (z0) (- 11/40 z0))
(FPCore (z0) (* (* z0 z0) 1/6))
(FPCore (z0 z1) (- (- 2 z0) z1))
(FPCore (z0 z1) (* (+ z0 z1) z0))
(FPCore (z0 z1 z2) (sqrt (/ z0 (* z1 z2))))
(FPCore (z0) (- 29/40 z0))
(FPCore (z1 z0 z2) (+ (* (- z1 z0) (- z1 z0)) (* z2 z2)))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))) (+ z1 z1)))
(FPCore (z0 z1 z2) (* z0 (- (+ z1 z2) 2)))
(FPCore (z0) (- 1 (sqrt z0)))
(FPCore (z0 z1 z2) (+ z0 (* z1 (- z2 z0))))
(FPCore (z0) (- (* (* z0 z0) 1/6) -1))
(FPCore (z0) (* -1/2 (cos (* 1/90 (* z0 PI)))))
(FPCore (z0 z1) (* -1/2 (sqrt (* -4 (/ z0 z1)))))