Mul Pow x6 Add cot Mul 3 x3 Mul x0 acsch cosh x0 Mul Add x0 -1 x2 
Add Mul Mul Add x0 -1 x2 Mul Pow x6 Add Add cot Mul 3 x3 Mul x0 acsch cosh x0 -1 Mul Mul x6 log x6 Add acsch cosh x0 Mul x0 Mul Mul -1 sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 Mul Pow x6 Add cot Mul 3 x3 Mul x0 acsch cosh x0 x2 