Mul Pow x0 sech csc Add x1 x6 tan Mul atan coth x0 acoth x0 
Add Mul tan Mul atan coth x0 acoth x0 Mul Pow x0 Add sech csc Add x1 x6 -1 sech csc Add x1 x6 Mul Pow x0 sech csc Add x1 x6 Mul Pow sec Mul atan coth x0 acoth x0 2 Add Mul acoth x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Mul atan coth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 