Try AngouriMath!
Jupyter notebooks
Try it on binder!
AMTerminal
That's a simple terminal for AngouriMath I wrote. It's a console application which can run some AM's commands.
Syntax
Either directly put an expression to be simplified
1 + 2
or use syntax
[command] << [argument #1] << [argument #2] << ...
For example,
solve << x << x + 3 = 0 and x > 0
or
simplify << arcsin(x) + arccos(x)