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