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