(FPCore (z0 z1) (* z0 z1))
(FPCore (z0) (* z0 z0))
(FPCore (z0 z1) (- z0 z1))
(FPCore (z0) (+ z0 z0))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0) (- z0))
(FPCore (z0) (cos z0))
(FPCore (z0) (sin z0))
(FPCore (z0 z1) (+ z0 z1))
(FPCore (z0) (- z0 -1))
(FPCore (z0) (- 1 z0))
(FPCore (z0) (* 1/2 (- 1 (cos (+ z0 z0)))))
(FPCore (z0) (* 1/2 z0))
(FPCore (z0) (cos (+ z0 z0)))
(FPCore (z0) (sqrt z0))
(FPCore (z0) (/ 1 z0))
(FPCore (z0) (tan z0))
(FPCore (z0) (log z0))
(FPCore (z0) (- z0 1))
(FPCore (z0 z1) (/ (- z0) z1))
(FPCore (z0) (* (* (* z0 z0) z0) z0))
(FPCore (z0) (* (* z0 z0) z0))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0) (* (- (cos (+ z0 z0)) -1) 1/2))
(FPCore (z0 z1) (- 1 (* z0 (* 1/2 (- 1 (cos (+ z1 z1)))))))
(FPCore (z1 z0) (cos (- z1 z0)))
(FPCore (z0 z1) (* (- z0) z1))
(FPCore (z0 z1) (* z0 (* 1/2 (- 1 (cos (+ z1 z1))))))
(FPCore (z0 z1) (sqrt (- 1 (* z0 (* 1/2 (- 1 (cos (+ z1 z1))))))))
(FPCore (z0) (exp z0))
(FPCore (z0) (sqrt (- z0 -1)))
(FPCore (z0 z1 z2) (* z0 (- z1 z2)))
(FPCore (z0 z1 z2) (+ (+ z0 z1) z2))
(FPCore (z0) (* -1/2 z0))
(FPCore (z0) (* -2 z0))
(FPCore (z0) (fabs (cos z0)))
(FPCore (z0) (* z0 PI))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0) (* 1/2 (cos (+ z0 z0))))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0) (* 4 z0))
(FPCore (z0 z1) (* (+ z0 z0) z1))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1) (/ z0 (+ z1 z1)))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1) (- 1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1)))
(FPCore (z0 z1) (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1))
(FPCore (z0 z1) (* z0 (floor z1)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0) (- (sqrt (- z0 -1)) (sqrt z0)))
(FPCore (z0) (* (cos (+ z0 z0)) 1/2))
(FPCore (z1 z0) (* 1/2 (- 1 (cos (- z1 z0)))))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0 z1) (* (cos z0) (cos z1)))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0 z1) (sqrt (- 1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1))))
(FPCore (z0) (* z0 4))
(FPCore (z0 z1) (* -1/2 (/ z0 z1)))
(FPCore (z0 z1) (* z0 (- 1 z1)))
(FPCore (z1 z0) (* 1/2 (cos (- z1 z0))))
(FPCore (z0) (exp (- z0)))
(FPCore (z0 z1) (* (* -4 z0) z1))
(FPCore (z0) (* -1/2 (cos (+ z0 z0))))
(FPCore (z0) (- z0 2))
(FPCore (z0 z1 z2) (/ z0 (- z1 z2)))
(FPCore (z0) (/ 1/2 z0))
(FPCore (z0) (* 3 z0))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0 z1) (* z0 (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (/ -1 z0))
(FPCore (z0) (/ 2 z0))
(FPCore (z0) (* (- z0) z0))
(FPCore (z0) (* 1/2 (cos z0)))
(FPCore (z0) (floor z0))
(FPCore (z0) (cos (* -1/2 z0)))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0) (- z0 1/2))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0) z0)
(FPCore (z0) (* 1/4 z0))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0) (* -4 z0))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0) (* z0 3))
(FPCore (z0 z1 z2) (/ (- z0 z1) z2))
(FPCore (z0 z1 z2) (* z0 (sqrt (- 1 (* z1 (* 1/2 (- 1 (cos (+ z2 z2)))))))))
(FPCore () 0)
(FPCore (z0) (- z0 3))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1) (+ (* z0 z0) (* z1 z1)))
(FPCore (z0) (- z0 19))
(FPCore (z0) (- z0 9))
(FPCore (z0) (* 1/6 z0))
(FPCore (z0) (- z0 12))
(FPCore (z0) (- z0 4))
(FPCore (z0) (- z0 16))
(FPCore (z0) (- z0 14))
(FPCore (z0) (- z0 13))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0) (- z0 11))
(FPCore (z0) (- z0 15))
(FPCore (z0) (- z0 17))
(FPCore (z0) (- z0 10))
(FPCore (z0) (- z0 8))
(FPCore (z0) (- z0 18))
(FPCore (z0) (- z0 7))
(FPCore (z0) (- z0 6))
(FPCore (z0) (* z0 1/2))
(FPCore (z1 z0) (/ (- z1 z0) z1))
(FPCore (z0 z1 z2) (/ (- z0) (sqrt (* z1 z2))))
(FPCore (z0) (* PI z0))
(FPCore (z0) (+ 1 (* 1/2 z0)))
(FPCore (z0 z1) (* (* z0 z1) 3))
(FPCore (z0) (- z0 20))
(FPCore (z0) (- z0 5))
(FPCore (z0) (/ (- z0 -1) z0))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1) (* z0 (* (* z0 z1) z1)))
(FPCore (z0 z1) (* 1/2 (- z0 z1)))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z1) z2))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0 z1 z2) (+ z0 (* z1 z2)))
(FPCore (z1 z0) (* (- z1 -1) z0))
(FPCore (z0 z1) (* (* z0 4) z1))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 3)))
(FPCore (z0 z1 z2) (* z0 (+ z1 z2)))
(FPCore (z0) (* (* (* z0 z0) z0) (* z0 z0)))
(FPCore (z0 z1 z2) (- (* z0 z1) z2))
(FPCore (z0 z1) (* (* z0 z1) 4))
(FPCore (z0) (* z0 30))
(FPCore (z0) (* 30 z0))
(FPCore (z0) (* (* (* (* z0 z0) z0) (* z0 z0)) z0))
(FPCore (z0) (* (cos (+ z0 z0)) -1/2))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0) (sinh z0))
(FPCore (z0 z1 z2) (* (+ z0 z1) z2))
(FPCore (z0 z1) (/ (+ z0 z0) z1))
(FPCore (z0 z1) (sin (- z0 z1)))
(FPCore (z0) (/ -1/2 z0))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- z2 z1)))
(FPCore (z0) (- 1/2 (* (cos (+ z0 z0)) -1/2)))
(FPCore (z0 z1 z2) (* (- z0 z1) z2))
(FPCore (z0 z1 z2) (+ (+ (+ z0 z1) z2) z2))
(FPCore (z0 z1) (* (* z0 z1) PI))
(FPCore (z0) (sin (* z0 30)))
(FPCore (z0 z1) (pow z0 z1))
(FPCore (z0 z1) (* z0 (- z1 1)))
(FPCore (z0 z1) (atan2 z0 z1))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0) (* (* z0 z0) 900))
(FPCore (z0) (cos (* z0 -30)))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- z0 z2)))
(FPCore (z0 z1) (* (sin (* z0 30)) (cos (* z1 -30))))
(FPCore (z0 z1) (* (* z0 9) z1))
(FPCore (z0 z1) (* (* -252 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (* (- 1 z0) z0))
(FPCore (z0) (- (* 1/4 z0) -1/3))
(FPCore (z0) (* (* (* (- z0 1) (- z0 2)) (- z0 3)) (- z0 4)))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) 1/2) z1))
(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) (* (- 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 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 z2) (* z0 (/ z1 (+ z2 z2))))
(FPCore (z0 z1) (- (- z0 -1) z1))
(FPCore (z0) (* (- (* 1/4 z0) -1/3) z0))
(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) (sqrt (+ z0 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 (* 1/2 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)))
(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) (* 5 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 (z0) (- -1 z0))
(FPCore (z0) (* (* 4 z0) z0))
(FPCore (z0 z1) (/ (- z0 z1) 2))
(FPCore (z0) (sin (* 1/2 z0)))
(FPCore (z0) (- (* z0 z0) -1))
(FPCore (z0 z1) (* (* 4 z0) z1))
(FPCore (z0) (* (+ z0 z0) z0))
(FPCore (z0 z1) (* (* -4 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (* -1/6 z0))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 3))))
(FPCore (z0 z1) (- (+ z0 z1) -2))
(FPCore (z0) (exp (* z0 z0)))
(FPCore (z0 z1) (* z0 (exp z1)))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0) (/ z0 (- 1 z0)))
(FPCore (z0) (- (* (- (* 1/4 z0) -1/3) z0) -1/2))
(FPCore (z0 z1) (/ (- z0 z1) z0))
(FPCore (z0) (/ z0 (- z0 -1)))
(FPCore (z1 z0) (/ z1 z0))
(FPCore (z0 z1 z2) (- z0 (* z1 z2)))
(FPCore (z1 z0) (* 1/2 (+ 1 (cos (- z1 z0)))))
(FPCore (z0) (- 1 (cos z0)))
(FPCore (z0) (+ 1/2 (* 1/6 z0)))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0 z1) (* z0 (log (/ z0 z1))))
(FPCore (z0 z1 z2) (/ (sqrt (- 1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1))) z2))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 4) z2)))
(FPCore (z0) (* z0 9))
(FPCore (z0 z1) (* (* 3 z0) z1))
(FPCore (z0) (* (- z0 -1) z0))
(FPCore (z0 z1 z2) (+ (* z0 z1) z2))
(FPCore (z0) (- (cos z0) 1))
(FPCore (z0) (- (* z0 z0) 1))
(FPCore (z0) (* (* 1/180 z0) PI))
(FPCore (z0 z1) (sin (/ (- z0 z1) 2)))
(FPCore (z0 z1) (* z0 (* 27 z1)))
(FPCore (z0 z1 z2) (sqrt (/ z0 (* z1 z2))))
(FPCore (z0) (cos (* z0 1/2)))
(FPCore (z0 z1) (exp (/ (- z0) z1)))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1) (* -4 (/ z0 z1)))
(FPCore (z0) (cos (* (+ z0 z0) PI)))
(FPCore (z0) (* 2 (cos z0)))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0 z1 z2) (* (cos z0) (* 1/2 (- 1 (cos (- z1 z2))))))
(FPCore (z0) (* -30 z0))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0) (cosh z0))
(FPCore (z0) (sin (* z0 1/2)))
(FPCore (z0 z1) (* (- z0 z1) (+ z0 z1)))
(FPCore (z0) (* -6 z0))
(FPCore (z0) (log (- z0)))
(FPCore (z0) (/ 1 (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 4))))
(FPCore (z1 z0) (* (+ (- (- 1 (cos (+ z1 z1))) (cos (+ z0 z0))) 1) 1/2))
(FPCore (z0) (* z0 27))
(FPCore (z0 z1) (* (* 8 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (fabs (sin z0)))
(FPCore (z0 z1) (+ 3 (* (* -9 z0) (* (- (cos (+ z1 z1)) -1) 1/2))))
(FPCore (z0 z1) (* (* -9 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0 z1) (+ 1 (* (* -4 z0) (* (- (cos (+ z1 z1)) -1) 1/2))))
(FPCore (z0 z1 z2) (* (sin (- z0 z1)) (cos z2)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 4)))
(FPCore (z0 z1) (* (* 1/2 z0) z1))
(FPCore (z0 z1) (- (+ z0 z1) -3))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1) (* (+ z0 z1) (- z1 z0)))
(FPCore (z0 z1) (/ z0 (+ 1 z1)))
(FPCore (z0) (* (* z0 z0) -1/6))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0) (* 1/180 z0))
(FPCore (z0 z1 z2) (/ (* (cos z0) z1) (sqrt (- 1 (* z2 (* 1/2 (- 1 (cos (+ z0 z0)))))))))
(FPCore (z0 z1) (* (* -1/2 z0) z1))
(FPCore (z0 z1) (* (- 1 z0) z1))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 4) z2))))
(FPCore (z0 z1) (* (/ z0 z1) 1/3))
(FPCore (z0 z1) (* (* z0 (* (- (cos (+ z1 z1)) -1) 1/2)) (+ 1 (* (* -4 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))))
(FPCore (z0) (- (cos (+ z0 z0)) -1))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1 z2) (* (sqrt (- 1 (* (* 1/2 (- 1 (cos (+ z0 z0)))) z1))) z2))
(FPCore (z0 z1 z2) (- (+ z0 z1) z2))
(FPCore (z0) (* (* 1/2 (cos z0)) (- (sqrt 5) 1)))
(FPCore (z1 z0) (sqrt (* (+ (- (- 1 (cos (+ z1 z1))) (cos (+ z0 z0))) 1) 1/2)))
(FPCore (z0 z1) (* (* (- (cos (+ z0 z0)) -1) 1/2) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (+ 1 (* z0 (+ 1/2 (* 1/6 z0)))))
(FPCore (z0) (* z0 (+ 1/2 (* 1/6 z0))))
(FPCore (z0) (- (* 1/2 z0) 1))
(FPCore (z0 z1 z2) (* z0 (* z1 (cos z2))))
(FPCore (z0 z1 z2) (* z0 (/ z1 (* z2 z2))))
(FPCore (z0 z1) (/ (- z0 -1) z1))
(FPCore (z0 z1 z2) (/ (- z0 z1) (- (- z2 -1) z1)))
(FPCore (z0 z1 z2) (* (* (* 1/4 z0) z0) (* (/ z1 z2) (/ z1 z2))))
(FPCore (z0) (cos (* (* -1/180 z0) PI)))
(FPCore (z0 z1) (/ 1 (* z0 z1)))
(FPCore (z0) (sin (* (+ z0 z0) PI)))
(FPCore (z0) (sqrt (/ z0 (- 1 z0))))
(FPCore (z0) (* 1/16 (sin z0)))
(FPCore (z0 z1 z2) (* (* (/ -1/2 z0) z1) z2))
(FPCore (z0) (* -1/4 z0))
(FPCore (z1 z0) (* (/ z1 z0) 1/3))
(FPCore (z0 z1 z2) (/ (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))) -1) 2))
(FPCore (z0 z1) (- (cos z0) (cos z1)))
(FPCore (z0 z1 z2) (- (+ (+ (+ z0 z1) z2) z2) -2))
(FPCore (z0 z1) (* (* 46 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (* -3 z0))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (+ (+ (+ z0 z1) z2) z2)))
(FPCore (z0 z1 z2) (* (* (* z0 z1) z2) z2))
(FPCore (z0 z1) (- (sin z0) (* 1/16 (sin z1))))
(FPCore (z0 z1) (+ 90 (* (* -252 z0) (* (- (cos (+ z1 z1)) -1) 1/2))))
(FPCore (z0 z1 z2) (* (cos z0) (cos (- z1 z2))))
(FPCore (z0) (* (- (* (- (* 1/4 z0) -1/3) z0) -1/2) 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 (* z0 z0)))
(FPCore (z0) (sin (* (* 1/180 z0) PI)))
(FPCore (z0) (sin (* 30 z0)))
(FPCore (z0) (/ 2 (* z0 (/ (- z0 -1) z0))))
(FPCore (z1 z0) (* (- z1 z0) (- z1 z0)))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 4 z1) z2)))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))))
(FPCore (z0) (- 2 z0))
(FPCore (z0 z1) (/ z0 (- z0 z1)))
(FPCore (z0 z1) (* (exp z0) (sin z1)))
(FPCore (z0) (* 1/16 z0))
(FPCore (z0) (- (* (* z0 z0) -1/6) -1))
(FPCore (z0) (* (* -1/2 z0) z0))
(FPCore (z0) (* (- z0) 3275911/10000000))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 4 z1) z2))))
(FPCore (z0 z1) (+ 1 (* z0 (* (- (cos (+ z1 z1)) -1) 1/2))))
(FPCore (z0 z1) (* (- 1/2 (* (cos (+ z0 z0)) -1/2)) z1))
(FPCore (z0) (* (* z0 z0) -1/2))
(FPCore (z1 z0) (* (cos (- z1 z0)) 1/2))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 4 z1) z2)))) (+ z1 z1)))
(FPCore (z0 z1) (sqrt (* -4 (/ z0 z1))))
(FPCore (z0) (- (log z0)))
(FPCore (z0 z1 z2) (- (- z0 z1) z2))
(FPCore (z0 z1) (- (sin z0) (/ (sin z1) 16)))
(FPCore (z0 z1) (* (* 27 z0) z1))
(FPCore (z0) (* 8 z0))
(FPCore (z0 z1) (/ (sin z0) (sqrt (* 1/2 (+ (- 1 (cos (+ z1 z1))) (- 1 (cos (+ z0 z0))))))))
(FPCore (z0) (* z0 (- (* 1/2 z0) 1)))
(FPCore (z0) (* -3275911/10000000 (- z0)))
(FPCore (z0) (* z0 (+ 1 (* z0 (+ 1/2 (* 1/6 z0))))))
(FPCore (z0) (/ (sin z0) 16))
(FPCore (z0) (- (* (- z0) 3275911/10000000) -1))
(FPCore (z0 z1) (* z0 (/ (+ z0 z0) z1)))
(FPCore (z0 z1) (* 30 (+ z0 z1)))
(FPCore (z0 z1 z2) (* (* (- z0) z1) z2))
(FPCore (z0) (/ z0 180))
(FPCore (z0) (* (- (cos z0) 1) (sqrt 2)))
(FPCore (z0 z1) (* (/ (- 1 z0) z1) z0))
(FPCore (z0 z1) (* z0 (fabs z1)))
(FPCore (z0 z1) (* (+ z0 z1) z0))
(FPCore (z0) (+ 2 z0))
(FPCore (z0) (sin (+ z0 z0)))
(FPCore (z0 z1) (- (- z0) z1))
(FPCore (z0) (- 1 (sqrt z0)))
(FPCore (z0 z1) (/ z0 (fabs (sin z1))))
(FPCore (z0 z1 z2) (+ z0 (/ z1 z2)))
(FPCore (z0) (- (* -3275911/10000000 (- z0)) 1))
(FPCore (z0 z1) (* (+ z0 z1) (+ z0 z1)))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1) (* z0 (- (exp z1) 1)))
(FPCore (z0 z1) (/ z0 (* -3 z1)))
(FPCore (z0 z1 z2) (/ (* (sin z0) z1) (fabs (sin z2))))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0 z1 z2) (* z0 (pow z1 z2)))
(FPCore (z0 z1) (* (- z0 1/2) (log z1)))
(FPCore (z0 z1 z2) (- (* (* z0 z1) 3) (* z2 z2)))
(FPCore (z0 z1 z2) (* z0 (* (/ z1 z2) (/ z1 z2))))
(FPCore (z0 z1) (pow (* (floor z0) z1) 2))
(FPCore (z0 z1) (* 4 (/ z0 z1)))
(FPCore (z0) (sqrt (/ 1 z0)))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0 z1) (/ z0 (sin z1)))
(FPCore (z0) (* (* 1/2 (cos z0)) (- (sqrt 5) 3)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 3 z1) z2)))
(FPCore (z0) (- (sin z0)))
(FPCore (z0 z1 z2) (* z0 (/ (fabs z1) z2)))
(FPCore (z0) (* PI (* 1/180 z0)))
(FPCore (z0) (* -1/4 (* z0 z0)))
(FPCore (z0 z1 z2) (* 1/2 (* z0 (/ (fabs z1) z2))))
(FPCore (z0 z1 z2) (- z0 (* (/ z1 z2) (+ z1 z1))))
(FPCore (z0) (/ -1061405429/1000000000 (- (* (- z0) 3275911/10000000) -1)))
(FPCore (z0) (* (* 1/2 (- 1 (cos (+ z0 z0)))) (* (sqrt 2) (- 1 (cos z0)))))
(FPCore (z0 z1) (exp (/ z0 (* -3 z1))))
(FPCore (z0) (* (sqrt 2) (- 1 (cos z0))))
(FPCore (z0) (* z0 E))
(FPCore (z0) (+ 1 (* z0 (+ 1 (* 1/2 z0)))))
(FPCore (z0) (* (+ z0 z0) E))
(FPCore (z0) (* 1/2 (sin z0)))
(FPCore (z0) (* (* 1/90 z0) PI))
(FPCore (z0) (- 1/2 z0))
(FPCore (z0) (- (* z0 10) 6))
(FPCore (z0) (* 1/2 (+ 1 (cos (* (* PI z0) -1/90)))))
(FPCore (z0) (* (* -2 z0) E))
(FPCore (z0) (* (* 3 z0) z0))
(FPCore (z0 z1) (* (floor z0) z1))
(FPCore (z0 z1) (* (- z0 1) (log z1)))
(FPCore (z0) (+ 1 (* z0 (+ 1 (* z0 (+ 1/2 (* 1/6 z0)))))))
(FPCore (z0) (cos (* (* PI z0) -1/90)))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* (* z1 z2) 3))) z0))
(FPCore (z0) (* (* z0 z0) 1/2))
(FPCore (z0 z1) (- (log z0) z1))
(FPCore (z0 z1 z2) (* z0 (- (log z1) z2)))
(FPCore (z0) (- 13/2 (* z0 10)))
(FPCore (z0) (* (* (* (* z0 z0) z0) z0) (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1 z2) (* 1/2 (* (* (* 1/4 z0) z0) (* (/ z1 z2) (/ z1 z2)))))
(FPCore (z0) (* z0 10))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 3 z1) z2)))))
(FPCore (z0) (- 1/2 (* z0 10)))
(FPCore (z0) (* -3/2 z0))
(FPCore (z0 z1) (* -3 (* z0 z1)))
(FPCore (z0 z1) (* (* z0 (* (* z0 z1) z1)) (* z0 (* (* z0 z1) z1))))
(FPCore (z0) (/ -2 z0))
(FPCore (z0) (- (* z0 10) 7/2))
(FPCore (z0) (- z0 11/20))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 3 z1) z2))))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 3 z1) z2)))) (* 3 z1)))
(FPCore (z0 z1) (* 2 (+ z0 z1)))
(FPCore (z0) (+ 5/2 (* z0 10)))
(FPCore (z0) (* 9 z0))
(FPCore (z0) (/ 1/9 z0))
(FPCore (z0) (* 1/2 (cos (* (* PI z0) -1/90))))
(FPCore (z0 z1 z2) (* (+ (* z0 z1) z2) z1))
(FPCore (z0) (pow z0 7))
(FPCore (z0 z1 z2) (* (cos z0) (sin (- z1 z2))))
(FPCore (z0 z1 z2) (* (* z0 (/ z1 (* z2 z2))) z0))
(FPCore (z0) (+ 3 z0))
(FPCore (z0 z1) (* (* -2 z0) z1))
(FPCore (z0 z1 z2) (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000))
(FPCore (z0 z1) (- (pow (+ z0 z1) 5) (* (* (* z0 z0) z0) (* z0 z0))))
(FPCore (z0 z1 z2) (* (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000) z1))
(FPCore (z0 z1 z2) (* (+ (* (+ z0 z1) z0) z2) z0))
(FPCore (z0 z1 z2) (/ (* (- z0 z1) z2) z0))
(FPCore (z0) (pow (tan z0) 2))
(FPCore (z0) (* (* -1/6 z0) z0))
(FPCore (z0 z1 z2) (+ (* (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000) z1) 28832688827/125000))
(FPCore (z0) (* z0 (+ 1/3 (* 1/4 z0))))
(FPCore (z0 z1 z2) (* (+ (* (+ (* (+ (* z0 z1) z2) z1) 54929528941/2000000) z1) 28832688827/125000) z1))
(FPCore (z0 z1) (- 1 (* (/ z0 (* z1 z1)) z0)))
(FPCore (z0 z1) (* -1/2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1 z2) (+ (* (+ z0 z1) z0) z2))
(FPCore (z0 z1) (* 1/8 (+ z0 z1)))
(FPCore (z0 z1) (pow (+ z0 z1) 5))
(FPCore (z0 z1) (- (- -2 z0) z1))
(FPCore (z0 z1 z2) (* (* (* z0 (* (* z0 z1) z1)) z2) z2))
(FPCore (z0) (* (cos z0) 1/2))
(FPCore (z0 z1) (+ (sqrt z0) (sqrt z1)))
(FPCore (z0 z1 z2) (* (- z0) (atan2 z1 z2)))
(FPCore (z0 z1) (* -2 (/ z0 z1)))
(FPCore (z0) (* (* (- (sqrt 5) 3) 1/2) (cos z0)))
(FPCore (z0) (+ 1/3 (* 1/4 z0)))
(FPCore (z0) (* 2 (cosh z0)))
(FPCore (z0 z1) (* z0 (log (/ (- z0 z1) z0))))
(FPCore (z0) (* (- z0 2) (- z0 1)))
(FPCore (z0 z1) (* (sqrt 2) (- (sin z0) (/ (sin z1) 16))))
(FPCore (z0 z1) (* 60 (- z0 z1)))
(FPCore (z0 z1) (* z0 (sqrt (/ -4 (* z1 z0)))))
(FPCore (z0) (* PI (* -1/180 z0)))
(FPCore (z1 z0 z2) (* (* 1/2 (- 1 (cos (- z1 z0)))) (cos z2)))
(FPCore (z0) (* (- (* (* z0 z0) -1/6) -1) z0))
(FPCore (z0) (- (* (* z0 z0) -1/2) -1))
(FPCore (z0 z1) (/ -4 (* z0 z1)))
(FPCore (z0) (- (/ (- (/ -1061405429/1000000000 (- (* (- z0) 3275911/10000000) -1)) -1453152027/1000000000) (- (* (- z0) 3275911/10000000) -1)) 1421413741/1000000000))
(FPCore (z0 z1) (* (cos (* -1/2 z0)) (sin (* 1/2 z1))))
(FPCore (z1 z0) (/ (+ z1 z0) z1))
(FPCore (z0 z1) (* (* 6 z0) (* (- (cos (+ z1 z1)) -1) 1/2)))
(FPCore (z0) (log (/ (- z0 -1) z0)))
(FPCore (z0 z1) (/ (- 1 z0) z1))
(FPCore (z0 z1) (- (- 2 z0) z1))
(FPCore (z0 z1) (/ z0 (- z1 -1)))
(FPCore (z0) (* (pow z0 -2/3) 1/3))
(FPCore (z0 z1 z2) (* z0 (- (log (- 1 z1)) z2)))
(FPCore (z0) (/ (- (/ -1061405429/1000000000 (- (* (- z0) 3275911/10000000) -1)) -1453152027/1000000000) (- (* (- z0) 3275911/10000000) -1)))
(FPCore (z0 z1) (+ (* (* (- (cos (+ z0 z0)) -1) 1/2) (* (- (cos (+ z1 z1)) -1) 1/2)) (* 1/2 (- 1 (cos (+ z1 z1))))))
(FPCore (z0) (+ 230753/100000 (* z0 27061/100000)))
(FPCore (z0) (+ 1/2 (* z0 (+ 1/3 (* 1/4 z0)))))
(FPCore (z0) (* (* 1/6 z0) z0))
(FPCore (z0) (sin (* PI z0)))
(FPCore (z0 z1) (- (* 1/2 z0) z1))
(FPCore (z0 z1 z2) (* (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))) (cos z2)))
(FPCore (z0) (* 313060547623/100000000000 z0))
(FPCore (z0 z1) (* (+ z0 z1) 1/2))
(FPCore (z0) (* (* 1/3 z0) z0))
(FPCore (z0) (/ (sin z0) z0))
(FPCore (z0 z1) (tanh (/ z0 z1)))
(FPCore (z0 z1) (* (- z0 1) z1))
(FPCore (z1 z0) (log (/ (- z1 z0) z1)))
(FPCore (z0) (* z0 (- (* -1/2 z0) 1)))
(FPCore (z0) (/ (sqrt z0) z0))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))))
(FPCore (z0 z2 z1) (* z0 (/ (- z2 z1) z2)))
(FPCore (z0 z1) (- (+ (- (sqrt (- z0 -1)) (sqrt z0)) (sqrt (- z1 -1))) (sqrt z1)))
(FPCore (z0 z1 z2) (exp (* (- z0) (atan2 z1 z2))))
(FPCore (z0) (* 1/8 z0))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0) (/ (- (/ (- (/ -1061405429/1000000000 (- (* (- z0) 3275911/10000000) -1)) -1453152027/1000000000) (- (* (- z0) 3275911/10000000) -1)) 1421413741/1000000000) (- (* (- z0) 3275911/10000000) -1)))
(FPCore (z0 z1) (sin (* 1/2 (- z0 z1))))
(FPCore (z0 z1) (* (/ (+ z0 z0) z1) z0))
(FPCore (z0 z1) (/ z0 (* -3/2 z1)))
(FPCore (z0) (* (- z0 4) (* (- z0 3) (* (- z0 2) (- z0 1)))))
(FPCore (z0 z1) (- (log (- 1 z0)) z1))
(FPCore (z0 z1) (/ (- z0 1) z1))
(FPCore (z0) (* (cos z0) (- (sqrt 5) 1)))
(FPCore (z0 z1) (/ (- z0 z1) (- (- 2 z0) z1)))
(FPCore (z0) (* (- z0 3) (* (- z0 2) (- z0 1))))
(FPCore (z0 z1) (sqrt (/ -4 (* z0 z1))))
(FPCore (z0) (* z0 27061/100000))