Add Mul Mul Pow -1 x1 x2 Pow x0 cosh Mul x0 x0 Pow Add csch x0 Add x2 x0 x3 
Add Mul Mul Pow -1 x1 x2 Mul Pow x0 Add cosh Mul x0 x0 -1 Add cosh Mul x0 x0 Mul Mul x0 log x0 Mul sinh Mul x0 x0 Add x0 x0 Mul Pow Add csch x0 Add x2 x0 Add x3 -1 Mul x3 Add Mul Mul -1 coth x0 csch x0 1 