Mul Mul Mul sqrt x0 x0 Mul acoth x0 log cosh Mul x0 E -3 
Mul -3 Add Mul Mul acoth x0 log cosh Mul x0 E Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul Mul sqrt x0 x0 Add Mul log cosh Mul x0 E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul sinh Mul x0 E E Pow cosh Mul x0 E -1 