[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h7 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h7 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h7 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p3 p4 p1 p2 ) - 1.0 * P( h6 h5 h7 h8 p4 p3 p1 p2 => h6 h7 h5 h8 p2 p4 p1 p3 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p2 p3 p1 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p3 p2 p1 => h6 h7 h5 h8 p1 p4 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p2 p1 => h6 h7 h5 h8 p1 p3 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h8 h7 p4 p3 p1 p2 => h5 h8 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p3 p2 p1 => h5 h8 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p2 p1 => h5 h8 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p3 p4 p1 p2 ) - 1.0 * P( h6 h5 h8 h7 p4 p3 p1 p2 => h6 h8 h5 h7 p2 p4 p1 p3 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p2 p3 p1 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p3 p2 p1 => h6 h8 h5 h7 p1 p4 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p2 p1 => h6 h8 h5 h7 p1 p3 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p3 p4 p1 p2 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h7 h8 h5 h6 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h7 h8 h5 h6 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h7 h8 h5 h6 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * v ( h5 h6 p3 p4 ) * y ( h7 h8 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * f ( h5 p4 ) * y ( h6 h7 h8 p1 p2 p3 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h7 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p3 p2 => h6 h7 h5 h8 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p2 p3 p1 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p3 p2 => h5 h8 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p2 p3 p1 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p3 p2 => h6 h8 h5 h7 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p2 p3 p1 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h7 h8 h5 h6 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( h9 ) * v ( h5 h6 h9 p4 ) * y ( h9 h7 h8 p1 p2 p3 )
[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h6 h5 h7 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h6 h5 h7 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h6 h5 h7 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p1 p2 => h7 h5 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p2 p1 => h7 h5 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p2 p1 => h7 h5 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p1 p2 => h8 h5 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p2 p1 => h8 h5 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p2 p1 => h8 h5 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 ) * v ( h5 p9 p3 p4 ) * y ( h6 h7 h8 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h7 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p3 p2 => h6 h7 h5 h8 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p2 p3 p1 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p3 p2 => h5 h8 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p2 p3 p1 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p3 p2 => h6 h8 h5 h7 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p2 p3 p1 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h7 h8 h5 h6 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h5 h6 p9 p4 ) * y ( h10 h7 h8 p1 p2 p3 )
[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h6 h5 h7 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h6 h5 h7 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h6 h5 h7 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p1 p2 => h7 h5 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p2 p1 => h7 h5 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p2 p1 => h7 h5 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p1 p2 => h8 h5 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p2 p1 => h8 h5 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p2 p1 => h8 h5 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h10 h5 p3 p4 ) * y ( h6 h7 h8 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h10 h5 p9 p4 ) * y ( h6 h7 h8 p1 p2 p3 )