Pow Pow Mul acoth x6 x0 x7 Pow Pow acosh x4 x0 5 
Mul Pow Pow Mul acoth x6 x0 x7 Add Pow Pow acosh x4 x0 5 -1 Add Mul Pow Pow acosh x4 x0 5 Mul Pow Mul acoth x6 x0 Add x7 -1 Mul x7 acoth x6 Mul Mul Pow Mul acoth x6 x0 x7 log Pow Mul acoth x6 x0 x7 Mul Pow Pow acosh x4 x0 4 Mul 5 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 