Add acot Pow x0 Mul Pow x5 x0 Mul Add Add x0 x7 x6 x0 asin sqrt Pow Add x5 x4 x0 
Add Mul -1 Mul Mul Pow x0 Add Mul Pow x5 x0 Mul Add Add x0 x7 x6 x0 -1 Add Mul Pow x5 x0 Mul Add Add x0 x7 x6 x0 Mul Mul x0 log x0 Add Mul Mul Add Add x0 x7 x6 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Add x0 Add Add x0 x7 x6 Pow Add 1 Mul Pow x0 Mul Pow x5 x0 Mul Add Add x0 x7 x6 x0 Pow x0 Mul Pow x5 x0 Mul Add Add x0 x7 x6 x0 -1 Mul Mul Pow Mul 2 sqrt Pow Add x5 x4 x0 -1 Mul Pow Add x5 x4 Add x0 -1 Mul Add x5 x4 log Add x5 x4 Pow sqrt Add 1 Mul -1 Mul sqrt Pow Add x5 x4 x0 sqrt Pow Add x5 x4 x0 -1 