acot Add Mul Add Add Pow x6 x0 4 Add x3 atanh tanh x5 x0 log Add x1 x1 
Mul -1 Mul Add Mul x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Add Add Pow x6 x0 4 Add x3 atanh tanh x5 Pow Add 1 Mul Add Mul Add Add Pow x6 x0 4 Add x3 atanh tanh x5 x0 log Add x1 x1 Add Mul Add Add Pow x6 x0 4 Add x3 atanh tanh x5 x0 log Add x1 x1 -1 