0.853 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.339 * * * [progress]: [2/2] Setting up program.
0.342 * [progress]: [Phase 2 of 3] Improving.
0.345 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.347 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.350 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.353 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.358 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
0.369 * * [simplify]: iteration  4 :  143  enodes  (cost  8 )
0.406 * * [simplify]: iteration  5 :  365  enodes  (cost  8 )
0.541 * * [simplify]: iteration  6 :  1436  enodes  (cost  8 )
1.480 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
1.480 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
1.482 * * [progress]: iteration 1 / 4
1.482 * * * [progress]: picking best candidate
1.484 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
1.484 * * * [progress]: localizing error
1.494 * * * [progress]: generating rewritten candidates
1.494 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
1.497 * * * [progress]: generating series expansions
1.497 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
1.500 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
1.500 * [taylor]: Taking taylor expansion of (sinh c) in c
1.502 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.502 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.502 * [taylor]: Taking taylor expansion of (exp c) in c
1.502 * [taylor]: Taking taylor expansion of c in c
1.502 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.502 * [taylor]: Taking taylor expansion of (- c) in c
1.502 * [taylor]: Taking taylor expansion of c in c
1.503 * [taylor]: Taking taylor expansion of 2 in c
1.507 * [taylor]: Taking taylor expansion of (sinh c) in c
1.507 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.507 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.507 * [taylor]: Taking taylor expansion of (exp c) in c
1.507 * [taylor]: Taking taylor expansion of c in c
1.507 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.507 * [taylor]: Taking taylor expansion of (- c) in c
1.507 * [taylor]: Taking taylor expansion of c in c
1.507 * [taylor]: Taking taylor expansion of 2 in c
1.545 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
1.545 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.545 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.545 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.545 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.545 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.545 * [taylor]: Taking taylor expansion of c in c
1.546 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.546 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.546 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.546 * [taylor]: Taking taylor expansion of c in c
1.546 * [taylor]: Taking taylor expansion of 2 in c
1.547 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.547 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.547 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.547 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.547 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.547 * [taylor]: Taking taylor expansion of c in c
1.547 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.547 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.547 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.547 * [taylor]: Taking taylor expansion of c in c
1.548 * [taylor]: Taking taylor expansion of 2 in c
1.559 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
1.559 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.559 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.559 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.559 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.560 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.560 * [taylor]: Taking taylor expansion of -1 in c
1.560 * [taylor]: Taking taylor expansion of c in c
1.560 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.560 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.560 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.560 * [taylor]: Taking taylor expansion of -1 in c
1.560 * [taylor]: Taking taylor expansion of c in c
1.560 * [taylor]: Taking taylor expansion of 2 in c
1.561 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.561 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.561 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.561 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.561 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.561 * [taylor]: Taking taylor expansion of -1 in c
1.561 * [taylor]: Taking taylor expansion of c in c
1.561 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.561 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.561 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.561 * [taylor]: Taking taylor expansion of -1 in c
1.561 * [taylor]: Taking taylor expansion of c in c
1.562 * [taylor]: Taking taylor expansion of 2 in c
1.573 * * * [progress]: simplifying candidates
1.574 * [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))))
1.575 * * [simplify]: iteration  0 :  30  enodes  (cost  66 )
1.580 * * [simplify]: iteration  1 :  61  enodes  (cost  65 )
1.591 * * [simplify]: iteration  2 :  128  enodes  (cost  61 )
1.621 * * [simplify]: iteration  3 :  290  enodes  (cost  61 )
1.691 * * [simplify]: iteration  4 :  724  enodes  (cost  61 )
1.983 * * [simplify]: iteration  5 :  3491  enodes  (cost  61 )
3.235 * * [simplify]: iteration  done :  5000  enodes  (cost  61 )
3.236 * [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))))
3.236 * * * [progress]: adding candidates to table
3.270 * * [progress]: iteration 2 / 4
3.270 * * * [progress]: picking best candidate
3.275 * * * * [pick]: Picked  #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))>
3.275 * * * [progress]: localizing error
3.290 * * * [progress]: generating rewritten candidates
3.290 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.297 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1)
3.303 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.316 * * * [progress]: generating series expansions
3.316 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.316 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0
3.316 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
3.316 * [taylor]: Taking taylor expansion of 1/6 in c
3.316 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.316 * [taylor]: Taking taylor expansion of c in c
3.316 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
3.316 * [taylor]: Taking taylor expansion of 1/6 in c
3.316 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.316 * [taylor]: Taking taylor expansion of c in c
3.328 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0
3.328 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
3.328 * [taylor]: Taking taylor expansion of 1/6 in c
3.328 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.328 * [taylor]: Taking taylor expansion of c in c
3.329 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
3.329 * [taylor]: Taking taylor expansion of 1/6 in c
3.329 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.329 * [taylor]: Taking taylor expansion of c in c
3.344 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0
3.344 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
3.344 * [taylor]: Taking taylor expansion of -1/6 in c
3.344 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.344 * [taylor]: Taking taylor expansion of c in c
3.345 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
3.345 * [taylor]: Taking taylor expansion of -1/6 in c
3.345 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.345 * [taylor]: Taking taylor expansion of c in c
3.356 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1)
3.356 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0
3.356 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
3.356 * [taylor]: Taking taylor expansion of 1/120 in c
3.356 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.356 * [taylor]: Taking taylor expansion of c in c
3.356 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
3.356 * [taylor]: Taking taylor expansion of 1/120 in c
3.356 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.356 * [taylor]: Taking taylor expansion of c in c
3.371 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0
3.371 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
3.371 * [taylor]: Taking taylor expansion of 1/120 in c
3.371 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.371 * [taylor]: Taking taylor expansion of c in c
3.372 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
3.372 * [taylor]: Taking taylor expansion of 1/120 in c
3.372 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.372 * [taylor]: Taking taylor expansion of c in c
3.387 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0
3.387 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
3.387 * [taylor]: Taking taylor expansion of -1/120 in c
3.387 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.387 * [taylor]: Taking taylor expansion of c in c
3.388 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
3.388 * [taylor]: Taking taylor expansion of -1/120 in c
3.388 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.388 * [taylor]: Taking taylor expansion of c in c
3.402 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.402 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0
3.403 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
3.403 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
3.403 * [taylor]: Taking taylor expansion of 1/6 in c
3.403 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.403 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
3.403 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
3.403 * [taylor]: Taking taylor expansion of 1/120 in c
3.403 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.403 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
3.403 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
3.403 * [taylor]: Taking taylor expansion of 1/6 in c
3.403 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.403 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
3.403 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
3.403 * [taylor]: Taking taylor expansion of 1/120 in c
3.403 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.403 * [taylor]: Taking taylor expansion of c in c
3.415 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in (c) around 0
3.415 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
3.416 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
3.416 * [taylor]: Taking taylor expansion of 1/120 in c
3.416 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
3.416 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.416 * [taylor]: Taking taylor expansion of c in c
3.417 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
3.417 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
3.417 * [taylor]: Taking taylor expansion of 1/6 in c
3.417 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
3.417 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.417 * [taylor]: Taking taylor expansion of c in c
3.417 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.417 * [taylor]: Taking taylor expansion of c in c
3.418 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
3.418 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
3.418 * [taylor]: Taking taylor expansion of 1/120 in c
3.418 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
3.418 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.418 * [taylor]: Taking taylor expansion of c in c
3.419 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
3.419 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
3.419 * [taylor]: Taking taylor expansion of 1/6 in c
3.419 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
3.419 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.419 * [taylor]: Taking taylor expansion of c in c
3.419 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.419 * [taylor]: Taking taylor expansion of c in c
3.436 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in (c) around 0
3.436 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c
3.436 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
3.436 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
3.436 * [taylor]: Taking taylor expansion of 1/120 in c
3.436 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
3.436 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.436 * [taylor]: Taking taylor expansion of c in c
3.437 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
3.437 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
3.437 * [taylor]: Taking taylor expansion of 1/6 in c
3.437 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
3.437 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.437 * [taylor]: Taking taylor expansion of c in c
3.438 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.438 * [taylor]: Taking taylor expansion of c in c
3.438 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c
3.438 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
3.438 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
3.438 * [taylor]: Taking taylor expansion of 1/120 in c
3.438 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
3.438 * [taylor]: Taking taylor expansion of (pow c 5) in c
3.438 * [taylor]: Taking taylor expansion of c in c
3.439 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
3.439 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
3.439 * [taylor]: Taking taylor expansion of 1/6 in c
3.439 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
3.439 * [taylor]: Taking taylor expansion of (pow c 3) in c
3.439 * [taylor]: Taking taylor expansion of c in c
3.440 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.440 * [taylor]: Taking taylor expansion of c in c
3.457 * * * [progress]: simplifying candidates
3.458 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (log 1/6) (* (log c) 3))
  (+ (log 1/6) (* (log c) 3))
  (+ (log 1/6) (log (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (exp (* 1/6 (pow c 3)))
  (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3)))
  (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3))))
  (cbrt (* 1/6 (pow c 3)))
  (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (pow c (/ 3 2)))
  (* (sqrt 1/6) (pow c (/ 3 2)))
  (* 1/6 (pow (* (cbrt c) (cbrt c)) 3))
  (* 1/6 (pow (sqrt c) 3))
  (* 1/6 (pow 1 3))
  (* 1/6 (* c c))
  (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3))))
  (* 1/6 (pow (* (cbrt c) (cbrt c)) 3))
  (* 1/6 (pow (sqrt c) 3))
  (* 1/6 (pow 1 3))
  (* 1/6 c)
  (* 1/6 (sqrt (pow c 3)))
  (* 1/6 1)
  (* 1/6 (pow c (/ 3 2)))
  (* (cbrt 1/6) (pow c 3))
  (* (sqrt 1/6) (pow c 3))
  (* 1/6 (pow c 3))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (log (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (exp (* 1/120 (pow c 5)))
  (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5)))
  (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5))))
  (cbrt (* 1/120 (pow c 5)))
  (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* 1/120 (pow (* (cbrt c) (cbrt c)) 5))
  (* 1/120 (pow (sqrt c) 5))
  (* 1/120 (pow 1 5))
  (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5))))
  (* 1/120 (sqrt (pow c 5)))
  (* 1/120 1)
  (* 1/120 (pow c (/ 5 2)))
  (* (cbrt 1/120) (pow c 5))
  (* (sqrt 1/120) (pow c 5))
  (* 1/120 (pow c 5))
  (* (exp (* 1/6 (pow c 3))) (* (exp (* 1/120 (pow c 5))) (exp c)))
  (* (exp (* 1/6 (pow c 3))) (exp (+ (* 1/120 (pow c 5)) c)))
  (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (* (* (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3))
  (+ (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (- (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (* (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (- (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)))
  (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5)))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
3.461 * * [simplify]: iteration  0 :  120  enodes  (cost  803 )
3.492 * * [simplify]: iteration  1 :  315  enodes  (cost  708 )
3.579 * * [simplify]: iteration  2 :  1185  enodes  (cost  666 )
4.044 * * [simplify]: iteration  done :  5000  enodes  (cost  666 )
4.045 * [simplify]: Simplified to:
   (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (exp (* 1/6 (pow c 3)))
  (* 1/216 (pow (pow c 3) 3))
  (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3))))
  (cbrt (* 1/6 (pow c 3)))
  (* 1/216 (pow (pow c 3) 3))
  (sqrt (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (pow c 3/2))
  (* (sqrt 1/6) (pow c 3/2))
  (* (* 1/6 c) c)
  (* 1/6 (pow (sqrt c) 3))
  1/6
  (* (* 1/6 c) c)
  (* (* 1/6 c) c)
  (* (* 1/6 c) c)
  (* 1/6 (pow (sqrt c) 3))
  1/6
  (* 1/6 c)
  (* 1/6 (sqrt (pow c 3)))
  1/6
  (* 1/6 (pow c 3/2))
  (* (cbrt 1/6) (pow c 3))
  (* (sqrt 1/6) (pow c 3))
  (* 1/6 (pow c 3))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (exp (* 1/120 (pow c 5)))
  (pow (* 1/120 (pow c 5)) 3)
  (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5))))
  (cbrt (* 1/120 (pow c 5)))
  (pow (* 1/120 (pow c 5)) 3)
  (sqrt (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (pow c 5/2))
  (* (sqrt 1/120) (pow c 5/2))
  (* 1/120 (pow (* (cbrt c) (cbrt c)) 5))
  (* 1/120 (pow (sqrt c) 5))
  1/120
  (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5))))
  (* 1/120 (sqrt (pow c 5)))
  1/120
  (* (pow c 5/2) 1/120)
  (* (cbrt 1/120) (pow c 5))
  (* (sqrt 1/120) (pow c 5))
  (* 1/120 (pow c 5))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (pow (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3)
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3))
  (+ (* (+ (* 1/120 (pow c 5)) c) (- (+ (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)))) (* 1/36 (pow c 6)))
  (- (* 1/36 (pow c 6)) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)))
  (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5)))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
