Add Add x0 x0 Add Mul Mul -1 x0 Add Add -1 asech x3 Mul x0 pi sqrt Add x0 acos Pow pi asech x0 
Add 2 Add Add Mul Add Add -1 asech x3 Mul x0 pi -1 Mul Mul -1 x0 pi Mul Pow Mul 2 sqrt Add x0 acos Pow pi asech x0 -1 Add 1 Mul -1 Mul Mul Pow pi Add asech x0 -1 Mul Mul pi log pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow pi asech x0 Pow pi asech x0 -1 