Add Add -5 sqrt Mul Add pi Pow Pow Pow Mul x0 acoth x2 -3 Pow E x0 Pow atan x5 x0 x1 x0 
Add Mul Pow Mul 2 sqrt Mul Add pi Pow Pow Pow Mul x0 acoth x2 -3 Pow E x0 Pow atan x5 x0 x1 -1 Mul x1 Mul Pow Pow Pow Mul x0 acoth x2 -3 Pow E x0 Add Pow atan x5 x0 -1 Add Mul Pow atan x5 x0 Mul Pow Pow Mul x0 acoth x2 -3 Add Pow E x0 -1 Add Mul Pow E x0 Mul Pow Mul x0 acoth x2 4 Mul -3 acoth x2 Mul Mul Pow Mul x0 acoth x2 -3 log Pow Mul x0 acoth x2 -3 Mul Pow E Add x0 -1 Mul E log E Mul Mul Pow Pow Mul x0 acoth x2 -3 Pow E x0 log Pow Pow Mul x0 acoth x2 -3 Pow E x0 Mul Pow atan x5 Add x0 -1 Mul atan x5 log atan x5 1 