#NEWLINE# def test_Piecewise( ) : #NEWLINE# #INDENT# f = Piecewise ( ( ( ( - z ) + ( x * y ) ) , Eq ( y , 0 ) ) , ( ( ( - z ) - ( x * y ) ) , True ) ) #NEWLINE# ans = cse ( ans ) #NEWLINE# actual_ans = ( [ ( x0 , ( - z ) ) , ( x1 , ( x * y ) ) ] , [ Piecewise ( ( ( x0 + x1 ) , Eq ( y , 0 ) ) , ( ( x0 - x1 ) , True ) ) ] ) #NEWLINE# assert ( ans == actual_ans )