#include <iostream>
#include <ginac/ginac.h>

using namespace GiNaC;

int main()
{
    ex a = cos(cos(ex(1) / ex(2)));
    std::cout << latex << a << std::endl;
    return 0;
}