Mul Add Mul Pow x0 Mul 2 asech E x0 Pow Pow Mul -2 x0 x7 x0 x0 
Add Mul x0 Add Add Mul x0 Mul Pow x0 Add Mul 2 asech E -1 Mul 2 asech E Pow x0 Mul 2 asech E Mul Pow Pow Mul -2 x0 x7 Add x0 -1 Add Mul x0 Mul Pow Mul -2 x0 Add x7 -1 Mul x7 -2 Mul Pow Mul -2 x0 x7 log Pow Mul -2 x0 x7 Add Mul Pow x0 Mul 2 asech E x0 Pow Pow Mul -2 x0 x7 x0 