Pow Pow x0 exp sqrt Pow exp x0 cosh x5 acosh Add Add x0 Pow x0 coth x3 Add x5 x0 
Mul Pow Pow x0 exp sqrt Pow exp x0 cosh x5 Add acosh Add Add x0 Pow x0 coth x3 Add x5 x0 -1 Add Mul acosh Add Add x0 Pow x0 coth x3 Add x5 x0 Mul Pow x0 Add exp sqrt Pow exp x0 cosh x5 -1 Add exp sqrt Pow exp x0 cosh x5 Mul Mul x0 log x0 Mul exp sqrt Pow exp x0 cosh x5 Mul Pow Mul 2 sqrt Pow exp x0 cosh x5 -1 Mul Pow exp x0 Add cosh x5 -1 Mul cosh x5 exp x0 Mul Mul Pow x0 exp sqrt Pow exp x0 cosh x5 log Pow x0 exp sqrt Pow exp x0 cosh x5 Mul Add Add 1 Mul Pow x0 Add coth x3 -1 coth x3 1 Pow Mul sqrt Add Add Add x0 Pow x0 coth x3 Add x5 x0 -1 sqrt Add 1 Add Add x0 Pow x0 coth x3 Add x5 x0 -1 