•Reduction of the amplitude

The one-loop integrals are simplified (the polarization vector is divided off):

aff = SUNReduce[amplFC]/Pair[LorentzIndex[ρ1, D], Momentum[Polarization[p3, -i], D]] // Simplify

1/(576 π^4 f _ ϕ^(ó  )) (p _ 1^ρ1 (1/(q _ 1^2 - (m _ π^(ó  ))^2) (15 (d _ (1 i _ 1 k1)^(3))^2 + 15 (d _ (2 i _ 1 k1)^(3))^2 + 15 (d _ (3 i _ 1 k1)^(3))^2 - 9 (f _ (1 i _ 1 k1)^(3))^2 - 9 (f _ (2 i _ 1 k1)^(3))^2 - 9 (f _ (3 i _ 1 k1)^(3))^2 - 15 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (1 i _ 1)^(3) + 10 δ _ (2 i _ 1)^(3) + 10 δ _ (3 i _ 1)^(3) - 30) + 1/(q _ 1^2 - (m _ K^(ó  ))^2) (15 (d _ (4 i _ 1 k1)^(3))^2 + 15 (d _ (5 i _ 1 k1)^(3))^2 + 15 (d _ (6 i _ 1 k1)^(3))^2 + 15 (d _ (7 i _ 1 k1)^(3))^2 - 9 (f _ (4 i _ 1 k1)^(3))^2 - 9 (f _ (5 i _ 1 k1)^(3))^2 - 9 (f _ (6 i _ 1 k1)^(3))^2 - 9 (f _ (7 i _ 1 k1)^(3))^2 + 10 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (4 i _ 1)^(3) + 10 δ _ (5 i _ 1)^(3) + 10 δ _ (6 i _ 1)^(3) + 10 δ _ (7 i _ 1)^(3) - 40) + (15 (d _ (8 i _ 1 k1)^(3))^2 - 9 (f _ (8 i _ 1 k1)^(3))^2 + 5 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (8 i _ 1)^(3) - 10)/(q _ 1^2 - (m _ η^(ó  ))^2)))

af = OneLoopSimplify[aff, q1]

-1/(576 π^4 f _ ϕ^(ó  ) (q _ 1^2 - (m _ π^(ó  ))^2)) (p _ 1^ρ1 (-15 (d _ (1 i _ 1 k1)^(3))^2 - 15 (d _ (2 i _ 1 k1)^(3))^2 - 15 (d _ (3 i _ 1 k1)^(3))^2 + 9 (f _ (1 i _ 1 k1)^(3))^2 + 9 (f _ (2 i _ 1 k1)^(3))^2 + 9 (f _ (3 i _ 1 k1)^(3))^2 + 15 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) - 10 δ _ (1 i _ 1)^(3) - 10 δ _ (2 i _ 1)^(3) - 10 δ _ (3 i _ 1)^(3) + 30)) - 1/(576 π^4 f _ ϕ^(ó  ) (q _ 1^2 - (m _ K^(ó  ))^2)) (p _ 1^ρ1 (-15 (d _ (4 i _ 1 k1)^(3))^2 - 15 (d _ (5 i _ 1 k1)^(3))^2 - 15 (d _ (6 i _ 1 k1)^(3))^2 - 15 (d _ (7 i _ 1 k1)^(3))^2 + 9 (f _ (4 i _ 1 k1)^(3))^2 + 9 (f _ (5 i _ 1 k1)^(3))^2 + 9 (f _ (6 i _ 1 k1)^(3))^2 + 9 (f _ (7 i _ 1 k1)^(3))^2 - 10 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) - 10 δ _ (4 i _ 1)^(3) - 10 δ _ (5 i _ 1)^(3) - 10 δ _ (6 i _ 1)^(3) - 10 δ _ (7 i _ 1)^(3) + 40)) - (p _ 1^ρ1 (-15 (d _ (8 i _ 1 k1)^(3))^2 + 9 (f _ (8 i _ 1 k1)^(3))^2 - 5 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) - 10 δ _ (8 i _ 1)^(3) + 10))/(576 π^4 f _ ϕ^(ó  ) (q _ 1^2 - (m _ η^(ó  ))^2))

