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