Mul Add Mul x0 Mul Pow acos sqrt Mul asin Pow Mul -4 x0 5 x4 acoth x0 E x6 Mul x0 -1 
Add Mul Mul x0 -1 Add Mul Pow acos sqrt Mul asin Pow Mul -4 x0 5 x4 acoth x0 E Mul x0 Mul E Mul Pow acos sqrt Mul asin Pow Mul -4 x0 5 x4 Add acoth x0 -1 Add Mul acoth x0 Mul -1 Mul Mul Pow Mul 2 sqrt Mul asin Pow Mul -4 x0 5 x4 -1 Mul x4 Mul Pow Mul -4 x0 4 Pow sqrt Add 1 Mul -1 Mul Pow Mul -4 x0 5 Pow Mul -4 x0 5 -1 Pow sqrt Add 1 Mul -1 Mul sqrt Mul asin Pow Mul -4 x0 5 x4 sqrt Mul asin Pow Mul -4 x0 5 x4 -1 Mul Mul acos sqrt Mul asin Pow Mul -4 x0 5 x4 log acos sqrt Mul asin Pow Mul -4 x0 5 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Mul x0 Mul Pow acos sqrt Mul asin Pow Mul -4 x0 5 x4 acoth x0 E x6 -1 