Problem $1$: Type Inference I

Given the following lambda expressions, determine the most general type that can be inferred:

$f1=x*x-2$

$f2=x*y.xy$

$f3=x.y.([x,y,0])$