6.105 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.352 * * * [progress]: [2/2] Setting up program.
0.355 * [progress]: [Phase 2 of 3] Improving.
0.355 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.357 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.358 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.360 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.361 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.362 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.363 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.365 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.366 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.368 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.375 * * [simplify]: iteration  9 :  1125  enodes  (cost  3 )
0.575 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.577 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.577 * * [progress]: iteration 1 / 4
0.577 * * * [progress]: picking best candidate
0.579 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.579 * * * [progress]: localizing error
0.586 * * * [progress]: generating rewritten candidates
0.586 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.587 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.588 * * * [progress]: generating series expansions
0.588 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.588 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.588 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.589 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.590 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.590 * [taylor]: Taking taylor expansion of (cosh c) in c
0.594 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.594 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.594 * [taylor]: Taking taylor expansion of (exp c) in c
0.594 * [taylor]: Taking taylor expansion of c in c
0.594 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.594 * [taylor]: Taking taylor expansion of (- c) in c
0.594 * [taylor]: Taking taylor expansion of c in c
0.595 * [taylor]: Taking taylor expansion of 2 in c
0.596 * [taylor]: Taking taylor expansion of (cosh c) in c
0.596 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.596 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.596 * [taylor]: Taking taylor expansion of (exp c) in c
0.596 * [taylor]: Taking taylor expansion of c in c
0.596 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.596 * [taylor]: Taking taylor expansion of (- c) in c
0.596 * [taylor]: Taking taylor expansion of c in c
0.596 * [taylor]: Taking taylor expansion of 2 in c
0.614 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.614 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.615 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.615 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.615 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.616 * [taylor]: Taking taylor expansion of 2 in c
0.616 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.616 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.616 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.616 * [taylor]: Taking taylor expansion of c in c
0.616 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.616 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.616 * [taylor]: Taking taylor expansion of c in c
0.617 * [taylor]: Taking taylor expansion of 2 in c
0.628 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.628 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.628 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.628 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.628 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.628 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.628 * [taylor]: Taking taylor expansion of -1 in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.628 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.628 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.628 * [taylor]: Taking taylor expansion of -1 in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.629 * [taylor]: Taking taylor expansion of 2 in c
0.629 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.629 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.629 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.629 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.629 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.629 * [taylor]: Taking taylor expansion of -1 in c
0.629 * [taylor]: Taking taylor expansion of c in c
0.629 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.629 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.629 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.629 * [taylor]: Taking taylor expansion of -1 in c
0.629 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of 2 in c
0.640 * * * [progress]: simplifying candidates
0.641 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (exp c) (exp (- c)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (* 1/2 (+ (exp c) (exp (- c))))
  (* 1/2 (+ (exp (* -1 c)) (exp c)))
0.643 * * [simplify]: iteration  0 :  62  enodes  (cost  27 )
0.645 * * [simplify]: iteration  1 :  137  enodes  (cost  27 )
0.648 * * [simplify]: iteration  2 :  448  enodes  (cost  19 )
0.659 * * [simplify]: iteration  3 :  2194  enodes  (cost  17 )
0.727 * * [simplify]: iteration  4 :  5002  enodes  (cost  17 )
0.727 * [simplify]: Simplified to:
   (* (cosh c) 2)
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (cosh c)
  (cosh c)
0.728 * * * [progress]: adding candidates to table
0.734 * * [progress]: iteration 2 / 4
0.734 * * * [progress]: picking best candidate
0.737 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>
0.737 * * * [progress]: localizing error
0.750 * * * [progress]: generating rewritten candidates
0.750 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.751 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.752 * * * [progress]: generating series expansions
0.752 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.752 * [approximate]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in (c a) around 0
0.752 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
0.752 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
0.752 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
0.752 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
0.753 * [taylor]: Taking taylor expansion of 0 in a
0.753 * [taylor]: Taking taylor expansion of 0 in a
0.753 * [taylor]: Taking taylor expansion of 0 in a
0.753 * [approximate]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a))) in (c a) around 0
0.753 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a))) in a
0.753 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a))) in c
0.754 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a))) in c
0.754 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a))) in a
0.754 * [taylor]: Taking taylor expansion of 0 in a
0.754 * [taylor]: Taking taylor expansion of 0 in a
0.754 * [taylor]: Taking taylor expansion of 0 in a
0.755 * [approximate]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a))) in (c a) around 0
0.755 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a))) in a
0.755 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a))) in c
0.755 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a))) in c
0.755 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a))) in a
0.756 * [taylor]: Taking taylor expansion of 0 in a
0.756 * [taylor]: Taking taylor expansion of 0 in a
0.756 * [taylor]: Taking taylor expansion of 0 in a
0.756 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.756 * [approximate]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in (c) around 0
0.756 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
0.757 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
0.757 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
0.757 * [taylor]: Taking taylor expansion of 1/24 in c
0.757 * [taylor]: Taking taylor expansion of (pow c 4) in c
0.757 * [taylor]: Taking taylor expansion of c in c
0.757 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
0.757 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
0.757 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
0.757 * [taylor]: Taking taylor expansion of 1/2 in c
0.757 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.757 * [taylor]: Taking taylor expansion of c in c
0.757 * [taylor]: Taking taylor expansion of 1 in c
0.757 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
0.757 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
0.757 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
0.757 * [taylor]: Taking taylor expansion of 1/24 in c
0.757 * [taylor]: Taking taylor expansion of (pow c 4) in c
0.757 * [taylor]: Taking taylor expansion of c in c
0.757 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
0.757 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
0.757 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
0.757 * [taylor]: Taking taylor expansion of 1/2 in c
0.757 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.757 * [taylor]: Taking taylor expansion of c in c
0.757 * [taylor]: Taking taylor expansion of 1 in c
0.769 * [approximate]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in (c) around 0
0.769 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
0.769 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
0.769 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
0.769 * [taylor]: Taking taylor expansion of 1/24 in c
0.769 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
0.769 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.769 * [taylor]: Taking taylor expansion of c in c
0.769 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
0.769 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
0.769 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
0.769 * [taylor]: Taking taylor expansion of 1/2 in c
0.769 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
0.769 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.769 * [taylor]: Taking taylor expansion of c in c
0.770 * [taylor]: Taking taylor expansion of 1 in c
0.770 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
0.770 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
0.770 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
0.770 * [taylor]: Taking taylor expansion of 1/24 in c
0.770 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
0.770 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.770 * [taylor]: Taking taylor expansion of c in c
0.770 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
0.770 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
0.770 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
0.770 * [taylor]: Taking taylor expansion of 1/2 in c
0.770 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
0.770 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.770 * [taylor]: Taking taylor expansion of c in c
0.771 * [taylor]: Taking taylor expansion of 1 in c
0.786 * [approximate]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in (c) around 0
0.786 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
0.786 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
0.786 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
0.786 * [taylor]: Taking taylor expansion of 1/24 in c
0.786 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
0.786 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.786 * [taylor]: Taking taylor expansion of -1 in c
0.786 * [taylor]: Taking taylor expansion of c in c
0.786 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
0.787 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
0.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
0.787 * [taylor]: Taking taylor expansion of 1/2 in c
0.787 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
0.787 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.787 * [taylor]: Taking taylor expansion of -1 in c
0.787 * [taylor]: Taking taylor expansion of c in c
0.787 * [taylor]: Taking taylor expansion of 1 in c
0.787 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
0.787 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
0.787 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
0.787 * [taylor]: Taking taylor expansion of 1/24 in c
0.787 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
0.787 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.787 * [taylor]: Taking taylor expansion of -1 in c
0.787 * [taylor]: Taking taylor expansion of c in c
0.788 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
0.788 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
0.788 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
0.788 * [taylor]: Taking taylor expansion of 1/2 in c
0.788 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
0.788 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.788 * [taylor]: Taking taylor expansion of -1 in c
0.788 * [taylor]: Taking taylor expansion of c in c
0.788 * [taylor]: Taking taylor expansion of 1 in c
0.803 * * * [progress]: simplifying candidates
0.803 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1/24 (pow c 4))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
  (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1))
0.805 * * [simplify]: iteration  0 :  34  enodes  (cost  32 )
0.807 * * [simplify]: iteration  1 :  88  enodes  (cost  32 )
0.809 * * [simplify]: iteration  2 :  249  enodes  (cost  32 )
0.815 * * [simplify]: iteration  3 :  896  enodes  (cost  32 )
0.850 * * [simplify]: iteration  4 :  5001  enodes  (cost  32 )
0.850 * [simplify]: Simplified to:
   (* 1/24 (pow c 4))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
  (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))
0.850 * * * [progress]: adding candidates to table
0.855 * [progress]: [Phase 3 of 3] Extracting.
0.855 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.855 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
0.856 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.873 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.891 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.916 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.931 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>)
0.944 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.945 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
0.945 * * [simplify]: iteration  0 :  15  enodes  (cost  6 )
0.946 * * [simplify]: iteration  1 :  15  enodes  (cost  6 )
0.946 * [simplify]: Simplified to:
   (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
11.637 * [regime-testing]: Baseline error score: 34.87412579400675
11.638 * [regime-testing]: Oracle error score: 34.75237941983828
11.639 * [regime-testing]: End program error score: 34.87412579400675