AIに数式の行間を埋めてもらって検算に専念することで読み通せました