Mul Mul -1 Mul asin x0 Pow E acot Add x0 x6 Add tan E 1 
Mul Add tan E 1 Mul -1 Add Mul Pow E acot Add x0 x6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow E Add acot Add x0 x6 -1 Mul Mul E log E Mul -1 Pow Add 1 Mul Add x0 x6 Add x0 x6 -1 