Pow Mul x0 2 acoth Mul Pow x4 cosh x0 Add x0 x4 
Mul Pow Mul x0 2 Add acoth Mul Pow x4 cosh x0 Add x0 x4 -1 Add Mul acoth Mul Pow x4 cosh x0 Add x0 x4 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Add Mul Add x0 x4 Mul Pow x4 Add cosh x0 -1 Mul Mul x4 log x4 sinh x0 Pow x4 cosh x0 Pow Add 1 Mul -1 Mul Mul Pow x4 cosh x0 Add x0 x4 Mul Pow x4 cosh x0 Add x0 x4 -1 