Specification concerning couples of operators

[JeanLoupFarges]

Some operators have their inverse operator. For instance Log ( https://onnx.ai/onnx/operators/onnx__Log.html ) has Exp ( https://onnx.ai/onnx/operators/onnx__Exp.html ) as inverse operator. Simple requirements can be written :

• Input -> Exp -> Log = Input
• Input -> Log -> Exp = Input for Input > 0

Does considering constraints on couples of operators make sense?