Mul x0 Pow x6 sec Mul Mul x0 x0 Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 
Add Pow x6 sec Mul Mul x0 x0 Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 Mul x0 Mul Pow x6 Add sec Mul Mul x0 x0 Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 -1 Mul Mul x6 log x6 Mul Mul tan Mul Mul x0 x0 Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 sec Mul Mul x0 x0 Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 Add Mul Mul Pow sec acoth Pow x2 x0 x0 Pow x5 Mul Mul x0 x2 x0 Add x0 x0 Mul Mul x0 x0 Add Mul Pow x5 Mul Mul x0 x2 x0 Mul Pow sec acoth Pow x2 x0 Add x0 -1 Add Mul x0 Mul Mul tan acoth Pow x2 x0 sec acoth Pow x2 x0 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Pow x2 x0 Pow x2 x0 -1 Mul sec acoth Pow x2 x0 log sec acoth Pow x2 x0 Mul Pow sec acoth Pow x2 x0 x0 Mul Pow x5 Add Mul Mul x0 x2 x0 -1 Mul Mul x5 log x5 Add Mul x0 x2 Mul x0 x2 