Add Mul x0 Mul Add x7 Pow acot pi x0 x0 asec x0 
Add Add Mul Add x7 Pow acot pi x0 x0 Mul x0 Add Mul x0 Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Add x7 Pow acot pi x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 