Mul Add Mul x5 3 sqrt Mul acot x0 Mul x0 Pow Mul x0 Mul Pow x0 x1 acos x0 -5 csch Add x0 log E 
Add Mul csch Add x0 log E Mul Pow Mul 2 sqrt Mul acot x0 Mul x0 Pow Mul x0 Mul Pow x0 x1 acos x0 -5 -1 Add Mul Mul x0 Pow Mul x0 Mul Pow x0 x1 acos x0 -5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Pow Mul x0 Mul Pow x0 x1 acos x0 -5 Mul x0 Mul Pow Mul x0 Mul Pow x0 x1 acos x0 6 Mul -5 Add Mul Pow x0 x1 acos x0 Mul x0 Add Mul acos x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add Mul x5 3 sqrt Mul acot x0 Mul x0 Pow Mul x0 Mul Pow x0 x1 acos x0 -5 Mul Mul -1 coth Add x0 log E csch Add x0 log E 