9.856 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.341 * * * [progress]: [2/2] Setting up program.
0.343 * [progress]: [Phase 2 of 3] Improving.
0.344 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.350 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.351 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.352 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.353 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.355 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.356 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.357 * * [simplify]: iteration  6 :  44  enodes  (cost  3 )
0.359 * * [simplify]: iteration  7 :  69  enodes  (cost  3 )
0.361 * * [simplify]: iteration  8 :  169  enodes  (cost  3 )
0.368 * * [simplify]: iteration  9 :  1127  enodes  (cost  3 )
0.570 * * [simplify]: iteration  10 :  5002  enodes  (cost  3 )
0.572 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.572 * * [progress]: iteration 1 / 4
0.572 * * * [progress]: picking best candidate
0.574 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.574 * * * [progress]: localizing error
0.581 * * * [progress]: generating rewritten candidates
0.581 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.581 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.583 * * * [progress]: generating series expansions
0.583 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.583 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.583 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.583 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.583 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.583 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [taylor]: Taking taylor expansion of 0 in a
0.584 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.585 * [taylor]: Taking taylor expansion of 0 in a
0.585 * [taylor]: Taking taylor expansion of 0 in a
0.585 * [taylor]: Taking taylor expansion of 0 in a
0.585 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.585 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0
0.585 * [taylor]: Taking taylor expansion of (cosh c) in c
0.586 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.586 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.586 * [taylor]: Taking taylor expansion of (exp c) in c
0.586 * [taylor]: Taking taylor expansion of c in c
0.586 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.586 * [taylor]: Taking taylor expansion of (- c) in c
0.586 * [taylor]: Taking taylor expansion of c in c
0.586 * [taylor]: Taking taylor expansion of 2 in c
0.587 * [taylor]: Taking taylor expansion of (cosh c) in c
0.587 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
0.587 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c
0.587 * [taylor]: Taking taylor expansion of (exp c) in c
0.587 * [taylor]: Taking taylor expansion of c in c
0.587 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.587 * [taylor]: Taking taylor expansion of (- c) in c
0.587 * [taylor]: Taking taylor expansion of c in c
0.588 * [taylor]: Taking taylor expansion of 2 in c
0.604 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
0.604 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.604 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.604 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.604 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.604 * [taylor]: Taking taylor expansion of c in c
0.605 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.605 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.605 * [taylor]: Taking taylor expansion of c in c
0.605 * [taylor]: Taking taylor expansion of 2 in c
0.605 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c
0.606 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.606 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.606 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.606 * [taylor]: Taking taylor expansion of c in c
0.606 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.606 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.606 * [taylor]: Taking taylor expansion of c in c
0.606 * [taylor]: Taking taylor expansion of 2 in c
0.616 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
0.617 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.617 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.617 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.617 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.617 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.617 * [taylor]: Taking taylor expansion of -1 in c
0.617 * [taylor]: Taking taylor expansion of c in c
0.617 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.617 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.617 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.617 * [taylor]: Taking taylor expansion of -1 in c
0.617 * [taylor]: Taking taylor expansion of c in c
0.618 * [taylor]: Taking taylor expansion of 2 in c
0.618 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c
0.618 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.618 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.618 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.618 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.618 * [taylor]: Taking taylor expansion of -1 in c
0.618 * [taylor]: Taking taylor expansion of c in c
0.618 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.618 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.618 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.618 * [taylor]: Taking taylor expansion of -1 in c
0.618 * [taylor]: Taking taylor expansion of c in c
0.619 * [taylor]: Taking taylor expansion of 2 in c
0.629 * * * [progress]: simplifying candidates
0.629 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (cosh c))
  (log1p (cosh c))
  (+ (exp c) (exp (- c)))
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (* (* (cosh c) (cosh c)) (cosh c))
  (sqrt (cosh c))
  (sqrt (cosh 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.632 * * [simplify]: iteration  0 :  82  enodes  (cost  99 )
0.635 * * [simplify]: iteration  1 :  173  enodes  (cost  89 )
0.640 * * [simplify]: iteration  2 :  590  enodes  (cost  81 )
0.664 * * [simplify]: iteration  3 :  3626  enodes  (cost  79 )
0.776 * * [simplify]: iteration  4 :  5001  enodes  (cost  79 )
0.777 * [simplify]: Simplified to:
   (expm1 (fmod (cosh c) (log1p a)))
  (log1p (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
  (cbrt (fmod (cosh c) (log1p a)))
  (pow (fmod (cosh c) (log1p a)) 3)
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (expm1 (cosh c))
  (log1p (cosh c))
  (* (cosh c) 2)
  (log (cosh c))
  (exp (cosh c))
  (* (cbrt (cosh c)) (cbrt (cosh c)))
  (cbrt (cosh c))
  (pow (cosh c) 3)
  (sqrt (cosh c))
  (sqrt (cosh c))
  (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.777 * * * [progress]: adding candidates to table
0.836 * * [progress]: iteration 2 / 4
0.836 * * * [progress]: picking best candidate
0.853 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))>
0.853 * * * [progress]: localizing error
0.870 * * * [progress]: generating rewritten candidates
0.870 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.870 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.871 * * * [progress]: generating series expansions
0.871 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.872 * [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.872 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
0.872 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
0.872 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
0.872 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [taylor]: Taking taylor expansion of 0 in a
0.873 * [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.873 * [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.873 * [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.873 * [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.874 * [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.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [taylor]: Taking taylor expansion of 0 in a
0.874 * [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.875 * [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.875 * [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.875 * [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.875 * [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.876 * [taylor]: Taking taylor expansion of 0 in a
0.876 * [taylor]: Taking taylor expansion of 0 in a
0.876 * [taylor]: Taking taylor expansion of 0 in a
0.876 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.876 * [approximate]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in (c) around 0
0.876 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
0.876 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
0.876 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
0.876 * [taylor]: Taking taylor expansion of 1/24 in c
0.876 * [taylor]: Taking taylor expansion of (pow c 4) in c
0.876 * [taylor]: Taking taylor expansion of c in c
0.876 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
0.876 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
0.877 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
0.877 * [taylor]: Taking taylor expansion of 1/2 in c
0.877 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.877 * [taylor]: Taking taylor expansion of c in c
0.877 * [taylor]: Taking taylor expansion of 1 in c
0.877 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
0.877 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
0.877 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
0.877 * [taylor]: Taking taylor expansion of 1/24 in c
0.877 * [taylor]: Taking taylor expansion of (pow c 4) in c
0.877 * [taylor]: Taking taylor expansion of c in c
0.877 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
0.877 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
0.877 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
0.877 * [taylor]: Taking taylor expansion of 1/2 in c
0.877 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.877 * [taylor]: Taking taylor expansion of c in c
0.877 * [taylor]: Taking taylor expansion of 1 in c
0.883 * [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.883 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
0.883 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
0.883 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
0.883 * [taylor]: Taking taylor expansion of 1/24 in c
0.883 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
0.883 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.883 * [taylor]: Taking taylor expansion of c in c
0.883 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
0.884 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
0.884 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
0.884 * [taylor]: Taking taylor expansion of 1/2 in c
0.884 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
0.884 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.884 * [taylor]: Taking taylor expansion of c in c
0.884 * [taylor]: Taking taylor expansion of 1 in c
0.884 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
0.884 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
0.884 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
0.884 * [taylor]: Taking taylor expansion of 1/24 in c
0.884 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
0.884 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.884 * [taylor]: Taking taylor expansion of c in c
0.884 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
0.884 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
0.885 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
0.885 * [taylor]: Taking taylor expansion of 1/2 in c
0.885 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
0.885 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.885 * [taylor]: Taking taylor expansion of c in c
0.885 * [taylor]: Taking taylor expansion of 1 in c
0.899 * [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.899 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
0.899 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
0.899 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
0.899 * [taylor]: Taking taylor expansion of 1/24 in c
0.899 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
0.899 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.899 * [taylor]: Taking taylor expansion of -1 in c
0.899 * [taylor]: Taking taylor expansion of c in c
0.900 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
0.900 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
0.900 * [taylor]: Taking taylor expansion of 1/2 in c
0.900 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
0.900 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.900 * [taylor]: Taking taylor expansion of -1 in c
0.900 * [taylor]: Taking taylor expansion of c in c
0.900 * [taylor]: Taking taylor expansion of 1 in c
0.900 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
0.900 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
0.900 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
0.900 * [taylor]: Taking taylor expansion of 1/24 in c
0.900 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
0.900 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.900 * [taylor]: Taking taylor expansion of -1 in c
0.900 * [taylor]: Taking taylor expansion of c in c
0.901 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
0.901 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
0.901 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
0.901 * [taylor]: Taking taylor expansion of 1/2 in c
0.901 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
0.901 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.901 * [taylor]: Taking taylor expansion of -1 in c
0.901 * [taylor]: Taking taylor expansion of c in c
0.901 * [taylor]: Taking taylor expansion of 1 in c
0.915 * * * [progress]: simplifying candidates
0.915 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (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))) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* 1/24 (pow c 4))
  (log (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (exp (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))))
  (cbrt (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))) (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (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.919 * * [simplify]: iteration  0 :  54  enodes  (cost  176 )
0.920 * * [simplify]: iteration  1 :  151  enodes  (cost  154 )
0.924 * * [simplify]: iteration  2 :  683  enodes  (cost  154 )
0.944 * * [simplify]: iteration  3 :  5002  enodes  (cost  154 )
0.945 * [simplify]: Simplified to:
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3)
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* 1/24 (pow c 4))
  (log (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (exp (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))))
  (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (pow (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) 3)
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (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.945 * * * [progress]: adding candidates to table
1.020 * * [progress]: iteration 3 / 4
1.021 * * * [progress]: picking best candidate
1.043 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))>
1.043 * * * [progress]: localizing error
1.058 * * * [progress]: generating rewritten candidates
1.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.059 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.060 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.062 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.064 * * * [progress]: generating series expansions
1.064 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.064 * [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
1.064 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.064 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.064 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.064 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [taylor]: Taking taylor expansion of 0 in a
1.065 * [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
1.065 * [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
1.065 * [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
1.066 * [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
1.066 * [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
1.066 * [taylor]: Taking taylor expansion of 0 in a
1.066 * [taylor]: Taking taylor expansion of 0 in a
1.066 * [taylor]: Taking taylor expansion of 0 in a
1.067 * [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
1.067 * [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
1.067 * [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
1.067 * [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
1.067 * [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
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.068 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.068 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in (c a) around 0
1.068 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.068 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.069 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.069 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.069 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.069 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.069 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.069 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.071 * [taylor]: Taking taylor expansion of 0 in a
1.073 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.076 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in (c a) around 0
1.076 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.077 * [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
1.077 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.077 * [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
1.077 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.077 * [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
1.078 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.078 * [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
1.079 * [taylor]: Taking taylor expansion of 0 in a
1.081 * [taylor]: Taking taylor expansion of 0 in a
1.085 * [taylor]: Taking taylor expansion of 0 in a
1.085 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in (c a) around 0
1.085 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.085 * [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
1.086 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.086 * [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
1.086 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.086 * [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
1.086 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.086 * [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
1.088 * [taylor]: Taking taylor expansion of 0 in a
1.090 * [taylor]: Taking taylor expansion of 0 in a
1.093 * [taylor]: Taking taylor expansion of 0 in a
1.094 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.094 * [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
1.094 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.094 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.094 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.094 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.095 * [taylor]: Taking taylor expansion of 0 in a
1.095 * [taylor]: Taking taylor expansion of 0 in a
1.095 * [taylor]: Taking taylor expansion of 0 in a
1.095 * [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
1.095 * [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
1.096 * [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
1.096 * [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
1.096 * [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
1.096 * [taylor]: Taking taylor expansion of 0 in a
1.096 * [taylor]: Taking taylor expansion of 0 in a
1.096 * [taylor]: Taking taylor expansion of 0 in a
1.097 * [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
1.097 * [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
1.097 * [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
1.097 * [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
1.098 * [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
1.098 * [taylor]: Taking taylor expansion of 0 in a
1.098 * [taylor]: Taking taylor expansion of 0 in a
1.098 * [taylor]: Taking taylor expansion of 0 in a
1.098 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.098 * [approximate]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in (c) around 0
1.099 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
1.099 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
1.099 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
1.099 * [taylor]: Taking taylor expansion of 1/24 in c
1.099 * [taylor]: Taking taylor expansion of (pow c 4) in c
1.099 * [taylor]: Taking taylor expansion of c in c
1.099 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
1.099 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
1.099 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
1.099 * [taylor]: Taking taylor expansion of 1/2 in c
1.099 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.099 * [taylor]: Taking taylor expansion of c in c
1.099 * [taylor]: Taking taylor expansion of 1 in c
1.099 * [taylor]: Taking taylor expansion of (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) in c
1.099 * [taylor]: Rewrote expression to (+ (* 1/24 (pow c 4)) (fma 1/2 (pow c 2) 1))
1.099 * [taylor]: Taking taylor expansion of (* 1/24 (pow c 4)) in c
1.099 * [taylor]: Taking taylor expansion of 1/24 in c
1.099 * [taylor]: Taking taylor expansion of (pow c 4) in c
1.099 * [taylor]: Taking taylor expansion of c in c
1.099 * [taylor]: Taking taylor expansion of (fma 1/2 (pow c 2) 1) in c
1.099 * [taylor]: Rewrote expression to (+ (* 1/2 (pow c 2)) 1)
1.099 * [taylor]: Taking taylor expansion of (* 1/2 (pow c 2)) in c
1.099 * [taylor]: Taking taylor expansion of 1/2 in c
1.099 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.099 * [taylor]: Taking taylor expansion of c in c
1.099 * [taylor]: Taking taylor expansion of 1 in c
1.105 * [approximate]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in (c) around 0
1.105 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
1.105 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
1.105 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
1.105 * [taylor]: Taking taylor expansion of 1/24 in c
1.105 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
1.105 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.105 * [taylor]: Taking taylor expansion of c in c
1.105 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
1.106 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
1.106 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
1.106 * [taylor]: Taking taylor expansion of 1/2 in c
1.106 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
1.106 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.106 * [taylor]: Taking taylor expansion of c in c
1.106 * [taylor]: Taking taylor expansion of 1 in c
1.106 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) in c
1.106 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ 1 c) 4)) (fma 1/2 (pow (/ 1 c) 2) 1))
1.106 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ 1 c) 4)) in c
1.106 * [taylor]: Taking taylor expansion of 1/24 in c
1.106 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 4) in c
1.106 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.106 * [taylor]: Taking taylor expansion of c in c
1.106 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ 1 c) 2) 1) in c
1.106 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ 1 c) 2)) 1)
1.107 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ 1 c) 2)) in c
1.107 * [taylor]: Taking taylor expansion of 1/2 in c
1.107 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 2) in c
1.107 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.107 * [taylor]: Taking taylor expansion of c in c
1.107 * [taylor]: Taking taylor expansion of 1 in c
1.120 * [approximate]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in (c) around 0
1.121 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
1.121 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
1.121 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
1.121 * [taylor]: Taking taylor expansion of 1/24 in c
1.121 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
1.121 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.121 * [taylor]: Taking taylor expansion of -1 in c
1.121 * [taylor]: Taking taylor expansion of c in c
1.121 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
1.121 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
1.121 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
1.121 * [taylor]: Taking taylor expansion of 1/2 in c
1.121 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
1.121 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.121 * [taylor]: Taking taylor expansion of -1 in c
1.121 * [taylor]: Taking taylor expansion of c in c
1.122 * [taylor]: Taking taylor expansion of 1 in c
1.122 * [taylor]: Taking taylor expansion of (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) in c
1.122 * [taylor]: Rewrote expression to (+ (* 1/24 (pow (/ -1 c) 4)) (fma 1/2 (pow (/ -1 c) 2) 1))
1.122 * [taylor]: Taking taylor expansion of (* 1/24 (pow (/ -1 c) 4)) in c
1.122 * [taylor]: Taking taylor expansion of 1/24 in c
1.122 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 4) in c
1.122 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.122 * [taylor]: Taking taylor expansion of -1 in c
1.122 * [taylor]: Taking taylor expansion of c in c
1.122 * [taylor]: Taking taylor expansion of (fma 1/2 (pow (/ -1 c) 2) 1) in c
1.122 * [taylor]: Rewrote expression to (+ (* 1/2 (pow (/ -1 c) 2)) 1)
1.122 * [taylor]: Taking taylor expansion of (* 1/2 (pow (/ -1 c) 2)) in c
1.122 * [taylor]: Taking taylor expansion of 1/2 in c
1.122 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 2) in c
1.122 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.122 * [taylor]: Taking taylor expansion of -1 in c
1.122 * [taylor]: Taking taylor expansion of c in c
1.123 * [taylor]: Taking taylor expansion of 1 in c
1.141 * * * [progress]: simplifying candidates
1.142 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (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))) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log1p (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log 1)
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (expm1 (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (log1p (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp 1)
  (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (* (cbrt (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (cbrt (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (* (* (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (sqrt (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (sqrt (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (expm1 (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* 1/24 (pow c 4))
  (log (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (exp (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))))
  (cbrt (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))) (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (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))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (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))
  (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))
1.146 * * [simplify]: iteration  0 :  91  enodes  (cost  517 )
1.148 * * [simplify]: iteration  1 :  213  enodes  (cost  459 )
1.152 * * [simplify]: iteration  2 :  789  enodes  (cost  444 )
1.173 * * [simplify]: iteration  3 :  5001  enodes  (cost  438 )
1.176 * [simplify]: Simplified to:
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3)
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log1p (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  0
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (log (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))
  (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  E
  (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  E
  (pow (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  1
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3)
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (log1p (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* 1/24 (pow c 4))
  (log (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (exp (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (* (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))))
  (cbrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (pow (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) 3)
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))
  (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))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (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))
  (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))
1.176 * * * [progress]: adding candidates to table
1.370 * * [progress]: iteration 4 / 4
1.370 * * * [progress]: picking best candidate
1.427 * * * * [pick]: Picked  #<alt (λ (a c) (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))>
1.427 * * * [progress]: localizing error
1.444 * * * [progress]: generating rewritten candidates
1.444 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.454 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.458 * * * [progress]: generating series expansions
1.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.458 * [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
1.458 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.458 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.459 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.459 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.459 * [taylor]: Taking taylor expansion of 0 in a
1.459 * [taylor]: Taking taylor expansion of 0 in a
1.459 * [taylor]: Taking taylor expansion of 0 in a
1.460 * [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
1.460 * [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
1.460 * [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
1.460 * [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
1.460 * [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
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [taylor]: Taking taylor expansion of 0 in a
1.461 * [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
1.461 * [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
1.461 * [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
1.461 * [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
1.462 * [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
1.462 * [taylor]: Taking taylor expansion of 0 in a
1.462 * [taylor]: Taking taylor expansion of 0 in a
1.462 * [taylor]: Taking taylor expansion of 0 in a
1.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.463 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in (c a) around 0
1.463 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.463 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.463 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.463 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.463 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.463 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.464 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.464 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.465 * [taylor]: Taking taylor expansion of 0 in a
1.467 * [taylor]: Taking taylor expansion of 0 in a
1.470 * [taylor]: Taking taylor expansion of 0 in a
1.471 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in (c a) around 0
1.471 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.471 * [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
1.471 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.471 * [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
1.472 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.472 * [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
1.472 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.472 * [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
1.473 * [taylor]: Taking taylor expansion of 0 in a
1.475 * [taylor]: Taking taylor expansion of 0 in a
1.479 * [taylor]: Taking taylor expansion of 0 in a
1.479 * [approximate]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in (c a) around 0
1.479 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.480 * [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
1.480 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.480 * [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
1.480 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.480 * [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
1.481 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.481 * [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
1.482 * [taylor]: Taking taylor expansion of 0 in a
1.484 * [taylor]: Taking taylor expansion of 0 in a
1.488 * [taylor]: Taking taylor expansion of 0 in a
1.488 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.488 * [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
1.488 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.489 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.489 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.489 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.489 * [taylor]: Taking taylor expansion of 0 in a
1.489 * [taylor]: Taking taylor expansion of 0 in a
1.489 * [taylor]: Taking taylor expansion of 0 in a
1.490 * [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
1.490 * [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
1.490 * [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
1.490 * [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
1.490 * [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
1.491 * [taylor]: Taking taylor expansion of 0 in a
1.491 * [taylor]: Taking taylor expansion of 0 in a
1.491 * [taylor]: Taking taylor expansion of 0 in a
1.491 * [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
1.492 * [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
1.492 * [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
1.492 * [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
1.492 * [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
1.493 * [taylor]: Taking taylor expansion of 0 in a
1.493 * [taylor]: Taking taylor expansion of 0 in a
1.493 * [taylor]: Taking taylor expansion of 0 in a
1.493 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.493 * [approximate]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) in (c a) around 0
1.493 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) in a
1.493 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.493 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.494 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) in c
1.494 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.494 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.494 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) in c
1.494 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in c
1.494 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in c
1.495 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) in a
1.495 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) in a
1.495 * [taylor]: Taking taylor expansion of (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) in a
1.498 * [taylor]: Taking taylor expansion of 0 in a
1.502 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [taylor]: Taking taylor expansion of 0 in a
1.508 * [approximate]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) 3) in (c a) around 0
1.508 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) 3) in a
1.508 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.508 * [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
1.509 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) 3) in c
1.509 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.509 * [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
1.509 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) 3) in c
1.509 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in c
1.509 * [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
1.510 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) 3) in a
1.510 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ 1 c) 4) (fma 1/2 (pow (/ 1 c) 2) 1)) (log1p (/ 1 a)))) in a
1.511 * [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
1.513 * [taylor]: Taking taylor expansion of 0 in a
1.518 * [taylor]: Taking taylor expansion of 0 in a
1.525 * [taylor]: Taking taylor expansion of 0 in a
1.525 * [approximate]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) 3) in (c a) around 0
1.525 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) 3) in a
1.525 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.525 * [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
1.526 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) 3) in c
1.526 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.526 * [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
1.526 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) 3) in c
1.526 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in c
1.526 * [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
1.527 * [taylor]: Taking taylor expansion of (pow (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) 3) in a
1.527 * [taylor]: Taking taylor expansion of (log (fmod (fma 1/24 (pow (/ -1 c) 4) (fma 1/2 (pow (/ -1 c) 2) 1)) (log1p (/ -1 a)))) in a
1.527 * [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
1.530 * [taylor]: Taking taylor expansion of 0 in a
1.535 * [taylor]: Taking taylor expansion of 0 in a
1.541 * [taylor]: Taking taylor expansion of 0 in a
1.542 * * * [progress]: simplifying candidates
1.543 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (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))) (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log1p (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log 1)
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (exp (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (expm1 (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (log1p (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (cbrt (* (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (pow (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3)))
  (exp (cbrt (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)))
  (exp (cbrt (pow 1 3)))
  (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (exp (cbrt 1))
  (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (/ 3 2))))
  (exp (* (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))
  (exp (sqrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (exp 1)
  (log (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (exp (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (* (cbrt (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))) (cbrt (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))
  (cbrt (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (* (* (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))) (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))) (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (sqrt (exp (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  (expm1 (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (log1p (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (* (log (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (* (log (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (* 1 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (sqrt 3))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 1)
  (pow 1 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3)
  (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (* (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))
  (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (* (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (pow 1 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3)
  (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3)
  (pow 1 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (/ 3 2))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (/ 3 2))
  (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))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (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))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
1.553 * * [simplify]: iteration  0 :  153  enodes  (cost  826 )
1.556 * * [simplify]: iteration  1 :  526  enodes  (cost  743 )
1.571 * * [simplify]: iteration  2 :  3299  enodes  (cost  738 )
1.690 * * [simplify]: iteration  3 :  5001  enodes  (cost  738 )
1.694 * [simplify]: Simplified to:
   (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3)
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log1p (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (log (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  0
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (log (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))
  (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (sqrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (expm1 (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log1p (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  E
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 1/2))
  E
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  E
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 1/2))
  E
  (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))
  (exp (cbrt (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))
  E
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 1/2))
  (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 1/2))
  E
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))
  (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3)
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (sqrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (expm1 (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (log1p (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (log (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (log (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  3
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (* (cbrt 3) (cbrt 3)))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (sqrt 3))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  1
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  1
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (log (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (exp (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)
  1
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  1
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2)
  (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (sqrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3/2)
  (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))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))
  (log (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))
  (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
  (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)
1.695 * * * [progress]: adding candidates to table
1.967 * [progress]: [Phase 3 of 3] Extracting.
1.967 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
1.975 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.975 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
2.090 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
2.193 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>)
2.209 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
2.330 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
2.442 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (pow (log (cbrt (pow (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)) 3))) 3))))> #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 2) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (pow (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) 3))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (cbrt (pow (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (log (log (exp (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (pow (exp (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)))))> #<alt (λ (a c) (exp (cbrt (pow (* (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow E (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3))))> #<alt (λ (a c) (exp (log (fmod (* (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1))) (sqrt (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)))) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (* (* (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))) (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))> #<alt (λ (a c) (pow (exp (cbrt (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (cbrt (* (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (pow (+ (* 2 (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) (log (cbrt (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))))) 3))))>)
2.553 * * * [regime]: Found split indices: #<option (#s(si 15 255))>
2.554 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3)))
2.554 * * [simplify]: iteration  0 :  22  enodes  (cost  12 )
2.554 * * [simplify]: iteration  1 :  22  enodes  (cost  12 )
2.555 * [simplify]: Simplified to:
   (exp (cbrt (pow (cbrt (pow (log (fmod (fma 1/24 (pow c 4) (fma 1/2 (pow c 2) 1)) (log1p a))) 3)) 3)))
15.201 * [regime-testing]: Baseline error score: 34.67964481349692
15.202 * [regime-testing]: Oracle error score: 34.435070756337176
15.203 * [regime-testing]: End program error score: 34.67964481349692