Pow Add Add x0 Pow acot x2 Mul Mul x1 Pow Add atanh x5 x1 pi 8.01787492740990 x0 x0 
Mul Pow Add Add x0 Pow acot x2 Mul Mul x1 Pow Add atanh x5 x1 pi 8.01787492740990 x0 Add x0 -1 Add Mul x0 2 Mul Add Add x0 Pow acot x2 Mul Mul x1 Pow Add atanh x5 x1 pi 8.01787492740990 x0 log Add Add x0 Pow acot x2 Mul Mul x1 Pow Add atanh x5 x1 pi 8.01787492740990 x0 