Pow sqrt Mul acoth Mul x6 -2 Mul E x6 Pow x1 Pow x0 x2 
Mul Pow sqrt Mul acoth Mul x6 -2 Mul E x6 Add Pow x1 Pow x0 x2 -1 Mul Mul sqrt Mul acoth Mul x6 -2 Mul E x6 log sqrt Mul acoth Mul x6 -2 Mul E x6 Mul Pow x1 Add Pow x0 x2 -1 Mul Mul x1 log x1 Mul Pow x0 Add x2 -1 x2 