atan Mul Mul acsch acoth x0 x6 log Mul Mul Mul Mul x0 Pow x0 acsch x0 x0 x0 3 
Mul Add Mul log Mul Mul Mul Mul x0 Pow x0 acsch x0 x0 x0 3 Mul x6 Mul Mul -1 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 Mul Mul acsch acoth x0 x6 Mul Mul 3 Add Mul x0 Add Mul x0 Add Pow x0 acsch x0 Mul x0 Mul Pow x0 Add acsch x0 -1 Add acsch x0 Mul Mul x0 log x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul x0 Pow x0 acsch x0 Mul Mul x0 Pow x0 acsch x0 x0 Pow Mul Mul Mul Mul x0 Pow x0 acsch x0 x0 x0 3 -1 Pow Add 1 Mul Mul Mul acsch acoth x0 x6 log Mul Mul Mul Mul x0 Pow x0 acsch x0 x0 x0 3 Mul Mul acsch acoth x0 x6 log Mul Mul Mul Mul x0 Pow x0 acsch x0 x0 x0 3 -1 