4.045 * * * [progress]: adding candidates to table
4.245 * * [progress]: iteration 3 / 4
4.245 * * * [progress]: picking best candidate
4.248 * * * * [pick]: Picked  #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
4.248 * * * [progress]: localizing error
4.257 * * * [progress]: generating rewritten candidates
4.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.266 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
4.267 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.267 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
4.270 * * * [progress]: generating series expansions
4.270 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.271 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.271 * [taylor]: Taking taylor expansion of (sinh c) in c
4.271 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.271 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.271 * [taylor]: Taking taylor expansion of (exp c) in c
4.271 * [taylor]: Taking taylor expansion of c in c
4.271 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.271 * [taylor]: Taking taylor expansion of (- c) in c
4.271 * [taylor]: Taking taylor expansion of c in c
4.271 * [taylor]: Taking taylor expansion of 2 in c
4.274 * [taylor]: Taking taylor expansion of (sinh c) in c
4.274 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.274 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.274 * [taylor]: Taking taylor expansion of (exp c) in c
4.274 * [taylor]: Taking taylor expansion of c in c
4.274 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.274 * [taylor]: Taking taylor expansion of (- c) in c
4.274 * [taylor]: Taking taylor expansion of c in c
4.275 * [taylor]: Taking taylor expansion of 2 in c
4.306 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.306 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.306 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.306 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.306 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.306 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.306 * [taylor]: Taking taylor expansion of c in c
4.306 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.306 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.306 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.306 * [taylor]: Taking taylor expansion of c in c
4.307 * [taylor]: Taking taylor expansion of 2 in c
4.307 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.307 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.307 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.307 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.307 * [taylor]: Taking taylor expansion of c in c
4.307 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.307 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.307 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.308 * [taylor]: Taking taylor expansion of c in c
4.308 * [taylor]: Taking taylor expansion of 2 in c
4.320 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.320 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.320 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.320 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.320 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.320 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.320 * [taylor]: Taking taylor expansion of -1 in c
4.320 * [taylor]: Taking taylor expansion of c in c
4.320 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.320 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.320 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.320 * [taylor]: Taking taylor expansion of -1 in c
4.320 * [taylor]: Taking taylor expansion of c in c
4.321 * [taylor]: Taking taylor expansion of 2 in c
4.321 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.321 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.321 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.321 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.321 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.321 * [taylor]: Taking taylor expansion of -1 in c
4.321 * [taylor]: Taking taylor expansion of c in c
4.321 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.321 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.321 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.321 * [taylor]: Taking taylor expansion of -1 in c
4.321 * [taylor]: Taking taylor expansion of c in c
4.322 * [taylor]: Taking taylor expansion of 2 in c
4.333 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
4.333 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.333 * [taylor]: Taking taylor expansion of (sinh c) in c
4.333 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.333 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.333 * [taylor]: Taking taylor expansion of (exp c) in c
4.333 * [taylor]: Taking taylor expansion of c in c
4.333 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.333 * [taylor]: Taking taylor expansion of (- c) in c
4.334 * [taylor]: Taking taylor expansion of c in c
4.334 * [taylor]: Taking taylor expansion of 2 in c
4.336 * [taylor]: Taking taylor expansion of (sinh c) in c
4.337 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.337 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.337 * [taylor]: Taking taylor expansion of (exp c) in c
4.337 * [taylor]: Taking taylor expansion of c in c
4.337 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.337 * [taylor]: Taking taylor expansion of (- c) in c
4.337 * [taylor]: Taking taylor expansion of c in c
4.337 * [taylor]: Taking taylor expansion of 2 in c
4.363 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.363 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.363 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.363 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.363 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.363 * [taylor]: Taking taylor expansion of c in c
4.369 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.369 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.369 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.369 * [taylor]: Taking taylor expansion of c in c
4.369 * [taylor]: Taking taylor expansion of 2 in c
4.370 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.370 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.370 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.370 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.370 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.370 * [taylor]: Taking taylor expansion of c in c
4.370 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.370 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.370 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.370 * [taylor]: Taking taylor expansion of c in c
4.371 * [taylor]: Taking taylor expansion of 2 in c
4.382 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.382 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.382 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.382 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.382 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.382 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.382 * [taylor]: Taking taylor expansion of -1 in c
4.382 * [taylor]: Taking taylor expansion of c in c
4.383 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.383 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.383 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.383 * [taylor]: Taking taylor expansion of -1 in c
4.383 * [taylor]: Taking taylor expansion of c in c
4.383 * [taylor]: Taking taylor expansion of 2 in c
4.383 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.384 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.384 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.384 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.384 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.384 * [taylor]: Taking taylor expansion of -1 in c
4.384 * [taylor]: Taking taylor expansion of c in c
4.384 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.384 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.384 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.384 * [taylor]: Taking taylor expansion of -1 in c
4.384 * [taylor]: Taking taylor expansion of c in c
4.385 * [taylor]: Taking taylor expansion of 2 in c
4.396 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.396 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.396 * [taylor]: Taking taylor expansion of (sinh c) in c
4.396 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.396 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.396 * [taylor]: Taking taylor expansion of (exp c) in c
4.396 * [taylor]: Taking taylor expansion of c in c
4.396 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.396 * [taylor]: Taking taylor expansion of (- c) in c
4.396 * [taylor]: Taking taylor expansion of c in c
4.397 * [taylor]: Taking taylor expansion of 2 in c
4.399 * [taylor]: Taking taylor expansion of (sinh c) in c
4.399 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.399 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.399 * [taylor]: Taking taylor expansion of (exp c) in c
4.399 * [taylor]: Taking taylor expansion of c in c
4.399 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.399 * [taylor]: Taking taylor expansion of (- c) in c
4.399 * [taylor]: Taking taylor expansion of c in c
4.400 * [taylor]: Taking taylor expansion of 2 in c
4.426 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.426 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.426 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.426 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.426 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.426 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.426 * [taylor]: Taking taylor expansion of c in c
4.426 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.426 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.426 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.426 * [taylor]: Taking taylor expansion of c in c
4.427 * [taylor]: Taking taylor expansion of 2 in c
4.427 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.427 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.427 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.427 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.427 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.427 * [taylor]: Taking taylor expansion of c in c
4.427 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.427 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.427 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.427 * [taylor]: Taking taylor expansion of c in c
4.428 * [taylor]: Taking taylor expansion of 2 in c
4.439 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.439 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.440 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.440 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.440 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.440 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.440 * [taylor]: Taking taylor expansion of -1 in c
4.440 * [taylor]: Taking taylor expansion of c in c
4.440 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.440 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.440 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.440 * [taylor]: Taking taylor expansion of -1 in c
4.440 * [taylor]: Taking taylor expansion of c in c
4.441 * [taylor]: Taking taylor expansion of 2 in c
4.441 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.441 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.441 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.441 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.441 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.441 * [taylor]: Taking taylor expansion of -1 in c
4.441 * [taylor]: Taking taylor expansion of c in c
4.441 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.441 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.441 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.441 * [taylor]: Taking taylor expansion of -1 in c
4.441 * [taylor]: Taking taylor expansion of c in c
4.442 * [taylor]: Taking taylor expansion of 2 in c
4.457 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
4.457 * [approximate]: Taking taylor expansion of (sqrt (sinh c)) in (c) around 0
4.457 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
4.457 * [taylor]: Taking taylor expansion of (sinh c) in c
4.458 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.458 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.458 * [taylor]: Taking taylor expansion of (exp c) in c
4.458 * [taylor]: Taking taylor expansion of c in c
4.458 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.458 * [taylor]: Taking taylor expansion of (- c) in c
4.458 * [taylor]: Taking taylor expansion of c in c
4.458 * [taylor]: Taking taylor expansion of 2 in c
4.462 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
4.462 * [taylor]: Taking taylor expansion of (sinh c) in c
4.462 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.462 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.462 * [taylor]: Taking taylor expansion of (exp c) in c
4.462 * [taylor]: Taking taylor expansion of c in c
4.462 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.462 * [taylor]: Taking taylor expansion of (- c) in c
4.462 * [taylor]: Taking taylor expansion of c in c
4.463 * [taylor]: Taking taylor expansion of 2 in c
4.478 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in (c) around 0
4.478 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
4.479 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.479 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.479 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.479 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.479 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.479 * [taylor]: Taking taylor expansion of c in c
4.479 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.479 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.479 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.479 * [taylor]: Taking taylor expansion of c in c
4.480 * [taylor]: Taking taylor expansion of 2 in c
4.481 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
4.481 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.481 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.481 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.481 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.481 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.481 * [taylor]: Taking taylor expansion of c in c
4.482 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.482 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.482 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.482 * [taylor]: Taking taylor expansion of c in c
4.482 * [taylor]: Taking taylor expansion of 2 in c
4.499 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in (c) around 0
4.499 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
4.499 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.499 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.499 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.499 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.499 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.499 * [taylor]: Taking taylor expansion of -1 in c
4.499 * [taylor]: Taking taylor expansion of c in c
4.499 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.499 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.499 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.499 * [taylor]: Taking taylor expansion of -1 in c
4.499 * [taylor]: Taking taylor expansion of c in c
4.500 * [taylor]: Taking taylor expansion of 2 in c
4.501 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
4.501 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.501 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.501 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.501 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.501 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.501 * [taylor]: Taking taylor expansion of -1 in c
4.501 * [taylor]: Taking taylor expansion of c in c
4.502 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.502 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.502 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.502 * [taylor]: Taking taylor expansion of -1 in c
4.502 * [taylor]: Taking taylor expansion of c in c
4.502 * [taylor]: Taking taylor expansion of 2 in c
4.518 * * * [progress]: simplifying candidates
4.520 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (sinh c) (sinh c))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sinh c) (sinh c))
  (+ 1 1)
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (log (* (sqrt (sinh c)) (sqrt (sinh c))))
  (exp (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))))
  (* (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))))
  (cbrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (sinh c) (sinh c))
  (sqrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (sqrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c)))))
  (* (sqrt 2) (sqrt 2))
  (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* 1 1)
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (* (sqrt (sinh c)) (sqrt 1))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (* (sqrt (sinh c)) 1)
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (cbrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c)))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c)))
  (- (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))
  (- (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))
  (log (sqrt (sinh c)))
  (exp (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))
  (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))
  (sqrt (cbrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt 1)
  (sqrt (sinh c))
  (sqrt (- (exp c) (exp (- c))))
  (sqrt 2)
  (/ 1 2)
  (sqrt (sqrt (sinh c)))
  (sqrt (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))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 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))))
  (- (+ (* +nan.0 (pow c 3)) (- (+ (* +nan.0 (pow c 2)) (- (* +nan.0 c))))))
  (* (sqrt 1/2) (sqrt (- (exp c) (exp (- c)))))
  (* (sqrt (- (exp c) (exp (* -1 c)))) (sqrt 1/2))
