[ - 1.0 ] * v ( p4 p3 h1 h2 ) [ - 1.0 + 1.0 * P( p3 p4 h1 h2 => p3 p4 h2 h1 ) ] * Sum ( h5 ) * f ( h5 h1 ) * t ( p3 p4 h5 h2 ) [ + 1.0 - 1.0 * P( p4 p3 h2 h1 => p3 p4 h2 h1 ) ] * Sum ( p5 ) * f ( p4 p5 ) * t ( p5 p3 h2 h1 ) [ + 0.5 ] * Sum ( h5 h6 ) * t ( p3 p4 h5 h6 ) * v ( h5 h6 h1 h2 ) [ + 1.0 - 1.0 * P( p3 p4 h2 h1 => p4 p3 h2 h1 ) - 1.0 * P( p3 p4 h2 h1 => p3 p4 h1 h2 ) + 1.0 * P( p3 p4 h2 h1 => p4 p3 h1 h2 ) ] * Sum ( h6 p5 ) * t ( p5 p3 h6 h2 ) * v ( h6 p4 h1 p5 ) [ + 0.5 ] * Sum ( p5 p6 ) * t ( p5 p6 h2 h1 ) * v ( p4 p3 p5 p6 ) [ - 0.5 + 0.5 * P( p4 p3 h2 h1 => p3 p4 h2 h1 ) ] * Sum ( h7 h8 p5 p6 ) * t ( p5 p4 h2 h1 ) * t ( p6 p3 h7 h8 ) * v ( h7 h8 p5 p6 ) [ - 0.25 ] * Sum ( h7 h8 p5 p6 ) * t ( p5 p6 h2 h1 ) * t ( p3 p4 h7 h8 ) * v ( h7 h8 p5 p6 ) [ - 0.5 + 0.5 * P( p3 p4 h1 h2 => p3 p4 h2 h1 ) ] * Sum ( h5 h8 p6 p7 ) * t ( p3 p4 h5 h1 ) * t ( p6 p7 h8 h2 ) * v ( h5 h8 p6 p7 ) [ - 1.0 + 1.0 * P( p4 p3 h1 h2 => p3 p4 h1 h2 ) ] * Sum ( h6 h8 p5 p7 ) * t ( p5 p4 h6 h1 ) * t ( p7 p3 h8 h2 ) * v ( h6 h8 p5 p7 )