Add asech asech Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 x7 
Mul Mul Mul -3 Add Mul E Mul Pow Mul 2 sqrt Add Pow sqrt acot x0 x2 x0 -1 Add Mul Pow sqrt acot x0 Add x2 -1 Mul x2 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 1 Pow Mul Mul Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 -1 -1 Pow Mul Mul asech Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 asech Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 sqrt Add 1 Mul -1 Pow Mul asech Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 asech Mul -3 Add Mul E sqrt Add Pow sqrt acot x0 x2 x0 x0 -1 -1 