Add Add x7 x7 Mul x0 Pow x0 Mul cosh Pow Add x0 -2 acoth x3 x0 
Add Pow x0 Mul cosh Pow Add x0 -2 acoth x3 x0 Mul x0 Mul Pow x0 Add Mul cosh Pow Add x0 -2 acoth x3 x0 -1 Add Mul cosh Pow Add x0 -2 acoth x3 x0 Mul Mul x0 log x0 Add Mul x0 Mul sinh Pow Add x0 -2 acoth x3 Mul Pow Add x0 -2 Add acoth x3 -1 acoth x3 cosh Pow Add x0 -2 acoth x3 