Add x5 Mul 3 Mul acot Add atanh Mul cosh x0 x0 x0 csch x1 
Mul 3 Mul csch x1 Mul -1 Mul Add Mul Add Mul x0 sinh x0 cosh x0 Pow Add 1 Mul -1 Mul Mul cosh x0 x0 Mul cosh x0 x0 -1 1 Pow Add 1 Mul Add atanh Mul cosh x0 x0 x0 Add atanh Mul cosh x0 x0 x0 -1 