Mul x0 asech Pow Pow 4 acot x7 x0 
Add asech Pow Pow 4 acot x7 x0 Mul x0 Mul Mul Pow Pow 4 acot x7 Add x0 -1 Mul Pow 4 acot x7 log Pow 4 acot x7 Pow Mul Mul Pow Pow 4 acot x7 x0 Pow Pow 4 acot x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow 4 acot x7 x0 Pow Pow 4 acot x7 x0 -1 -1 