Mul x0 acsch Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 
Add acsch Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 Mul x0 Mul Mul -1 Add Mul log Pow Add x0 x7 x0 Mul Pow x7 Add Mul Mul E x0 E -1 Mul Mul x7 log x7 Mul E E Mul Pow x7 Mul Mul E x0 E Mul Mul Pow Add x0 x7 Add x0 -1 Add x0 Mul Add x0 x7 log Add x0 x7 Pow Pow Add x0 x7 x0 -1 Pow Mul Mul Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 Mul Pow x7 Mul Mul E x0 E log Pow Add x0 x7 x0 -1 -1 