Add csc E Add Pow sec acsch x6 log Add Pow E x0 Mul x2 x0 x0 
Add Mul Pow sec acsch x6 Add log Add Pow E x0 Mul x2 x0 -1 Mul Mul sec acsch x6 log sec acsch x6 Mul Add Mul Pow E Add x0 -1 Mul E log E x2 Pow Add Pow E x0 Mul x2 x0 -1 1 