Add Mul x0 acoth Pow cosh x0 Mul x6 Add Mul exp E 2 x0 -3 
Add acoth Pow cosh x0 Mul x6 Add Mul exp E 2 x0 Mul x0 Mul Mul Pow cosh x0 Add Mul x6 Add Mul exp E 2 x0 -1 Add Mul Mul x6 Add Mul exp E 2 x0 sinh x0 Mul Mul cosh x0 log cosh x0 x6 Pow Add 1 Mul -1 Mul Pow cosh x0 Mul x6 Add Mul exp E 2 x0 Pow cosh x0 Mul x6 Add Mul exp E 2 x0 -1 