Mul x2 sinh coth exp Add Pow Add x7 sqrt x2 Add 1.36943840600457 x0 x0 
Mul x2 Mul cosh coth exp Add Pow Add x7 sqrt x2 Add 1.36943840600457 x0 x0 Mul Mul -1 Pow csch exp Add Pow Add x7 sqrt x2 Add 1.36943840600457 x0 x0 2 Mul exp Add Pow Add x7 sqrt x2 Add 1.36943840600457 x0 x0 Add Mul Pow Add x7 sqrt x2 Add Add 1.36943840600457 x0 -1 Mul Add x7 sqrt x2 log Add x7 sqrt x2 1 