Add acoth sech Mul Add acos x0 x0 x1 Pow Add 4 E x0 
Add Mul Mul Mul tanh Mul Add acos x0 x0 x1 Mul -1 sech Mul Add acos x0 x0 x1 Mul x1 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul sech Mul Add acos x0 x0 x1 sech Mul Add acos x0 x0 x1 -1 Mul Pow Add 4 E Add x0 -1 Mul Add 4 E log Add 4 E 