Pow x0 Mul acos acot Mul x7 Add x0 acosh Pow x0 E coth cot x1 
Mul Pow x0 Add Mul acos acot Mul x7 Add x0 acosh Pow x0 E coth cot x1 -1 Add Mul acos acot Mul x7 Add x0 acosh Pow x0 E coth cot x1 Mul Mul x0 log x0 Mul coth cot x1 Mul -1 Mul Mul -1 Mul Mul x7 Add 1 Mul Mul Pow x0 Add E -1 E Pow Mul sqrt Add Pow x0 E -1 sqrt Add 1 Pow x0 E -1 Pow Add 1 Mul Mul x7 Add x0 acosh Pow x0 E Mul x7 Add x0 acosh Pow x0 E -1 Pow sqrt Add 1 Mul -1 Mul acot Mul x7 Add x0 acosh Pow x0 E acot Mul x7 Add x0 acosh Pow x0 E -1 