Pow asech exp x0 Pow Mul 5 sqrt x7 Pow Mul Add x0 Pow x1 x6 Pow Mul Mul Mul x4 x0 x4 x3 2 x3 
Mul Pow asech exp x0 Add Pow Mul 5 sqrt x7 Pow Mul Add x0 Pow x1 x6 Pow Mul Mul Mul x4 x0 x4 x3 2 x3 -1 Add Mul Pow Mul 5 sqrt x7 Pow Mul Add x0 Pow x1 x6 Pow Mul Mul Mul x4 x0 x4 x3 2 x3 Mul exp x0 Pow Mul Mul exp x0 exp x0 sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 -1 Mul Mul asech exp x0 log asech exp x0 Mul Pow Mul 5 sqrt x7 Add Pow Mul Add x0 Pow x1 x6 Pow Mul Mul Mul x4 x0 x4 x3 2 x3 -1 Mul Mul Mul 5 sqrt x7 log Mul 5 sqrt x7 Mul Pow Mul Add x0 Pow x1 x6 Pow Mul Mul Mul x4 x0 x4 x3 2 Add x3 -1 Mul x3 Add Pow Mul Mul Mul x4 x0 x4 x3 2 Mul Add x0 Pow x1 x6 Mul Mul Mul Mul x4 x0 x4 x3 Mul 2 Mul x3 Mul x4 x4 