acot Mul Add 2 x0 Pow Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 x0 
Mul -1 Mul Add Pow Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 x0 Mul Add 2 x0 Mul Pow Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 Add x0 -1 Add Mul x0 Add Mul Mul x0 Mul atanh Add Add x7 x0 x5 -5 Mul -5 Mul Pow x1 Add log tanh x0 -1 Mul Mul x1 log x1 Mul Pow sech x0 2 Pow tanh x0 -1 Mul Mul Pow x1 log tanh x0 -5 Add Mul atanh Add Add x7 x0 x5 -5 Mul x0 Mul -5 Pow Add 1 Mul -1 Mul Add Add x7 x0 x5 Add Add x7 x0 x5 -1 Mul Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 log Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 Pow Add 1 Mul Mul Add 2 x0 Pow Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 x0 Mul Add 2 x0 Pow Mul Mul Pow x1 log tanh x0 -5 Mul x0 Mul atanh Add Add x7 x0 x5 -5 x0 -1 