Pow atanh Mul x0 Mul Pow x0 Pow atanh x0 Pow pi x0 x0 x3 
Mul Pow atanh Mul x0 Mul Pow x0 Pow atanh x0 Pow pi x0 x0 Add x3 -1 Mul x3 Mul Add Mul Pow x0 Pow atanh x0 Pow pi x0 x0 Mul x0 Add Mul x0 Mul Pow x0 Add Pow atanh x0 Pow pi x0 -1 Add Pow atanh x0 Pow pi x0 Mul Mul x0 log x0 Mul Pow atanh x0 Add Pow pi x0 -1 Add Mul Pow pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow x0 Pow atanh x0 Pow pi x0 Pow Add 1 Mul -1 Mul Mul x0 Mul Pow x0 Pow atanh x0 Pow pi x0 x0 Mul x0 Mul Pow x0 Pow atanh x0 Pow pi x0 x0 -1 