--- parse tree ---
[ Code
    "test/typ/math/cancel-01.typ"
    ( line 1 , column 2 )
    (Let
       (BasicBind (Just (Identifier "test")))
       (FuncExpr
          [ NormalParam (Identifier "x") , NormalParam (Identifier "y") ]
          (Block
             (CodeBlock
                [ If
                    [ ( Equals (Ident (Identifier "x")) (Ident (Identifier "y"))
                      , Block (Content [ Text "\9989" ])
                      )
                    , ( Literal (Boolean True)
                      , Block
                          (Content
                             [ Text "\10060"
                             , Text "("
                             , Code
                                 "test/typ/math/cancel-01.typ"
                                 ( line 1 , column 47 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "x")) ])
                             , Space
                             , Text "/"
                             , Text "="
                             , Space
                             , Code
                                 "test/typ/math/cancel-01.typ"
                                 ( line 1 , column 59 )
                                 (FuncCall
                                    (Ident (Identifier "repr"))
                                    [ NormalArg (Ident (Identifier "y")) ])
                             , Text ")"
                             ])
                      )
                    ]
                ]))))
, SoftBreak
, Comment
, Code
    "test/typ/math/cancel-01.typ"
    ( line 3 , column 2 )
    (Set
       (Ident (Identifier "page"))
       [ KeyValArg (Identifier "width") (Literal Auto) ])
, SoftBreak
, Equation
    True
    [ Text "a"
    , Text "+"
    , Text "b"
    , Text "+"
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 11 )
        (FuncCall
           (Ident (Identifier "cancel"))
           [ BlockArg [ Text "b" , Text "+" , Text "c" ] ])
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 25 )
        (Ident (Identifier "minus"))
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 27 )
        (FuncCall (Ident (Identifier "cancel")) [ BlockArg [ Text "b" ] ])
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 37 )
        (Ident (Identifier "minus"))
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 39 )
        (FuncCall (Ident (Identifier "cancel")) [ BlockArg [ Text "c" ] ])
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 49 )
        (Ident (Identifier "minus"))
    , Text "5"
    , Text "+"
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 55 )
        (FuncCall (Ident (Identifier "cancel")) [ BlockArg [ Text "6" ] ])
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 65 )
        (Ident (Identifier "minus"))
    , Code
        "test/typ/math/cancel-01.typ"
        ( line 4 , column 67 )
        (FuncCall (Ident (Identifier "cancel")) [ BlockArg [ Text "6" ] ])
    ]
, SoftBreak
, Equation
    True
    [ Text "e"
    , Text "+"
    , MFrac
        (MGroup
           (Just "(")
           (Just ")")
           [ Text "a"
           , Code
               "test/typ/math/cancel-01.typ"
               ( line 5 , column 10 )
               (FieldAccess (Ident (Identifier "c")) (Ident (Identifier "dot")))
           , Code
               "test/typ/math/cancel-01.typ"
               ( line 5 , column 16 )
               (FuncCall
                  (Ident (Identifier "cancel"))
                  [ BlockArg
                      [ MGroup
                          (Just "(")
                          (Just ")")
                          [ Text "b" , Text "+" , Text "c" , Text "+" , Text "d" ]
                      ]
                  ])
           ])
        (MGroup
           Nothing
           Nothing
           [ Code
               "test/typ/math/cancel-01.typ"
               ( line 5 , column 38 )
               (FuncCall
                  (Ident (Identifier "cancel"))
                  [ BlockArg [ Text "b" , Text "+" , Text "c" , Text "+" , Text "d" ]
                  ])
           ])
    ]
, ParBreak
]
--- evaluated ---
document(body: { text(body: [
]), 
                 text(body: [
]), 
                 math.equation(block: true, 
                               body: { text(body: [a]), 
                                       text(body: [+]), 
                                       text(body: [b]), 
                                       text(body: [+]), 
                                       math.cancel(body: { text(body: [b]), 
                                                           text(body: [+]), 
                                                           text(body: [c]) }), 
                                       text(body: [−]), 
                                       math.cancel(body: text(body: [b])), 
                                       text(body: [−]), 
                                       math.cancel(body: text(body: [c])), 
                                       text(body: [−]), 
                                       text(body: [5]), 
                                       text(body: [+]), 
                                       math.cancel(body: text(body: [6])), 
                                       text(body: [−]), 
                                       math.cancel(body: text(body: [6])) }, 
                               numbering: none), 
                 text(body: [
]), 
                 math.equation(block: true, 
                               body: { text(body: [e]), 
                                       text(body: [+]), 
                                       math.frac(denom: math.cancel(body: { text(body: [b]), 
                                                                            text(body: [+]), 
                                                                            text(body: [c]), 
                                                                            text(body: [+]), 
                                                                            text(body: [d]) }), 
                                                 num: { text(body: [a]), 
                                                        text(body: [·]), 
                                                        math.cancel(body: math.lr(body: ({ [(], 
                                                                                           text(body: [b]), 
                                                                                           text(body: [+]), 
                                                                                           text(body: [c]), 
                                                                                           text(body: [+]), 
                                                                                           text(body: [d]), 
                                                                                           [)] }))) }) }, 
                               numbering: none), 
                 parbreak() })