Pow x4 Pow Pow acoth x5 Pow x6 x0 E 
Mul Pow x4 Add Pow Pow acoth x5 Pow x6 x0 E -1 Mul Mul x4 log x4 Mul Pow Pow acoth x5 Pow x6 x0 Add E -1 Mul E Mul Pow acoth x5 Add Pow x6 x0 -1 Mul Mul acoth x5 log acoth x5 Mul Pow x6 Add x0 -1 Mul x6 log x6 