Pow Add Mul x0 Add Mul x0 -2 atanh x2 x0 Pow pi x0 
Mul Pow Add Mul x0 Add Mul x0 -2 atanh x2 x0 Add Pow pi x0 -1 Add Mul Pow pi x0 Add Add Add Mul x0 -2 atanh x2 Mul x0 -2 1 Mul Mul Add Mul x0 Add Mul x0 -2 atanh x2 x0 log Add Mul x0 Add Mul x0 -2 atanh x2 x0 Mul Pow pi Add x0 -1 Mul pi log pi 