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: Derivation in physics, in the form of derivation reconstruction of published results is a challenge, in part due to the informal use of mathematics by physicists is less formal than that of mathematicians.