sqrt Pow Mul Pow x0 x0 x7 atanh log Add x0 asech Mul pi Add x0 Add x0 x0 
Mul Pow Mul 2 sqrt Pow Mul Pow x0 x0 x7 atanh log Add x0 asech Mul pi Add x0 Add x0 x0 -1 Mul Pow Mul Pow x0 x0 x7 Add atanh log Add x0 asech Mul pi Add x0 Add x0 x0 -1 Add Mul atanh log Add x0 asech Mul pi Add x0 Add x0 x0 Mul x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Mul Pow x0 x0 x7 log Mul Pow x0 x0 x7 Mul Mul Add 1 Mul Mul pi 3 Pow Mul Mul Mul pi Add x0 Add x0 x0 Mul pi Add x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul pi Add x0 Add x0 x0 Mul pi Add x0 Add x0 x0 -1 -1 Pow Add x0 asech Mul pi Add x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul log Add x0 asech Mul pi Add x0 Add x0 x0 log Add x0 asech Mul pi Add x0 Add x0 x0 -1 