Mul Mul Pow x0 Pow Add x5 x0 x0 -2 Mul Mul cot tan Add x0 pi 4 acos x1 
Add Mul Mul Mul cot tan Add x0 pi 4 acos x1 Mul -2 Mul Pow x0 Add Pow Add x5 x0 x0 -1 Add Pow Add x5 x0 x0 Mul Mul x0 log x0 Mul Pow Add x5 x0 Add x0 -1 Add x0 Mul Add x5 x0 log Add x5 x0 Mul Mul Pow x0 Pow Add x5 x0 x0 -2 Mul acos x1 Mul 4 Mul Mul -1 Pow csc tan Add x0 pi 2 Pow sec Add x0 pi 2 