>>795
a+a^(-1) +2