Add Add x7 Pow x1 x0 Pow Mul Add sqrt E x3 -5 exp Pow Pow x1 x1 sqrt acot asech Add x0 Add x0 x0 
Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow Mul Add sqrt E x3 -5 Add exp Pow Pow x1 x1 sqrt acot asech Add x0 Add x0 x0 -1 Mul Mul Mul Add sqrt E x3 -5 log Mul Add sqrt E x3 -5 Mul exp Pow Pow x1 x1 sqrt acot asech Add x0 Add x0 x0 Mul Pow Pow x1 x1 Add sqrt acot asech Add x0 Add x0 x0 -1 Mul Mul Pow x1 x1 log Pow x1 x1 Mul Pow Mul 2 sqrt acot asech Add x0 Add x0 x0 -1 Mul -1 Mul Mul 3 Pow Mul Mul Add x0 Add x0 x0 Add x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x0 x0 Add x0 Add x0 x0 -1 -1 Pow Add 1 Mul asech Add x0 Add x0 x0 asech Add x0 Add x0 x0 -1 