Mul Pow Mul x1 acosh x5 csc cosh Mul Pow Mul Mul x1 x0 -2 x0 Mul Add x0 x5 x0 x4 
Mul x4 Mul Pow Mul x1 acosh x5 Add csc cosh Mul Pow Mul Mul x1 x0 -2 x0 Mul Add x0 x5 x0 -1 Mul Mul Mul x1 acosh x5 log Mul x1 acosh x5 Mul Mul Mul -1 cot cosh Mul Pow Mul Mul x1 x0 -2 x0 Mul Add x0 x5 x0 csc cosh Mul Pow Mul Mul x1 x0 -2 x0 Mul Add x0 x5 x0 Mul sinh Mul Pow Mul Mul x1 x0 -2 x0 Mul Add x0 x5 x0 Add Mul Mul Add x0 x5 x0 Mul Pow Mul Mul x1 x0 -2 Add x0 -1 Add Mul x0 Mul -2 x1 Mul Mul Mul x1 x0 -2 log Mul Mul x1 x0 -2 Mul Pow Mul Mul x1 x0 -2 x0 Add x0 Add x0 x5 