Mul acot Add x1 x0 Add Pow Add x2 asin x0 Mul x0 cos cos Pow x0 x6 x0 
Add Mul Add Pow Add x2 asin x0 Mul x0 cos cos Pow x0 x6 x0 Mul -1 Pow Add 1 Mul Add x1 x0 Add x1 x0 -1 Mul acot Add x1 x0 Add Mul Pow Add x2 asin x0 Add Mul x0 cos cos Pow x0 x6 -1 Add Mul Mul x0 cos cos Pow x0 x6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add x2 asin x0 log Add x2 asin x0 Add cos cos Pow x0 x6 Mul x0 Mul Mul -1 sin cos Pow x0 x6 Mul Mul -1 sin Pow x0 x6 Mul Pow x0 Add x6 -1 x6 1 