Add coth Pow Add 1 Pow Mul x0 2 x0 Mul sinh Pow x0 acosh x3 x0 x0 
Add Mul Mul -1 Pow csch Pow Add 1 Pow Mul x0 2 x0 Mul sinh Pow x0 acosh x3 x0 2 Mul Pow Add 1 Pow Mul x0 2 x0 Add Mul sinh Pow x0 acosh x3 x0 -1 Add Mul Mul sinh Pow x0 acosh x3 x0 Mul Pow Mul x0 2 Add x0 -1 Add Mul x0 2 Mul Mul x0 2 log Mul x0 2 Mul Mul Add 1 Pow Mul x0 2 x0 log Add 1 Pow Mul x0 2 x0 Add Mul x0 Mul cosh Pow x0 acosh x3 Mul Pow x0 Add acosh x3 -1 acosh x3 sinh Pow x0 acosh x3 1 