Pow Pow Add x0 x0 coth x7 Pow acosh Add E x0 -5 
Mul Pow Pow Add x0 x0 coth x7 Add Pow acosh Add E x0 -5 -1 Add Mul Pow acosh Add E x0 -5 Mul Pow Add x0 x0 Add coth x7 -1 Mul coth x7 2 Mul Mul Pow Add x0 x0 coth x7 log Pow Add x0 x0 coth x7 Mul Pow acosh Add E x0 6 Mul -5 Pow Mul sqrt Add Add E x0 -1 sqrt Add 1 Add E x0 -1 