Kanalsimningen (Enkel ODE) 

`:=`(f, proc (x) options operator, arrow; `/`(`*`(v, `*`(`+`(1, `-`(`/`(`*`(`^`(x, 2)), `*`(`^`(a, 2))))))), `*`(V)) end proc) 

proc (x) options operator, arrow; `/`(`*`(v, `*`(`+`(1, `-`(`/`(`*`(`^`(x, 2)), `*`(`^`(a, 2))))))), `*`(V)) end proc (1.1)
 

`:=`(y, int(f(t), t = `+`(`-`(a)) .. x)) 

`+`(`-`(`/`(`*`(`/`(1, 3), `*`(v, `*`(`+`(`*`(`^`(x, 3)), `*`(`^`(a, 3)))))), `*`(V, `*`(`^`(a, 2))))), `/`(`*`(v, `*`(`+`(x, a))), `*`(V))) (1.2)
 

`:=`(y, simplify(y)) 

`+`(`/`(`*`(`/`(1, 3), `*`(v, `*`(`+`(`-`(`*`(`^`(x, 3))), `*`(2, `*`(`^`(a, 3))), `*`(3, `*`(`^`(a, 2), `*`(x))))))), `*`(V, `*`(`^`(a, 2))))) (1.3)
 

eval(y, x = a) 

`+`(`/`(`*`(`/`(4, 3), `*`(v, `*`(a))), `*`(V))) (1.4)
 

`:=`(`ϕ`, unapply(y, x)) 

proc (x) options operator, arrow; `+`(`/`(`*`(`/`(1, 3), `*`(v, `*`(`+`(`-`(`*`(`^`(x, 3))), `*`(2, `*`(`^`(a, 3))), `*`(3, `*`(`^`(a, 2), `*`(x))))))), `*`(V, `*`(`^`(a, 2))))) end proc (1.5)
 

`ϕ`(a) 

`+`(`/`(`*`(`/`(4, 3), `*`(v, `*`(a))), `*`(V))) (1.6)