Pow Pow Pow Mul x0 E x0 asech x3 x1 
Mul Pow Pow Pow Mul x0 E x0 asech x3 Add x1 -1 Mul x1 Mul Pow Pow Mul x0 E x0 Add asech x3 -1 Mul asech x3 Mul Pow Mul x0 E Add x0 -1 Add Mul x0 E Mul Mul x0 E log Mul x0 E 