acosh Add acosh Pow acosh cos tanh x5 Mul x0 coth x0 x0 
Mul Add Mul Mul Pow acosh cos tanh x5 Add Mul x0 coth x0 -1 Mul Mul acosh cos tanh x5 log acosh cos tanh x5 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Pow Mul sqrt Add Pow acosh cos tanh x5 Mul x0 coth x0 -1 sqrt Add 1 Pow acosh cos tanh x5 Mul x0 coth x0 -1 1 Pow Mul sqrt Add Add acosh Pow acosh cos tanh x5 Mul x0 coth x0 x0 -1 sqrt Add 1 Add acosh Pow acosh cos tanh x5 Mul x0 coth x0 x0 -1 