Pow x3 Pow Pow Mul Add acsch x0 2.32529474432039 x3 x7 acos Mul x0 E 
Mul Pow x3 Add Pow Pow Mul Add acsch x0 2.32529474432039 x3 x7 acos Mul x0 E -1 Mul Mul x3 log x3 Mul Pow Pow Mul Add acsch x0 2.32529474432039 x3 x7 Add acos Mul x0 E -1 Add Mul acos Mul x0 E Mul Pow Mul Add acsch x0 2.32529474432039 x3 Add x7 -1 Mul x7 Mul x3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Pow Mul Add acsch x0 2.32529474432039 x3 x7 log Pow Mul Add acsch x0 2.32529474432039 x3 x7 Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 