(FPCore (z0 z1 z2 z3) (- (* z0 z1) (* z2 z3)))
(FPCore (z0 z1 z2 z3 z4) (* z0 (- (* z1 z2) (* z3 z4))))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2.0))
(FPCore (z0 z1 z2) (* z0 (* z1 z2)))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1 z2) (/ (* z0 z1) z2))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0) (* z0 PI))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0 z1 z2 z3 z4 z5) (* z0 (* z1 (- (* z2 z3) (* z4 z5)))))
(FPCore (z0 z1) (cos (- z0 z1)))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z0) (pow (sin z0) 2.0))
(FPCore (z0 z1 z2 z3) (+ (pow (* z0 (floor z1)) 2.0) (pow (* z2 (floor z3)) 2.0)))
(FPCore (z0) (* 0.16666666666666666 z0))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0 z1 z2 z3) (+ (* z0 z1) (* z2 z3)))
(FPCore (z0 z1 z2 z3) (/ (* z0 (- z1 z2)) z3))
(FPCore (z0) (* (* z0 z0) (* z0 z0)))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0) (* -0.16666666666666666 z0))
(FPCore (z0) (* PI z0))
(FPCore (z0) (log (- 1.0 z0)))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0) (* 0.3333333333333333 z0))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0) (+ 0.5 (* 0.16666666666666666 z0)))
(FPCore (z0) (- (sqrt (+ z0 1.0)) (sqrt z0)))
(FPCore (z0) (- (log (- 1.0 z0))))
(FPCore (z0 z1) (* (* z0 9.0) z1))
(FPCore (z0 z1) (sin (- z0 z1)))
(FPCore (z0 z1) (pow (* (floor z0) z1) 2.0))
(FPCore (z0 z1) (* z0 (* z1 z1)))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0 z1) (pow (/ z0 z1) 0.5))
(FPCore (z0 z1) (- (cos z0) (cos z1)))
(FPCore (z0 z1) (* (* (floor z0) z1) (* (floor z0) z1)))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1) (* (cos (* 0.5 z0)) (sin (* 0.5 z1))))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0 z1) (* (* z0 z1) 3.0))
(FPCore (z0 z1) (cos (* 2.0 (* 0.5 (- z0 z1)))))
(FPCore (z0 z1 z2) (- (* (* z0 z1) 3.0) (* z2 z2)))
(FPCore (z0) (- (* (* 0.5 (- (sqrt 5.0) 1.0)) (cos z0)) -1.0))
(FPCore (z0) (* (* 0.5 (- (sqrt 5.0) 1.0)) (cos z0)))
(FPCore (z0) (sqrt (- (log (- 1.0 z0)))))
(FPCore (z0 z1) (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1))))))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0) (sqrt (* (* z0 z0) (* z0 z0))))
(FPCore (z0 z1 z2) (/ (* z0 z1) (* 2.0 z2)))
(FPCore (z0) (* (- (* 0.25 z0) -0.3333333333333333) z0))
(FPCore (z0 z1 z2) (pow (/ (* z0 z1) (* 2.0 z2)) 2.0))
(FPCore (z0 z1) (pow (/ z0 z1) 2.0))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0) (- (cos z0) 1.0))
(FPCore (z0 z1) (sin (/ (- z0 z1) 2.0)))
(FPCore (z0) (* (* -0.16666666666666666 z0) z0))
(FPCore (z0 z1) (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))))
(FPCore (z0 z1) (/ (* z0 z0) z1))
(FPCore (z0 z1) (/ 1.0 (* z0 z1)))
(FPCore (z0 z1) (* (* (* z0 z0) z1) z1))
(FPCore (z0 z1) (* (- (sin z0) (* 0.0625 (sin z1))) (sqrt 2.0)))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 3.0)))
(FPCore (z0 z1) (* 27.0 (* z0 z1)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 4.0 z1) z2)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 4.0) z2)))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0) (* 0.005555555555555556 (* z0 PI)))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7) (* (- (* z0 z1) (* z2 z3)) (- (* z4 z5) (* z6 z7))))
(FPCore (z0 z1 z2) (* -1.0 (* z0 (* z1 z2))))
(FPCore (z0 z1) (* (* z0 z0) (/ z0 z1)))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0) (* (* (- (sqrt 5.0) 3.0) 0.5) (cos z0)))
(FPCore (z0 z1) (* (* (* z0 z0) (/ z0 z1)) 0.3333333333333333))
(FPCore (z0) (sin (* 0.005555555555555556 (* z0 PI))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 4.0 z1) z2))))
(FPCore (z0) (sin (* z0 30.0)))
(FPCore (z0 z1) (* (sin (* z0 30.0)) (cos (* z1 30.0))))
(FPCore (z0 z1 z2) (/ (+ (/ (/ (* (+ z0 z1) (- z1 z0)) (+ (+ z0 z1) (* 2.0 z2))) (+ (+ (+ z0 z1) (* 2.0 z2)) 2.0)) 1.0) 2.0))
(FPCore (z0) (cos (* z0 30.0)))
(FPCore (z0) (* (* 3.0 z0) z0))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 (* z2 4.0))))
(FPCore (z0 z1 z2 z3 z4 z5) (sqrt (fmax (+ (pow (* z0 (floor z1)) 2.0) (pow (* z2 (floor z3)) 2.0)) (+ (pow (* z4 (floor z1)) 2.0) (pow (* z5 (floor z3)) 2.0)))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 4.0) z2))))
(FPCore (z0 z1 z2) (/ (/ (* (+ z0 z1) (- z1 z0)) (+ (+ z0 z1) (* 2.0 z2))) (+ (+ (+ z0 z1) (* 2.0 z2)) 2.0)))
(FPCore (z0) (pow (* z0 30.0) 2.0))
(FPCore (z0) (- (exp z0) 1.0))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (+ (+ z0 z1) (* 2.0 z2))))
(FPCore (z0 z1 z2) (+ (/ (/ (* (+ z0 z1) (- z1 z0)) (+ (+ z0 z1) (* 2.0 z2))) (+ (+ (+ z0 z1) (* 2.0 z2)) 2.0)) 1.0))
(FPCore (z0) (* -0.3333333333333333 z0))
(FPCore (z0 z1 z2) (* (* (/ z0 (* z1 z1)) z2) z2))
(FPCore (z0) (/ (sin z0) z0))
(FPCore (z0 z1) (* (- z0 0.5) (log z1)))
(FPCore (z0 z1 z2) (* (sin (- z0 z1)) (cos z2)))
(FPCore (z0 z1) (* (cos (- z0 z1)) 0.5))
(FPCore (z0 z1) (- 0.5 (* (cos (- z0 z1)) 0.5)))
(FPCore (z0) (- 2.0 (/ (/ 2.0 z0) (+ 1.0 (/ 1.0 z0)))))
(FPCore (z0) (* (- 2.0 (/ (/ 2.0 z0) (+ 1.0 (/ 1.0 z0)))) (- 2.0 (/ (/ 2.0 z0) (+ 1.0 (/ 1.0 z0))))))
(FPCore (z0 z1) (sqrt (* -4.0 (/ z0 z1))))
(FPCore (z0 z1 z2) (+ (- z0) (sqrt (- (* z0 z0) (* (* 4.0 z1) z2)))))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) z2))
(FPCore (z0 z1) (* (* z0 27.0) z1))
(FPCore (z0) (* z0 (+ PI PI)))
(FPCore (z0) (* (* 2.0 PI) z0))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 (* z2 4.0)))))
(FPCore (z0) (/ 0.3333333333333333 z0))
(FPCore (z0) (* (sqrt 2.0) (- (cos z0) 1.0)))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 4.0 z1) z2)))) (* 2.0 z1)))
(FPCore (z0 z1 z2 z3) (+ (* (* (/ z0 (* z1 z1)) z2) z2) z3))
(FPCore (z0 z1) (- (- (* (* 0.5 (- (sqrt 5.0) 1.0)) (cos z0)) -1.0) (* (* (- (sqrt 5.0) 3.0) 0.5) (cos z1))))
(FPCore (z0) (* 3.0 (sqrt z0)))
(FPCore (z0 z1) (* (* z0 18.0) z1))
(FPCore (z0 z1) (* z0 (* z1 PI)))
(FPCore (z0 z1 z2) (* (* (* z0 18.0) z1) z2))
(FPCore (z0 z1 z2) (* (cos z0) (- 0.5 (* 0.5 (cos (- z1 z2))))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1 z2 z3) (* (/ z0 (- z1 z2)) z3))
(FPCore (z0) (* (pow (sin z0) 2.0) (* (sqrt 2.0) (- (cos z0) 1.0))))
(FPCore (z0 z1) (/ (- (- (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))
(FPCore (z0 z1) (/ (* z0 z0) (* z1 z1)))
(FPCore (z0) (* -0.0625 (* (pow (sin z0) 2.0) (* (sqrt 2.0) (- (cos z0) 1.0)))))
(FPCore (z0 z1) (* 3.0 (/ (- (- (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0 z1 z2) (/ (- z0) (sqrt (* z1 z2))))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1 z2) (* (cos z0) (sin (- z1 z2))))
(FPCore (z0 z1 z2 z3 z4) (- 1.0 (* (* 0.5 (pow (/ (* z0 z1) (* 2.0 z2)) 2.0)) (/ z3 z4))))
(FPCore (z0 z1) (+ (+ (+ (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))) (* (* z0 z0) z0)) z0))
(FPCore (z0 z1) (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))))
(FPCore (z0 z1 z2 z3) (* (/ z0 (+ (* (* (/ z1 (* z2 z2)) z0) z0) z3)) z0))
(FPCore (z0 z1) (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)))
(FPCore (z0 z1 z2 z3 z4) (* (* 0.5 (pow (/ (* z0 z1) (* 2.0 z2)) 2.0)) (/ z3 z4)))
(FPCore (z0 z1) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0)))
(FPCore (z0 z1 z2) (* (- (* z0 z0) (* (* z1 z2) 3.0)) (- (* z0 z0) (* (* z1 z2) 3.0))))
(FPCore (z0 z1) (+ (+ (+ (+ (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))) (* (* z0 z0) z0)) z0) (* 3.0 (/ (- (- (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))))
(FPCore (z0 z1 z2 z3) (/ z0 (+ (* (* (/ z1 (* z2 z2)) z0) z0) z3)))
(FPCore (z0 z1) (+ (+ (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))) (* (* z0 z0) z0)))
(FPCore (z0 z1) (+ (pow (sin z0) 2.0) (pow (sin z1) 2.0)))
(FPCore (z0 z1) (+ (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))))
(FPCore (z0 z1) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))
(FPCore (z0 z1) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))
(FPCore (z0 z1 z2) (* 0.5 (pow (/ (* z0 z1) (* 2.0 z2)) 2.0)))
(FPCore (z0 z1) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0))
(FPCore (z0 z1 z2) (* (cos z0) (cos (- z1 z2))))
(FPCore (z0 z1 z2) (fabs (/ (- z0) (sqrt (* z1 z2)))))
(FPCore (z0 z1) (* (/ z0 z1) (/ z0 z1)))
(FPCore (z0 z1 z2 z3) (+ z0 (/ (* z1 z2) z3)))
(FPCore (z0 z1) (+ z0 (+ (+ (+ (+ (* (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))) (+ (* z0 z0) 1.0)) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)))) (* (* z0 z0) z0)) z0) (* 3.0 (/ (- (- (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))))))
(FPCore (z0 z1) (/ z0 (* (* z1 z1) z1)))
(FPCore (z0 z1) (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))))
(FPCore (z0 z1) (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)))
(FPCore (z0 z1) (* (* (* 3.0 z0) z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))))
(FPCore (z0 z1 z2 z3) (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))) (* (cos z2) (cos z3))))
(FPCore (z0 z1) (+ (* (* (* 2.0 z0) (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) (- (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0)) 3.0)) (* (* z0 z0) (- (* 4.0 (/ (- (+ (* (* 3.0 z0) z0) (* 2.0 z1)) z0) (+ (* z0 z0) 1.0))) 6.0))))
(FPCore (z0 z1) (* (* 3.0 z0) z1))
(FPCore (z0 z1 z2 z3) (* (/ (- z0 z1) z2) z3))
(FPCore (z0) (* -9.0 (* z0 z0)))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* z1 (* z2 4.0)))) z0))
(FPCore (z0 z1 z2) (* z0 (pow (/ z1 z2) 2.0)))
(FPCore (z0 z1) (* (* z0 z1) (* z0 z1)))
(FPCore (z0 z1 z2 z3 z4) (* (* (pow (/ z0 z1) 0.5) (pow (/ z0 z2) 0.5)) (- 1.0 (* (* 0.5 (pow (/ (* z3 z4) (* 2.0 z0)) 2.0)) (/ z1 z2)))))
(FPCore (z0 z1 z2) (sin (* z0 (atan2 z1 z2))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 (* z2 3.0))))
(FPCore (z0) (* 0.011111111111111112 (* z0 PI)))
(FPCore (z0 z1) (/ z0 (* z1 3.0)))
(FPCore (z0 z1 z2 z3 z4 z5) (- (- z0 (* 2.0 (/ (* z1 z1) z2))) (* (* z3 (pow (/ z1 z2) 2.0)) (- z4 z5))))
(FPCore (z0 z1 z2) (* (- z0) (/ z1 z2)))
(FPCore (z0 z1) (- (* (cos (* 0.5 z0)) (sin (* 0.5 z1))) (* (cos (* 0.5 z1)) (sin (* 0.5 z0)))))
(FPCore (z0 z1 z2 z3) (/ (* (- z0 z1) z2) (- z3 z1)))
(FPCore (z0 z1) (pow (- (* (cos (* 0.5 z0)) (sin (* 0.5 z1))) (* (cos (* 0.5 z1)) (sin (* 0.5 z0)))) 2.0))
(FPCore (z0 z1) (* 2.0 (/ (* z0 z0) z1)))
(FPCore (z0 z1 z2 z3) (+ (pow (* (floor z0) z1) 2.0) (pow (* (floor z2) z3) 2.0)))
(FPCore (z0 z1 z2 z3 z4) (* (- z0 z1) (/ (- z2 z3) (- z4 z1))))
(FPCore (z0 z1) (/ (+ 3.0 (* -1.0 (/ (+ 9.0 (* 4.0 (- (* 2.0 z0) 3.0))) z1))) z1))
(FPCore (z0 z1 z2) (- z0 (* 2.0 (/ (* z1 z1) z2))))
(FPCore (z0 z1) (* (pow z0 4.0) (+ 6.0 (* -1.0 (/ (+ 3.0 (* -1.0 (/ (+ 9.0 (* 4.0 (- (* 2.0 z1) 3.0))) z0))) z0)))))
(FPCore (z0 z1) (+ 6.0 (* -1.0 (/ (+ 3.0 (* -1.0 (/ (+ 9.0 (* 4.0 (- (* 2.0 z0) 3.0))) z1))) z1))))
(FPCore (z0 z1 z2 z3 z4) (* (* z0 (pow (/ z1 z2) 2.0)) (- z3 z4)))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0 z1 z2) (+ (* -1.0 (* z0 z1)) (* z0 z2)))
(FPCore (z0) (cos (* 0.011111111111111112 (* z0 PI))))
(FPCore (z0 z1) (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))))
(FPCore (z0 z1 z2 z3 z4) (+ z0 (* (- z1 z2) (/ (- z3 z0) (- z4 z2)))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 (* z2 3.0)))))
(FPCore (z0 z1) (* z0 (* z1 3.0)))
(FPCore (z0 z1 z2) (* (pow (/ z0 z1) 0.5) (pow (/ z0 z2) 0.5)))
(FPCore (z0 z1 z2 z3 z4) (* (- (* z0 z1) (* z2 z3)) z4))
(FPCore (z0 z1) (* -1.0 (/ (+ 3.0 (* -1.0 (/ (+ 9.0 (* 4.0 (- (* 2.0 z0) 3.0))) z1))) z1)))
(FPCore (z0 z1) (* (/ (+ z0 z0) z1) z0))
(FPCore (z0 z1 z2 z3 z4 z5) (* (* (* 2.0 z0) z1) (- (- z2 (* 2.0 (/ (* z3 z3) z4))) (* (* z0 (pow (/ z3 z4) 2.0)) (- z1 z5)))))
(FPCore (z0) (- 1.0 (cos (+ z0 z0))))
(FPCore (z0 z1 z2) (+ (sqrt (- (* z0 z0) (* (* z1 4.0) z2))) z0))
(FPCore (z0 z1 z2 z3) (* (/ (- z0 z1) (- z0 z2)) z3))
(FPCore (z0 z1 z2 z3) (/ (* z0 z1) (- z2 z3)))
(FPCore (z0 z1) (* (tan z0) (tan z1)))
(FPCore (z0) (* 0.5 (cos (* 0.011111111111111112 (* z0 PI)))))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (/ (* z1 z2) z3)) z3))
(FPCore (z0 z1 z2 z3 z4 z5) (* (/ z0 (* 2.0 z1)) (+ (/ (* z0 (* z2 z2)) (* (* z1 z3) (* z4 z4))) (sqrt (- (* (/ (* z0 (* z2 z2)) (* (* z1 z3) (* z4 z4))) (/ (* z0 (* z2 z2)) (* (* z1 z3) (* z4 z4)))) (* z5 z5))))))
(FPCore (z0 z1) (- 1.0 (* (tan z0) (tan z1))))
(FPCore (z0 z1 z2 z3 z4 z5) (+ (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (sqrt (- (* (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4)))) (* z5 z5)))))
(FPCore (z0 z1 z2 z3) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2.0))) (sin (/ (- z2 z3) 2.0))))
(FPCore (z0 z1) (* (* (* z0 z0) z1) -0.16666666666666666))
(FPCore (z0) (* (cos (* 0.005555555555555556 (* z0 PI))) (sin (* 0.005555555555555556 (* z0 PI)))))
(FPCore (z0 z1) (- (- (* (* 0.5 (- (sqrt 5.0) 1.0)) (cos z0)) -1.0) (* (/ -4.0 (* (- (sqrt 5.0) -3.0) 2.0)) (cos z1))))
(FPCore (z0 z1 z2 z3) (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2.0))))
(FPCore (z0 z1 z2) (* (* z0 z1) (* z2 z2)))
(FPCore (z0) (- 1.0 (cos z0)))
(FPCore (z0) (- 0.5 (* 0.5 (cos (+ z0 z0)))))
(FPCore (z0) (sqrt (/ 1.0 z0)))
(FPCore (z0) (* (* PI z0) 0.005555555555555556))
(FPCore (z0) (- 0.5 (* 0.5 (cos (* 2.0 z0)))))
(FPCore (z0 z1 z2 z3 z4) (* (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4)))))
(FPCore (z0) (sin (* (* PI z0) 0.005555555555555556)))
(FPCore (z0 z1 z2 z3 z4 z5) (- (* (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4)))) (* z5 z5)))
(FPCore (z0 z1 z2 z3 z4 z5) (sqrt (- (* (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4)))) (* z5 z5))))
(FPCore (z0 z1) (- 0.5 (* 0.5 (cos (- z0 z1)))))
(FPCore (z0) (cos (* 0.005555555555555556 (* z0 PI))))
(FPCore (z0) (* (* 0.16666666666666666 z0) z0))
(FPCore (z0) (* PI (sqrt (- (log (- 1.0 z0))))))
(FPCore (z0 z1) (* 2.0 (* z0 (* PI (sqrt (- (log (- 1.0 z1))))))))
(FPCore (z0 z1) (* (log z0) (- z1 0.5)))
(FPCore (z0) (* (/ -4.0 (* (- (sqrt 5.0) -3.0) 2.0)) (cos z0)))
(FPCore (z0) (* 6.28318530718 z0))
(FPCore (z0 z1 z2 z3 z4) (* -1.0 (* z0 (- (* z1 z2) (* z3 z4)))))
(FPCore (z0 z1) (* z0 (* PI (sqrt (- (log (- 1.0 z1)))))))
(FPCore (z0 z1 z2 z3 z4) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))))
(FPCore (z0 z1) (* 0.5 (cos (- z0 z1))))
(FPCore (z0 z1) (log (- 1.0 (/ z0 z1))))
(FPCore (z0 z1 z2 z3) (* z0 (* z1 (* z2 z3))))
(FPCore (z0) (* 110.1139242984811 (/ 1.0 z0)))
(FPCore (z0 z1 z2 z3) (- (* z0 z1) (* (* z2 9.0) z3)))
(FPCore (z0 z1) (/ (+ 457.9610022158428 z0) z1))
(FPCore (z0 z1 z2) (* (sin z0) (/ z1 (fabs (sin z2)))))
(FPCore (z0 z1) (* (/ (- 0.5 z0) z0) (* (log z1) z0)))
(FPCore (z0 z1 z2) (* -1.0 (* z0 (/ z1 z2))))
(FPCore (z0 z1) (* (* z0 3.0) z1))
(FPCore (z0 z1) (/ z0 (fabs (sin z1))))
(FPCore (z0 z1 z2 z3 z4) (* (* (/ z0 (+ (* (* (/ z1 (* z2 z2)) z0) z0) z3)) z0) z4))
(FPCore (z0 z1) (pow (* z0 z1) 4.0))
(FPCore (z0 z1 z2) (- (- (* z0 z0) (* (* z1 4.0) z2)) (* z0 z0)))
(FPCore (z0 z1) (- (* (/ z0 (* z1 z1)) z0) -2.0))
(FPCore (z0 z1 z2 z3 z4 z5 z6) (/ (sqrt (fmax (+ (pow (* z0 (floor z1)) 2.0) (pow (* z2 (floor z3)) 2.0)) (+ (pow (* z4 (floor z1)) 2.0) (pow (* z5 (floor z3)) 2.0)))) (floor z6)))
(FPCore (z0) (/ 1.0 (* (* z0 z0) 4.0)))
(FPCore (z0 z1 z2) (/ (/ z0 z1) z2))
(FPCore (z0 z1 z2 z3 z4) (* (/ (- z0 z1) (- z2 z3)) z4))
(FPCore (z0 z1 z2 z3 z4) (- (+ z0 z1) (/ (* (- z2 z3) z1) (- z4 z3))))
(FPCore (z0 z1) (* (* -27.0 z0) z1))
(FPCore (z0 z1 z2) (* (+ z0 z0) (/ (- (- (* z1 z1) (* (* z0 4.0) z2)) (* z1 z1)) (+ (sqrt (- (* z1 z1) (* (* z0 4.0) z2))) z1))))
(FPCore (z0 z1) (/ (+ 36.52704169880642 (* -1.0 (/ (+ 457.9610022158428 z0) z1))) z1))
(FPCore (z0 z1) (* (* (- (sin z0) (* 0.0625 (sin z1))) (sqrt 2.0)) (- (sin z1) (* 0.0625 (sin z0)))))
(FPCore (z0 z1) (/ (sin z0) z1))
(FPCore (z0 z1 z2) (* (sqrt (/ z0 z1)) (sqrt (/ z0 z2))))
(FPCore (z0 z1) (/ z0 (* z0 (* z0 z1))))
(FPCore (z0 z1) (* -1.0 (/ (+ 457.9610022158428 z0) z1)))
(FPCore (z0 z1) (* z0 (/ z0 (* z1 z1))))
(FPCore (z0) (/ 2.0 (* z0 z0)))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) (/ (- (- (* z1 z1) (* (* z0 4.0) z2)) (* z1 z1)) (+ (sqrt (- (* z1 z1) (* (* z0 4.0) z2))) z1))) (/ 1.0 (* (* z0 z0) 4.0))))
(FPCore (z0 z1 z2 z3) (* (* (sin z0) (cos z1)) (cos (- z2 z3))))
(FPCore (z0 z1) (* (* (* z0 z0) z1) (/ (- 0.5 (* 0.5 (cos (+ z0 z0)))) (cos z0))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 z2)))
(FPCore (z0) (/ 1.0 (* z0 9.0)))
(FPCore (z0 z1 z2) (* (- (* (sin z0) (cos z1)) (* (sin z1) (cos z0))) (cos z2)))
(FPCore (z0 z1) (* -1.0 (/ (+ 36.52704169880642 (* -1.0 (/ (+ 457.9610022158428 z0) z1))) z1)))
(FPCore (z0) (* z0 (- 4.16438922228 (* 110.1139242984811 (/ 1.0 z0)))))
(FPCore (z0 z1 z2) (/ (- (- (* z0 z0) (* (* z1 4.0) z2)) (* z0 z0)) (+ (sqrt (- (* z0 z0) (* (* z1 4.0) z2))) z0)))
(FPCore (z0 z1) (* z0 (- (exp z1) 1.0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (+ z2 z2))))
(FPCore (z0) (/ (- 0.5 (* 0.5 (cos (+ z0 z0)))) (cos z0)))
(FPCore (z0 z1 z2 z3) (- (* z0 z1) (* 27.0 (* z2 z3))))
(FPCore (z0 z1) (* 2.0 (- (pow z0 2.0) (pow z1 2.0))))
(FPCore (z0 z1) (- (pow z0 2.0) (pow z1 2.0)))
(FPCore (z0 z1) (* (pow z0 6.0) z1))
(FPCore (z0 z1 z2) (* (cos z0) (* (cos z1) (cos z2))))
(FPCore (z0 z1) (* z0 (* z0 z1)))
(FPCore (z0 z1 z2 z3) (* (* (+ z0 (* z1 z2)) z2) z3))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 z2))))
(FPCore (z0 z1) (+ (* (cos z0) (cos z1)) (* (sin z0) (sin z1))))
(FPCore (z0 z1) (* (* z0 1.0) (log (- 1.0 (/ z1 z0)))))
(FPCore (z0) (- 4.16438922228 (* 110.1139242984811 (/ 1.0 z0))))
(FPCore (z0 z1 z2) (+ (log (+ z0 z1)) (log z2)))
(FPCore (z0 z1 z2 z3) (* (/ z0 z1) (- z2 z3)))
(FPCore (z0) (- (/ z0 (+ z0 1.0)) (/ (+ z0 1.0) (- z0 1.0))))
(FPCore (z0 z1 z2 z3) (+ (* (* (floor z0) z1) (* (floor z0) z1)) (* (* (floor z2) z3) (* (floor z2) z3))))
(FPCore (z0) (cos (* (* (* PI z0) 0.005555555555555556) 2.0)))
(FPCore (z0 z1 z2) (* z0 (- 1.0 (/ z1 z2))))
(FPCore (z0 z1 z2 z3) (- (* (cos z0) (sin z1)) (* (* (sin z0) (cos z1)) (cos (- z2 z3)))))
(FPCore (z0) (cos (* (* 2.0 PI) z0)))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0) (* -0.3275911 (fabs z0)))
(FPCore (z0 z1) (pow (sin (/ (- z0 z1) 2.0)) 2.0))
(FPCore (z0 z1 z2) (* (/ 0.0013717421124828531 (* (* z0 z0) z0)) (- (* (* z1 z0) 3.0) (* z2 z2))))
(FPCore (z0 z1 z2 z3) (* (+ z0 z1) (/ z2 (+ (+ z0 z3) z1))))
(FPCore (z0) (* (cos (* (* (* PI z0) 0.005555555555555556) 2.0)) 0.5))
(FPCore (z0 z1 z2 z3) (+ z0 (* z1 (/ z2 z3))))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (* -1.0 (* z1 (/ z2 z3)))) z3))
(FPCore (z0 z1 z2 z3) (- (+ z0 (/ z1 z2)) (/ (* z3 z0) z2)))
(FPCore (z0 z1) (pow z0 (- z1 1.0)))
(FPCore (z0) (- 0.5 (* (cos (+ z0 z0)) 0.5)))
(FPCore (z0 z1 z2 z3) (+ (/ z0 (* z1 z1)) (/ z2 (* z3 z3))))
(FPCore (z0) (+ 1.0 (* -0.5 (sqrt (* (* z0 z0) (* z0 z0))))))
(FPCore (z0 z1) (sqrt (- (* z0 z1))))
(FPCore (z0 z1) (/ (sin z0) (sqrt (+ (pow (sin z1) 2.0) (pow (sin z0) 2.0)))))
(FPCore (z0) (/ 1.0 (sin z0)))
(FPCore (z0) (/ 0.0013717421124828531 (* (* z0 z0) z0)))
(FPCore (z0 z1 z2 z3) (+ z0 (* -1.0 (* z1 (/ z2 z3)))))
(FPCore (z0 z1) (* (sin (* 0.5 z0)) (cos (* z1 0.5))))
(FPCore (z0 z1) (pow (- (* (sin (* 0.5 z0)) (cos (* z1 0.5))) (* (cos (* 0.5 z0)) (sin (* z1 0.5)))) 2.0))
(FPCore (z0 z1) (- (* (sin (* 0.5 z0)) (cos (* z1 0.5))) (* (cos (* 0.5 z0)) (sin (* z1 0.5)))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 4.0)))
(FPCore (z0) (* (- z0 0.5) (log z0)))
(FPCore (z0) (* (* (* PI z0) 0.005555555555555556) 2.0))
(FPCore (z0) (* (* z0 2.0) PI))
(FPCore (z0) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- z0)))))))
(FPCore (z0 z1) (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0)))
(FPCore (z0 z1 z2 z3) (* z0 (/ z1 (- z2 z3))))
(FPCore (z0 z1 z2 z3) (* z0 (+ z1 (* z2 z3))))
(FPCore (z0) (- (* -0.3275911 (fabs z0)) 1.0))
(FPCore (z0 z1) (sqrt (fabs (* -2.0 (/ z0 z1)))))
(FPCore (z0 z1) (- 0.5 (* 0.5 (+ (* (cos z0) (cos z1)) (* (sin z0) (sin z1))))))
(FPCore (z0 z1) (/ (+ (/ (- z0 z1) (+ (+ z1 z0) 2.0)) 1.0) 2.0))
(FPCore (z0 z1 z2 z3) (+ (pow (sin (/ (- z0 z1) 2.0)) 2.0) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2.0))) (sin (/ (- z2 z3) 2.0)))))
(FPCore (z0 z1 z2) (* (/ (sin z0) z1) z2))
(FPCore (z0) (- (* (- z0 0.5) (log z0)) z0))
(FPCore (z0 z1) (* (cos (* 0.5 z0)) (sin (* z1 0.5))))
(FPCore (z0 z1) (sqrt (+ (pow (sin z0) 2.0) (pow (sin z1) 2.0))))
(FPCore (z0 z1) (/ (* (cos z0) z1) z0))
(FPCore (z0) (* 2.0 (* z0 PI)))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1) (- (sqrt (fabs (* -2.0 (/ z0 z1))))))
(FPCore (z0) (log (* z0 z0)))
(FPCore (z0 z1) (+ (/ (- z0 z1) (+ (+ z1 z0) 2.0)) 1.0))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1) (* (sqrt (- (log (- 1.0 z0)))) (cos (* (* 2.0 PI) z1))))
(FPCore (z0) (sin (* z0 PI)))
(FPCore (z0 z1 z2 z3 z4) (* (pow (/ (* z0 z1) (* 2.0 z2)) 2.0) (/ z3 z4)))
(FPCore (z0) (* -0.5 (sqrt (* (* z0 z0) (* z0 z0)))))
(FPCore (z0) (+ (- (* (- z0 0.5) (log z0)) z0) 0.91893853320467))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (* z1 (/ z2 z3))) z3))
(FPCore (z0 z1) (* 0.5 (+ (* (cos z0) (cos z1)) (* (sin z0) (sin z1)))))
(FPCore (z0 z1 z2) (* (cos z0) (pow (- (* (cos (* 0.5 z1)) (sin (* 0.5 z2))) (* (cos (* 0.5 z2)) (sin (* 0.5 z1)))) 2.0)))
(FPCore (z0) (- 0.5 (* (cos (* (* (* PI z0) 0.005555555555555556) 2.0)) 0.5)))
(FPCore (z0 z1 z2 z3) (sqrt (+ (pow (sin (/ (- z0 z1) 2.0)) 2.0) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2.0))) (sin (/ (- z2 z3) 2.0))))))
(FPCore (z0 z1) (* (sqrt (* -16.0 z0)) (sqrt z1)))
(FPCore (z0 z1 z2 z3 z4) (* (* (/ (+ (* (- (* 0.25 z0) -0.3333333333333333) z0) 0.5) (/ (+ (* (* z1 z1) z2) (* (* z3 z4) z3)) (* (* (* z1 z1) z3) z3))) z0) z0))
(FPCore (z0 z1 z2) (/ (/ 1.0 (* z0 z1)) (* z2 (* z0 z1))))
(FPCore (z0) (- (log (/ z0 (- z0 -1.0)))))
(FPCore (z0 z1 z2) (* (- 0.5 (* (cos (- z0 z1)) 0.5)) (cos z2)))
(FPCore (z0 z1 z2) (* 0.012345679012345678 (- (* (* z0 z1) 3.0) (* z2 z2))))
(FPCore (z0 z1 z2) (/ z0 (* (* 2.0 z1) (cos (/ z2 2.0)))))
(FPCore (z0 z1) (* (cos (* z0 0.5)) (sin (* z1 0.5))))
(FPCore (z0) (/ (- (/ (- (/ 0.04938271604938271 z0) -0.037037037037037035) z0) 0.2222222222222222) z0))
(FPCore (z0) (/ -0.75 (* (* (* z0 z0) z0) z0)))
(FPCore (z0 z1 z2) (+ 1.0 (pow (/ z0 (* (* 2.0 z1) (cos (/ z2 2.0)))) 2.0)))
(FPCore (z0 z1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- z0))))) z1))
(FPCore (z0) (- (* 4.16438922228 z0) -78.6994924154))
(FPCore (z0 z1 z2 z3 z4) (+ (* (* (/ (+ (* (- (* 0.25 z0) -0.3333333333333333) z0) 0.5) (/ (+ (* (* z1 z1) z2) (* (* z3 z4) z3)) (* (* (* z1 z1) z3) z3))) z0) z0) (* (* (/ z3 (+ (* (* (/ z4 (* z1 z1)) z3) z3) z2)) z3) z0)))
(FPCore (z0) (* (- (* -0.25 z0) 0.3333333333333333) z0))
(FPCore (z0) (/ (- PI) z0))
(FPCore (z0 z1) (/ (* z0 (+ (/ z0 z1) 1.0)) (+ z0 1.0)))
(FPCore (z0 z1) (* (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0)) (+ z1 z1)))
(FPCore (z0 z1 z2 z3) (/ (+ (* (* z0 z0) z1) (* (* z2 z3) z2)) (* (* (* z0 z0) z2) z2)))
(FPCore (z0 z1 z2 z3 z4) (* z0 (- (* (* (* z1 18.0) z2) z3) (* 4.0 z4))))
(FPCore (z0 z1 z2 z3 z4 z5) (/ (- (+ (* (+ z0 z1) z2) (* (+ z3 z1) z4)) (* z1 z5)) (+ (+ z0 z3) z1)))
(FPCore (z0 z1) (* (* 0.5 (cos z0)) (- (exp (- 0.0 z1)) (exp z1))))
(FPCore (z0 z1) (log (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1 z2 z3) (* z0 (sqrt (/ (/ z1 z2) z3))))
(FPCore (z0 z1 z2 z3 z4) (+ (- (+ (log (+ z0 z1)) (log z2)) z3) (* (- z4 0.5) (log z3))))
(FPCore (z0) (sqrt (* -16.0 z0)))
(FPCore (z0 z1 z2 z3 z4) (* (/ (+ (* (- (* 0.25 z0) -0.3333333333333333) z0) 0.5) (/ (+ (* (* z1 z1) z2) (* (* z3 z4) z3)) (* (* (* z1 z1) z3) z3))) z0))
(FPCore (z0) (* (fabs z0) 0.3275911))
(FPCore (z0 z1) (* (sin (* z0 0.5)) (cos (* z1 0.5))))
(FPCore (z0 z1) (/ (- z0) (tan z1)))
(FPCore (z0 z1 z2) (* z0 (* z1 (floor z2))))
(FPCore (z0 z1) (* (* -2.0 z0) (cos (/ z1 2.0))))
(FPCore (z0) (/ 0.5 (* z0 z0)))
(FPCore (z0) (* 4.16438922228 z0))
(FPCore (z0 z1 z2 z3) (* (/ z0 (* z1 z2)) z3))
(FPCore (z0 z1 z2) (sqrt (+ 1.0 (pow (/ z0 (* (* 2.0 z1) (cos (/ z2 2.0)))) 2.0))))
(FPCore (z0) (* (* (cos z0) 0.5) (- (sqrt 5.0) 3.0)))
(FPCore (z0 z1) (/ z0 (* 3.0 (sqrt z1))))
(FPCore (z0 z1) (- (* (sin (* z0 0.5)) (cos (* z1 0.5))) (* (cos (* z0 0.5)) (sin (* z1 0.5)))))
(FPCore (z0 z1) (* 4.0 (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0))))
(FPCore (z0) (* -3.0 (* z0 z0)))
(FPCore (z0 z1) (* z0 (log (/ z0 z1))))
(FPCore (z0) (sin (* 30.0 z0)))
(FPCore (z0) (* (* (cos z0) 0.5) (- (sqrt 5.0) 1.0)))
(FPCore (z0 z1) (* (* (sin z0) z1) z1))
(FPCore (z0 z1 z2) (* (* z0 (floor z1)) z2))
(FPCore (z0) (/ 0.04938271604938271 z0))
(FPCore (z0) (* (* z0 z0) 0.16666666666666666))
(FPCore (z0) (* (- (* (- (* 4.16438922228 z0) -78.6994924154) z0) -137.519416416) z0))
(FPCore (z0 z1) (* (* 2.0 z0) (cos (/ z1 2.0))))
(FPCore (z0 z1 z2) (pow (/ z0 (* (* 2.0 z1) (cos (/ z2 2.0)))) 2.0))
(FPCore (z0 z1) (* (+ z0 (* (- (* (- (* 4.16438922228 z1) -78.6994924154) z1) -137.519416416) z1)) z1))
(FPCore (z0) (- (/ (- (/ 0.04938271604938271 z0) -0.037037037037037035) z0) 0.2222222222222222))
(FPCore (z0) (* (* PI 0.005555555555555556) z0))
(FPCore (z0 z1 z2 z3) (- (* (* (* z0 18.0) z1) z2) (* 4.0 z3)))
(FPCore (z0 z1) (sqrt (* -4.0 (* z0 z1))))
(FPCore (z0 z1 z2 z3 z4 z5) (- (+ (* (+ z0 z1) z2) (* (+ z3 z1) z4)) (* z1 z5)))
(FPCore (z0) (/ (- (/ 0.04938271604938271 z0) -0.037037037037037035) z0))
(FPCore (z0 z1 z2 z3 z4) (+ (* (+ z0 z1) z2) (* (+ z3 z1) z4)))
(FPCore (z0) (- (exp (- 0.0 z0)) (exp z0)))
(FPCore (z0 z1 z2 z3) (+ (* (* z0 z0) z1) (* (* z2 z3) z2)))
(FPCore (z0 z1 z2 z3 z4) (/ (+ (* (- (* 0.25 z0) -0.3333333333333333) z0) 0.5) (/ (+ (* (* z1 z1) z2) (* (* z3 z4) z3)) (* (* (* z1 z1) z3) z3))))
(FPCore (z0) (* z0 (sqrt PI)))
(FPCore (z0 z1 z2 z3) (/ (- (* z0 z1) z2) (- (* z3 z1) z2)))
(FPCore (z0) (* z0 (- (* -0.25 z0) 0.3333333333333333)))
(FPCore (z0 z1 z2) (- (* z0 (atan2 z1 z2))))
(FPCore (z0 z1 z2) (* (* -4.0 z0) (/ z1 z2)))
(FPCore (z0 z1) (+ z0 (* (- (* (- (* 4.16438922228 z1) -78.6994924154) z1) -137.519416416) z1)))
(FPCore (z0 z1) (* 9.0 (* z0 z1)))
(FPCore (z0 z1 z2) (sqrt (/ (/ z0 z1) z2)))
(FPCore (z0) (* (- (* 4.16438922228 z0) -78.6994924154) z0))
(FPCore (z0 z1 z2 z3) (+ z0 (/ (- (* z1 z2) z0) (- (* z3 z2) z0))))
(FPCore (z0) (- (* (- (* 4.16438922228 z0) -78.6994924154) z0) -137.519416416))
(FPCore (z0) (- (/ 0.04938271604938271 z0) -0.037037037037037035))
(FPCore (z0 z1 z2 z3) (- (+ (log (+ z0 z1)) (log z2)) z3))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (/ (- (* z1 z2) z0) (- (* z3 z2) z0))) (+ z0 1.0)))
(FPCore (z0) (- (* (fabs z0) 0.3275911) -1.0))
(FPCore (z0 z1 z2) (* (* (- z0) z1) z2))
(FPCore (z0 z1) (sqrt (* -16.0 (/ z0 z1))))
(FPCore (z0 z1 z2) (* (* (* -2.0 z0) (cos (/ z1 2.0))) (sqrt (+ 1.0 (pow (/ z2 (* (* 2.0 z0) (cos (/ z1 2.0)))) 2.0)))))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) (* 0.5 z2)))
(FPCore (z0) (log (/ z0 (- z0 -1.0))))
(FPCore (z0 z1 z2) (* (- 1.0 (/ z0 z1)) z2))
(FPCore (z0 z1) (* z0 (sin (* (/ z1 180.0) PI))))
(FPCore (z0) (* PI (+ z0 z0)))
(FPCore (z0 z1 z2) (+ z0 (* 9.0 (* z1 z2))))
(FPCore (z0 z1) (/ z0 (tan z1)))
(FPCore (z0 z1) (- 3.0 (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0))))
(FPCore (z0 z1) (/ (/ 1.0 z0) z1))
(FPCore (z0) (sqrt (sqrt (* (* (* (* z0 z0) z0) z0) (* (* (* z0 z0) z0) z0)))))
(FPCore (z0 z1 z2 z3) (* (/ (- z0 z1) (- z0 (- z2 -1.0))) z3))
(FPCore (z0) (* -0.0625 (* (pow (sin z0) 2.0) (sqrt 2.0))))
(FPCore (z0) (- (/ -1.061405429 (- (* (fabs z0) 0.3275911) -1.0)) -1.453152027))
(FPCore (z0 z1) (pow (* z0 (sin (* (/ z1 180.0) PI))) 2.0))
(FPCore (z0 z1 z2 z3) (atan2 (sqrt (+ (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))) (* (cos z2) (cos z3))) (- 0.5 (* 0.5 (+ (* (cos z2) (cos z3)) (* (sin z2) (sin z3))))))) (sqrt (- (+ 0.5 (* 0.5 (+ (* (cos z2) (cos z3)) (* (sin z2) (sin z3))))) (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))) (* (cos z2) (cos z3)))))))
(FPCore (z0) (* -1.0 (/ (- 0.5 (* 0.5 (cos (* 0.011111111111111112 (* z0 PI))))) (* (cos (* 0.005555555555555556 (* z0 PI))) (sin (* 0.005555555555555556 (* z0 PI)))))))
(FPCore (z0) (* (pow (sin z0) 2.0) (sqrt 2.0)))
(FPCore (z0) (* z0 (- (* -1.0 (/ (- (* 3655.1204654076414 (/ 1.0 z0)) 110.1139242984811) z0)) 4.16438922228)))
(FPCore (z0 z1) (* (- (* (- (cos z0) (cos z1)) (* (* (- (sin z1) (* 0.0625 (sin z0))) (sqrt 2.0)) (- (sin z0) (* 0.0625 (sin z1))))) -2.0) 0.3333333333333333))
(FPCore (z0) (- (* 3655.1204654076414 (/ 1.0 z0)) 110.1139242984811))
(FPCore (z0 z1 z2) (* (tan (* PI (+ 0.5 (+ z0 z0)))) (/ z1 z2)))
(FPCore (z0) (- (* -1.0 (/ (- (* 3655.1204654076414 (/ 1.0 z0)) 110.1139242984811) z0)) 4.16438922228))
(FPCore (z0 z1 z2) (* -6.0 (* z0 (- z1 z2))))
(FPCore (z0 z1) (* (- (* 4.0 (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0))) 6.0) (* z1 z1)))
(FPCore (z0) (- (* 0.3275911 (fabs z0)) -1.0))
(FPCore (z0) (* 0.2 (* z0 z0)))
(FPCore (z0 z1 z2) (* -2.0 (atan (* (tan (* PI (+ 0.5 (+ z0 z0)))) (/ z1 z2)))))
(FPCore (z0 z1 z2 z3 z4) (- 1.0 (* (* 0.5 (* z0 z1)) (/ (* (* z0 z1) z2) (* (* (+ z3 z3) z4) (+ z3 z3))))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 4.0))))
(FPCore (z0 z1) (/ (- (log (/ z0 (- z0 -1.0)))) z1))
(FPCore (z0) (/ -1.061405429 (- (* (fabs z0) 0.3275911) -1.0)))
(FPCore (z0 z1 z2 z3) (* (/ z0 (- z1 z2)) (- z3 z2)))
(FPCore (z0 z1 z2 z3) (sqrt (- (+ 0.5 (* 0.5 (+ (* (cos z0) (cos z1)) (* (sin z0) (sin z1))))) (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z2 z3)))))) (* (cos z0) (cos z1))))))
(FPCore (z0) (pow (sin (* 0.005555555555555556 (* z0 PI))) 4.0))
(FPCore (z0) (* -0.16666666666666666 (* z0 z0)))
(FPCore (z0 z1) (+ (* -1.0 z0) (* z1 (- (+ (* -12.0 z0) (* 8.0 (* z0 z1))) 6.0))))
(FPCore (z0) (- (cos (+ z0 z0)) 1.0))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* z1 (* z2 3.0)))) z0))
(FPCore (z0 z1) (+ 0.5 (* 0.5 (+ (* (cos z0) (cos z1)) (* (sin z0) (sin z1))))))
(FPCore (z0) (* 16.666666666666668 z0))
(FPCore (z0 z1 z2) (* 2.0 (sqrt (+ (* (+ z0 z1) z2) (* z0 z1)))))
(FPCore (z0) (* 3655.1204654076414 (/ 1.0 z0)))
(FPCore (z0 z1) (* (- (cos z0) (cos z1)) (* (* (- (sin z1) (* 0.0625 (sin z0))) (sqrt 2.0)) (- (sin z0) (* 0.0625 (sin z1))))))
(FPCore (z0) (sin (* z0 (+ PI PI))))
(FPCore (z0 z1) (* (- 3.0 (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0))) (* (/ (+ (- (+ z0 z0) z1) (* (* 3.0 z1) z1)) (- (* z1 z1) -1.0)) (+ z1 z1))))
(FPCore (z0 z1 z2 z3) (sqrt (+ (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))) (* (cos z2) (cos z3))) (- 0.5 (* 0.5 (+ (* (cos z2) (cos z3)) (* (sin z2) (sin z3))))))))
(FPCore (z0 z1 z2 z3) (* (* (- z0 z1) z2) z3))
(FPCore (z0) (/ (- (/ (- (/ (- (/ -1.061405429 (- (* (fabs z0) 0.3275911) -1.0)) -1.453152027) (- (* (fabs z0) 0.3275911) -1.0)) 1.421413741) (- (* (fabs z0) 0.3275911) -1.0)) -0.284496736) (- (* -0.3275911 (fabs z0)) 1.0)))
(FPCore (z0 z1 z2) (* (- z0) (/ z1 (* (* z2 z2) z2))))
(FPCore (z0) (* (- (sqrt 5.0) 1.0) (cos z0)))
(FPCore (z0 z1 z2 z3) (/ (+ (* z0 z1) (* z2 z3)) (+ (* z1 z1) (* z3 z3))))
(FPCore (z0) (/ (- (/ -1.061405429 (- (* (fabs z0) 0.3275911) -1.0)) -1.453152027) (- (* (fabs z0) 0.3275911) -1.0)))
(FPCore (z0) (* -0.5 (- (* (- (sqrt 5.0) 1.0) (cos z0)) (- (sqrt 5.0) 3.0))))
(FPCore (z0 z1) (* (* (+ z0 z0) z1) (+ z0 z0)))
(FPCore (z0 z1 z2) (cos (* -2.0 (atan (* (tan (* PI (+ 0.5 (+ z0 z0)))) (/ z1 z2))))))
(FPCore (z0) (* -1.0 (/ (- (* 3655.1204654076414 (/ 1.0 z0)) 110.1139242984811) z0)))
(FPCore (z0 z1 z2 z3) (/ z0 (- z1 (* z2 z3))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* 3.0 z1) z2))))
(FPCore (z0 z1 z2) (- (- (* 0.125 (+ z0 z1)) (* -0.0625 z2)) (* 0.125 (+ z1 z0))))
(FPCore (z0 z1 z2) (/ (+ (- z0) (sqrt (- (* z0 z0) (* (* 3.0 z1) z2)))) (* 3.0 z1)))
(FPCore (z0 z1 z2) (/ z0 (* (sin z1) z2)))
(FPCore (z0) (* (* 0.0625 (* (- (cos z0) 1.0) (sqrt 2.0))) (- 0.5 (* 0.5 (cos (* 2.0 z0))))))
(FPCore (z0 z1) (+ (* (* (* z0 z0) z1) -0.16666666666666666) z1))
(FPCore (z0 z1 z2 z3 z4 z5) (* -1.0 (* z0 (* z1 (- (* z2 z3) (* z4 z5))))))
(FPCore (z0) (* (- (cos z0) 1.0) (sqrt 2.0)))
(FPCore (z0) (* PI (+ 0.5 (+ z0 z0))))
(FPCore (z0 z1 z2 z3) (+ (* (- 0.5 (* 0.5 (cos (* 2.0 (* 0.5 (- z0 z1)))))) (* (cos z2) (cos z3))) (- 0.5 (* 0.5 (+ (* (cos z2) (cos z3)) (* (sin z2) (sin z3)))))))
(FPCore (z0 z1 z2 z3) (* z0 (/ (sqrt z1) (sqrt (* z2 z3)))))