4.523 * * [simplify]: iteration  0 :  94  enodes  (cost  809 )
4.546 * * [simplify]: iteration  1 :  176  enodes  (cost  529 )
4.596 * * [simplify]: iteration  2 :  618  enodes  (cost  492 )
5.011 * * [simplify]: iteration  done :  5002  enodes  (cost  435 )
5.011 * [simplify]: Simplified to:
   1
  1
  2
  1
  1
  (* (sinh c) (sinh c))
  (sinh c)
  (* (sinh c) (sinh c))
  2
  (log (sinh c))
  (log (sinh c))
  (exp (sinh c))
  (pow (sinh c) 3)
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (* (sinh c) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (* 2 (sinh c))
  2
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  2
  1
  (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (fabs (cbrt (sinh c))) (sqrt (sinh c)))
  (pow (sqrt (sqrt (sinh c))) 3)
  (sqrt (sinh c))
  (pow (sqrt (sqrt (sinh c))) 3)
  (sqrt (sinh c))
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (cbrt (sinh c))) (sqrt (sinh c)))
  (pow (sqrt (sqrt (sinh c))) 3)
  (sinh c)
  (pow (sqrt (sqrt (sinh c))) 3)
  (sinh c)
  (* (sqrt (sinh c)) (sqrt (* 2 (sinh c))))
  (* (sqrt (sinh c)) (sqrt (* 2 (sinh c))))
  (* 2 (sinh 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))
  (* 2 (sinh 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))
  (log (sqrt (sinh c)))
  (exp (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (pow (sqrt (sinh c)) 3)
  (fabs (cbrt (sinh c)))
  (sqrt (cbrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  1
  (sqrt (sinh c))
  (sqrt (* 2 (sinh c)))
  (sqrt 2)
  1/2
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (sinh c)
  (sinh c)
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (sinh c)
  (sinh c)
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (sinh c)
  (sinh c)
  (* +nan.0 (+ (- (pow c 3)) (- (pow c 2) c)))
  (* (sqrt 1/2) (sqrt (* 2 (sinh c))))
  (* (sqrt 1/2) (sqrt (* 2 (sinh c))))
5.012 * * * [progress]: adding candidates to table
5.190 * [progress]: [Phase 3 of 3] Extracting.
5.190 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
5.191 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
5.192 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
5.223 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
5.237 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
5.238 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
5.238 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
5.238 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
5.239 * [simplify]: Simplified to:
   (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
8.389 * [regime-testing]: Baseline error score: 0.007125890736342043
8.390 * [regime-testing]: Oracle error score: 0.0023752969121140144
8.391 * [regime-testing]: End program error score: 0.007125890736342043