Add Pow Mul acsch x0 coth x1 sqrt asech csc Mul cosh x3 -1 x0 
Add Mul Pow Mul acsch x0 coth x1 Add sqrt asech csc Mul cosh x3 -1 -1 Mul sqrt asech csc Mul cosh x3 -1 Mul coth x1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 