exp Add x0 Pow Mul Mul csch x1 x0 Pow asech Mul x0 x2 log Add acos x6 x0 x0 
Mul exp Add x0 Pow Mul Mul csch x1 x0 Pow asech Mul x0 x2 log Add acos x6 x0 x0 Add 1 Mul Pow Mul Mul csch x1 x0 Pow asech Mul x0 x2 log Add acos x6 x0 Add x0 -1 Add Mul x0 Add Mul Pow asech Mul x0 x2 log Add acos x6 x0 csch x1 Mul Mul csch x1 x0 Mul Pow asech Mul x0 x2 Add log Add acos x6 x0 -1 Add Mul log Add acos x6 x0 Mul x2 Pow Mul Mul Mul x0 x2 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul x0 x2 Mul x0 x2 -1 -1 Mul Mul asech Mul x0 x2 log asech Mul x0 x2 Pow Add acos x6 x0 -1 Mul Mul Mul csch x1 x0 Pow asech Mul x0 x2 log Add acos x6 x0 log Mul Mul csch x1 x0 Pow asech Mul x0 x2 log Add acos x6 x0 