Add Add x7 Pow asech Mul pi 2 acoth Add Pow x0 x0 Mul Add x0 x0 x0 Add 5 x0 
Add Mul Pow asech Mul pi 2 Add acoth Add Pow x0 x0 Mul Add x0 x0 x0 -1 Mul Mul asech Mul pi 2 log asech Mul pi 2 Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul x0 2 Add x0 x0 Pow Add 1 Mul -1 Mul Add Pow x0 x0 Mul Add x0 x0 x0 Add Pow x0 x0 Mul Add x0 x0 x0 -1 1 