(= (f $x) (* $x $x))

!(f 1)