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