Mul Pow atanh Add Pow x1 pi Pow 2 pi x0 Mul Add Mul x0 sqrt E Mul Mul Pow x0 Mul x0 4 4 x5 x0 
Add Mul Mul Add Mul x0 sqrt E Mul Mul Pow x0 Mul x0 4 4 x5 x0 Mul Pow atanh Add Pow x1 pi Pow 2 pi Add x0 -1 Mul atanh Add Pow x1 pi Pow 2 pi log atanh Add Pow x1 pi Pow 2 pi Mul Pow atanh Add Pow x1 pi Pow 2 pi x0 Add Mul x0 Add sqrt E Mul x5 Mul 4 Mul Pow x0 Add Mul x0 4 -1 Add Mul x0 4 Mul Mul x0 log x0 4 Add Mul x0 sqrt E Mul Mul Pow x0 Mul x0 4 4 x5 