Mul 4 Add sqrt Pow Add Add pi x0 asech Add Pow x0 atanh x3 Mul Add x0 3 acoth pi pi x0 
Mul 4 Add Mul Pow Mul 2 sqrt Pow Add Add pi x0 asech Add Pow x0 atanh x3 Mul Add x0 3 acoth pi pi -1 Mul Pow Add Add pi x0 asech Add Pow x0 atanh x3 Mul Add x0 3 acoth pi Add pi -1 Mul pi Add 1 Mul Add Mul Pow x0 Add atanh x3 -1 atanh x3 acoth pi Pow Mul Mul Add Pow x0 atanh x3 Mul Add x0 3 acoth pi Add Pow x0 atanh x3 Mul Add x0 3 acoth pi sqrt Add 1 Mul -1 Pow Mul Add Pow x0 atanh x3 Mul Add x0 3 acoth pi Add Pow x0 atanh x3 Mul Add x0 3 acoth pi -1 -1 1 