Pow Mul x7 Add -3 x0 asech Add Mul -4 E x0 
Mul Pow Mul x7 Add -3 x0 Add asech Add Mul -4 E x0 -1 Add Mul asech Add Mul -4 E x0 x7 Mul Mul Mul x7 Add -3 x0 log Mul x7 Add -3 x0 Pow Mul Mul Add Mul -4 E x0 Add Mul -4 E x0 sqrt Add 1 Mul -1 Pow Mul Add Mul -4 E x0 Add Mul -4 E x0 -1 -1 