Pow asin Add E -3 Pow Mul Pow Pow x0 pi x0 2 atan Mul x7 x0 
Mul Pow asin Add E -3 Add Pow Mul Pow Pow x0 pi x0 2 atan Mul x7 x0 -1 Mul Mul asin Add E -3 log asin Add E -3 Mul Pow Mul Pow Pow x0 pi x0 2 Add atan Mul x7 x0 -1 Add Mul atan Mul x7 x0 Mul 2 Mul Pow Pow x0 pi Add x0 -1 Add Mul x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi log Pow x0 pi Mul Mul Mul Pow Pow x0 pi x0 2 log Mul Pow Pow x0 pi x0 2 Mul x7 Pow Add 1 Mul Mul x7 x0 Mul x7 x0 -1 