Mul Add -3 acot x0 sqrt Add Pow x0 Mul x0 Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 x2 
Add Mul sqrt Add Pow x0 Mul x0 Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add -3 acot x0 Mul Pow Mul 2 sqrt Add Pow x0 Mul x0 Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 x2 -1 Mul Pow x0 Add Mul x0 Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 -1 Add Mul x0 Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 Mul Mul x0 log x0 Add Add Pow log Add Pow x6 x4 x0 asech acoth x0 x0 Mul x0 Add Mul Pow log Add Pow x6 x4 x0 Add asech acoth x0 -1 Add Mul asech acoth x0 Pow Add Pow x6 x4 x0 -1 Mul Mul log Add Pow x6 x4 x0 log log Add Pow x6 x4 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 1 