Pow Add x4 sqrt x0 Pow Mul x5 Pow x0 -1 Add asech x0 x0 
Mul Pow Add x4 sqrt x0 Add Pow Mul x5 Pow x0 -1 Add asech x0 x0 -1 Add Mul Pow Mul x5 Pow x0 -1 Add asech x0 x0 Pow Mul 2 sqrt x0 -1 Mul Mul Add x4 sqrt x0 log Add x4 sqrt x0 Mul Pow Mul x5 Pow x0 -1 Add Add asech x0 x0 -1 Add Mul Add asech x0 x0 Mul x5 Mul Pow x0 2 -1 Mul Mul Mul x5 Pow x0 -1 log Mul x5 Pow x0 -1 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 