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