Y=AB^+A^B=((AB^)^(A^B)^)^=(((AB)^A)^((AB)^B)^)