Pow Mul Mul x5 x0 csch atanh Mul cosh x6 E x0 
Mul Pow Mul Mul x5 x0 csch atanh Mul cosh x6 E Add x0 -1 Add Mul x0 Mul csch atanh Mul cosh x6 E x5 Mul Mul Mul x5 x0 csch atanh Mul cosh x6 E log Mul Mul x5 x0 csch atanh Mul cosh x6 E 