Mul x0 Mul x0 atan Add Mul Pow Mul -4 atanh Mul Add x4 x1 coth pi -4 Mul Pow 5 x1 pi 4 
Add Mul x0 atan Add Mul Pow Mul -4 atanh Mul Add x4 x1 coth pi -4 Mul Pow 5 x1 pi 4 Mul x0 atan Add Mul Pow Mul -4 atanh Mul Add x4 x1 coth pi -4 Mul Pow 5 x1 pi 4 