Add Mul Pow E Add x0 Mul x0 Mul x0 Mul Mul Add x0 x0 acosh acoth x0 x0 2 -5 
Mul 2 Mul Pow E Add Add x0 Mul x0 Mul x0 Mul Mul Add x0 x0 acosh acoth x0 x0 -1 Mul Mul E log E Add 1 Add Mul x0 Mul Mul Add x0 x0 acosh acoth x0 x0 Mul x0 Add Mul Mul Add x0 x0 acosh acoth x0 x0 Mul x0 Add Mul x0 Add Mul acosh acoth x0 2 Mul Add x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 Mul Add x0 x0 acosh acoth x0 