Pow Add Add 3 Mul x0 sec Mul x0 Pow Pow asech acos x5 asech x0 sqrt x0 pi 4 
Mul Pow Add Add 3 Mul x0 sec Mul x0 Pow Pow asech acos x5 asech x0 sqrt x0 pi 3 Mul 4 Add sec Mul x0 Pow Pow asech acos x5 asech x0 sqrt x0 Mul x0 Mul Mul tan Mul x0 Pow Pow asech acos x5 asech x0 sqrt x0 sec Mul x0 Pow Pow asech acos x5 asech x0 sqrt x0 Add Pow Pow asech acos x5 asech x0 sqrt x0 Mul x0 Mul Pow Pow asech acos x5 asech x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow asech acos x5 Add asech x0 -1 Mul Mul asech acos x5 log asech acos x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Pow asech acos x5 asech x0 log Pow asech acos x5 asech x0 Pow Mul 2 sqrt x0 -1 