P = (Expression) ExpandTransformation.expand(P,
EliminateMetricsTransformation.ELIMINATE_METRICS,
Tensors.parseExpression("R_{\\mu \\nu}^{\\mu}_{\\alpha} = R_{\\nu\\alpha}"),
Tensors.parseExpression("R_{\\mu\\nu}^{\\alpha}_{\\alpha}=0"),
Tensors.parseExpression("R_{\\mu}^{\\mu}= R"));
W = (Expression) P.transform(W);
Expression F = Tensors.parseExpression("F_\\mu\\nu^\\lambda\\delta_\\rho\\tau = "
+ "R^\\lambda_\\rho\\mu\\nu*d^\\delta_\\tau+R^\\delta_\\tau\\mu\\nu*d^\\lambda_\\rho");
OneLoopInput input = new OneLoopInput(2, KINV, K, S, W, null, null, F);