Mul Pow acsch x1 x0 Pow cosh atanh x0 Mul 3 atanh x0 
Add Mul Pow cosh atanh x0 Mul 3 atanh x0 Mul Pow acsch x1 Add x0 -1 Mul acsch x1 log acsch x1 Mul Pow acsch x1 x0 Mul Pow cosh atanh x0 Add Mul 3 atanh x0 -1 Add Mul Mul 3 atanh x0 Mul sinh atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cosh atanh x0 log cosh atanh x0 Mul 3 Pow Add 1 Mul -1 Mul x0 x0 -1 