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