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