Pow Add Mul x7 acot x4 Add asin x1 x0 Mul x0 x1 
Mul Pow Add Mul x7 acot x4 Add asin x1 x0 Add Mul x0 x1 -1 Add Mul x0 x1 Mul Mul Add Mul x7 acot x4 Add asin x1 x0 log Add Mul x7 acot x4 Add asin x1 x0 x1 