with
expand
rewrite as
use expansion formula
As of this snapshot date, this entry was owned by bloftin.