f(x^4+1)
f(mathilbert(3))
