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