From horizontal form normal form