Add 1 exp Add Pow sec atanh E acot cbrt x0 x0 
Mul exp Add Pow sec atanh E acot cbrt x0 x0 Add Mul Pow sec atanh E Add acot cbrt x0 -1 Mul Mul sec atanh E log sec atanh E Mul -1 Mul Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Add 1 Mul cbrt x0 cbrt x0 -1 1 