0.799 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.343 * * * [progress]: [2/2] Setting up program.
0.347 * [progress]: [Phase 2 of 3] Improving.
0.350 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.353 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.357 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.359 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.364 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
0.374 * * [simplify]: iteration  4 :  136  enodes  (cost  8 )
0.422 * * [simplify]: iteration  5 :  322  enodes  (cost  8 )
0.621 * * [simplify]: iteration  6 :  1012  enodes  (cost  8 )
2.438 * * [simplify]: iteration  7 :  3858  enodes  (cost  8 )
4.218 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
4.218 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
4.220 * * [progress]: iteration 1 / 4
4.220 * * * [progress]: picking best candidate
4.222 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
4.222 * * * [progress]: localizing error
4.232 * * * [progress]: generating rewritten candidates
4.232 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
4.235 * * * [progress]: generating series expansions
4.235 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
4.238 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.238 * [taylor]: Taking taylor expansion of (sinh c) in c
4.240 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.240 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.240 * [taylor]: Taking taylor expansion of (exp c) in c
4.240 * [taylor]: Taking taylor expansion of c in c
4.240 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.240 * [taylor]: Taking taylor expansion of (- c) in c
4.240 * [taylor]: Taking taylor expansion of c in c
4.241 * [taylor]: Taking taylor expansion of 2 in c
4.245 * [taylor]: Taking taylor expansion of (sinh c) in c
4.245 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.245 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.245 * [taylor]: Taking taylor expansion of (exp c) in c
4.245 * [taylor]: Taking taylor expansion of c in c
4.245 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.245 * [taylor]: Taking taylor expansion of (- c) in c
4.245 * [taylor]: Taking taylor expansion of c in c
4.245 * [taylor]: Taking taylor expansion of 2 in c
4.284 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.284 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.284 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.284 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.284 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.284 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.284 * [taylor]: Taking taylor expansion of c in c
4.284 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.284 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.284 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.284 * [taylor]: Taking taylor expansion of c in c
4.285 * [taylor]: Taking taylor expansion of 2 in c
4.285 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.285 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.285 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.285 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.285 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.285 * [taylor]: Taking taylor expansion of c in c
4.286 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.286 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.286 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.286 * [taylor]: Taking taylor expansion of c in c
4.286 * [taylor]: Taking taylor expansion of 2 in c
4.298 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.299 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.299 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.299 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.299 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.299 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.299 * [taylor]: Taking taylor expansion of -1 in c
4.299 * [taylor]: Taking taylor expansion of c in c
4.299 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.299 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.299 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.299 * [taylor]: Taking taylor expansion of -1 in c
4.299 * [taylor]: Taking taylor expansion of c in c
4.300 * [taylor]: Taking taylor expansion of 2 in c
4.300 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.300 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.300 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.300 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.300 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.300 * [taylor]: Taking taylor expansion of -1 in c
4.300 * [taylor]: Taking taylor expansion of c in c
4.300 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.300 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.300 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.300 * [taylor]: Taking taylor expansion of -1 in c
4.300 * [taylor]: Taking taylor expansion of c in c
4.301 * [taylor]: Taking taylor expansion of 2 in c
4.312 * * * [progress]: simplifying candidates
4.313 * [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.314 * * [simplify]: iteration  0 :  30  enodes  (cost  66 )
4.319 * * [simplify]: iteration  1 :  61  enodes  (cost  65 )
4.328 * * [simplify]: iteration  2 :  127  enodes  (cost  61 )
4.353 * * [simplify]: iteration  3 :  248  enodes  (cost  61 )
4.403 * * [simplify]: iteration  4 :  587  enodes  (cost  61 )
4.608 * * [simplify]: iteration  5 :  2168  enodes  (cost  61 )
5.417 * * [simplify]: iteration  done :  5000  enodes  (cost  61 )
5.417 * [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.418 * * * [progress]: adding candidates to table
5.454 * * [progress]: iteration 2 / 4
5.454 * * * [progress]: picking best candidate
5.456 * * * * [pick]: Picked  #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (pow -2.9807307601812193e+165 2.0))))>
5.456 * * * [progress]: localizing error
5.468 * * * [progress]: generating rewritten candidates
5.469 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2)
5.475 * * * [progress]: generating series expansions
5.475 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2)
5.475 * [approximate]: Taking taylor expansion of (- (exp c) (exp (- c))) in (c) around 0
5.475 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.475 * [taylor]: Taking taylor expansion of (exp c) in c
5.475 * [taylor]: Taking taylor expansion of c in c
5.475 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.476 * [taylor]: Taking taylor expansion of (- c) in c
5.476 * [taylor]: Taking taylor expansion of c in c
5.476 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.476 * [taylor]: Taking taylor expansion of (exp c) in c
5.476 * [taylor]: Taking taylor expansion of c in c
5.476 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.476 * [taylor]: Taking taylor expansion of (- c) in c
5.476 * [taylor]: Taking taylor expansion of c in c
5.501 * [approximate]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in (c) around 0
5.501 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.501 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.501 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.501 * [taylor]: Taking taylor expansion of c in c
5.501 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.501 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.501 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.501 * [taylor]: Taking taylor expansion of c in c
5.502 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.502 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.502 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.502 * [taylor]: Taking taylor expansion of c in c
5.502 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.502 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.502 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.502 * [taylor]: Taking taylor expansion of c in c
5.506 * [approximate]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0
5.506 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.506 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.506 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.506 * [taylor]: Taking taylor expansion of -1 in c
5.506 * [taylor]: Taking taylor expansion of c in c
5.506 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.506 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.506 * [taylor]: Taking taylor expansion of c in c
5.506 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.506 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.507 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.507 * [taylor]: Taking taylor expansion of -1 in c
5.507 * [taylor]: Taking taylor expansion of c in c
5.507 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.507 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.507 * [taylor]: Taking taylor expansion of c in c
5.510 * * * [progress]: simplifying candidates
5.511 * [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.512 * * [simplify]: iteration  0 :  46  enodes  (cost  185 )
5.519 * * [simplify]: iteration  1 :  102  enodes  (cost  176 )
5.542 * * [simplify]: iteration  2 :  231  enodes  (cost  158 )
5.599 * * [simplify]: iteration  3 :  504  enodes  (cost  157 )
5.899 * * [simplify]: iteration  4 :  1592  enodes  (cost  157 )
6.775 * * [simplify]: iteration  done :  5001  enodes  (cost  157 )
6.776 * [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.776 * * * [progress]: adding candidates to table
6.822 * [progress]: [Phase 3 of 3] Extracting.
6.822 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (pow -2.9807307601812193e+165 2.0))))>)
6.823 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
6.823 * * * * [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 (* 1/2 (- (exp c) (exp (- c)))) (- c (pow -2.9807307601812193e+165 2.0))))>)
6.848 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (pow -2.9807307601812193e+165 2.0))))>)
6.862 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.863 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
6.863 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
6.863 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
6.863 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
9.962 * [regime-testing]: Baseline error score: 0.006875859482435304
9.962 * [regime-testing]: Oracle error score: 0.006000750093761721
9.963 * [regime-testing]: End program error score: 0.006875859482435304