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