fix: make symbolic_evaluate unwrap everything it returns
#2426
| Job | Run time |
|---|---|
| 27m 29s | |
| 27m 29s |
symbolic_evaluate unwrap everything it returns
#2426
| Job | Run time |
|---|---|
| 27m 29s | |
| 27m 29s |