[r1, -q1*s1 + (-q2*s0 - r0*r2), (9*q0*q3 - q1*q2)*t0 + ((-q0*r2 - q2*r0)*s1 
+ (-q1*r2 - q3*r0)*s0), ((-3*q0*q2 + q1^2)*r2 + (-3*q1*q3 + q2^2)*r0)*t0 + (
q0*q2*s1^2 + ((-3*q0*q3 + q1*q2)*s0 + (q1*r0*r2 + q3*r0^2))*s1 + (q1*q3*s0^2
 + (q0*r2^2 + q2*r0*r2)*s0)), (-27*q0^2*q3^2 + (9*q0*q1*q2 - q1^3)*q3 - q0*q
2^3)*t0^2 + (((9*q0^2*q3 - q0*q1*q2)*r2 + ((-3*q0*q1*q3 + q0*q2^2)*r1 + ((3*
q0*q2 + 2*q1^2)*q3 - q1*q2^2)*r0))*s1 + (((3*q0*q1*q3 + (2*q0*q2^2 - q1^2*q2
))*r2 + ((-3*q0*q2 + q1^2)*q3*r1 + (9*q0*q3^2 - q1*q2*q3)*r0))*s0 + (-q0^2*r
2^3 + (q0*q1*r1 + (2*q0*q2 - q1^2)*r0)*r2^2 + (-q0*q2*r1^2 + (-3*q0*q3 + q1*
q2)*r0*r1 + (2*q1*q3 - q2^2)*r0^2)*r2 + (q0*q3*r1^3 - q1*q3*r0*r1^2 + q2*q3*
r0^2*r1 - q3^2*r0^3))))*t0 + (-q0^2*q3*s1^3 + ((2*q0*q1*q3 - q0*q2^2)*s0 + (
-q0*q2*r0*r2 + (q0*q3*r0*r1 - q1*q3*r0^2)))*s1^2 + ((2*q0*q2 - q1^2)*q3*s0^2
 + (-q0*q1*r2^2 + (q0*q2*r1 + (-q0*q3 - q1*q2)*r0)*r2 + (-q0*q3*r1^2 + q1*q3
*r0*r1 - q2*q3*r0^2))*s0)*s1 + (-q0*q3^2*s0^3 + (-q0*q2*r2^2 + (q0*q3*r1 - q
1*q3*r0)*r2)*s0^2))]
[s1, -r2*t0 - s2*s0, (-r3*s0 - s2*r1)*t0, (r3*r1 - 4*r4*r0)*t0^2 + (r4*s0^2 
+ s2*r2*s0 + s2^2*r0)*t0, (4*r4*r0*r2 + (-r4*r1^2 - r3^2*r0))*t0^3 + (-r4*r0
*s1^2 + (r4*r1*s0 + r3*s2*r0)*s1 + (-r4*r2*s0^2 - r3*s2*r1*s0 - s2^2*r0*r2))
*t0^2]
[s1, -r2*t0 - s2*s0, (-r3*s0 - s2*r1)*t0, (r3*r1 - 4*r4*r0)*t0^2 + (r4*s0^2 
+ s2*r2*s0 + s2^2*r0)*t0, (4*r4*r0*r2 + (-r4*r1^2 - r3^2*r0))*t0^3 + (-r4*r0
*s1^2 + (r4*r1*s0 + r3*s2*r0)*s1 + (-r4*r2*s0^2 - r3*s2*r1*s0 - s2^2*r0*r2))
*t0^2]
[r1, -s2*t0 + (-t1*s1 + (-t2*s0 - r0*r2)), -r2*s1*t0 + (-t2*r0*s1 + (-t1*r2*
s0 - t1*s2*r0)), (t2*s1^2 + t1*s2*s1 + ((r2^2 - 4*t2*s2)*s0 + s2*r0*r2))*t0 
+ ((t2*t1*s0 + t1*r0*r2)*s1 + ((t2*r0*r2 + t1^2*s2)*s0 + t2*s2*r0^2)), (-t2*
s2*s1^2 + (-s2*r2^2 + 4*t2*s2^2)*s0)*t0^2 + ((-t2^2*s0 - t2*r0*r2)*s1^2 + ((
-t1*r2^2 + t2*r1*r2)*s0 + (-t1*s2*r0*r2 + t2*s2*r0*r1))*s1 + ((-t2*r2^2 + 4*
t2^2*s2)*s0^2 + (t1*s2*r1*r2 + (-t2*s2*r1^2 - t1^2*s2^2))*s0 - t2*s2^2*r0^2)
)*t0 + ((-t2*t1*r0*r2*s0 - t2*t1*s2*r0^2)*s1 + (-t2*t1^2*s2*s0^2 + (-t1^2*s2
*r0*r2 + (t2*t1*s2*r0*r1 - t2^2*s2*r0^2))*s0))]
Total time spent: 0
