Add Pow Mul E 3 Mul x0 asech Mul x0 x2 x0 
Add Mul Pow Mul E 3 Add Mul x0 asech Mul x0 x2 -1 Mul Mul Mul E 3 log Mul E 3 Add asech Mul x0 x2 Mul x0 Mul x2 Pow Mul Mul Mul x0 x2 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul x0 x2 Mul x0 x2 -1 -1 1 