Before revision: Derivation in physics, in the form of derivation reconstruction of published results , is expensive and difficult to automate, not least because the use of mathematics by physicists is less formal than that of mathematicians.
After revision: Automating the derivation of published results , is expensive and difficult to automate, not least because the use of mathematics by physicists is less formal than that of mathematicians.