40.969 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.097 * * * [progress]: [2/2] Setting up program.
0.100 * [progress]: [Phase 2 of 3] Improving.
0.100 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.101 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.102 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.104 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.109 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
0.119 * * [simplify]: iteration  4 :  136  enodes  (cost  8 )
0.161 * * [simplify]: iteration  5 :  322  enodes  (cost  8 )
0.359 * * [simplify]: iteration  6 :  1012  enodes  (cost  8 )
2.242 * * [simplify]: iteration  7 :  3858  enodes  (cost  8 )
4.036 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
4.037 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
4.037 * * [progress]: iteration 1 / 4
4.037 * * * [progress]: picking best candidate
4.039 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
4.039 * * * [progress]: localizing error
4.047 * * * [progress]: generating rewritten candidates
4.047 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
4.048 * * * [progress]: generating series expansions
4.048 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
4.048 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.048 * [taylor]: Taking taylor expansion of (sinh c) in c
4.049 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.049 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.049 * [taylor]: Taking taylor expansion of (exp c) in c
4.049 * [taylor]: Taking taylor expansion of c in c
4.049 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.049 * [taylor]: Taking taylor expansion of (- c) in c
4.049 * [taylor]: Taking taylor expansion of c in c
4.050 * [taylor]: Taking taylor expansion of 2 in c
4.052 * [taylor]: Taking taylor expansion of (sinh c) in c
4.053 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.053 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.053 * [taylor]: Taking taylor expansion of (exp c) in c
4.053 * [taylor]: Taking taylor expansion of c in c
4.053 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.053 * [taylor]: Taking taylor expansion of (- c) in c
4.053 * [taylor]: Taking taylor expansion of c in c
4.053 * [taylor]: Taking taylor expansion of 2 in c
4.081 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.081 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.081 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.081 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.081 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.081 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.081 * [taylor]: Taking taylor expansion of c in c
4.082 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.082 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.082 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.082 * [taylor]: Taking taylor expansion of c in c
4.082 * [taylor]: Taking taylor expansion of 2 in c
4.083 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.083 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.083 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.083 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.083 * [taylor]: Taking taylor expansion of c in c
4.083 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.083 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.083 * [taylor]: Taking taylor expansion of c in c
4.084 * [taylor]: Taking taylor expansion of 2 in c
4.096 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.096 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.096 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.096 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.096 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.096 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.096 * [taylor]: Taking taylor expansion of -1 in c
4.096 * [taylor]: Taking taylor expansion of c in c
4.096 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.096 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.096 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.096 * [taylor]: Taking taylor expansion of -1 in c
4.096 * [taylor]: Taking taylor expansion of c in c
4.097 * [taylor]: Taking taylor expansion of 2 in c
4.097 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.097 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.097 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.097 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.097 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.097 * [taylor]: Taking taylor expansion of -1 in c
4.097 * [taylor]: Taking taylor expansion of c in c
4.098 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.098 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.098 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.098 * [taylor]: Taking taylor expansion of -1 in c
4.098 * [taylor]: Taking taylor expansion of c in c
4.098 * [taylor]: Taking taylor expansion of 2 in c
4.114 * * * [progress]: simplifying candidates
4.115 * [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.116 * * [simplify]: iteration  0 :  30  enodes  (cost  66 )
4.120 * * [simplify]: iteration  1 :  61  enodes  (cost  65 )
4.130 * * [simplify]: iteration  2 :  127  enodes  (cost  61 )
4.150 * * [simplify]: iteration  3 :  248  enodes  (cost  61 )
4.199 * * [simplify]: iteration  4 :  587  enodes  (cost  61 )
4.409 * * [simplify]: iteration  5 :  2168  enodes  (cost  61 )
5.244 * * [simplify]: iteration  done :  5000  enodes  (cost  61 )
5.244 * [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.245 * * * [progress]: adding candidates to table
5.272 * * [progress]: iteration 2 / 4
5.272 * * * [progress]: picking best candidate
5.275 * * * * [pick]: Picked  #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (pow -2.9807307601812193e+165 2.0))))>
5.275 * * * [progress]: localizing error
5.287 * * * [progress]: generating rewritten candidates
5.287 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2)
5.293 * * * [progress]: generating series expansions
5.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2)
5.293 * [approximate]: Taking taylor expansion of (- (exp c) (exp (- c))) in (c) around 0
5.293 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.293 * [taylor]: Taking taylor expansion of (exp c) in c
5.293 * [taylor]: Taking taylor expansion of c in c
5.293 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.294 * [taylor]: Taking taylor expansion of (- c) in c
5.294 * [taylor]: Taking taylor expansion of c in c
5.295 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
5.295 * [taylor]: Taking taylor expansion of (exp c) in c
5.295 * [taylor]: Taking taylor expansion of c in c
5.295 * [taylor]: Taking taylor expansion of (exp (- c)) in c
5.295 * [taylor]: Taking taylor expansion of (- c) in c
5.295 * [taylor]: Taking taylor expansion of c in c
5.324 * [approximate]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in (c) around 0
5.324 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.324 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.324 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.324 * [taylor]: Taking taylor expansion of c in c
5.325 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.325 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.325 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.325 * [taylor]: Taking taylor expansion of c in c
5.325 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
5.325 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.325 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.325 * [taylor]: Taking taylor expansion of c in c
5.326 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
5.326 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
5.326 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.326 * [taylor]: Taking taylor expansion of c in c
5.329 * [approximate]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0
5.329 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.329 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.329 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.329 * [taylor]: Taking taylor expansion of -1 in c
5.329 * [taylor]: Taking taylor expansion of c in c
5.330 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.330 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.330 * [taylor]: Taking taylor expansion of c in c
5.330 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c
5.330 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
5.330 * [taylor]: Taking taylor expansion of (/ -1 c) in c
5.330 * [taylor]: Taking taylor expansion of -1 in c
5.330 * [taylor]: Taking taylor expansion of c in c
5.330 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
5.330 * [taylor]: Taking taylor expansion of (/ 1 c) in c
5.331 * [taylor]: Taking taylor expansion of c in c
5.334 * * * [progress]: simplifying candidates
5.334 * [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.336 * * [simplify]: iteration  0 :  46  enodes  (cost  185 )
5.343 * * [simplify]: iteration  1 :  102  enodes  (cost  176 )
5.362 * * [simplify]: iteration  2 :  231  enodes  (cost  158 )
5.419 * * [simplify]: iteration  3 :  504  enodes  (cost  157 )
5.717 * * [simplify]: iteration  4 :  1592  enodes  (cost  157 )
6.597 * * [simplify]: iteration  done :  5001  enodes  (cost  157 )
6.597 * [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.597 * * * [progress]: adding candidates to table
6.636 * [progress]: [Phase 3 of 3] Extracting.
6.636 * * [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.636 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
6.636 * * * * [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.660 * * * * [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.671 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.671 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
6.671 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
6.672 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
6.672 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
9.674 * [regime-testing]: Baseline error score: 0.006875859482435304
9.675 * [regime-testing]: Oracle error score: 0.006000750093761721
9.676 * [regime-testing]: End program error score: 0.006875859482435304