Pow Pow acosh Mul x3 x0 asinh x0 Mul coth x0 Pow Mul Mul x0 2 x0 x4 
Mul Pow Pow acosh Mul x3 x0 asinh x0 Add Mul coth x0 Pow Mul Mul x0 2 x0 x4 -1 Add Mul Mul coth x0 Pow Mul Mul x0 2 x0 x4 Mul Pow acosh Mul x3 x0 Add asinh x0 -1 Add Mul asinh x0 Mul x3 Pow Mul sqrt Add Mul x3 x0 -1 sqrt Add 1 Mul x3 x0 -1 Mul Mul acosh Mul x3 x0 log acosh Mul x3 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Pow acosh Mul x3 x0 asinh x0 log Pow acosh Mul x3 x0 asinh x0 Add Mul Pow Mul Mul x0 2 x0 x4 Mul -1 Pow csch x0 2 Mul coth x0 Mul Pow Mul Mul x0 2 x0 Add x4 -1 Mul x4 Add Mul x0 2 Mul x0 2 