Pow acsch cosh Pow sqrt Pow x0 5 tanh x7 x0 
Mul Pow acsch cosh Pow sqrt Pow x0 5 tanh x7 Add x0 -1 Add Mul x0 Mul Mul -1 Mul sinh Pow sqrt Pow x0 5 tanh x7 Mul Pow sqrt Pow x0 5 Add tanh x7 -1 Mul tanh x7 Mul Pow Mul 2 sqrt Pow x0 5 -1 Mul Pow x0 4 5 Pow Mul Mul cosh Pow sqrt Pow x0 5 tanh x7 cosh Pow sqrt Pow x0 5 tanh x7 sqrt Add 1 Mul -1 Pow Mul cosh Pow sqrt Pow x0 5 tanh x7 cosh Pow sqrt Pow x0 5 tanh x7 -1 -1 Mul acsch cosh Pow sqrt Pow x0 5 tanh x7 log acsch cosh Pow sqrt Pow x0 5 tanh x7 