Add x1 Pow exp atanh cbrt sech x0 4 
Mul Pow exp atanh cbrt sech x0 3 Mul 4 Mul exp atanh cbrt sech x0 Mul Mul Pow Mul Mul 3 cbrt sech x0 cbrt sech x0 -1 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul cbrt sech x0 cbrt sech x0 -1 