Mul cosh E Mul Pow x0 Pow x0 csc x5 Add log Add Mul Add x0 x1 acosh E x0 x0 
Mul cosh E Add Mul Add log Add Mul Add x0 x1 acosh E x0 x0 Mul Pow x0 Add Pow x0 csc x5 -1 Add Pow x0 csc x5 Mul Mul x0 log x0 Mul Pow x0 Add csc x5 -1 csc x5 Mul Pow x0 Pow x0 csc x5 Add Mul Add acosh E 1 Pow Add Mul Add x0 x1 acosh E x0 -1 1 