Mul x0 Pow sqrt x3 Mul Pow x0 asech Add x2 Mul x4 pi Mul Add x0 x0 -1 
Add Pow sqrt x3 Mul Pow x0 asech Add x2 Mul x4 pi Mul Add x0 x0 -1 Mul x0 Mul Pow sqrt x3 Add Mul Pow x0 asech Add x2 Mul x4 pi Mul Add x0 x0 -1 -1 Mul Mul sqrt x3 log sqrt x3 Add Mul Mul Add x0 x0 -1 Mul Pow x0 Add asech Add x2 Mul x4 pi -1 asech Add x2 Mul x4 pi Pow x0 asech Add x2 Mul x4 pi 