(FPCore (z0 z1) (* z0 (sin z1)))
(FPCore (z0 z1) (* z1 (cos z0)))
(FPCore (z0 z1) (* z0 (- (sin z1) (* -1 (sin z1)))))
(FPCore (z0 z1 z2) (* (* (+ z0 z0) z2) z1))
(FPCore (z0 z1 z2) (* z0 (* z1 (- (sin z2) (* -1 (sin z2))))))
(FPCore (z0 z1) (/ z0 (cos z1)))
(FPCore (z0 z1) (* (- (cos z0)) z1))
(FPCore (z0 z1 z2) (* z1 (* z2 (- z0 (* -1 z0)))))
(FPCore (z0) (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0)))))
(FPCore (z0) (- (cos (* z0 1/2)) (sin (* -1/2 z0))))
(FPCore (z0) (cos (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0 z1) (* (cos z0) z1))
(FPCore (z0 z1) (asin (* (- (cos z0)) z1)))
(FPCore (z0) (log (tan (+ (/ PI 4) (* 1/2 z0)))))
(FPCore (z0 z1 z2) (asin (* z2 (* (cos z0) (cos z1)))))
(FPCore (z0 z1) (- (atan (exp (/ z1 z0))) (* 1/4 PI)))
(FPCore (z0) (* z0 (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z0 z0) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2))))))))))
(FPCore (z0) (log (/ (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0)))) (cos (- (* z0 1/2) (* -1/4 PI))))))
(FPCore (z0 z1) (asin (* z1 (cos z0))))
(FPCore (z0) (log (tan (- (* 1/4 PI) (* -1/2 z0)))))
(FPCore (z0) (tan (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0) (tan (+ (/ PI 4) (* 1/2 z0))))
(FPCore (z0) (cos (- (* -1/4 PI) (* z0 1/2))))
(FPCore (z0) (tan (- (* 1/4 PI) (* -1/2 z0))))
(FPCore (z0) (* 1/6 (* (* z0 z0) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2))))))))
(FPCore (z0) (- (* (atan (exp z0)) 2) (* PI 1/2)))
(FPCore (z0) (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z0 z0) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2)))))))))
(FPCore (z0 z1) (/ (sin z0) (cos z1)))
(FPCore (z0 z1) (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))))
(FPCore (z0 z1) (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))))
(FPCore (z0 z1 z2) (* z2 (* (cos z0) (cos z1))))
(FPCore (z0 z1) (sqrt (+ 1 (* z0 z1))))
(FPCore (z0) (log (tan (- (* z0 1/2) (* -1/4 PI)))))
(FPCore (z0 z1 z2) (- (log (tan (- (* 1/4 PI) (* -1/2 z2)))) (* (* (+ z0 z0) z2) z1)))
(FPCore (z0) (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* z0 (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z0 z0) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2)))))))))))
(FPCore (z0 z1 z2) (asin (+ (* z0 (sin z1)) (* z2 (cos z1)))))
(FPCore (z0 z1 z2) (+ (* z0 (sin z1)) (* z2 (cos z1))))
(FPCore (z0) (* (* z0 z0) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2)))))))
(FPCore (z0) (log (tan (+ (* z0 1/2) (+ (* 5/4 PI) PI)))))
(FPCore (z0) (- (* 2 (atan (exp (- (- z0))))) (/ PI 2)))
(FPCore (z0) (fabs (cos (- (* z0 1/2) (* -1/4 PI)))))
(FPCore (z0) (cos (- (* -1/2 z0) (* 1/4 PI))))
(FPCore (z0 z1) (- 1 (pow (* z0 (sin z1)) 2)))
(FPCore (z0 z1 z2) (asin (* (* (cos z0) (cos z1)) (- z2))))
(FPCore (z0 z1 z2) (asin (- (* z0 (sin z1)) (* z2 (cos z1)))))
(FPCore (z0 z1) (+ z0 (log (tan (+ (/ PI 4) (* 1/2 z1))))))
(FPCore (z0 z1 z2) (* (- 1 (pow (* z0 (sin z1)) 2)) (* (cos z1) z2)))
(FPCore (z0 z1) (pow (* z0 (sin z1)) 2))
(FPCore (z0 z1 z2) (asin (* (/ z0 (cos z1)) (cos z2))))
(FPCore (z0 z1 z2) (- (* z0 (sin z1)) (* z2 (cos z1))))
(FPCore (z0 z1 z2) (asin (* (/ z1 (cos z2)) z0)))
(FPCore (z0) (log (fabs (cos (- (* z0 1/2) (* -1/4 PI))))))
(FPCore (z0) (tan (+ (* z0 1/2) (+ (* 5/4 PI) PI))))
(FPCore (z0 z1 z2) (* (* (cos z0) (cos z1)) (- z2)))
(FPCore (z0) (log (fabs (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0)))))))
(FPCore (z0 z1 z2) (* (/ z0 (cos z1)) (cos z2)))
(FPCore (z0 z1) (asin (/ (sin z0) (cos z1))))
(FPCore (z0 z1 z2) (- (log (tan (* 1/4 PI))) (* (* (+ z0 z0) z2) z1)))
(FPCore (z0 z1 z2) (/ (- z0 (log (/ (* (* (sqrt 2) 1/2) (- (cos (* z2 1/2)) (sin (* -1/2 z2)))) (cos (- (* z2 1/2) (* -1/4 PI)))))) z1))
(FPCore (z0) (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)))
(FPCore (z0 z1 z2) (* (/ z1 (cos z2)) z0))
(FPCore (z0 z1) (- z0 (log (/ (* (* (sqrt 2) 1/2) (- (cos (* z1 1/2)) (sin (* -1/2 z1)))) (cos (- (* z1 1/2) (* -1/4 PI)))))))
(FPCore (z0 z1 z2) (* z2 (* (cos z1) (cos z0))))
(FPCore (z0 z1 z2) (- (log (tan (+ (* 1/4 PI) (* 4 PI)))) (* z1 (* z2 (- z0 (* -1 z0))))))
(FPCore (z0) (fabs (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0))))))
(FPCore (z0 z1 z2) (* (* z0 z1) (* 2 (sin z2))))
(FPCore (z0) (log (tan (- (* 5/4 PI) (* -1/2 z0)))))
(FPCore (z0) (+ (log (* 1/2 (/ (sqrt 2) (cos (* 1/4 PI))))) (* z0 (+ (* 2 (/ (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) (sqrt 2))) (* z0 (+ (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2)))))))))))
(FPCore (z0 z1) (- (atan (/ (+ z0 z1) z0)) (/ PI 4)))
(FPCore (z0 z1) (* 2 (- (atan (sqrt (exp (* (/ z1 z0) 2)))) (* PI 1/4))))
(FPCore (z0 z1) (+ (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 2) (+ (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 2) (/ (* (pow (atan (exp (/ z1 z0))) 2) (* -1/16 (* PI PI))) (* (- (* -1/4 PI) (atan (exp (/ z1 z0)))) (- (atan (exp (/ z1 z0))) (* -1/4 PI)))))))
(FPCore (z0) (tan (+ (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z0) PI))) (+ PI PI))))
(FPCore (z0 z1) (* z1 (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0)))))))
(FPCore (z0) (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/2 z0) (* 1/4 PI)))))
(FPCore (z0) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)))
(FPCore (z0 z1) (/ (- (pow (atan (exp (/ z1 z0))) 2) (* (* PI PI) 1/16)) (- (* -1/4 PI) (atan (exp (/ z1 z0))))))
(FPCore (z0 z1 z2) (* z0 (* (+ 1 (* -2 (* z1 z1))) z2)))
(FPCore (z0 z1) (- (pow (atan (exp (/ z1 z0))) 2) (* (* PI PI) 1/16)))
(FPCore (z0) (pow (sin z0) 3))
(FPCore (z0 z1) (asin (/ (* (cos z1) (sin z0)) 1)))
(FPCore (z0 z1) (* (cos z1) (sin z0)))
(FPCore (z0 z1) (asin (* (/ z0 (cos z1)) 1)))
(FPCore (z0 z1 z2) (/ (- z0 (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* z2 (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z2 z2) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2))))))))))) z1))
(FPCore (z0) (- (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))))
(FPCore (z0) (* z0 (+ (* 2 (/ (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) (sqrt 2))) (* z0 (+ (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2))))))))))
(FPCore (z0 z1) (sqrt (- (* z1 z0) -1)))
(FPCore (z0) (/ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/4 PI) (* z0 1/2)))))
(FPCore (z0 z1 z2) (* z0 (* (* z1 z1) z2)))
(FPCore (z0) (log (fabs (cos (- (* -1/4 PI) (* z0 1/2))))))
(FPCore (z0) (/ 1 (cos z0)))
(FPCore (z0) (/ (+ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (* (sin (* z0 1/2)) (/ (sqrt 2) 2))) (cos (- (* -1/2 z0) (* 1/4 PI)))))
(FPCore (z0) (tan (- (* 5/4 PI) (* -1/2 z0))))
(FPCore (z0 z1) (/ (- (* (* PI PI) 1/16) (sqrt (pow (atan (exp (/ z1 z0))) 4))) (- (atan (exp (/ z1 z0))) (* -1/4 PI))))
(FPCore (z0) (/ (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0)))) (cos (- (* z0 1/2) (* -1/4 PI)))))
(FPCore (z0 z1) (- z0 (log (tan (- (* z1 1/2) (* PI -1/4))))))
(FPCore (z0) (* 2 (/ (* z0 (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))))) (sqrt 2))))
(FPCore (z0 z1 z2) (* (* (* z1 z1) z0) z2))
(FPCore (z0) (/ (* (sin (* -1/2 z0)) (/ (sqrt 2) 2)) (cos (- (* -1/4 PI) (* z0 1/2)))))
(FPCore (z0 z1 z2) (sqrt (- (* (* z2 (pow (cos z1) 4)) z0) -1)))
(FPCore (z0 z1 z2) (* z2 (+ 1 (/ (* z0 (sin z1)) z2))))
(FPCore (z0 z1 z2) (/ (* z0 (* (* z1 z1) z2)) (sqrt (+ 1 (* z0 z2)))))
(FPCore (z0 z1) (* -1/48 (- PI (* 4 (atan (exp (/ z1 z0)))))))
(FPCore (z0 z1 z2) (asin (* (/ (cos z2) (cos z1)) (sin z0))))
(FPCore (z0 z1 z2) (sqrt (+ 1 (* z0 (* (+ 1 (* -2 (* z1 z1))) z2)))))
(FPCore (z0 z1 z2) (* -1 (* z0 (* z1 (- (sin z2) (* -1 (sin z2)))))))
(FPCore (z0) (+ (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2)))))))
(FPCore (z0 z1) (* (* (* 2/3 (pow (sin z1) 3)) z0) z0))
(FPCore (z0 z1 z2) (* (/ z0 (cos z2)) (sin z1)))
(FPCore (z0) (* (- (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))) z0))
(FPCore (z0 z1 z2) (* z0 (* z1 z2)))
(FPCore (z0) (tan (- (* z0 1/2) (* PI -1/4))))
(FPCore (z0) (/ 1 (cos (- (* z0 1/2) (* -1/4 PI)))))
(FPCore (z0 z1 z2) (asin (* (/ z0 (cos z2)) (sin z1))))
(FPCore (z0 z1) (/ 1 (* (cos z1) (sin z0))))
(FPCore (z0 z1) (- PI (* 4 (atan (exp (/ z1 z0))))))
(FPCore (z0) (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))))
(FPCore (z0 z1) (- (+ (log (* 1/2 (/ (sqrt 2) (cos (* 1/4 PI))))) (* z1 (+ (* 2 (/ (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) (sqrt 2))) (* z1 (+ (* 1/6 (* z1 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2)))))))))) (* z0 0)))
(FPCore (z0 z1 z2) (* (- 1 (* (* z0 z1) (* z0 z1))) (* (cos z1) z2)))
(FPCore (z0) (+ 0 (* (+ (* (- (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))) z0) (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 2)) z0)))
(FPCore (z0 z1) (* (sin z1) z0))
(FPCore (z0 z1) (- (- (atan (exp (/ z1 z0))) (* 1/4 PI)) (/ (- (* (* PI PI) 1/16) (sqrt (pow (atan (exp (/ z1 z0))) 4))) (- (atan (exp (/ z1 z0))) (* -1/4 PI)))))
(FPCore (z0 z1 z2) (- (* (* z2 (pow (cos z1) 4)) z0) -1))
(FPCore (z0 z1) (* 2 (- (atan (/ (+ z0 z1) z0)) (/ PI 4))))
(FPCore (z0) (/ (- (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2))) (cos (- (* -1/4 PI) (* z0 1/2)))))
(FPCore (z0 z1) (* (* z1 z1) z0))
(FPCore (z0) (/ 2 (- (* (* (atan (exp z0)) 2) 2) PI)))
(FPCore (z0 z1) (/ (cos z1) (cos z0)))
(FPCore (z0 z1 z2) (+ 1 (* z0 (* (+ 1 (* -2 (* z1 z1))) z2))))
(FPCore (z0) (- (* (* (atan (exp z0)) 2) 2) PI))
(FPCore (z0) (* (sin (* z0 1/2)) (/ (sqrt 2) 2)))
(FPCore (z0 z1 z2) (* (/ (cos z2) (cos z1)) (sin z0)))
(FPCore (z0) (tan (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z0) PI)))))
(FPCore (z0) (* (+ (* (- (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))) z0) (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 2)) z0))
(FPCore (z0 z1) (- 1 (* (* z0 z1) (* z0 z1))))
(FPCore (z0 z1) (* (- (atan (- (/ z1 z0) -1)) (* 1/4 PI)) 2))
(FPCore (z0 z1) (+ (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 2) (/ (* (pow (atan (exp (/ z1 z0))) 2) (* -1/16 (* PI PI))) (* (- (* -1/4 PI) (atan (exp (/ z1 z0)))) (- (atan (exp (/ z1 z0))) (* -1/4 PI))))))
(FPCore (z0) (log (tan (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z0) PI))))))
(FPCore (z0 z1 z2) (+ (sqrt (+ 1 (* z0 z2))) (* -1 (/ (* z0 (* (* z1 z1) z2)) (sqrt (+ 1 (* z0 z2)))))))
(FPCore (z0) (+ (* (- (* (* 1/6 z0) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))) z0) (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 2)))
(FPCore (z0) (sin (+ (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0 z1) (- (atan (sqrt (exp (* (/ z1 z0) 2)))) (* PI 1/4)))
(FPCore (z0) (* z0 (log (tan (* 1/4 PI)))))
(FPCore (z0) (fabs (sin (- (* z0 1/2) (* -1/4 PI)))))
(FPCore (z0 z1) (* z0 (log (/ (* (* (sqrt 2) 1/2) (- (cos (* z1 1/2)) (sin (* -1/2 z1)))) (cos (- (* z1 1/2) (* -1/4 PI)))))))
(FPCore (z0) (+ (* 2 (/ (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) (sqrt 2))) (* z0 (+ (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2)))))))))
(FPCore (z0 z1) (sqrt (* z0 z1)))
(FPCore (z0 z1 z2) (+ (log (tan (+ (* 1/4 PI) (* 1/2 z2)))) (* -1 (* z0 (* z1 (- (sin z2) (* -1 (sin z2))))))))
(FPCore (z0 z1) (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 3))
(FPCore (z0 z1) (/ (* z0 (sin z1)) 1))
(FPCore (z0 z1) (pow (atan (exp (/ z1 z0))) 4))
(FPCore (z0 z1 z2) (* 1/2 (* z1 (* z2 (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0)))))))))
(FPCore (z0) (fabs (cos (- (* -1/4 PI) (* z0 1/2)))))
(FPCore (z0 z1) (* z0 (+ (* (* (* 2/3 (pow (sin z1) 3)) z0) z0) (* (sin z1) 2))))
(FPCore (z0 z1 z2) (* -1 (/ (* z0 (* (* z1 z1) z2)) (sqrt (+ 1 (* z0 z2))))))
(FPCore (z0) (log (/ (+ (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (* (sin (* z0 1/2)) (/ (sqrt 2) 2))) (cos (- (* -1/2 z0) (* 1/4 PI))))))
(FPCore (z0 z1 z2) (* z1 (* z2 (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0))))))))
(FPCore (z0) (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2)))))))
(FPCore (z0) (cos (+ (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0) (sin (- (* z0 1/2) (* -1/4 PI))))
(FPCore (z0 z1) (- z0 (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* z1 (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z1 z1) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2))))))))))))
(FPCore (z0) (* 1/6 z0))
(FPCore (z0) (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))))
(FPCore (z0 z1) (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 2))
(FPCore (z0 z1) (+ (* (atan (exp (/ z1 z0))) 2) (* PI -1/2)))
(FPCore (z0 z1) (* z0 (sqrt z1)))
(FPCore (z0) (* (/ 1 (cos (- (* z0 1/2) (* -1/4 PI)))) (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0))))))
(FPCore (z0 z1) (* z0 (log (/ (- (* (cos (* -1/2 z1)) (/ (sqrt 2) 2)) (* (sin (* -1/2 z1)) (/ (sqrt 2) 2))) (cos (- (* -1/4 PI) (* z1 1/2)))))))
(FPCore (z0) (/ (- (* (* (atan (exp z0)) 2) 2) PI) 2))
(FPCore (z0 z1) (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 3))
(FPCore (z0) (log (tan (- (* z0 1/2) (* PI -1/4)))))
(FPCore (z0 z1) (* (+ 1 (* -2 (* z0 z0))) z1))
(FPCore (z0) (log (/ (fabs (sin (- (* z0 1/2) (* -1/4 PI)))) (fabs (cos (- (* -1/4 PI) (* z0 1/2)))))))
(FPCore (z0 z1) (- (* (* PI PI) 1/16) (sqrt (pow (atan (exp (/ z1 z0))) 4))))
(FPCore (z0 z1) (* (* z0 z0) z1))
(FPCore (z0 z1 z2) (+ (* 1/2 (* z1 (* z2 (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0)))))))) (* z1 (- z0 (* -1 z0)))))
(FPCore (z0 z1) (- (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 3) (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 3)))
(FPCore (z0 z1 z2) (* (* z2 (pow (cos z1) 4)) z0))
(FPCore (z0) (log (fabs (sin (- (* z0 1/2) (* -1/4 PI))))))
(FPCore (z0) (tan (+ (* 1/4 PI) (* 1/2 z0))))
(FPCore (z0 z1) (/ (- (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 3) (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 3)) (+ (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 2) (+ (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 2) (/ (* (pow (atan (exp (/ z1 z0))) 2) (* -1/16 (* PI PI))) (* (- (* -1/4 PI) (atan (exp (/ z1 z0)))) (- (atan (exp (/ z1 z0))) (* -1/4 PI))))))))
(FPCore (z0) (/ (* (sin (* z0 1/2)) (/ (sqrt 2) 2)) (cos (- (* -1/2 z0) (* 1/4 PI)))))
(FPCore (z0 z1) (* z0 (log (* (/ 1 (cos (- (* z1 1/2) (* -1/4 PI)))) (* (* (sqrt 2) 1/2) (- (cos (* z1 1/2)) (sin (* -1/2 z1))))))))
(FPCore (z0 z1) (* (/ z0 (cos z1)) 1))
(FPCore (z0) (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* 2 (/ (* z0 (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))))) (sqrt 2)))))
(FPCore (z0 z1) (+ (* (* (* 2/3 (pow (sin z1) 3)) z0) z0) (* (sin z1) 2)))
(FPCore (z0 z1 z2) (/ (- z0 (log (tan (- (* z2 1/2) (* PI -1/4))))) z1))
(FPCore (z0 z1 z2) (/ (- (- (* z2 z0) -1) (* (* (* z1 z1) z0) z2)) (sqrt (- (* z2 z0) -1))))
(FPCore (z0 z1) (- (- (atan (exp (/ z1 z0))) (* 1/4 PI)) (/ (- (pow (atan (exp (/ z1 z0))) 2) (* (* PI PI) 1/16)) (- (* -1/4 PI) (atan (exp (/ z1 z0)))))))
(FPCore (z0 z1) (asin (* -1 (* z1 (cos z0)))))
(FPCore (z0 z1) (* z0 (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* z1 (+ (* 2 (/ (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* 2 (* -1/4 PI))))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) (sqrt 2))) (* 1/6 (* (* z1 z1) (+ (* -24 (/ (* (+ 1/2 (* 1/2 (cos (* -1/2 PI)))) (* (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))) (- (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3))) (* 1/8 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI))))))))) 2)) (+ (* 12 (/ (* (cos (* -1/4 PI)) (- (* -1/2 (+ (* -1/48 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (+ (* 1/16 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 3) (sqrt 2)) (pow (cos (* -1/4 PI)) 4)))))) (* 1/2 (- (* 1/48 (/ (sqrt 2) (cos (* -1/4 PI)))) (+ (* 1/16 (/ (sqrt 2) (cos (* -1/4 PI)))) (* 1/8 (/ (* (pow (sin (* -1/4 PI)) 2) (sqrt 2)) (pow (cos (* -1/4 PI)) 3)))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI)))))) 3) (* (sqrt 2) 2))))))))))))
(FPCore (z0 z1) (* (* 2/3 (pow (sin z1) 3)) z0))
(FPCore (z0 z1 z2) (asin (* (/ (- z2) (/ 1 (cos z0))) (cos z1))))
(FPCore (z0 z1 z2) (- (log (tan (+ (/ PI 4) (* 1/2 z2)))) (* z0 (* z1 (- (sin z2) (* -1 (sin z2)))))))
(FPCore (z0 z1) (* (* z0 z1) (* z0 z1)))
(FPCore (z0 z1 z2) (* (/ (- z2) (/ 1 (cos z0))) (cos z1)))
(FPCore (z0 z1) (* 2 (* (sin z1) z0)))
(FPCore (z0 z1) (- (+ 0 (* (+ (* (- (* (* 1/6 z1) (+ (- (* (* (* (- (* (+ (+ (* (* (* (- (* (sqrt 1/2) 1/2)) (sqrt 2)) 4) 1/8) (* 1/16 (* (* (- (sqrt 1/2)) (sqrt 2)) 2))) (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/48)) -1/2) (* -1/2 (- (/ (* -1/48 (sqrt 2)) (sqrt 1/2)) (+ (/ (* -1/16 (sqrt 2)) (sqrt 1/2)) -1/4)))) (sqrt 1/2)) (sqrt 1/2)) 12) (* -16 (pow (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 3))) (* (* (* (* 1/2 (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4)) 1/2) -24))) (* -1/2 (- (* (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2)))) 1/2) 1/2) -4) (* -4 (* (* (- (* (* (* (- (sqrt 1/2)) (sqrt 2)) 2) -1/8) -1/4) (sqrt 1/2)) (sqrt 1/2)))))) z1) (* (* (* (+ (* -1/4 (* (* (- (sqrt 1/2)) (sqrt 2)) 2)) (/ (* 1/4 (sqrt 2)) (sqrt 1/2))) (sqrt 1/2)) (sqrt 1/2)) 2)) z1)) (* 0 z0)))
(FPCore (z0 z1 z2) (- (log (tan (+ (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z2) PI))) (+ PI PI)))) (* z1 (* z2 (- z0 (* -1 z0))))))
(FPCore (z0 z1 z2) (* (/ (sin z0) (cos z1)) (cos z2)))
(FPCore (z0 z1) (* z1 (pow (cos z0) 4)))
(FPCore (z0 z1) (/ (* (cos z1) (sin z0)) 1))
(FPCore (z0 z1 z2) (asin (* (/ (sin z0) (cos z1)) (cos z2))))
(FPCore (z0 z1 z2) (- (- (* z2 z0) -1) (* (* (* z1 z1) z0) z2)))
(FPCore (z0 z1 z2) (asin (* z2 (+ 1 (/ (* z0 (sin z1)) z2)))))
(FPCore (z0) (log (* (/ 1 (cos (- (* z0 1/2) (* -1/4 PI)))) (* (* (sqrt 2) 1/2) (- (cos (* z0 1/2)) (sin (* -1/2 z0)))))))
(FPCore (z0) (* z0 (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))))))
(FPCore (z0) (log (/ (- (* (cos (* -1/2 z0)) (/ (sqrt 2) 2)) (* (sin (* -1/2 z0)) (/ (sqrt 2) 2))) (cos (- (* -1/4 PI) (* z0 1/2))))))
(FPCore (z0) (* z0 (+ (* 1/6 (* z0 (+ (* -24 (/ (* (pow (cos (* 1/4 PI)) 2) (* (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI))))) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3)))))) 2)) (+ (* 12 (/ (* (cos (* 1/4 PI)) (+ (* -1/2 (+ (* -1/48 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (+ (* 1/16 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 3) (sqrt 2)) (pow (cos (* 1/4 PI)) 4)))))) (* 1/2 (- (* -1/48 (/ (sqrt 2) (cos (* 1/4 PI)))) (+ (* -1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))) (* -1/16 (/ (sqrt 2) (cos (* 1/4 PI))))))))) (sqrt 2))) (* 16 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 3) (* (sqrt 2) 2))))))) (* 1/2 (+ (* -4 (/ (pow (* (cos (* 1/4 PI)) (+ (* -1/4 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/4 (/ (sqrt 2) (cos (* 1/4 PI)))))) 2) 2)) (* 4 (/ (* (cos (* 1/4 PI)) (+ (* -1/8 (/ (* (- (sin (* 1/4 PI))) (sqrt 2)) (pow (cos (* 1/4 PI)) 2))) (* 1/8 (/ (* (pow (- (sin (* 1/4 PI))) 2) (sqrt 2)) (pow (cos (* 1/4 PI)) 3))))) (sqrt 2))))))))
(FPCore (z0) (log (tan (+ (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z0) PI))) (+ PI PI)))))
(FPCore (z0 z1 z2) (- (log (tan (+ (+ PI PI) (- (* 1/4 PI) (- (* -1/2 z2) PI))))) (* (* (+ z0 z0) z2) z1)))
(FPCore (z0 z1 z2) (* z2 (+ (* 1/2 (* z1 (* z2 (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0)))))))) (* z1 (- z0 (* -1 z0))))))
(FPCore (z0 z1 z2) (* (* (cos z1) z2) (cos z0)))
(FPCore (z0 z1) (- (atan (- (/ z1 z0) -1)) (* 1/4 PI)))
(FPCore (z0 z1) (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 2))
(FPCore (z0 z1) (* -1 (* z1 (cos z0))))
(FPCore (z0 z1) (* (* -1/48 (- PI (* 4 (atan (exp (/ z1 z0)))))) 24))
(FPCore (z0) (* 2/3 (pow (sin z0) 3)))
(FPCore (z0) (log (tan (+ (* 1/4 PI) (* 1/2 z0)))))
(FPCore (z0) (/ (* z0 (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))))) (sqrt 2)))
(FPCore (z0 z1) (/ (sin z1) z0))
(FPCore (z0 z1) (/ (- z1) (/ 1 (cos z0))))
(FPCore (z0 z1 z2) (/ (* z0 (sin z1)) z2))
(FPCore (z0) (+ (* -1 (* (- z0 (* -1 z0)) (- z0 (* -1 z0)))) (* 2 (* z0 (- z0 (* -1 z0))))))
(FPCore (z0) (pow (cos z0) 4))
(FPCore (z0 z1) (- (- (atan (exp (/ z1 z0))) (* 1/4 PI)) (/ (- (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 3) (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 3)) (+ (pow (/ (pow (atan (exp (/ z1 z0))) 2) (- (* -1/4 PI) (atan (exp (/ z1 z0))))) 2) (+ (pow (/ (* -1/16 (* PI PI)) (- (atan (exp (/ z1 z0))) (* -1/4 PI))) 2) (/ (* (pow (atan (exp (/ z1 z0))) 2) (* -1/16 (* PI PI))) (* (- (* -1/4 PI) (atan (exp (/ z1 z0)))) (- (atan (exp (/ z1 z0))) (* -1/4 PI)))))))))
(FPCore (z0 z1) (* z0 (+ (log (* 1/2 (/ (sqrt 2) (cos (* -1/4 PI))))) (* 2 (/ (* z1 (* (cos (* -1/4 PI)) (- (* -1/4 (/ (* (sin (* -1/4 PI)) (sqrt 2)) (+ 1/2 (* 1/2 (cos (* -1/2 PI)))))) (* -1/4 (/ (sqrt 2) (cos (* -1/4 PI))))))) (sqrt 2))))))