Mul x0 Add Pow acosh x0 x2 Pow Mul acoth x0 x0 x0 
Add Add Pow acosh x0 x2 Pow Mul acoth x0 x0 x0 Mul x0 Add Mul Pow acosh x0 Add x2 -1 Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Mul acoth x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Mul Mul acoth x0 x0 log Mul acoth x0 x0 