atan Pow Add Mul 4 asin x5 tan Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi x0 Add E x6 
Mul Mul Pow Add Mul 4 asin x5 tan Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi x0 Add Add E x6 -1 Mul Add E x6 Mul Pow sec Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi x0 2 Add Mul x0 Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 Add sqrt pi -1 Mul sqrt pi Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow x0 x2 Add asec x0 -1 Add Mul asec x0 Mul Pow x0 Add x2 -1 x2 Mul Mul Pow x0 x2 log Pow x0 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi Pow Add 1 Mul Pow Add Mul 4 asin x5 tan Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi x0 Add E x6 Pow Add Mul 4 asin x5 tan Mul Pow Add acoth x0 Pow Pow x0 x2 asec x0 sqrt pi x0 Add E x6 -1 