acoth Pow x6 Pow Pow x6 -4 Pow asech Mul x0 Add -1 acoth x0 Mul x0 x6 
Mul Mul Pow x6 Add Pow Pow x6 -4 Pow asech Mul x0 Add -1 acoth x0 Mul x0 x6 -1 Mul Mul x6 log x6 Mul Pow Pow x6 -4 Add Pow asech Mul x0 Add -1 acoth x0 Mul x0 x6 -1 Mul Mul Pow x6 -4 log Pow x6 -4 Mul Pow asech Mul x0 Add -1 acoth x0 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul Add Add -1 acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul x0 Add -1 acoth x0 Mul x0 Add -1 acoth x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add -1 acoth x0 Mul x0 Add -1 acoth x0 -1 -1 Mul Mul asech Mul x0 Add -1 acoth x0 log asech Mul x0 Add -1 acoth x0 x6 Pow Add 1 Mul -1 Mul Pow x6 Pow Pow x6 -4 Pow asech Mul x0 Add -1 acoth x0 Mul x0 x6 Pow x6 Pow Pow x6 -4 Pow asech Mul x0 Add -1 acoth x0 Mul x0 x6 -1 