Add Mul -3 log Add x7 1 acosh Add Pow x0 -5 Pow acoth x2 x0 
Mul Add Mul Pow x0 6 -5 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 Pow Mul sqrt Add Add Pow x0 -5 Pow acoth x2 x0 -1 sqrt Add 1 Add Pow x0 -5 Pow acoth x2 x0 -1 