Pow Mul x0 Add pi exp x0 atanh Add 4 Add Mul Pow x4 x0 4 pi 
Mul Pow Mul x0 Add pi exp x0 Add atanh Add 4 Add Mul Pow x4 x0 4 pi -1 Add Mul atanh Add 4 Add Mul Pow x4 x0 4 pi Add Add pi exp x0 Mul x0 exp x0 Mul Mul Mul x0 Add pi exp x0 log Mul x0 Add pi exp x0 Mul Mul 4 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul -1 Mul Add 4 Add Mul Pow x4 x0 4 pi Add 4 Add Mul Pow x4 x0 4 pi -1 