Pow sqrt log Pow Add x0 Pow acos Add cot x0 x0 x7 x5 x0 
Mul Pow sqrt log Pow Add x0 Pow acos Add cot x0 x0 x7 x5 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt log Pow Add x0 Pow acos Add cot x0 x0 x7 x5 -1 Mul Mul Pow Add x0 Pow acos Add cot x0 x0 x7 Add x5 -1 Mul x5 Add 1 Mul Pow acos Add cot x0 x0 Add x7 -1 Mul x7 Mul -1 Mul Add Mul -1 Pow csc x0 2 1 Pow sqrt Add 1 Mul -1 Mul Add cot x0 x0 Add cot x0 x0 -1 Pow Pow Add x0 Pow acos Add cot x0 x0 x7 x5 -1 Mul sqrt log Pow Add x0 Pow acos Add cot x0 x0 x7 x5 log sqrt log Pow Add x0 Pow acos Add cot x0 x0 x7 x5 