Mul Mul Add Pow exp Mul Mul x3 x0 E x0 Mul x0 x0 x4 asech E 
Mul asech E Mul x4 Add Mul Pow exp Mul Mul x3 x0 E Add x0 -1 Add Mul x0 Mul exp Mul Mul x3 x0 E Mul E x3 Mul exp Mul Mul x3 x0 E log exp Mul Mul x3 x0 E Add x0 x0 