Add Pow Mul Mul x7 Pow Mul atanh pi x7 x1 pi x0 Add x0 -3 
Add Mul Pow Mul Mul x7 Pow Mul atanh pi x7 x1 pi Add x0 -1 Mul Mul Mul x7 Pow Mul atanh pi x7 x1 pi log Mul Mul x7 Pow Mul atanh pi x7 x1 pi 1 