Add Pow Pow x3 acoth Add Mul Mul acos x0 x3 acot x4 x0 pi E 
Mul Pow Pow x3 acoth Add Mul Mul acos x0 x3 acot x4 x0 Add pi -1 Mul pi Mul Pow x3 Add acoth Add Mul Mul acos x0 x3 acot x4 x0 -1 Mul Mul x3 log x3 Mul Add Mul acot x4 Mul x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add Mul Mul acos x0 x3 acot x4 x0 Add Mul Mul acos x0 x3 acot x4 x0 -1 