Mul Mul x0 x1 Pow Pow 2 log Mul x0 x0 asech x3 
Add Mul Pow Pow 2 log Mul x0 x0 asech x3 x1 Mul Mul x0 x1 Mul Pow Pow 2 log Mul x0 x0 Add asech x3 -1 Mul asech x3 Mul Pow 2 Add log Mul x0 x0 -1 Mul 2.69314718055995 Mul Add x0 x0 Pow Mul x0 x0 -1 