Add Mul Pow Add Mul coth coth x0 asech x0 -3 Pow csc acoth x7 2 x0 Add 3 sec x0 
Add Add Mul x0 Mul Pow Add Mul coth coth x0 asech x0 -3 Add Pow csc acoth x7 2 -1 Mul Pow csc acoth x7 2 Add Mul asech x0 Mul Mul -1 Pow csch coth x0 2 Mul -1 Pow csch x0 2 Mul coth coth x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add Mul coth coth x0 asech x0 -3 Pow csc acoth x7 2 Mul tan x0 sec x0 