Pow Pow asech pi Mul -1 x0 Pow x1 x0 
Mul Pow Pow asech pi Mul -1 x0 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul Pow asech pi Add Mul -1 x0 -1 Mul Mul asech pi log asech pi -1 Mul Mul Pow asech pi Mul -1 x0 log Pow asech pi Mul -1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 