Mul Add x0 Pow Mul 4 Add x0 acoth sec acos x3 Pow Add atanh Add x0 x0 x0 x0 x0 
Add Mul x0 Add 1 Mul Pow Mul 4 Add x0 acoth sec acos x3 Add Pow Add atanh Add x0 x0 x0 x0 -1 Add Mul Pow Add atanh Add x0 x0 x0 x0 4 Mul Mul Mul 4 Add x0 acoth sec acos x3 log Mul 4 Add x0 acoth sec acos x3 Mul Pow Add atanh Add x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 1 Mul Add atanh Add x0 x0 x0 log Add atanh Add x0 x0 x0 Add x0 Pow Mul 4 Add x0 acoth sec acos x3 Pow Add atanh Add x0 x0 x0 x0 