Add Mul Pow Mul Add x0 asech Mul Add x0 sqrt x0 x0 Pow Mul -2 log Add x0 x4 -2 Pow 4 x0 x0 -5 
Add Mul x0 Mul Pow Mul Add x0 asech Mul Add x0 sqrt x0 x0 Pow Mul -2 log Add x0 x4 -2 Add Pow 4 x0 -1 Add Mul Pow 4 x0 Add Mul Pow Mul -2 log Add x0 x4 -2 Add 1 Mul Add Mul x0 Add 1 Pow Mul 2 sqrt x0 -1 Add x0 sqrt x0 Pow Mul Mul Mul Add x0 sqrt x0 x0 Mul Add x0 sqrt x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 sqrt x0 x0 Mul Add x0 sqrt x0 x0 -1 -1 Mul Add x0 asech Mul Add x0 sqrt x0 x0 Mul Pow Mul -2 log Add x0 x4 3 Mul -2 Mul -2 Pow Add x0 x4 -1 Mul Mul Mul Add x0 asech Mul Add x0 sqrt x0 x0 Pow Mul -2 log Add x0 x4 -2 log Mul Add x0 asech Mul Add x0 sqrt x0 x0 Pow Mul -2 log Add x0 x4 -2 Mul Pow 4 Add x0 -1 5.38629436111989 Pow Mul Add x0 asech Mul Add x0 sqrt x0 x0 Pow Mul -2 log Add x0 x4 -2 Pow 4 x0 