Pow sqrt Add cosh atan x2 Mul -3 Pow Add coth x5 3 x0 3.62686040784702 
Mul Pow sqrt Add cosh atan x2 Mul -3 Pow Add coth x5 3 x0 2.62686040784702 Mul 3.62686040784702 Mul Pow Mul 2 sqrt Add cosh atan x2 Mul -3 Pow Add coth x5 3 x0 -1 Mul -3 Mul Pow Add coth x5 3 Add x0 -1 Mul Add coth x5 3 log Add coth x5 3 