tan cosh Mul x0 acosh Mul Mul x6 Add -3 x0 acoth cosh x6 
Mul Pow sec cosh Mul x0 acosh Mul Mul x6 Add -3 x0 acoth cosh x6 2 Mul sinh Mul x0 acosh Mul Mul x6 Add -3 x0 acoth cosh x6 Add acosh Mul Mul x6 Add -3 x0 acoth cosh x6 Mul x0 Mul Mul acoth cosh x6 x6 Pow Mul sqrt Add Mul Mul x6 Add -3 x0 acoth cosh x6 -1 sqrt Add 1 Mul Mul x6 Add -3 x0 acoth cosh x6 -1 