Add x7 Pow Add acot x0 atan Pow tanh Mul x0 x1 x0 Add x0 x0 
Mul Pow Add acot x0 atan Pow tanh Mul x0 x1 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow tanh Mul x0 x1 Add x0 -1 Add Mul x0 Mul Pow sech Mul x0 x1 2 x1 Mul tanh Mul x0 x1 log tanh Mul x0 x1 Pow Add 1 Mul Pow tanh Mul x0 x1 x0 Pow tanh Mul x0 x1 x0 -1 Mul Mul Add acot x0 atan Pow tanh Mul x0 x1 x0 log Add acot x0 atan Pow tanh Mul x0 x1 x0 2 