Add x2 Add Pow acoth x0 x0 Add Pow Pow x5 x6 Pow x0 Pow Pow Pow x0 sech x3 x0 atanh x0 x2 
Add Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Mul Pow Pow x5 x6 Add Pow x0 Pow Pow Pow x0 sech x3 x0 atanh x0 -1 Mul Mul Pow x5 x6 log Pow x5 x6 Mul Pow x0 Add Pow Pow Pow x0 sech x3 x0 atanh x0 -1 Add Pow Pow Pow x0 sech x3 x0 atanh x0 Mul Mul x0 log x0 Mul Pow Pow Pow x0 sech x3 x0 Add atanh x0 -1 Add Mul atanh x0 Mul Pow Pow x0 sech x3 Add x0 -1 Add Mul x0 Mul Pow x0 Add sech x3 -1 sech x3 Mul Pow x0 sech x3 log Pow x0 sech x3 Mul Mul Pow Pow x0 sech x3 x0 log Pow Pow x0 sech x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 