How does it compare to mathics?

How close is it to being able to run rubi: https://rulebasedintegration.org/?

You can find the whole integration routine here https://github.com/ad-si/Woxi/blob/36343ab2cbc97e5081f7c811e.... It's essentially a test mock-up (not even trying partial fraction decomposition for rational functions).