asech Mul Mul Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 x0 Mul -3 E 
Mul Mul Mul -3 E Add Mul x0 Mul Pow x0 Add atanh sqrt Pow x0 Add asec Mul x1 4 x0 -1 Add atanh sqrt Pow x0 Add asec Mul x1 4 x0 Mul Mul x0 log x0 Mul Mul Pow Mul 2 sqrt Pow x0 Add asec Mul x1 4 x0 -1 Mul Pow x0 Add Add asec Mul x1 4 x0 -1 Add Add asec Mul x1 4 x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul sqrt Pow x0 Add asec Mul x1 4 x0 sqrt Pow x0 Add asec Mul x1 4 x0 -1 Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 Pow Mul Mul Mul Mul Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 x0 Mul -3 E Mul Mul Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 x0 Mul -3 E sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 x0 Mul -3 E Mul Mul Pow x0 atanh sqrt Pow x0 Add asec Mul x1 4 x0 x0 Mul -3 E -1 -1 