Mul pi Pow Pow x0 Mul Mul asin x4 asech x1 Add x6 x7 Mul sqrt x0 x0 
Mul pi Mul Pow Pow x0 Mul Mul asin x4 asech x1 Add x6 x7 Add Mul sqrt x0 x0 -1 Add Mul Mul sqrt x0 x0 Mul Pow x0 Add Mul Mul asin x4 asech x1 Add x6 x7 -1 Mul Mul asin x4 asech x1 Add x6 x7 Mul Mul Pow x0 Mul Mul asin x4 asech x1 Add x6 x7 log Pow x0 Mul Mul asin x4 asech x1 Add x6 x7 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 