Add Mul Mul x0 Mul Mul Add x0 acoth Pow 4 x0 x5 atan Add x0 x0 x1 Add x0 x0 
Add Mul x1 Add Mul Mul Add x0 acoth Pow 4 x0 x5 atan Add x0 x0 Mul x0 Add Mul atan Add x0 x0 Mul x5 Add 1 Mul Mul Pow 4 Add x0 -1 5.38629436111989 Pow Add 1 Mul -1 Mul Pow 4 x0 Pow 4 x0 -1 Mul Mul Add x0 acoth Pow 4 x0 x5 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 2 