Add examples for arithmetic expansion