Mul -2 log Pow sqrt Pow Pow x1 x0 3125 asin x0 
Mul -2 Mul Mul Pow sqrt Pow Pow x1 x0 3125 Add asin x0 -1 Add Mul asin x0 Mul Pow Mul 2 sqrt Pow Pow x1 x0 3125 -1 Mul Pow Pow x1 x0 3124 Mul 3125 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul sqrt Pow Pow x1 x0 3125 log sqrt Pow Pow x1 x0 3125 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Pow sqrt Pow Pow x1 x0 3125 asin x0 -1 