21.626 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.106 * * * [progress]: [2/2] Setting up program.
0.108 * [progress]: [Phase 2 of 3] Improving.
0.109 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.109 * * [simplify]: Extracting # 0 : cost  0
0.109 * * [simplify]: Extracting # 1 : cost  0
0.109 * * [simplify]: Extracting # 2 : cost  0
0.109 * * [simplify]: Extracting # 3 : cost  0
0.109 * * [simplify]: Extracting # 4 : cost  0
0.109 * * [simplify]: Extracting # 5 : cost  0
0.109 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.111 * * [simplify]: Extracting # 2 : cost  0
0.111 * * [simplify]: Extracting # 3 : cost  0
0.111 * * [simplify]: Extracting # 4 : cost  0
0.111 * * [simplify]: Extracting # 5 : cost  0
0.111 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.114 * * [simplify]: Extracting # 0 : cost  0
0.114 * * [simplify]: Extracting # 1 : cost  0
0.114 * * [simplify]: Extracting # 2 : cost  0
0.114 * * [simplify]: Extracting # 3 : cost  0
0.114 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.121 * * [simplify]: Extracting # 0 : cost  0
0.121 * * [simplify]: Extracting # 1 : cost  0
0.121 * * [simplify]: Extracting # 2 : cost  0
0.121 * * [simplify]: Extracting # 3 : cost  0
0.121 * * [simplify]: Extracting # 4 : cost  0
0.121 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
0.189 * * [simplify]: Extracting # 0 : cost  0
0.190 * * [simplify]: Extracting # 1 : cost  0
0.190 * * [simplify]: Extracting # 2 : cost  0
0.190 * * [simplify]: Extracting # 3 : cost  0
0.190 * * [simplify]: Extracting # 4 : cost  0
0.191 * * [simplify]: iteration  4 :  147  enodes  (cost  8 )
0.292 * * [simplify]: Extracting # 0 : cost  0
0.292 * * [simplify]: Extracting # 1 : cost  0
0.293 * * [simplify]: Extracting # 2 : cost  0
0.293 * * [simplify]: Extracting # 3 : cost  0
0.293 * * [simplify]: Extracting # 4 : cost  0
0.294 * * [simplify]: iteration  5 :  347  enodes  (cost  8 )
0.621 * * [simplify]: Extracting # 0 : cost  0
0.624 * * [simplify]: Extracting # 1 : cost  0
0.625 * * [simplify]: Extracting # 2 : cost  0
0.625 * * [simplify]: Extracting # 3 : cost  0
0.626 * * [simplify]: Extracting # 4 : cost  0
0.627 * * [simplify]: iteration  6 :  1152  enodes  (cost  8 )
4.427 * * [simplify]: Extracting # 0 : cost  0
4.437 * * [simplify]: Extracting # 1 : cost  0
4.443 * * [simplify]: Extracting # 2 : cost  0
4.450 * * [simplify]: Extracting # 3 : cost  0
4.455 * * [simplify]: Extracting # 4 : cost  0
4.461 * * [simplify]: Extracting # 5 : cost  0
4.466 * * [simplify]: iteration  7 :  4414  enodes  (cost  8 )
7.178 * * [simplify]: Extracting # 0 : cost  0
7.183 * * [simplify]: Extracting # 1 : cost  0
7.186 * * [simplify]: Extracting # 2 : cost  0
7.192 * * [simplify]: Extracting # 3 : cost  0
7.198 * * [simplify]: iteration done:  5000  enodes  (cost  8 )
7.198 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
7.199 * * [progress]: iteration 1 / 4
7.199 * * * [progress]: picking best candidate
7.202 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
7.202 * * * [progress]: localizing error
7.219 * * * [progress]: generating rewritten candidates
7.219 * * * [progress]: generating series expansions
7.219 * * * [progress]: simplifying candidates
7.219 * [simplify]: Simplifying:
  
7.219 * * [simplify]: Extracting # 0 : cost  0
7.219 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.219 * * [simplify]: Extracting # 0 : cost  0
7.219 * * [simplify]: iteration done:  0  enodes  (cost  0 )
7.219 * [simplify]: Simplified to:
  
7.219 * * * [progress]: adding candidates to table
7.220 * [progress]: [Phase 3 of 3] Extracting.
7.223 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
7.223 * * [simplify]: Extracting # 0 : cost  0
7.224 * * [simplify]: Extracting # 1 : cost  0
7.224 * * [simplify]: Extracting # 2 : cost  0
7.224 * * [simplify]: Extracting # 3 : cost  0
7.224 * * [simplify]: Extracting # 4 : cost  0
7.224 * * [simplify]: Extracting # 5 : cost  0
7.224 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
7.225 * * [simplify]: Extracting # 0 : cost  0
7.225 * * [simplify]: iteration done:  7  enodes  (cost  8 )
7.225 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
14.818 * [regime-testing]: Baseline error score: 0.008251031378922365
14.820 * [regime-testing]: Oracle error score: 0.008251031378922365
14.820 * [regime-testing]: End program error score: 0.008251031378922365