Automatically generated Rubi symbolic integration rules.