Triangulations   (Thm 4.10)  

> # triangulations
subs(Xi(t)=Xi[0],subs( seq(((D@@i)(Xi))(t)=Xi[i],i=1..20),convert(bigODEtriangulations,D)));
 

`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
`+`(`-`(`*`(`/`(128, 3), `*`(`^`(Xi[4], 2), `*`(`^`(t, 43), `*`(u))))), `-`(`*`(`/`(10240, 9), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(u, 6)))))), `-`(`*`(`/`(10240, 3), `*`(Xi[4], `*`(`^`(t, 39), `*`(`^`(...
(5.3.1)