I'm guessing part of the problem is that the staff just doesn't know what to do and as long as that situation is there, nothing will come of it. There isn't a lot of educational AT training or info out there for the professionals to help with typing math.
I also suspect this is a large part of what's up. FWIW, we've found that there is a higher level of knowledge of AT out there (in our district) among the AT folks who help high school students rather than elementary, so it might be worth asking at a district level for some help.
FWIW, neither ds or I thought efofex takes any specific training other than working through it on our own, but we're also math geeks so that might make a difference. DS first got efofex and used it when he was in pre-algebra, with no training from anyone other than looking at a few things with me.
OTOH, fwiw, ds didn't stick with efofex past Algegra - once he got into geometry he felt that, for him, he wasn't gaining anything in terms of time using efofex vs using handwriting. I don't entirely agree with him

.... plus part of ds' issue with efofex had to do with using it at a time when it wasn't largely ported to the Mac (and ds not only had a Mac for a laptop, but he was using an iPad for almost everything else and he prefers the iPad for most of his work, except when he needs a large screen for reading from online textbooks). SO ds quit using efofex. HOWEVER... his mother is making him try it out again this summer.... not because I'm a tiger-mom (I am like the total non-tiger-mom lol)... but because his math homework really does take forever, and he's frustrated with how long it takes him to complete his homework during the school year. And... personally I think he's been beyond lucky that his math teachers think they can read his handwriting up till now... I'm guessing he's not always going to have teachers who can handle messy handwriting

So... that's where we're at - we have efofex, we found it easy to learn, didn't find it easy to use necessarily at the time ds was working in it (but that was mac-pc, not the software itself), and haven't worked with it for a few years.
Also, just for a totally random non-software note - fwiw, when ds was around your ds' age, he had a huge huge struggle with copy errors impacting math - switching or dropping signs, switching numbers etc. That's part of the reason he began using the computer (plus it saved him roughly 2/3 the time to finish his homework). However... as time has gone by... he no longer makes the copy errors frequently. He *does* make them from time to time, but he's gotten better at checking his work and also they just don't seem to happen as much. And when they do, he tends to now laugh at them as in, "yep, there goes my dysgraphia again!"... a
OK, I'm rambling now. I'd better get back to what I'm supposed to be doing at the moment

Best wishes,
polarbear