sec Pow x2 asech Add Pow sec Mul x0 x0 acoth x0 x0 
Mul Mul tan Pow x2 asech Add Pow sec Mul x0 x0 acoth x0 x0 sec Pow x2 asech Add Pow sec Mul x0 x0 acoth x0 x0 Mul Pow x2 Add asech Add Pow sec Mul x0 x0 acoth x0 x0 -1 Mul Mul x2 log x2 Mul Add Mul Pow sec Mul x0 x0 Add acoth x0 -1 Add Mul acoth x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Mul Mul sec Mul x0 x0 log sec Mul x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul Add Pow sec Mul x0 x0 acoth x0 x0 Add Pow sec Mul x0 x0 acoth x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow sec Mul x0 x0 acoth x0 x0 Add Pow sec Mul x0 x0 acoth x0 x0 -1 -1 