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