Add Pow x0 sinh acot Mul x0 3 Add Add Pow Mul x0 2.55740772465490 3 sech x0 Pow -4 E 
Add Mul Pow x0 Add sinh acot Mul x0 3 -1 Add sinh acot Mul x0 3 Mul Mul x0 log x0 Mul cosh acot Mul x0 3 Mul -1 Mul 3 Pow Add 1 Mul Mul x0 3 Mul x0 3 -1 Add Mul Pow Mul x0 2.55740772465490 2 5.55740772465490 Mul tanh x0 Mul -1 sech x0 