Mul acoth Mul Pow Pow Add x0 x2 asech Pow x7 2 Pow x0 Add x0 acsch x6 Add x0 acos acsch x6 x1 
Mul x1 Mul Add Mul Add x0 acos acsch x6 Mul Pow Pow Add x0 x2 asech Pow x7 2 Add Pow x0 Add x0 acsch x6 -1 Add Mul Pow x0 Add x0 acsch x6 Mul Pow Add x0 x2 Add asech Pow x7 2 -1 asech Pow x7 2 Mul Mul Pow Add x0 x2 asech Pow x7 2 log Pow Add x0 x2 asech Pow x7 2 Mul Pow x0 Add Add x0 acsch x6 -1 Add Add x0 acsch x6 Mul x0 log x0 Pow Pow Add x0 x2 asech Pow x7 2 Pow x0 Add x0 acsch x6 Pow Add 1 Mul -1 Mul Mul Pow Pow Add x0 x2 asech Pow x7 2 Pow x0 Add x0 acsch x6 Add x0 acos acsch x6 Mul Pow Pow Add x0 x2 asech Pow x7 2 Pow x0 Add x0 acsch x6 Add x0 acos acsch x6 -1 