Mul x0 asec Mul pi Mul Add x6 log x0 atanh x6 
Add asec Mul pi Mul Add x6 log x0 atanh x6 Mul x0 Mul Mul pi Mul atanh x6 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul pi Mul Add x6 log x0 atanh x6 Mul pi Mul Add x6 log x0 atanh x6 -1 Mul pi Mul Add x6 log x0 atanh x6 Mul pi Mul Add x6 log x0 atanh x6 -1 