Pow Pow asec Mul x0 pi Add x0 asech Add pi 3 x0 
Mul Pow Pow asec Mul x0 pi Add x0 asech Add pi 3 Add x0 -1 Add Mul x0 Mul Pow asec Mul x0 pi Add Add x0 asech Add pi 3 -1 Add Mul Add x0 asech Add pi 3 Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 Mul x0 pi Mul x0 pi -1 Mul asec Mul x0 pi log asec Mul x0 pi Mul Pow asec Mul x0 pi Add x0 asech Add pi 3 log Pow asec Mul x0 pi Add x0 asech Add pi 3 