tan Mul x0 Add log acosh Add -2 coth x0 4 
Mul Pow sec Mul x0 Add log acosh Add -2 coth x0 4 2 Add Add log acosh Add -2 coth x0 4 Mul x0 Mul Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add Add -2 coth x0 -1 sqrt Add 1 Add -2 coth x0 -1 Pow acosh Add -2 coth x0 -1 