Add csch acosh Mul 27.2899171971277 x7 Mul Add x0 x1 cosh Pow Mul Pow sqrt E x0 3 x0 
Add cosh Pow Mul Pow sqrt E x0 3 x0 Mul Add x0 x1 Mul sinh Pow Mul Pow sqrt E x0 3 x0 Mul Pow Mul Pow sqrt E x0 3 Add x0 -1 Add Mul x0 Mul 3 Mul Pow sqrt E Add x0 -1 Mul sqrt E log sqrt E Mul Mul Pow sqrt E x0 3 log Mul Pow sqrt E x0 3 