Pi Type Beta Computation Rule