acsch Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 x0 
Mul Mul -1 Mul Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 Add x0 -1 Add Mul x0 Mul cosh Pow x4 x7 Mul Pow x0 Add sqrt x4 -1 sqrt x4 Mul Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 log Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 Pow Mul Mul Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 x0 Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 x0 Pow Mul cosh Pow x4 x7 Add Pow x0 sqrt x4 x4 x0 -1 -1 