Mul x0 Mul Mul x0 Pow coth acosh x3 Pow tanh Mul x0 x2 x2 Add Pow x0 Mul E -0.416146836547142 sec x0 
Add Mul Mul x0 Pow coth acosh x3 Pow tanh Mul x0 x2 x2 Add Pow x0 Mul E -0.416146836547142 sec x0 Mul x0 Add Mul Add Pow x0 Mul E -0.416146836547142 sec x0 Add Pow coth acosh x3 Pow tanh Mul x0 x2 x2 Mul x0 Mul Pow coth acosh x3 Add Pow tanh Mul x0 x2 x2 -1 Mul Mul coth acosh x3 log coth acosh x3 Mul Pow tanh Mul x0 x2 Add x2 -1 Mul x2 Mul Pow sech Mul x0 x2 2 x2 Mul Mul x0 Pow coth acosh x3 Pow tanh Mul x0 x2 x2 Add Mul Pow x0 Add Mul E -0.416146836547142 -1 Mul E -0.416146836547142 Mul tan x0 sec x0 