Add Pow Mul pi Mul x0 x0 Mul sech pi tan sqrt Mul x0 atanh x0 -2 
Mul Pow Mul pi Mul x0 x0 Add Mul sech pi tan sqrt Mul x0 atanh x0 -1 Add Mul Mul sech pi tan sqrt Mul x0 atanh x0 Mul pi Add x0 x0 Mul Mul Mul pi Mul x0 x0 log Mul pi Mul x0 x0 Mul sech pi Mul Pow sec sqrt Mul x0 atanh x0 2 Mul Pow Mul 2 sqrt Mul x0 atanh x0 -1 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 