Pow x0 Add -1 Mul x2 Mul acosh x0 Add -2 Add acoth x4 9 
Mul Pow x0 Add Add -1 Mul x2 Mul acosh x0 Add -2 Add acoth x4 9 -1 Add Add -1 Mul x2 Mul acosh x0 Add -2 Add acoth x4 9 Mul Mul x0 log x0 Mul x2 Mul Add -2 Add acoth x4 9 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 