Pow x2 Add Pow Pow x7 tanh x0 x3 acot Pow x3 Add x0 2 
Mul Pow x2 Add Add Pow Pow x7 tanh x0 x3 acot Pow x3 Add x0 2 -1 Mul Mul x2 log x2 Add Mul Pow Pow x7 tanh x0 Add x3 -1 Mul x3 Mul Pow x7 Add tanh x0 -1 Mul Mul x7 log x7 Pow sech x0 2 Mul -1 Mul Mul Pow x3 Add Add x0 2 -1 Mul x3 log x3 Pow Add 1 Mul Pow x3 Add x0 2 Pow x3 Add x0 2 -1 