Pow Mul x3 Mul x0 Mul 4 acoth x0 Mul asin Pow Pow csc acoth x0 x4 Add x1 x1 Add x4 3125 
Mul Pow Mul x3 Mul x0 Mul 4 acoth x0 Add Mul asin Pow Pow csc acoth x0 x4 Add x1 x1 Add x4 3125 -1 Add Mul Mul asin Pow Pow csc acoth x0 x4 Add x1 x1 Add x4 3125 Mul x3 Add Mul 4 acoth x0 Mul x0 Mul 4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x3 Mul x0 Mul 4 acoth x0 log Mul x3 Mul x0 Mul 4 acoth x0 Mul Add x4 3125 Mul Mul Pow Pow csc acoth x0 x4 Add Add x1 x1 -1 Mul Add x1 x1 Mul Pow csc acoth x0 Add x4 -1 Mul x4 Mul Mul Mul -1 cot acoth x0 csc acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Pow csc acoth x0 x4 Add x1 x1 Pow Pow csc acoth x0 x4 Add x1 x1 -1 