aaf = SUNReduce[af, Explicit -> True, HoldSums -> False] // Simplify

1/(576 π^4 f _ ϕ^(ó  )) (p _ 1^ρ1 (1/(q _ 1^2 - (m _ π^(ó  ))^2) (15 (d _ (1 1 i _ 1)^(3))^2 + 15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 2 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 3 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 - 18 (f _ (1 2 i _ 1)^(3))^2 - 18 (f _ (1 3 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 18 (f _ (2 3 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 15 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (1 i _ 1)^(3) + 10 δ _ (2 i _ 1)^(3) + 10 δ _ (3 i _ 1)^(3) - 30) + 1/(q _ 1^2 - (m _ η^(ó  ))^2) (15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 + 15 (d _ (8 8 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 5 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (8 i _ 1)^(3) - 10) + 1/(q _ 1^2 - (m _ K^(ó  ))^2) (15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (4 4 i _ 1)^(3))^2 + 30 (d _ (4 6 i _ 1)^(3))^2 + 30 (d _ (4 7 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 5 i _ 1)^(3))^2 + 30 (d _ (5 6 i _ 1)^(3))^2 + 30 (d _ (5 7 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 6 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 7 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 18 (f _ (4 5 i _ 1)^(3))^2 - 18 (f _ (4 6 i _ 1)^(3))^2 - 18 (f _ (4 7 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 18 (f _ (5 6 i _ 1)^(3))^2 - 18 (f _ (5 7 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 18 (f _ (6 7 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 10 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (4 i _ 1)^(3) + 10 δ _ (5 i _ 1)^(3) + 10 δ _ (6 i _ 1)^(3) + 10 δ _ (7 i _ 1)^(3) - 40)))

The loop integrals are expressed in terms of Passarino-Veltman symbols.

ampreduced = Collect[OneLoop[q1, aaf], {Pi, _DecayConstant, _B0, _A0, _ParticleMass, _Pair}] /. aa_ a_Plus /; ! FreeQ[aa, Pair, Infinity, Heads -> True] -> aa Togetherr[a] /. Togetherr -> Together

1/(π^2 f _ ϕ^(ó  )) (1/576 i A _ 0 ( (m _ π^(ó  ))^2 ) p _ 1^ρ1 (15 (d _ (1 1 i _ 1)^(3))^2 + 15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 2 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 3 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 - 18 (f _ (1 2 i _ 1)^(3))^2 - 18 (f _ (1 3 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 18 (f _ (2 3 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 15 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (1 i _ 1)^(3) + 10 δ _ (2 i _ 1)^(3) + 10 δ _ (3 i _ 1)^(3) - 30) + 1/576 i A _ 0 ( (m _ η^(ó  ))^2 ) p _ 1^ρ1 (15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 + 15 (d _ (8 8 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 5 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (8 i _ 1)^(3) - 10) + 1/576 i A _ 0 ( (m _ K^(ó  ))^2 ) p _ 1^ρ1 (15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (4 4 i _ 1)^(3))^2 + 30 (d _ (4 6 i _ 1)^(3))^2 + 30 (d _ (4 7 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 5 i _ 1)^(3))^2 + 30 (d _ (5 6 i _ 1)^(3))^2 + 30 (d _ (5 7 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 6 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 7 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 18 (f _ (4 5 i _ 1)^(3))^2 - 18 (f _ (4 6 i _ 1)^(3))^2 - 18 (f _ (4 7 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 18 (f _ (5 6 i _ 1)^(3))^2 - 18 (f _ (5 7 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 18 (f _ (6 7 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 10 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (4 i _ 1)^(3) + 10 δ _ (5 i _ 1)^(3) + 10 δ _ (6 i _ 1)^(3) + 10 δ _ (7 i _ 1)^(3) - 40))

The divergences are singled out:

ampinfinities = VeltmanExpand[ampreduced, ExplicitLeutwylerJ0 -> True] // Simplify

1/(576 π^2 f _ ϕ^(ó  )) (i p _ 1^ρ1 (-(32 π^2 λ + log((m _ π^(ó  ))^2/μ^2)) (15 (d _ (1 1 i _ 1)^(3))^2 + 15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 2 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 3 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 - 18 (f _ (1 2 i _ 1)^(3))^2 - 18 (f _ (1 3 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 18 (f _ (2 3 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 15 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (1 i _ 1)^(3) + 10 δ _ (2 i _ 1)^(3) + 10 δ _ (3 i _ 1)^(3) - 30) (m _ π^(ó  ))^2 - (32 π^2 λ + log((m _ η^(ó  ))^2/μ^2)) (m _ η^(ó  ))^2 (15 (d _ (1 8 i _ 1)^(3))^2 + 15 (d _ (2 8 i _ 1)^(3))^2 + 15 (d _ (3 8 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 + 15 (d _ (8 8 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 5 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (8 i _ 1)^(3) - 10) - (32 π^2 λ + log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2 (15 (d _ (1 4 i _ 1)^(3))^2 + 15 (d _ (1 5 i _ 1)^(3))^2 + 15 (d _ (1 6 i _ 1)^(3))^2 + 15 (d _ (1 7 i _ 1)^(3))^2 + 15 (d _ (2 4 i _ 1)^(3))^2 + 15 (d _ (2 5 i _ 1)^(3))^2 + 15 (d _ (2 6 i _ 1)^(3))^2 + 15 (d _ (2 7 i _ 1)^(3))^2 + 15 (d _ (3 4 i _ 1)^(3))^2 + 15 (d _ (3 5 i _ 1)^(3))^2 + 15 (d _ (3 6 i _ 1)^(3))^2 + 15 (d _ (3 7 i _ 1)^(3))^2 + 15 (d _ (4 4 i _ 1)^(3))^2 + 30 (d _ (4 6 i _ 1)^(3))^2 + 30 (d _ (4 7 i _ 1)^(3))^2 + 15 (d _ (4 8 i _ 1)^(3))^2 + 15 (d _ (5 5 i _ 1)^(3))^2 + 30 (d _ (5 6 i _ 1)^(3))^2 + 30 (d _ (5 7 i _ 1)^(3))^2 + 15 (d _ (5 8 i _ 1)^(3))^2 + 15 (d _ (6 6 i _ 1)^(3))^2 + 15 (d _ (6 8 i _ 1)^(3))^2 + 15 (d _ (7 7 i _ 1)^(3))^2 + 15 (d _ (7 8 i _ 1)^(3))^2 - 9 (f _ (1 4 i _ 1)^(3))^2 - 9 (f _ (1 5 i _ 1)^(3))^2 - 9 (f _ (1 6 i _ 1)^(3))^2 - 9 (f _ (1 7 i _ 1)^(3))^2 - 9 (f _ (2 4 i _ 1)^(3))^2 - 9 (f _ (2 5 i _ 1)^(3))^2 - 9 (f _ (2 6 i _ 1)^(3))^2 - 9 (f _ (2 7 i _ 1)^(3))^2 - 9 (f _ (3 4 i _ 1)^(3))^2 - 9 (f _ (3 5 i _ 1)^(3))^2 - 9 (f _ (3 6 i _ 1)^(3))^2 - 9 (f _ (3 7 i _ 1)^(3))^2 - 18 (f _ (4 5 i _ 1)^(3))^2 - 18 (f _ (4 6 i _ 1)^(3))^2 - 18 (f _ (4 7 i _ 1)^(3))^2 - 9 (f _ (4 8 i _ 1)^(3))^2 - 18 (f _ (5 6 i _ 1)^(3))^2 - 18 (f _ (5 7 i _ 1)^(3))^2 - 9 (f _ (5 8 i _ 1)^(3))^2 - 18 (f _ (6 7 i _ 1)^(3))^2 - 9 (f _ (6 8 i _ 1)^(3))^2 - 9 (f _ (7 8 i _ 1)^(3))^2 + 10 3^(1/2) d _ (8 i _ 1 i _ 1)^(3) + 10 δ _ (4 i _ 1)^(3) + 10 δ _ (5 i _ 1)^(3) + 10 δ _ (6 i _ 1)^(3) + 10 δ _ (7 i _ 1)^(3) - 40)))

Converted by Mathematica  (July 10, 2003)