# MIT License, Copyright (c) 2022 Marvin Borner zero [[0]] inc [[[1 (2 1 0)]]] ++( inc add [[[[3 1 (2 1 0)]]]] (+) add mul [[[2 (1 0)]]] (*) mul exp [[0 1]] (^) exp