Mul Pow sqrt x0 asech pi Pow x5 Pow x0 -1.10714871779409 
Add Mul Pow x5 Pow x0 -1.10714871779409 Mul Pow sqrt x0 Add asech pi -1 Mul asech pi Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 asech pi Mul Pow x5 Add Pow x0 -1.10714871779409 -1 Mul Mul x5 log x5 Mul Pow x0 -2.10714871779409 -1.10714871779409 