Mul Add Pow x0 -1 x0 Add 12 atanh sech Mul x0 pi 
Add Mul Add 12 atanh sech Mul x0 pi Add Mul Pow x0 2 -1 1 Mul Add Pow x0 -1 x0 Mul Mul Mul tanh Mul x0 pi Mul -1 sech Mul x0 pi pi Pow Add 1 Mul -1 Mul sech Mul x0 pi sech Mul x0 pi -1 