(FPCore (z0 z1 z2 z3) (- (* z0 z1) (* z2 z3)))
(FPCore (z0 z1 z2 z3 z4) (* z0 (- (* z1 z2) (* z3 z4))))
(FPCore (z1 z0) (cos (- z1 z0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 z2)))
(FPCore (z0 z1) (/ z0 (* z1 z1)))
(FPCore (z0 z1) (* (/ z0 (* z1 z1)) z0))
(FPCore (z0) (* z0 PI))
(FPCore (z0 z1 z2) (* z0 (* z1 z2)))
(FPCore (z0 z1 z2) (* (/ z0 z1) z2))
(FPCore (z0) (* -1/2 (+ -1 (cos (+ z0 z0)))))
(FPCore (z1 z0) (* -1/2 (+ -1 (cos (- z1 z0)))))
(FPCore (z0 z1) (pow (* z0 (floor z1)) 2))
(FPCore (z0 z3 z4 z1 z2) (* z0 (- (* z3 z4) (* z1 z2))))
(FPCore (z0) (- (sqrt (- z0 -1)) (sqrt z0)))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1 z2 z3 z4 z5) (* z0 (* z1 (- (* z2 z3) (* z4 z5)))))
(FPCore (z0 z1) (* (sin z0) (sin z1)))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0) (* (+ PI PI) z0))
(FPCore (z0 z1) (* (cos z0) (sin z1)))
(FPCore (z0 z1) (* (/ z0 z1) z0))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1) (* (sin z0) (cos z1)))
(FPCore (z0) (* PI z0))
(FPCore (z1 z0) (* 1/2 (cos (- z1 z0))))
(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1 z2 z3) (+ (* z0 z1) (* z2 z3)))
(FPCore (z0) (* 1/6 z0))
(FPCore (z0) (* z0 (+ PI PI)))
(FPCore (z0 z1) (* z0 (log z1)))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1) (* (* z0 z1) z1))
(FPCore (z0 z1) (sin (- z0 z1)))
(FPCore (z0 z1) (sqrt (* -4 (/ z0 z1))))
(FPCore (z0 z1) (sqrt (/ z0 z1)))
(FPCore (z0 z1 z2) (* (* z0 z1) z2))
(FPCore (z0 z1 z2 z3) (+ (pow (* z0 (floor z1)) 2) (pow (* z2 (floor z3)) 2)))
(FPCore (z0) (* (- (* 1/4 z0) -1/3) z0))
(FPCore (z0) (log (- 1 z0)))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1) (* (* z0 9) z1))
(FPCore (z0 z1) (* (/ z0 z1) 1/3))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7) (* (- (* z0 z1) (* z2 z3)) (- (* z4 z5) (* z6 z7))))
(FPCore (z0 z1) (* z0 (* z1 z1)))
(FPCore (z0) (/ 1 (* z0 z0)))
(FPCore (z0 z1 z2) (/ (- z0) (sqrt (* z1 z2))))
(FPCore (z0) (+ 1/2 (* 1/6 z0)))
(FPCore (z0 z1) (cos (+ z0 z1)))
(FPCore (z0) (sin (* z0 30)))
(FPCore (z0) (* (* z0 z0) 900))
(FPCore (z0) (cos (* z0 -30)))
(FPCore (z0 z1) (* (sin (* z0 30)) (cos (* z1 -30))))
(FPCore (z0 z1) (* z0 (* z1 PI)))
(FPCore (z0 z1) (- (cos z0) (cos z1)))
(FPCore (z0) (- (cos z0) 1))
(FPCore (z0 z1 z3 z2) (/ (* (- z0 z1) z3) (- z0 z2)))
(FPCore (z0 z1) (* (cos (* -1/2 z0)) (sin (* 1/2 z1))))
(FPCore (z0 z1) (* (* z0 27) z1))
(FPCore (z1 z0 z2 z3) (* (* -1/2 (+ -1 (cos (- z1 z0)))) (* (cos z2) (cos z3))))
(FPCore (z0 z1 z2 z3) (* (/ (- z0 z1) z2) z3))
(FPCore (z2 z3 z0 z1) (- (* z2 z3) (* z0 z1)))
(FPCore (z0) (sin (* (+ PI PI) z0)))
(FPCore (z0 z1 z2 z3) (+ (* (/ z0 (* z1 z1)) z0) (* (/ z2 (* z3 z3)) z2)))
(FPCore (z1 z0) (* (cos (- z1 z0)) 1/2))
(FPCore (z0 z2 z1) (/ (* (sin z0) z2) (fabs (sin z1))))
(FPCore (z0 z1) (/ (sin z0) (fabs (sin z1))))
(FPCore (z0 z1 z2) (* (sin (- z0 z1)) (cos z2)))
(FPCore (z0) (/ 1 (sqrt z0)))
(FPCore (z0) (- 1 (cos (+ z0 z0))))
(FPCore (z0 z1) (sin (/ (- z0 z1) 2)))
(FPCore (z0 z1) (* (* z0 3) z1))
(FPCore (z1 z0) (* 1/2 (+ 1 (cos (- z1 z0)))))
(FPCore (z0 z1 z2) (* z0 (atan2 z1 z2)))
(FPCore (z0) (- (exp z0) 1))
(FPCore (z0 z1 z2) (* (atan2 z0 z1) z2))
(FPCore (z0 z1) (/ z0 (* -3 z1)))
(FPCore (z1 z0 z2) (* (cos (- z1 z0)) (cos z2)))
(FPCore (z0 z1 z2 z3) (* z0 (sqrt (/ z1 (* z2 z3)))))
(FPCore (z0 z1 z2) (sqrt (/ z0 (* z1 z2))))
(FPCore (z0 z1) (/ (* z0 (+ z0 z0)) z1))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1 z2) (* z0 (/ z1 (+ z2 z2))))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7) (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z6 z3) (* z7 z2)))))
(FPCore (z0 z1) (* (* z0 z1) z0))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8) (- (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z6 z3) (* z7 z2)))) (* z8 (- (* z6 z1) (* z7 z4)))))
(FPCore (z0) (* 1/3 z0))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8 z9) (* z0 (- (+ (* z1 (- (* z2 z3) (* z4 z5))) (* z6 (- (* z7 z4) (* z8 z3)))) (* z9 (- (* z7 z2) (* z8 z5))))))
(FPCore (z0 z1) (pow (* (floor z0) z1) 2))
(FPCore (z0) (* (* (- (sqrt 5) 3) 1/2) (cos z0)))
(FPCore (z0 z1 z2 z3 z4 z5) (* (* (+ z0 z0) z1) (- (- z2 (* (/ z3 z4) (+ z3 z3))) (* (* z0 (* (/ z3 z4) (/ z3 z4))) (- z1 z5)))))
(FPCore (z0) (* -1/3 z0))
(FPCore (z0) (- (+ -1 (* z0 3275911/10000000))))
(FPCore (z0 z1 z2 z3 z4) (* (* z0 (* (/ z1 z2) (/ z1 z2))) (- z3 z4)))
(FPCore (z0 z1 z2 z3 z4 z5) (- (- z0 (* z1 (/ (+ z1 z1) z2))) (* (* z3 (* (/ z1 z2) (/ z1 z2))) (- z4 z5))))
(FPCore (z0 z1) (log (/ z0 z1)))
(FPCore (z0 z1) (* (* z0 z1) 3))
(FPCore (z0 z1 z2) (/ (* (sin z0) z1) z2))
(FPCore (z0) (sin (* z0 (+ PI PI))))
(FPCore (z0 z1 z2) (* z0 (* (/ z1 z2) (/ z1 z2))))
(FPCore (z0 z1) (* -1/3 (/ z0 z1)))
(FPCore (z0 z1) (sin (* 1/2 (- z0 z1))))
(FPCore (z0) (* (- z0) 3275911/10000000))
(FPCore (z0) (- (log (- 1 z0))))
(FPCore (z0 z1) (/ 1 (* z0 z1)))
(FPCore (z0 z1 z2) (* (cos z0) (sin (- z1 z2))))
(FPCore (z0) (/ 2 (* z0 z0)))
(FPCore (z0) (* -1/2 (+ -1 (cos z0))))
(FPCore (z0 z1 z2 z3) (* z0 (/ z1 (* z2 z3))))
(FPCore (z0) (- (* -3275911/10000000 (- z0)) 1))
(FPCore (z0 z1) (+ (* -1/2 (+ -1 (cos (+ z0 z0)))) (* 1/2 (- 1 (cos (+ z1 z1))))))
(FPCore (z0) (* (* z0 z0) -1/6))
(FPCore (z0) (* (- (/ 2 (* z0 (/ (- z0 -1) z0))) 2) (- (/ 2 (* z0 (/ (- z0 -1) z0))) 2)))
(FPCore (z0 z1 z2) (- (* (* z0 z1) 3) (* z2 z2)))
(FPCore (z0 z1 z2) (* z0 (fabs (cos (* 1/2 (+ z1 z2))))))
(FPCore (z0) (* -3275911/10000000 (- z0)))
(FPCore (z0 z1 z2) (* (* (- (+ z0 z0) -1) z1) z2))
(FPCore (z0 z1 z3 z2) (+ z0 (/ (- z1 (* z3 z0)) z2)))
(FPCore (z0) (- 2 (/ 2 (* z0 (/ (- z0 -1) z0)))))
(FPCore (z0 z1 z2) (cos (/ (* (* (- (+ z0 z0) -1) z1) z2) -16)))
(FPCore (z0 z1 z2) (pow (/ z0 (* (+ z1 z1) (cos (/ z2 -2)))) 2))
(FPCore (z0 z1 z2) (* (/ 1/9 (* z0 z0)) (- (* (* z1 z0) 3) (* z2 z2))))
(FPCore (z0 z1) (* (* -2 z0) (cos (/ z1 -2))))
(FPCore (z0 z1 z2 z3) (+ z0 (* (/ z1 z2) z3)))
(FPCore (z0 z1) (* (+ z0 z0) (cos (/ z1 -2))))
(FPCore (z0 z1 z2) (sqrt (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (/ z2 -2)))) 2))))
(FPCore (z0) (cos (* z0 (+ PI PI))))
(FPCore (z0) (- (* (- z0 1/2) (log z0)) z0))
(FPCore (z0) (/ 1/9 (* z0 z0)))
(FPCore (z0) (* (+ z0 z0) PI))
(FPCore (z0 z1 z2 z3) (+ z0 (* z1 (/ z2 z3))))
(FPCore (z0 z1 z2) (+ 1 (pow (/ z0 (* (+ z1 z1) (cos (/ z2 -2)))) 2)))
(FPCore (z0) (* -1/6 z0))
(FPCore (z0) (* (* 1/2 (- (sqrt 5) 1)) (cos z0)))
(FPCore (z0 z1 z2 z3) (* (/ z0 (- z1 z2)) (- z1 z3)))
(FPCore (z0) (* (* 1/2 (cos z0)) (- 1 (sqrt 5))))
(FPCore (z0 z1 z2) (* (* (* -2 z0) (cos (/ z1 -2))) (sqrt (+ 1 (pow (/ z2 (* (+ z0 z0) (cos (/ z1 -2)))) 2)))))
(FPCore (z0 z2 z1) (* (cos z0) (cos (- z2 z1))))
(FPCore (z0) (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1))
(FPCore (z0) (* (- z0 1/2) (log z0)))
(FPCore (z0 z1 z2) (* z0 (/ z1 (* z2 z2))))
(FPCore (z0) (- (* (- z0 1/2) (log z0)) (- z0 91893853320467/100000000000000)))
(FPCore (z0 z1 z2) (/ (* (* (- (+ z0 z0) -1) z1) z2) 16))
(FPCore (z0 z1 z2) (/ z0 (* (+ z1 z1) (cos (/ z2 -2)))))
(FPCore (z0 z1 z2 z3) (* z0 (/ z1 (- z2 z3))))
(FPCore (z0 z1) (* z0 (log (/ z0 z1))))
(FPCore (z0 z1 z2 z3) (* z0 (+ z1 (* z2 z3))))
(FPCore (z0) (sin (- PI z0)))
(FPCore (z0 z1) (cos (* -1/2 (+ z0 z1))))
(FPCore (z0) (fabs (sin (- PI z0))))
(FPCore (z0 z1 z2 z3 z4) (* (/ (- z0) (sqrt (* z1 z2))) (- 1 (* (* (/ z3 (+ z0 z0)) z4) (* (* (* (/ z3 (+ z0 z0)) z4) 1/2) (/ z2 z1))))))
(FPCore (z0 z1 z2) (/ (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))) -1) 2))
(FPCore (z0) (sin (* PI z0)))
(FPCore (z0 z1 z2) (* (/ z0 (* z1 z1)) z2))
(FPCore (z0 z1 z2 z3) (/ (* z0 (- z1 z2)) z3))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (+ (+ (+ z0 z1) z2) z2)))
(FPCore (z0) (cbrt z0))
(FPCore (z0 z1) (* z0 (- (exp z1) 1)))
(FPCore (z0 z1 z2 z3) (+ (/ z0 (* z1 z1)) (/ z2 (* z3 z3))))
(FPCore (z0 z1) (- (* (/ z0 (* z1 z1)) z0) -2))
(FPCore (z0) (* (* (* (* z0 z0) z0) z0) (* (* (* z0 z0) z0) z0)))
(FPCore (z0) (- (* (* z0 z0) -1/6) -1))
(FPCore (z0) (* (* PI z0) 1/180))
(FPCore (z0 z1 z2) (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))))
(FPCore (z0 z1 z2 z3) (/ (* 60 (- z0 z1)) (- z2 z3)))
(FPCore (z0 z1 z2) (- (/ (* (+ z0 z1) (- z1 z0)) (* (+ (+ (+ z0 z1) z2) z2) (- (+ (+ (+ z0 z1) z2) z2) -2))) -1))
(FPCore (z0 z1) (/ z0 (* 3 (sqrt z1))))
(FPCore (z0 z1) (* 1/4 (/ (exp (/ (- z0) z1)) (* (* (+ PI PI) z1) z0))))
(FPCore (z0 z1) (/ (sin z0) (sqrt (+ (* 1/2 (- 1 (cos (+ z1 z1)))) (* -1/2 (+ -1 (cos (+ z0 z0))))))))
(FPCore (z0 z1) (sqrt (+ (* -1/2 (+ -1 (cos (+ z0 z0)))) (* 1/2 (- 1 (cos (+ z1 z1)))))))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7) (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z3 z6) (* z1 z7)))))
(FPCore (z0 z1) (sqrt (* -4 (* z0 z1))))
(FPCore (z0 z1 z2 z3 z4) (* z0 (/ (+ (+ z0 z0) (* (* (/ z0 z1) z2) (- z3 z4))) z1)))
(FPCore (z0) (* 3 (sqrt z0)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 4) z2)))
(FPCore (z0) (- (* (* 1/2 (cos z0)) (- 3 (sqrt 5))) -1))
(FPCore (z0 z1) (+ (- (sqrt (- z0 -1)) (sqrt z0)) (- (sqrt (- z1 -1)) (sqrt z1))))
(FPCore (z0) (- (* z0 (+ PI PI)) (* -1/2 PI)))
(FPCore (z0 z1) (* 1/2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1 z2 z3 z4 z5) (* (/ z0 (+ z1 z1)) (+ (/ (* z0 (* z2 z2)) (* (* z1 z3) (* z4 z4))) (sqrt (- (/ (* (* z0 (* z2 z2)) (* z0 (* z2 z2))) (* (* (* z1 z3) (* z1 z3)) (* (* z4 z4) (* z4 z4)))) (* z5 z5))))))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8) (- (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z3 z6) (* z1 z7)))) (* z8 (- (* z2 z6) (* z4 z7)))))
(FPCore (z0 z1) (* (* (* z0 z1) z1) (- z0)))
(FPCore (z0 z1 z2 z3 z4 z5) (- z0 (* z1 (/ (+ (+ z1 z1) (* (* (/ z1 z2) z3) (- z4 z5))) z2))))
(FPCore (z0) (* (sin z0) (sqrt 2)))
(FPCore (z0 z1) (* (* (+ PI PI) z0) z1))
(FPCore (z0 z1) (- (- (* (* 1/2 (cos z0)) (- 3 (sqrt 5))) -1) (* (* 1/2 (cos z1)) (- 1 (sqrt 5)))))
(FPCore (z0 z1 z2 z3 z4) (/ (+ (+ z0 z0) (* (* (/ z0 z1) z2) (- z3 z4))) z1))
(FPCore (z0) (cos (* (+ PI PI) z0)))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8 z9) (* z0 (- (+ (* z1 (- (* z2 z3) (* z4 z5))) (* z6 (- (* z4 z7) (* z2 z8)))) (* z9 (- (* z3 z7) (* z5 z8))))))
(FPCore (z0) (* (* 1/2 (cos z0)) (- 3 (sqrt 5))))
(FPCore (z0 z1) (* (* (* z0 z0) z1) z1))
(FPCore (z0 z1) (- (sqrt (fabs (/ (+ z0 z0) z1)))))
(FPCore (z0 z1) (sqrt (fabs (/ (+ z0 z0) z1))))
(FPCore (z0) (+ 1/2 (* 1/2 (cos z0))))
(FPCore (z0) (/ PI z0))
(FPCore (z0 z1 z2) (/ (* z0 (- z1 z2)) z1))
(FPCore (z0) (* (sqrt 2) (- (cos z0) 1)))
(FPCore (z0 z1 z2 z3 z4) (/ (* (* z0 (* z1 z1)) (* z0 (* z1 z1))) (* (* (* z2 z2) (* z3 z3)) (* (* z4 z4) (* z4 z4)))))
(FPCore (z0 z1) (sqrt (+ (* z0 z0) (* z1 z1))))
(FPCore (z0 z1 z2) (/ (+ (* (- (* (+ z0 7936500793651/10000000000000000) z1) 13888888888889/5000000000000000) z1) 83333333333333/1000000000000000) z2))
(FPCore (z0 z1) (- (* (cos (* -1/2 z0)) (sin (* 1/2 z1))) (* (cos (* -1/2 z1)) (sin (* 1/2 z0)))))
(FPCore (z0 z1) (* (* (* 6 PI) z0) z1))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 (* z2 3))))
(FPCore (z0) (/ 1 (* (* (* z0 z0) z0) z0)))
(FPCore (z0) (* z0 (/ 1 (sqrt z0))))
(FPCore (z0 z1) (* (tan z0) (tan z1)))
(FPCore (z0 z1 z2 z3 z4 z5) (- (/ (* (* z0 (* z1 z1)) (* z0 (* z1 z1))) (* (* (* z2 z2) (* z3 z3)) (* (* z4 z4) (* z4 z4)))) (* z5 z5)))
(FPCore (z0 z1) (- 1 (* (/ z0 (* z1 z1)) z0)))
(FPCore (z0) (* (* -1/2 (+ -1 (cos (+ z0 z0)))) (* (sqrt 2) (- (cos z0) 1))))
(FPCore (z0 z1 z2 z3 z4 z5) (+ (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))) (sqrt (- (/ (* (* z0 (* z1 z1)) (* z0 (* z1 z1))) (* (* (* z2 z2) (* z3 z3)) (* (* z4 z4) (* z4 z4)))) (* z5 z5)))))
(FPCore (z0 z1 z2 z3) (/ (* z0 (- z1 z2)) (- z3 z2)))
(FPCore (z0) (sqrt (- (log (- 1 z0)))))
(FPCore (z0 z1) (* (- (* (/ z0 (* z1 z1)) z0) -2) (tan z0)))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 (* z2 3)))))
(FPCore (z0 z1) (* z0 (* z1 3)))
(FPCore (z0 z1) (* (log z0) (- z1 1/2)))
(FPCore (z0 z1) (/ -2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1 z2) (* (* z0 z1) (* z2 z2)))
(FPCore (z0 z1) (fabs (cos (* -1/2 (+ z0 z1)))))
(FPCore (z0) (* -1/16 (* (* -1/2 (+ -1 (cos (+ z0 z0)))) (* (sqrt 2) (- (cos z0) 1)))))
(FPCore (z0 z1 z2 z3 z4 z5) (sqrt (- (/ (* (* z0 (* z1 z1)) (* z0 (* z1 z1))) (* (* (* z2 z2) (* z3 z3)) (* (* z4 z4) (* z4 z4)))) (* z5 z5))))
(FPCore (z0 z1 z2) (* (/ z0 (+ z1 z1)) z2))
(FPCore (z0 z1) (* 3/4 (/ (exp (/ z0 (* -3 z1))) (* (* (* 6 PI) z1) z0))))
(FPCore (z0 z1 z2) (+ (- (* (- z0 1/2) (log z0)) (- z0 91893853320467/100000000000000)) (/ (+ (* (- (* (+ z1 7936500793651/10000000000000000) z2) 13888888888889/5000000000000000) z2) 83333333333333/1000000000000000) z0)))
(FPCore (z0) (* (* 6 PI) z0))
(FPCore (z0 z1 z2 z3 z4) (/ (* z0 (* z1 z1)) (* (* z2 z3) (* z4 z4))))
(FPCore (z0 z1 z2 z3 z4) (* z0 (sqrt (* (* (* -2 z1) (/ (- (* (/ (- z1 z2) z3) z4) -2) z3)) z4))))
(FPCore (z0) (tan (- (* z0 (+ PI PI)) (* -1/2 PI))))
(FPCore (z0 z1 z2 z3) (* (* (* -2 z0) (/ (- (* (/ (- z0 z1) z2) z3) -2) z2)) z3))
(FPCore (z0) (/ 1/2 (* z0 (/ 1 (sqrt z0)))))
(FPCore (z0 z1) (- (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1) (* (* (- (sqrt 5) 3) 1/2) (cos z1))))
(FPCore (z0 z1) (* z0 (* 9 z1)))
(FPCore (z0) (- (* (* z0 z0) 1/6) -1))
(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 (* (- z1 -1) z1)))
(FPCore (z0 z1 z2 z3) (/ (- (* (/ (- z0 z1) z2) z3) -2) z2))
(FPCore (z0) (* (* 3 z0) z0))
(FPCore (z0 z1 z2) (* (tan (- (* z0 (+ PI PI)) (* -1/2 PI))) (/ z1 z2)))
(FPCore (z0 z1 z2 z3 z4 z5) (* z0 (* z1 (+ (* (- z2) z3) (* z4 z5)))))
(FPCore (z0 z1 z2) (* (- z0) (* z1 z2)))
(FPCore (z0 z1 z2 z3) (/ (- (* z0 z1) z2) (- (* z3 z1) z2)))
(FPCore (z0) (* (- (* -1/4 z0) 1/3) z0))
(FPCore (z0 z1 z2) (* (* z0 (+ z0 z0)) (/ (- z1) z2)))
(FPCore (z0) (/ (sin z0) z0))
(FPCore (z0 z1 z2 z3) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2))) (sin (/ (- z2 z3) 2))))
(FPCore (z0 z1 z2 z3 z4) (+ z0 (* (- z1 z2) (/ (- z3 z0) (- z4 z2)))))
(FPCore (z0 z2 z1) (* z0 (/ (- z2 z1) z2)))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (/ (- (* z1 z2) z0) (- (* z3 z2) z0))) (- z0 -1)))
(FPCore (z1 z0 z2 z3) (* (* (cos (- z1 z0)) (cos z2)) (sin z3)))
(FPCore (z0 z1) (* (* 3 z0) z1))
(FPCore (z0 z1 z2) (* (* z0 (+ z0 z0)) (/ z1 z2)))
(FPCore (z0) (- (/ z0 (- z0 -1)) (/ (- z0 -1) (- z0 1))))
(FPCore (z0 z1) (* (- z0 1/2) (log z1)))
(FPCore (z0) (- (* (- (sqrt 5) 1) (cos z0)) (- (sqrt 5) 3)))
(FPCore (z0 z1 z2 z3) (+ z0 (/ (- (* z1 z2) z0) (- (* z3 z2) z0))))
(FPCore (z0) (* (- (sqrt 5) 1) (cos z0)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 (* z2 4))))
(FPCore (z0 z1 z2 z3) (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2))))
(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 z3) (* (* -2 z0) (/ (- (* (/ (- z0 z1) z2) z3) -2) z2)))
(FPCore (z0 z1 z2) (cos (* z0 (atan2 z1 z2))))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0) (sin (* z0 PI)))
(FPCore (z0) (/ 1/2 (* z0 z0)))
(FPCore (z0 z1) (* 1/3 (/ z0 z1)))
(FPCore (z0 z1 z2 z3 z4) (* (- z0 z1) (/ (- z2 z3) (- z4 z1))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 (* z2 4)))))
(FPCore (z0 z1) (* (* -27 z0) z1))
(FPCore (z0 z1 z2 z3) (sqrt (* (* (* -2 z0) (/ (- (* (/ (- z0 z1) z2) z3) -2) z2)) z3)))
(FPCore (z0 z1 z2 z3) (- (* (/ (- z0 z1) z2) z3) -2))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (* z1 (/ z2 z3))) z3))
(FPCore (z0) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (+ (- (+ (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)))))
(FPCore (z1 z0 z2) (* (* -1/2 (+ -1 (cos (- z1 z0)))) (cos z2)))
(FPCore (z0) (sin (* (* PI z0) 1/180)))
(FPCore (z0) (* (- (cos z0) 1) (sqrt 2)))
(FPCore (z0) (/ 1/3 z0))
(FPCore (z0) (* (- z0 11/40) (- z0 11/40)))
(FPCore (z0 z1 z2 z3 z4) (- 1 (* (* z0 (/ z1 (+ z2 z2))) (/ (* (* (* z0 (/ z1 (+ z2 z2))) 1/2) z3) z4))))
(FPCore (z0 z1 z2) (- (sqrt (- (* z0 z0) (* z1 (* z2 4)))) z0))
(FPCore (z0) (* (* PI z0) 1/90))
(FPCore (z0 z1) (* z0 (log (+ z1 (* (- 1 z1) (exp (/ -2 z0)))))))
(FPCore (z0) (log (/ (- z0 -1) z0)))
(FPCore (z0) (* (* z0 z0) 1/6))
(FPCore (z0 z1 z2 z3) (* z0 (* z1 (* z2 z3))))
(FPCore (z0 z1) (sqrt (* (* -16 z0) z1)))
(FPCore (z0) (* (- (* (- (sqrt 5) 1) (cos z0)) (- (sqrt 5) 3)) 1/2))
(FPCore (z0 z1 z2) (/ (* (* z0 z1) (* z0 z1)) (* 4 (* z2 z2))))
(FPCore (z0 z1) (- 1/2 (* 1/2 (cos (* 2 (/ (- z0 z1) 2))))))
(FPCore (z0) (/ -1061405429/1000000000 (- (+ -1 (* z0 3275911/10000000)))))
(FPCore (z0) (cos (* 1/180 (* z0 PI))))
(FPCore (z0 z1 z2 z3 z4) (* (* (/ z0 (* z1 z1)) z2) (- z3 z4)))
(FPCore (z0) (/ 1061405429/1000000000 (- (* -3275911/10000000 (- z0)) 1)))
(FPCore (z0 z1 z2 z3) (* (* (* z0 (/ z1 (+ z2 z2))) 1/2) z3))
(FPCore (z0 z1) (* (sin (* z0 1/2)) (cos (* z1 -1/2))))
(FPCore (z0 z1) (* -1/2 (sqrt (* -4 (/ z0 z1)))))
(FPCore (z0 z1 z3 z2) (- (* (cos z0) (sin z1)) (* (* (cos (- z3 z2)) (cos z1)) (sin z0))))
(FPCore (z0) (* (* -1/16 (* (- (cos z0) 1) (sqrt 2))) (* -1/2 (+ -1 (cos (+ z0 z0))))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 3) z2))))
(FPCore (z0) (* -1/6 (* z0 z0)))
(FPCore (z0 z1 z2) (* (* z0 (/ z1 (+ z2 z2))) 1/2))
(FPCore (z0 z1) (+ z0 (* (- 1 z0) (exp (/ -2 z1)))))
(FPCore (z0 z1) (* (- z0 1) (log z1)))
(FPCore (z0 z1 z2 z3) (/ (* (- z0 z1) z2) z3))
(FPCore (z0 z1 z2 z3) (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- z0 z1) 2))))) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2))) (sin (/ (- z2 z3) 2)))))
(FPCore (z0) (* 2/15 (* z0 z0)))
(FPCore (z0 z1 z2) (* (* PI z0) (+ z1 z2)))
(FPCore (z0 z1 z2) (sqrt (* (/ z0 z1) (/ z0 z2))))
(FPCore (z0 z2 z1) (* (cos z0) (* -1/2 (+ -1 (cos (- z2 z1))))))
(FPCore (z0) (/ 1 (- (* (- (* (- (sqrt 5) 1) (cos z0)) (- (sqrt 5) 3)) 1/2) -1)))
(FPCore (z0) (* 1/24 z0))
(FPCore (z0) (- (* (- (* (- (sqrt 5) 1) (cos z0)) (- (sqrt 5) 3)) 1/2) -1))
(FPCore (z0) (* (- (+ (+ (+ (+ (* (* -9 E) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (+ (+ (* (* -16 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 3)) (+ (+ (+ (* (* -108 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (* 18 (sqrt E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (* (pow (log (- 1 (/ 1 (sqrt E)))) 3) (sqrt E))) (+ (* -192 (sqrt E)) (pow (* E (log (- 1 (/ 1 (sqrt E))))) 3)))) (+ (* (* 6 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* (* E E) -18) (log (- 1 (/ 1 (sqrt E)))))))) (+ (* (* -94 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -378 E) (log (- 1 (/ 1 (sqrt E))))))) (+ (+ (* 48 E) (* (* -16 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 3))) (+ (* (* -174 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 72 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (+ (+ (* -12 (exp 3/2)) (* (* -9 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 3))) (+ (* (* -4 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* -12 (log (- 1 (/ 1 (sqrt E)))))))) 72) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (+ (- (+ (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24))))))
(FPCore (z0 z1) (log (+ z0 (* (- 1 z0) (exp (/ -2 z1))))))
(FPCore (z0) (* (+ (+ (- (+ (+ (* (* 30 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -16 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* 15 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 156))) (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (- (* 6 (* E E)) (+ (* (* -9 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -70 E) (log (- 1 (/ 1 (sqrt E)))))))) (+ (+ (* -126 E) (* (* -16 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* -180 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 24 (exp 3/2))))) (- (+ (* (* -9 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -7 (exp 5/2)) (log (- 1 (/ 1 (sqrt E)))))) 12)) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (+ (- (+ (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24))))))
(FPCore (z0 z3 z4 z1 z2 z5 z6 z7) (+ (* z0 (- (* z3 z4) (* z1 z2))) (* z5 (- (* z6 z2) (* z7 z4)))))
(FPCore (z0 z1 z2) (* (/ (- z0 z1) z0) z2))
(FPCore (z0 z1) (* -3 (- (- (* (* 1/2 (- (sqrt 5) 1)) (cos z0)) -1) (* (* (- (sqrt 5) 3) 1/2) (cos z1)))))
(FPCore (z0) (+ (* (+ (+ (- (+ (+ (* (* 30 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -16 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* 15 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 156))) (* (* (* E E) E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)))) (- (* 6 (* E E)) (+ (* (* -9 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -70 E) (log (- 1 (/ 1 (sqrt E)))))))) (+ (+ (* -126 E) (* (* -16 (exp 3/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* -180 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* 24 (exp 3/2))))) (- (+ (* (* -9 (exp 5/2)) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* -7 (exp 5/2)) (log (- 1 (/ 1 (sqrt E)))))) 12)) (/ (- z0 1/2) (* (* (- 1 (sqrt E)) 3) (+ (- (+ (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24))))) (log (- 1 (/ 1 (sqrt E))))))
(FPCore (z0 z1 z2 z3) (* (/ z0 (+ (+ z1 z2) z3)) z3))
(FPCore (z0 z1 z2 z3 z4) (/ (* (* (* z0 (/ z1 (+ z2 z2))) 1/2) z3) z4))
(FPCore (z0 z1 z2 z3) (* (* (+ z0 (* z1 z2)) z2) z3))
(FPCore (z1 z0 z2 z3) (sqrt (- (* 1/2 (+ 1 (cos (- z1 z0)))) (* (* -1/2 (+ -1 (cos (* (- z2 z3) 1)))) (* (cos z1) (cos z0))))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 3) z2)))
(FPCore (z0) (/ (* (* z0 z0) 4) (* (- -1 z0) (- -1 z0))))
(FPCore (z0 z1 z2 z3 z4) (* (* z0 (/ z1 (+ z2 z2))) (/ (* (* (* z0 (/ z1 (+ z2 z2))) 1/2) z3) z4)))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 4) z2))))
(FPCore (z1 z0 z2 z3) (- (* 1/2 (+ 1 (cos (- z1 z0)))) (* (* -1/2 (+ -1 (cos (* (- z2 z3) 1)))) (* (cos z1) (cos z0)))))
(FPCore (z0 z1 z2 z3) (* (/ z0 z1) (- z2 z3)))
(FPCore (z0) (* -1/16 (* (- (cos z0) 1) (sqrt 2))))
(FPCore (z0 z1) (* z0 (/ (- 1 z0) z1)))
(FPCore (z0 z1 z2) (log (* (+ z0 z1) z2)))
(FPCore (z0 z1 z2) (- (fabs (+ (+ (* (sin (* z0 30)) (cos (* z1 -30))) (* (sin (* z1 30)) (cos (* z2 -30)))) (* (sin (* z2 30)) (cos (* z0 -30))))) 1/5))
(FPCore (z0 z1) (* (- (sin z0) (* 1/16 (sin z1))) (sqrt 2)))
(FPCore (z0) (* (* 1/180 PI) z0))
(FPCore (z0) (sin (* -30 z0)))
(FPCore (z0 z1) (* (cos (* z0 -1/2)) (sin (* z1 1/2))))
(FPCore (z0 z1 z2) (* (* 1/2 (log (+ (* z0 z0) (* z1 z1)))) z2))
(FPCore (z0 z1 z3 z2) (* (* (sin z0) (cos z1)) (cos (- z3 z2))))
(FPCore (z0) (* (- (* (* -1/16 (* (- (cos z0) 1) (sqrt 2))) (* -1/2 (+ -1 (cos (+ z0 z0))))) -2) 1/3))
(FPCore (z0 z1 z2) (sqrt (+ (+ (* (* z0 z0) 900) (* (* z1 z1) 900)) (* (* z2 z2) 900))))
(FPCore (z0) (+ 1 (/ (* (* z0 z0) 4) (* (- -1 z0) (- -1 z0)))))
(FPCore (z0 z1 z2) (fabs (+ (+ (* (sin (* z0 30)) (cos (* z1 -30))) (* (sin (* z1 30)) (cos (* z2 -30)))) (* (sin (* z2 30)) (cos (* z0 -30))))))
(FPCore (z0 z1 z2 z3 z4) (- (/ (* z0 (sqrt (+ z1 z2))) z1) (* (- z3 z4) (- (+ z2 5/6) (/ 2 (* z1 3))))))
(FPCore (z0) (/ (+ 1 (/ (* (* z0 z0) 4) (* (- -1 z0) (- -1 z0)))) (+ 2 (/ (* (* z0 z0) 4) (* (- -1 z0) (- -1 z0))))))
(FPCore (z0) (* 1/120 (* z0 z0)))
(FPCore (z0) (* (* (- 1/3 (* 2/15 (* z0 z0))) (* z0 z0)) z0))
(FPCore (z0 z1 z2) (/ (- (* 1/16 (+ z0 (* 2 (+ z1 z2)))) (* 1/8 (+ z1 z2))) z0))
(FPCore (z0 z1 z2) (fmax (- (fabs (+ (+ (* (sin (* z0 30)) (cos (* z1 -30))) (* (sin (* z1 30)) (cos (* z2 -30)))) (* (sin (* z2 30)) (cos (* z0 -30))))) 1/5) (- (sqrt (+ (+ (* (* z0 z0) 900) (* (* z1 z1) 900)) (* (* z2 z2) 900))) 25)))
(FPCore (z0 z1) (/ (- (* (* 3 z0) z0) (+ (+ z1 z1) z0)) (- (* z0 z0) -1)))
(FPCore (z0) (+ -1 (* z0 3275911/10000000)))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* (* z1 z2) 4))))
(FPCore (z0) (/ 1 (* z0 9)))
(FPCore (z0 z1) (- 1 (* (- 1 (* z0 (- 1 z1))) (- 1 (* z0 (- 1 z1))))))
(FPCore (z0 z1) (+ (- z0) (* z1 (+ (* -12 z0) (- (* 8 (* z0 z1)) 6)))))
(FPCore (z0 z1 z2 z3 z4) (* 2 (- (/ (* z0 (sqrt (+ z1 z2))) z1) (* (- z3 z4) (- (+ z2 5/6) (/ 2 (* z1 3)))))))
(FPCore (z0) (* z0 1/3))
(FPCore (z0 z1) (* z0 (+ (* -12 z1) (- (* 8 (* z1 z0)) 6))))
(FPCore (z0 z1 z2) (* z0 (sqrt (+ z1 z2))))
(FPCore (z0 z1 z2) (* -9/2 (* (/ z0 z1) z2)))
(FPCore (z0 z1 z2 z3) (+ (* z0 z1) (+ (* z2 z3) z1)))
(FPCore (z0 z1 z2) (+ (* (sin (* z0 30)) (cos (* z1 -30))) (* (sin (* z1 30)) (cos (* z2 -30)))))
(FPCore (z0 z1) (+ (* (* z0 z0) 900) (* (* z1 z1) 900)))
(FPCore (z0) (* (- 1/3 (* 2/15 (* z0 z0))) (* z0 z0)))
(FPCore (z0 z1 z2) (+ (+ (* (* z0 z0) 900) (* (* z1 z1) 900)) (* (* z2 z2) 900)))
(FPCore (z0 z1) (* (* (* z0 z1) 4) (* (- z0) z1)))
(FPCore (z0) (sin (* (* 1/180 PI) z0)))
(FPCore (z2 z0 z1) (/ (+ z2 z2) (* (sin z0) z1)))
(FPCore (z0 z1) (/ 2 (* (sin z0) z1)))
(FPCore (z0 z1) (sqrt (- 1 (* (- 1 (* z0 (- 1 z1))) (- 1 (* z0 (- 1 z1)))))))
(FPCore (z0 z1) (+ (* -12 z0) (* 8 (* z0 z1))))
(FPCore (z0) (- 1/3 (* 2/15 (* z0 z0))))
(FPCore (z0 z1 z2) (+ (+ (* (sin (* z0 30)) (cos (* z1 -30))) (* (sin (* z1 30)) (cos (* z2 -30)))) (* (sin (* z2 30)) (cos (* z0 -30)))))
(FPCore (z0) (/ (* (- (* (* -1/16 (* (- (cos z0) 1) (sqrt 2))) (* -1/2 (+ -1 (cos (+ z0 z0))))) -2) 1/3) (- (* (- (* (- (sqrt 5) 1) (cos z0)) (- (sqrt 5) 3)) 1/2) -1)))
(FPCore (z0) (* 1/180 (* z0 PI)))
(FPCore (z0) (cos (* (+ z0 z0) PI)))
(FPCore (z0 z1 z3 z2) (- (* (cos z0) (sin z1)) (* (* (sin z0) (cos z1)) (cos (- z3 z2)))))
(FPCore (z1 z0 z2 z3) (sqrt (+ (* (* -1/2 (+ -1 (cos (- z1 z0)))) (* (cos z2) (cos z3))) (* -1/2 (+ -1 (cos (- z3 z2)))))))
(FPCore (z0 z1) (* (* (* z0 z1) z1) z0))
(FPCore (z0) (sin (* 1/180 (* z0 PI))))
(FPCore (z0 z1) (* (sin (* z0 1/2)) (sin (* z1 1/2))))
(FPCore (z0) (* 4/3 z0))
(FPCore (z0) (+ 2 (* 4/3 z0)))
(FPCore (z0 z1 z2 z3) (* (- z0 z1) (- (+ z2 5/6) (/ 2 (* z3 3)))))
(FPCore (z0) (* 314159265359/50000000000 z0))
(FPCore (z0 z1 z2) (- (sqrt (+ (+ (* (* z0 z0) 900) (* (* z1 z1) 900)) (* (* z2 z2) 900))) 25))
(FPCore (z0) (/ 1/2 (sqrt z0)))
(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 (z1 z0 z2 z3) (+ (* (* -1/2 (+ -1 (cos (- z1 z0)))) (* (cos z2) (cos z3))) (* -1/2 (+ -1 (cos (- z3 z2))))))
(FPCore (z0 z1) (/ (- z0) (tan z1)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 4)))
(FPCore (z0 z1) (* (* z0 z1) PI))
(FPCore (z0 z1) (- (+ z0 5/6) (/ 2 (* z1 3))))
(FPCore (z0) (/ 1/4 (* z0 z0)))
(FPCore (z0) (acos (- 1 z0)))
(FPCore (z0 z1 z2) (+ (+ (- (sqrt (- z0 -1)) (sqrt z0)) (- (sqrt (- z1 -1)) (sqrt z1))) (- (sqrt (- z2 -1)) (sqrt z2))))
(FPCore (z0 z1 z2) (- (* 1/16 (+ z0 (* 2 (+ z1 z2)))) (* 1/8 (+ z1 z2))))
(FPCore (z0 z1 z2) (/ (* (- z0) z1) z2))
(FPCore (z0 z1) (* (* (- (sin z0) (* 1/16 (sin z1))) (sqrt 2)) (- (sin z1) (* 1/16 (sin z0)))))
(FPCore (z0) (* z0 (- 104109730557/25000000000 (/ 13764240537310136880149/125000000000000000000 z0))))
(FPCore (z0 z1 z2) (/ (* z0 (sqrt (+ z1 z2))) z1))
(FPCore (z0) (- (* 1/6 z0) -1/2))
(FPCore (z0) (/ 2 (* z0 3)))
(FPCore (z0) (+ 2 (/ (* (* z0 z0) 4) (* (- -1 z0) (- -1 z0)))))
(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) (asinh (/ z0 (* (tan z1) z2))))
(FPCore (z0 z1 z2) (cos (* (atan (* (tan (- (* z0 (+ PI PI)) (* -1/2 PI))) (/ z1 z2))) -2)))
(FPCore (z0 z1) (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0) (sin (* 30 z0)))
(FPCore (z0 z1 z2) (atan (* (tan (- (* z0 (+ PI PI)) (* -1/2 PI))) (/ z1 z2))))
(FPCore (z0 z1 z2 z3 z4) (- 1 (/ (* (* (* 1/4 (* z0 (/ z1 z2))) z3) (* z0 z1)) (* z4 (+ z2 z2)))))
(FPCore (z0 z1 z2) (* (* z0 (/ z1 (* z2 z2))) z0))
(FPCore (z0 z1) (+ (- 1 (cos (+ z0 z0))) (- 1 (cos (+ z1 z1)))))
(FPCore (z0 z1) (* (* z0 z1) (* z0 z1)))
(FPCore (z0 z1 z2 z3) (* z0 (cos (/ (* (* (- (* z1 2) -1) z2) z3) -16))))
(FPCore (z0 z1 z2 z3 z4 z5) (* (- z0 (* z1 (/ (+ (+ z1 z1) (* (* (/ z1 z2) z3) (- z4 z5))) z2))) z4))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7) (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z6 z3) (* z7 z1)))))
(FPCore (z0 z1) (* 3 (/ (- (* (* 3 z0) z0) (+ (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0 z1 z2) (* (* (* z0 z1) (* z0 z1)) (* z2 z2)))
(FPCore (z0 z1 z2) (* (atan (* (tan (- (* z0 (+ PI PI)) (* -1/2 PI))) (/ z1 z2))) 2))
(FPCore (z0) (/ (* (- 1/2 z0) (- 1/2 z0)) (* (+ (- (+ (+ (* (* -84 E) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 E) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (+ (* (* -4 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* (* -8 (* E E)) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) (+ (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (- (pow (log (- 1 (/ 1 (sqrt E)))) 2) 64))))) (- (* -16 E) (+ (* (* (exp 3/2) 2) (pow (log (- 1 (/ 1 (sqrt E)))) 2)) (* (* 16 (exp 3/2)) (log (- 1 (/ 1 (sqrt E)))))))) (- (+ (* -4 (exp 3/2)) (* (exp 5/2) (pow (log (- 1 (/ 1 (sqrt E)))) 2))) 24)) (* (+ (- 1 (* 2 (sqrt E))) E) 30))))
(FPCore (z0 z1 z2 z3) (* (* 1/4 (* z0 (/ z1 z2))) z3))
(FPCore (z0) (tan (+ (- z0) (* 1/2 PI))))
(FPCore (z0) (cos (* -1/90 (* z0 PI))))
(FPCore (z0) (* (* -1/6 z0) z0))
(FPCore (z0) (+ 1 (* -1/6 (* z0 z0))))
(FPCore (z0) (* (* (* (- 1/2 z0) (- 1/2 z0)) (* (- 1/2 z0) (- 1/2 z0))) (* (- (+ (* (exp 7/2) (log (- 1 (/ 1 (sqrt E))))) (+ (+ (+ (+ (* (* -8 (* (* E E) E)) (log (- 1 (/ 1 (sqrt E))))) (* (sqrt E) (+ (log (- 1 (/ 1 (sqrt E)))) -216))) (* (* E E) (+ E E))) (+ (+ (* (* -176 (* E E)) (log (- 1 (/ 1 (sqrt E))))) (* 96 (* E E))) (+ (* (* -8 E) (log (- 1 (/ 1 (sqrt E))))) (* 266 E)))) (+ (+ (* (* 83 (exp 3/2)) (log (- 1 (/ 1 (sqrt E))))) (* -232 (exp 3/2))) (+ (* (* 83 (exp 5/2)) (log (- 1 (/ 1 (sqrt E))))) (* -16 (exp 5/2)))))) -12) (sqrt E))))
(FPCore (z0) (+ 230753/100000 (* z0 27061/100000)))
(FPCore (z0 z1) (* z0 (sin (* z1 (+ PI PI)))))
(FPCore (z0 z1 z2) (* (* (sin z0) (cos z1)) (sin z2)))
(FPCore (z0 z1 z2) (- (* z0 z0) (* z1 z2)))
(FPCore (z0 z1) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)))
(FPCore (z0 z1 z2 z3) (* (/ (- (- z0 z1) 1) z2) z3))
(FPCore (z0) (/ 1/2 (fabs (cos (* -1/2 z0)))))
(FPCore (z0 z1) (* (* z0 z1) (* (- z0) z1)))
(FPCore (z4 z1 z5 z3 z0 z2) (sqrt (fmax (+ (pow (* z4 (floor z1)) 2) (pow (* z5 (floor z3)) 2)) (+ (pow (* z0 (floor z1)) 2) (pow (* z2 (floor z3)) 2)))))
(FPCore (z1 z0 z2 z3) (* (* (cos (- z1 z0)) (cos z2)) (cos z3)))
(FPCore (z0 z1 z2) (/ z0 (* z1 (* z2 PI))))
(FPCore (z0 z1) (+ (* (sin z0) (sin z1)) (* (cos z0) (cos z1))))
(FPCore (z0 z1 z2) (* (* (- (* (/ z0 (* z1 z1)) z0) -2) (tan z0)) (/ z1 z2)))
(FPCore (z0 z1) (+ (* 1/3 z0) (* z1 (* -1/2 (- z0 -1)))))
(FPCore (z0 z1 z2 z3) (/ z0 (* (- z1 z2) (- z1 z3))))
(FPCore (z0 z1) (/ (- (/ (- z0 z1) (- (+ z1 z0) -2)) -1) 2))
(FPCore (z0 z1) (- 1 (* (tan z0) (tan z1))))
(FPCore (z0) (* -20/27 z0))
(FPCore (z0 z1 z3 z2) (acos (+ (* (sin z0) (sin z1)) (* (* (cos (- z3 z2)) (cos z1)) (cos z0)))))
(FPCore (z0) (cos (* (* PI z0) -1/90)))
(FPCore (z0) (* (cos (* 1/180 (* z0 PI))) (sin (* 1/180 (* z0 PI)))))
(FPCore (z4 z1 z5 z3 z0 z2) (fmax (+ (pow (* z4 (floor z1)) 2) (pow (* z5 (floor z3)) 2)) (+ (pow (* z0 (floor z1)) 2) (pow (* z2 (floor z3)) 2))))
(FPCore (z0 z1) (- (/ (- z0 z1) (- (+ z1 z0) -2)) -1))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8 z9) (* z0 (- (+ (* z1 (- (* z2 z3) (* z4 z5))) (* z6 (- (* z7 z4) (* z8 z2)))) (* z9 (- (* z7 z3) (* z8 z5))))))
(FPCore (z0 z1 z3 z2) (* (* (cos z0) (cos z1)) (cos (- z3 z2))))
(FPCore (z0) (* (* (* z0 z0) z0) (* z0 z0)))
(FPCore (z0 z1) (* z0 (* (cos (* -1/180 (* z1 PI))) (sin (* 1/180 (* z1 PI))))))
(FPCore (z0 z1 z2 z3) (* (* (* 1/4 (* z0 (/ z1 z2))) z3) (* z0 z1)))
(FPCore (z0 z1 z2) (/ z0 (* (tan z1) z2)))
(FPCore (z0 z1) (* (* z0 z0) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6)))
(FPCore (z0) (- (* -1/3 z0) 1/2))
(FPCore (z0 z1) (* (* (* 3 z0) z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0 z1) (- (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1)) 3))
(FPCore (z0 z1 z2) (* z0 (- (log z1) z2)))
(FPCore (z0 z1 z2 z3 z4) (/ (* (* (* 1/4 (* z0 (/ z1 z2))) z3) (* z0 z1)) (* z4 (+ z2 z2))))
(FPCore (z0 z1) (- (* 4 (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))) 6))
(FPCore (z0) (+ 1/6 (* 1/24 z0)))
(FPCore (z0 z1 z2 z3 z4 z5) (+ (+ (* z0 z1) (* z2 z3)) (* z4 z5)))
(FPCore (z0) (sqrt (* -16 z0)))
(FPCore (z0 z1 z2) (* 1/4 (* z0 (/ z1 z2))))
(FPCore (z0 z1 z2) (+ (* z0 z1) (* z2 (+ (+ z1 z0) z2))))
(FPCore (z0 z1 z2 z3 z4 z5) (sqrt (* (* (+ z0 z0) z1) (- (- z2 (* (/ z3 z4) (+ z3 z3))) (* (* z0 (* (/ z3 z4) (/ z3 z4))) (- z1 z5))))))
(FPCore (z0 z1 z2 z3 z4 z5) (sqrt (* (+ z0 z0) (* (- z1 (* z2 (+ (/ (+ z2 z2) z3) (* (* (/ z2 (* z3 z3)) z0) (- z4 z5))))) z4))))
(FPCore (z0 z1 z2 z3 z4 z5) (* (* z0 (cos (/ (* (* (- (* z1 2) -1) z2) z3) -16))) (cos (/ (* (* (- (* z4 2) -1) z5) z3) -16))))
(FPCore (z0 z1 z2) (tanh (asinh (/ z0 (* (tan z1) z2)))))
(FPCore (z0 z1 z2 z3) (+ (pow (* (floor z0) z1) 2) (pow (* (floor z2) z3) 2)))
(FPCore (z0 z1 z2 z3) (/ (+ z0 (* (/ z1 z2) z3)) z2))
(FPCore (z0 z1 z2) (* (* z0 (+ (+ z1 z2) z0)) (+ (* z2 z1) (* z0 (+ (+ z1 z2) z0)))))
(FPCore (z0) (* z0 (+ 1/6 (* 1/24 z0))))
(FPCore (z0 z1 z2) (sqrt (- (* z0 z0) (* z1 z2))))
(FPCore (z0) (tan (- (* (+ PI PI) z0) (* -1/2 PI))))
(FPCore (z0) (* 1/9 (- 9 (/ 1 z0))))
(FPCore (z0 z1) (* (fabs (/ z0 z1)) z1))
(FPCore (z0 z1 z2 z3 z4 z5 z6 z7 z8) (- (+ (* z0 (- (* z1 z2) (* z3 z4))) (* z5 (- (* z6 z3) (* z7 z1)))) (* z8 (- (* z6 z2) (* z7 z4)))))
(FPCore (z0 z1 z3 z2 z4) (* (acos (+ (* (sin z0) (sin z1)) (* (* (cos (- z3 z2)) (cos z1)) (cos z0)))) z4))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* 3 z1) z2)))
(FPCore (z0 z1 z2) (* z0 (/ (+ z1 z1) z2)))
(FPCore (z0 z1 z3 z2) (+ (* (sin z0) (sin z1)) (* (* (cos (- z3 z2)) (cos z1)) (cos z0))))
(FPCore (z0 z1 z2) (- (* z0 z0) (* (* z1 z2) 3)))
(FPCore (z0 z1 z2) (* (/ z0 (* (* (- z1 -1) z1) z1)) z2))
(FPCore (z0 z1 z2) (/ (* (* z0 (+ (+ z1 z2) z0)) (+ (* z2 z1) (* z0 (+ (+ z1 z2) z0)))) (* (+ (+ (+ z1 z2) z0) z0) (+ (+ (+ z1 z2) z0) z0))))
(FPCore (z0 z1 z2 z3) (+ (* z0 z1) (* (log z2) (- z3 1/2))))
(FPCore (z0 z1 z2 z3) (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- z0 z1) 2))))) (* (* (* (cos z0) (cos z1)) (sin (/ (- z2 z3) 2))) (sin (/ (- z2 z3) 2))))))
(FPCore (z0 z1) (* 1/2 (log (+ (* z0 z0) (* z1 z1)))))
(FPCore (z0) (- (* (+ PI PI) z0) (* -1/2 PI)))
(FPCore (z0 z1 z2 z3 z4) (+ (+ z0 (* z1 z2)) (* (log z3) (- z4 1/2))))
(FPCore (z0) (* z0 27061/100000))
(FPCore (z0 z1 z2 z3) (+ (* (* z0 (/ z1 (* z2 z2))) z0) z3))
(FPCore (z0 z1) (/ (+ (* 1/3 z0) (* z1 (* -1/2 (- z0 -1)))) z1))
(FPCore (z0 z1 z2) (pow (+ (* z0 z0) (* z1 z1)) (* 1/2 z2)))
(FPCore (z0) (- z0 (/ z0 (- z0 -1))))
(FPCore (z0 z1) (* (+ z0 z0) (/ (+ (* (* 3 z0) z0) (- (+ z1 z1) z0)) (- (* z0 z0) -1))))
(FPCore (z0) (log (/ z0 (- z0 -1))))
(FPCore (z0 z1 z2) (* (tan (- (* (+ PI PI) z0) (* -1/2 PI))) (/ z1 z2)))
(FPCore (z0 z1) (- (sin (* 30 z0)) (* (cos (* -30 z0)) (sin (* z1 -30)))))