Pow asech acos Mul x0 x5 Mul x0 Pow x0 pi 
Mul Pow asech acos Mul x0 x5 Add Mul x0 Pow x0 pi -1 Add Mul Mul x0 Pow x0 pi Mul Mul -1 Mul x5 Pow sqrt Add 1 Mul -1 Mul Mul x0 x5 Mul x0 x5 -1 Pow Mul Mul acos Mul x0 x5 acos Mul x0 x5 sqrt Add 1 Mul -1 Pow Mul acos Mul x0 x5 acos Mul x0 x5 -1 -1 Mul Mul asech acos Mul x0 x5 log asech acos Mul x0 x5 Add Pow x0 pi Mul x0 Mul Pow x0 Add pi -1 pi 