Mul Pow x0 5 Mul atanh sech Add 2 x0 x2 
Add Mul Mul atanh sech Add 2 x0 x2 Mul Pow x0 4 5 Mul Pow x0 5 Mul x2 Mul Mul tanh Add 2 x0 Mul -1 sech Add 2 x0 Pow Add 1 Mul -1 Mul sech Add 2 x0 sech Add 2 x0 -1 