42.182 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.094 * * * [progress]: [2/2] Setting up program.
0.096 * [progress]: [Phase 2 of 3] Improving.
0.097 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.097 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.098 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.100 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.106 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
0.117 * * [simplify]: iteration  4 :  136  enodes  (cost  8 )
0.162 * * [simplify]: iteration  5 :  322  enodes  (cost  8 )
0.375 * * [simplify]: iteration  6 :  1012  enodes  (cost  8 )
2.393 * * [simplify]: iteration  7 :  3858  enodes  (cost  8 )
4.243 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
4.243 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
4.244 * * [progress]: iteration 1 / 4
4.244 * * * [progress]: picking best candidate
4.246 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
4.246 * * * [progress]: localizing error
4.253 * * * [progress]: generating rewritten candidates
4.253 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
4.254 * * * [progress]: generating series expansions
4.254 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
4.254 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.254 * [taylor]: Taking taylor expansion of (sinh c) in c
4.255 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.255 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.255 * [taylor]: Taking taylor expansion of (exp c) in c
4.255 * [taylor]: Taking taylor expansion of c in c
4.255 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.255 * [taylor]: Taking taylor expansion of (- c) in c
4.255 * [taylor]: Taking taylor expansion of c in c
4.256 * [taylor]: Taking taylor expansion of 2 in c
4.259 * [taylor]: Taking taylor expansion of (sinh c) in c
4.259 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.259 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.259 * [taylor]: Taking taylor expansion of (exp c) in c
4.259 * [taylor]: Taking taylor expansion of c in c
4.259 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.259 * [taylor]: Taking taylor expansion of (- c) in c
4.259 * [taylor]: Taking taylor expansion of c in c
4.259 * [taylor]: Taking taylor expansion of 2 in c
4.294 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.294 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.294 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.294 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.294 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.294 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.294 * [taylor]: Taking taylor expansion of c in c
4.294 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.294 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.294 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.294 * [taylor]: Taking taylor expansion of c in c
4.295 * [taylor]: Taking taylor expansion of 2 in c
4.295 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.295 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.295 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.295 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.295 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.295 * [taylor]: Taking taylor expansion of c in c
4.296 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.296 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.296 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.296 * [taylor]: Taking taylor expansion of c in c
4.296 * [taylor]: Taking taylor expansion of 2 in c
4.308 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.308 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.309 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.309 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.309 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.309 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.309 * [taylor]: Taking taylor expansion of -1 in c
4.309 * [taylor]: Taking taylor expansion of c in c
4.309 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.309 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.309 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.309 * [taylor]: Taking taylor expansion of -1 in c
4.309 * [taylor]: Taking taylor expansion of c in c
4.310 * [taylor]: Taking taylor expansion of 2 in c
4.310 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.310 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.310 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.310 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.310 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.310 * [taylor]: Taking taylor expansion of -1 in c
4.310 * [taylor]: Taking taylor expansion of c in c
4.310 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.310 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.310 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.310 * [taylor]: Taking taylor expansion of -1 in c
4.310 * [taylor]: Taking taylor expansion of c in c
4.311 * [taylor]: Taking taylor expansion of 2 in c
4.323 * * * [progress]: simplifying candidates
4.323 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
4.325 * * [simplify]: iteration  0 :  30  enodes  (cost  66 )
4.329 * * [simplify]: iteration  1 :  61  enodes  (cost  65 )
4.340 * * [simplify]: iteration  2 :  127  enodes  (cost  61 )
4.364 * * [simplify]: iteration  3 :  248  enodes  (cost  61 )
4.415 * * [simplify]: iteration  4 :  587  enodes  (cost  61 )
4.634 * * [simplify]: iteration  5 :  2168  enodes  (cost  61 )
5.529 * * [simplify]: iteration  done :  5000  enodes  (cost  61 )
5.529 * [simplify]: Simplified to:
   (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
5.529 * * * [progress]: adding candidates to table
5.557 * * [progress]: iteration 2 / 4
5.557 * * * [progress]: picking best candidate
5.562 * * * * [pick]: Picked  #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (pow -2.9807307601812193e+165 2.0))))>
5.562 * * * [progress]: localizing error
5.574 * * * [progress]: generating rewritten candidates
5.574 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
5.582 * * * [progress]: generating series expansions
5.582 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
5.582 * [approximate]: Taking taylor expansion of (- (exp c) (exp (- c))) in (c) around 0
5.582 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.582 * [taylor]: Taking taylor expansion of (exp c) in c
5.582 * [taylor]: Taking taylor expansion of c in c
5.582 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.582 * [taylor]: Taking taylor expansion of (- c) in c
5.582 * [taylor]: Taking taylor expansion of c in c
5.583 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.583 * [taylor]: Taking taylor expansion of (exp c) in c
5.583 * [taylor]: Taking taylor expansion of c in c
5.583 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.583 * [taylor]: Taking taylor expansion of (- c) in c
5.583 * [taylor]: Taking taylor expansion of c in c
5.609 * [approximate]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in (c) around 0
5.609 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.609 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.609 * [taylor]: Taking taylor expansion of c in c
5.610 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.610 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.610 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.610 * [taylor]: Taking taylor expansion of c in c
5.610 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.610 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.610 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.610 * [taylor]: Taking taylor expansion of c in c
5.611 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.611 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.611 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.611 * [taylor]: Taking taylor expansion of c in c
5.615 * [approximate]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0
5.615 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.615 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.615 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.615 * [taylor]: Taking taylor expansion of -1 in c
5.615 * [taylor]: Taking taylor expansion of c in c
5.615 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.615 * [taylor]: Taking taylor expansion of c in c
5.616 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.616 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.616 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.616 * [taylor]: Taking taylor expansion of -1 in c
5.616 * [taylor]: Taking taylor expansion of c in c
5.616 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.616 * [taylor]: Taking taylor expansion of c in c
5.620 * * * [progress]: simplifying candidates
5.620 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp (exp c)) (exp (exp (- c))))
  (log (- (exp c) (exp (- c))))
  (exp (- (exp c) (exp (- c))))
  (* (cbrt (- (exp c) (exp (- c)))) (cbrt (- (exp c) (exp (- c)))))
  (cbrt (- (exp c) (exp (- c))))
  (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))
  (sqrt (- (exp c) (exp (- c))))
  (sqrt (- (exp c) (exp (- c))))
  (- (pow (exp c) 3) (pow (exp (- c)) 3))
  (+ (* (exp c) (exp c)) (+ (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c)))))
  (- (exp (- c)))
  (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c))))
  (+ (exp c) (exp (- c)))
  (+ (sqrt (exp c)) (sqrt (exp (- c))))
  (- (sqrt (exp c)) (sqrt (exp (- c))))
  (- (exp c) (exp (- c)))
  (- (exp (- c)))
  (+ (* 1/3 (pow c 3)) (+ (* 1/60 (pow c 5)) (* 2 c)))
  (- (exp c) (exp (- c)))
  (- (exp c) (exp (* -1 c)))
