Pow x3 Mul x0 asec Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi 
Mul Pow x3 Add Mul x0 asec Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi -1 Mul Mul x3 log x3 Add asec Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi Mul x0 Mul Mul pi Mul Mul Pow Add x0 Add Add Mul -2 x0 3 x0 Add pi -1 Mul pi 2 Pow Add 1 Mul -1 Mul Pow Add x0 Add Add Mul -2 x0 3 x0 pi Pow Add x0 Add Add Mul -2 x0 3 x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi -1 Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi Mul pi atanh Pow Add x0 Add Add Mul -2 x0 3 x0 pi -1 