Pow asech Add x0 1 Pow Add pi asinh x7 x0 
Mul Pow asech Add x0 1 Add Pow Add pi asinh x7 x0 -1 Add Mul Pow Add pi asinh x7 x0 Pow Mul Mul Add x0 1 Add x0 1 sqrt Add 1 Mul -1 Pow Mul Add x0 1 Add x0 1 -1 -1 Mul Mul asech Add x0 1 log asech Add x0 1 Mul Pow Add pi asinh x7 Add x0 -1 Mul Add pi asinh x7 log Add pi asinh x7 