Mul Mul Pow x0 cbrt pi Mul x0 atanh tanh x0 x1 
Mul x1 Add Mul Mul x0 atanh tanh x0 Mul Pow x0 Add cbrt pi -1 cbrt pi Mul Pow x0 cbrt pi Add atanh tanh x0 Mul x0 Mul Pow sech x0 2 Pow Add 1 Mul -1 Mul tanh x0 tanh x0 -1 