Pow Add 1 x2 Mul asech Pow sech pi x0 x0 
Mul Pow Add 1 x2 Add Mul asech Pow sech pi x0 x0 -1 Mul Mul Add 1 x2 log Add 1 x2 Add Mul x0 Mul Mul Pow sech pi Add x0 -1 Mul sech pi log sech pi Pow Mul Mul Pow sech pi x0 Pow sech pi x0 sqrt Add 1 Mul -1 Pow Mul Pow sech pi x0 Pow sech pi x0 -1 -1 asech Pow sech pi x0 