Pow atanh Mul pi Add x0 -4 log Mul Add 3 x0 x0 
Mul Pow atanh Mul pi Add x0 -4 Add log Mul Add 3 x0 x0 -1 Add Mul log Mul Add 3 x0 x0 Mul pi Pow Add 1 Mul -1 Mul Mul pi Add x0 -4 Mul pi Add x0 -4 -1 Mul Mul atanh Mul pi Add x0 -4 log atanh Mul pi Add x0 -4 Mul Add x0 Add 3 x0 Pow Mul Add 3 x0 x0 -1 