Revision history [back]
 | 1 | initial version |
The computation ends normally on my computer, though after a long time: 19 min 54 s, as you can see on this worksheet (this is with SageMath 8.1 running on a Xeon E5-2623 processor). This is because the result is extremely lengthy ($s_{01}$ has more than 400,000 characters!) and most of CPU time is spent in simplifications.
You can shorten the CPU time by replacing the cosh and sinh by their exp expressions (Sage is not good in simplifying expressions involving hyperbolic trigonometry), as done here. The CPU time goes down to 4 min 49 s and the length of $s_{01}$ "down" to 85,610 characters (probably due to better simplifications).
