Mul x0 Mul -2 sinh csch sinh Mul Mul x0 -2 x0 
Add Mul -2 sinh csch sinh Mul Mul x0 -2 x0 Mul x0 Mul -2 Mul cosh csch sinh Mul Mul x0 -2 x0 Mul Mul Mul -1 coth sinh Mul Mul x0 -2 x0 csch sinh Mul Mul x0 -2 x0 Mul cosh Mul Mul x0 -2 x0 Add Mul x0 -2 Mul x0 -2 