Add Pow x0 Mul Pow pi x0 Add atanh x0 Add sqrt x6 x0 Add 4 x0 
Add Mul Pow x0 Add Mul Pow pi x0 Add atanh x0 Add sqrt x6 x0 -1 Add Mul Pow pi x0 Add atanh x0 Add sqrt x6 x0 Mul Mul x0 log x0 Add Mul Add atanh x0 Add sqrt x6 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 