Mul Pow Mul acoth sinh x0 5 Add log x0 4 x0 
Add Mul x0 Mul Pow Mul acoth sinh x0 5 Add Add log x0 4 -1 Add Mul Add log x0 4 Mul 5 Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Mul Mul Mul acoth sinh x0 5 log Mul acoth sinh x0 5 Pow x0 -1 Pow Mul acoth sinh x0 5 Add log x0 4 