Mul Add 1 Mul 2 Mul Pow acos Add log Mul -2 x0 x2 5 x0 coth E 
Mul coth E Mul 2 Add Mul x0 Mul Pow acos Add log Mul -2 x0 x2 4 Mul 5 Mul -1 Mul Mul -2 Pow Mul -2 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add log Mul -2 x0 x2 Add log Mul -2 x0 x2 -1 Pow acos Add log Mul -2 x0 x2 5 