Mul acot x5 Mul Mul Add Add -2 acos Pow Pow Pow Add asin x3 x0 pi x3 x0 x0 -2 x6 
Mul acot x5 Mul x6 Mul -2 Add Mul -1 Mul Mul Pow Pow Pow Add asin x3 x0 pi x3 Add x0 -1 Add Mul x0 Mul Pow Pow Add asin x3 x0 pi Add x3 -1 Mul x3 Mul Pow Add asin x3 x0 Add pi -1 pi Mul Pow Pow Add asin x3 x0 pi x3 log Pow Pow Add asin x3 x0 pi x3 Pow sqrt Add 1 Mul -1 Mul Pow Pow Pow Add asin x3 x0 pi x3 x0 Pow Pow Pow Add asin x3 x0 pi x3 x0 -1 1 