Mul Mul 0.265802228834080 asin Pow Pow x5 cot E Pow Add x0 acos x0 -5 x0 
Add Mul x0 Mul 0.265802228834080 Mul Mul Pow Pow x5 cot E Add Pow Add x0 acos x0 -5 -1 Mul Mul Pow x5 cot E log Pow x5 cot E Mul Pow Add x0 acos x0 6 Mul -5 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Pow x5 cot E Pow Add x0 acos x0 -5 Pow Pow x5 cot E Pow Add x0 acos x0 -5 -1 Mul 0.265802228834080 asin Pow Pow x5 cot E Pow Add x0 acos x0 -5 