Add Pow x0 Mul x4 Mul -1 x0 Add Pow Mul Mul x0 acoth E x6 x0 Pow acos x1 x0 
Add Mul Pow x0 Add Mul x4 Mul -1 x0 -1 Add Mul x4 Mul -1 x0 Mul Mul x0 log x0 Mul x4 -1 Add Mul Pow Mul Mul x0 acoth E x6 Add x0 -1 Add Mul x0 Mul x6 acoth E Mul Mul Mul x0 acoth E x6 log Mul Mul x0 acoth E x6 Mul Pow acos x1 Add x0 -1 Mul acos x1 log acos x1 