Pow x4 asech sqrt Pow x0 4 
Mul Pow x4 Add asech sqrt Pow x0 4 -1 Mul Mul x4 log x4 Mul Mul Pow Mul 2 sqrt Pow x0 4 -1 Mul Pow x0 3 4 Pow Mul Mul sqrt Pow x0 4 sqrt Pow x0 4 sqrt Add 1 Mul -1 Pow Mul sqrt Pow x0 4 sqrt Pow x0 4 -1 -1 