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