(a b)
3.0