Add Mul Add 2 cosh Pow asech coth x3 x0 Mul x0 Add -1 Mul Mul -2 x0 x0 x0 
Add Add Mul Mul x0 Add -1 Mul Mul -2 x0 x0 Mul sinh Pow asech coth x3 x0 Mul Pow asech coth x3 Add x0 -1 Mul asech coth x3 log asech coth x3 Mul Add 2 cosh Pow asech coth x3 x0 Add Add -1 Mul Mul -2 x0 x0 Mul x0 Add Mul x0 -2 Mul -2 x0 1 