5.622 * * [simplify]: iteration  0 :  46  enodes  (cost  185 )
5.629 * * [simplify]: iteration  1 :  102  enodes  (cost  176 )
5.651 * * [simplify]: iteration  2 :  231  enodes  (cost  158 )
5.710 * * [simplify]: iteration  3 :  504  enodes  (cost  157 )
6.026 * * [simplify]: iteration  4 :  1592  enodes  (cost  157 )
6.979 * * [simplify]: iteration  done :  5001  enodes  (cost  157 )
6.979 * [simplify]: Simplified to:
   (exp (- (exp c) (exp (- c))))
  (log (- (exp c) (exp (- c))))
  (exp (- (exp c) (exp (- c))))
  (* (cbrt (- (exp c) (exp (- c)))) (cbrt (- (exp c) (exp (- c)))))
  (cbrt (- (exp c) (exp (- c))))
  (pow (- (exp c) (exp (- c))) 3)
  (sqrt (- (exp c) (exp (- c))))
  (sqrt (- (exp c) (exp (- c))))
  (- (pow (exp c) 3) (exp (* c -3)))
  (+ (+ (exp (+ c c)) 1) (exp (* c -2)))
  (- (exp (- c)))
  (- (exp (+ c c)) (exp (* c -2)))
  (+ (exp c) (exp (- c)))
  (+ (sqrt (exp c)) (sqrt (exp (- c))))
  (- (sqrt (exp c)) (sqrt (exp (- c))))
  (- (exp c) (exp (- c)))
  (- (exp (- c)))
  (+ (* 1/3 (pow c 3)) (+ (* 1/60 (pow c 5)) (* 2 c)))
  (- (exp c) (exp (- c)))
  (- (exp c) (exp (- c)))
6.979 * * * [progress]: adding candidates to table
7.023 * [progress]: [Phase 3 of 3] Extracting.
7.023 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (pow -2.9807307601812193e+165 2.0))))>)
7.023 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
7.023 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (pow -2.9807307601812193e+165 2.0))))>)
7.045 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (pow -2.9807307601812193e+165 2.0))))>)
7.056 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
7.056 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
7.057 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
7.057 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
10.087 * [regime-testing]: Baseline error score: 0.006875859482435304
10.088 * [regime-testing]: Oracle error score: 0.006000750093761721
10.090 * [regime-testing]: End program error score: 0.006875859482435304