Fuente TeX:

x=4cos(\frac{\pi}{4}