Pow Mul cot Add x0 asec Mul x0 4 Pow x0 acoth x2 Add Add -3 x0 Pow x0 x7 
Mul Pow Mul cot Add x0 asec Mul x0 4 Pow x0 acoth x2 Add Add Add -3 x0 Pow x0 x7 -1 Add Mul Add Add -3 x0 Pow x0 x7 Add Mul Pow x0 acoth x2 Mul Mul -1 Pow csc Add x0 asec Mul x0 4 2 Add 1 Mul 4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 4 Mul x0 4 -1 Mul x0 4 Mul x0 4 -1 Mul cot Add x0 asec Mul x0 4 Mul Pow x0 Add acoth x2 -1 acoth x2 Mul Mul Mul cot Add x0 asec Mul x0 4 Pow x0 acoth x2 log Mul cot Add x0 asec Mul x0 4 Pow x0 acoth x2 Add 1 Mul Pow x0 Add x7 -1 x7 