Pow acosh Add x0 Pow x7 x0 acosh Mul coth acot x0 Mul x0 x2 
Mul Pow acosh Add x0 Pow x7 x0 Add acosh Mul coth acot x0 Mul x0 x2 -1 Add Mul acosh Mul coth acot x0 Mul x0 x2 Mul Add 1 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul sqrt Add Add x0 Pow x7 x0 -1 sqrt Add 1 Add x0 Pow x7 x0 -1 Mul Mul acosh Add x0 Pow x7 x0 log acosh Add x0 Pow x7 x0 Mul Add Mul Mul x0 x2 Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul coth acot x0 x2 Pow Mul sqrt Add Mul coth acot x0 Mul x0 x2 -1 sqrt Add 1 Mul coth acot x0 Mul x0 x2 -1 