Mul Mul Pow x0 x0 Mul Add x0 Mul Pow Pow 2 E Mul x0 acosh x0 log coth Mul -5 x2 x0 x6 
Mul x6 Add Mul Mul Add x0 Mul Pow Pow 2 E Mul x0 acosh x0 log coth Mul -5 x2 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul x0 Add 1 Mul log coth Mul -5 x2 Mul Pow Pow 2 E Add Mul x0 acosh x0 -1 Mul Mul Pow 2 E log Pow 2 E Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add x0 Mul Pow Pow 2 E Mul x0 acosh x0 log coth Mul -5 x2 