tanh Mul acsch x0 Add Mul x0 4 Mul Pow x3 asec sinh x0 E 
Mul Pow sech Mul acsch x0 Add Mul x0 4 Mul Pow x3 asec sinh x0 E 2 Add Mul Add Mul x0 4 Mul Pow x3 asec sinh x0 E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Add 4 Mul E Mul Pow x3 Add asec sinh x0 -1 Mul Mul x3 log x3 Mul cosh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 sinh x0 sinh x0 -1 