exp log Pow asech x2 Pow x0 csc x1 
Mul exp log Pow asech x2 Pow x0 csc x1 Mul Mul Pow asech x2 Add Pow x0 csc x1 -1 Mul Mul asech x2 log asech x2 Mul Pow x0 Add csc x1 -1 csc x1 Pow Pow asech x2 Pow x0 csc x1 -1 