Mul Mul Pow x0 Mul cbrt Mul 5 x0 x0 asech x5 x0 
Add Mul x0 Mul asech x5 Mul Pow x0 Add Mul cbrt Mul 5 x0 x0 -1 Add Mul cbrt Mul 5 x0 x0 Mul Mul x0 log x0 Add Mul x0 Mul Pow Mul Mul 3 cbrt Mul 5 x0 cbrt Mul 5 x0 -1 5 cbrt Mul 5 x0 Mul Pow x0 Mul cbrt Mul 5 x0 x0 asech x5 