Mul Pow Mul x4 x0 Add Pow x3 log pi Add acoth Add Pow sqrt sinh x0 5 x0 x0 3.62686040784702 
Mul 3.62686040784702 Mul Pow Mul x4 x0 Add Add Pow x3 log pi Add acoth Add Pow sqrt sinh x0 5 x0 x0 -1 Add Mul Add Pow x3 log pi Add acoth Add Pow sqrt sinh x0 5 x0 x0 x4 Mul Mul Mul x4 x0 log Mul x4 x0 Add Mul Add Mul Pow sqrt sinh x0 4 Mul 5 Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 1 Pow Add 1 Mul -1 Mul Add Pow sqrt sinh x0 5 x0 Add Pow sqrt sinh x0 5 x0 -1 1 