Pi/Real cosine function/Definition