( ( + . (2π2,2)o )* . distl . (id,2π2)o . id . id )* . distl . (id,id)o . id . id . id