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