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