Add acoth Add x0 sinh Mul log x7 x0 Pow E Pow x1 x0 
Add Mul Add 1 Mul cosh Mul log x7 x0 log x7 Pow Add 1 Mul -1 Mul Add x0 sinh Mul log x7 x0 Add x0 sinh Mul log x7 x0 -1 Mul Pow E Add Pow x1 x0 -1 Mul Mul E log E Mul Pow x1 Add x0 -1 Mul x1 log x1 