9.779 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.332 * * * [progress]: [2/2] Setting up program.
0.336 * [progress]: [Phase 2 of 3] Improving.
0.336 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fmod (cosh c) (log1p a))
0.337 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.338 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.339 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.340 * * [simplify]: iteration  3 :  18  enodes  (cost  3 )
0.341 * * [simplify]: iteration  4 :  19  enodes  (cost  3 )
0.342 * * [simplify]: iteration  5 :  24  enodes  (cost  3 )
0.343 * * [simplify]: iteration  6 :  43  enodes  (cost  3 )
0.344 * * [simplify]: iteration  7 :  64  enodes  (cost  3 )
0.346 * * [simplify]: iteration  8 :  147  enodes  (cost  3 )
0.355 * * [simplify]: iteration  9 :  1361  enodes  (cost  3 )
0.470 * * [simplify]: iteration  10 :  5001  enodes  (cost  3 )
0.471 * [simplify]: Simplified to:
   (fmod (cosh c) (log1p a))
0.472 * * [progress]: iteration 1 / 4
0.472 * * * [progress]: picking best candidate
0.475 * * * * [pick]: Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
0.475 * * * [progress]: localizing error
0.481 * * * [progress]: generating rewritten candidates
0.481 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.482 * * * [progress]: generating series expansions
0.482 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.482 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.482 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.482 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.482 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.482 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.483 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.483 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.483 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.483 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [taylor]: Taking taylor expansion of 0 in a
0.483 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.483 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.484 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.484 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.484 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.484 * [taylor]: Taking taylor expansion of 0 in a
0.484 * [taylor]: Taking taylor expansion of 0 in a
0.484 * [taylor]: Taking taylor expansion of 0 in a
0.484 * * * [progress]: simplifying candidates
0.484 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.486 * * [simplify]: iteration  0 :  19  enodes  (cost  49 )
0.487 * * [simplify]: iteration  1 :  24  enodes  (cost  42 )
0.488 * * [simplify]: iteration  2 :  29  enodes  (cost  42 )
0.489 * * [simplify]: iteration  3 :  36  enodes  (cost  42 )
0.490 * * [simplify]: iteration  4 :  56  enodes  (cost  42 )
0.492 * * [simplify]: iteration  5 :  115  enodes  (cost  42 )
0.496 * * [simplify]: iteration  6 :  564  enodes  (cost  42 )
0.511 * * [simplify]: iteration  7 :  1838  enodes  (cost  42 )
0.581 * * [simplify]: iteration  8 :  5001  enodes  (cost  42 )
0.582 * [simplify]: Simplified to:
   (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.582 * * * [progress]: adding candidates to table
0.616 * * [progress]: iteration 2 / 4
0.616 * * * [progress]: picking best candidate
0.635 * * * * [pick]: Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
0.635 * * * [progress]: localizing error
0.644 * * * [progress]: generating rewritten candidates
0.644 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.645 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.646 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.648 * * * [progress]: generating series expansions
0.648 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.648 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.648 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.649 * [taylor]: Taking taylor expansion of 0 in a
0.650 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.650 * [taylor]: Taking taylor expansion of 0 in a
0.650 * [taylor]: Taking taylor expansion of 0 in a
0.650 * [taylor]: Taking taylor expansion of 0 in a
0.650 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.650 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.652 * [taylor]: Taking taylor expansion of 0 in a
0.654 * [taylor]: Taking taylor expansion of 0 in a
0.657 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh c) (log1p a))) in a
0.657 * [taylor]: Taking taylor expansion of 1/6 in a
0.657 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.659 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.659 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.659 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.660 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.660 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.660 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.661 * [taylor]: Taking taylor expansion of 0 in a
0.662 * [taylor]: Taking taylor expansion of 0 in a
0.665 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.665 * [taylor]: Taking taylor expansion of 1/6 in a
0.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.668 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.668 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.668 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.668 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.668 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.669 * [taylor]: Taking taylor expansion of 0 in a
0.671 * [taylor]: Taking taylor expansion of 0 in a
0.673 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.673 * [taylor]: Taking taylor expansion of 1/6 in a
0.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.676 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.676 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.676 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.676 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [taylor]: Taking taylor expansion of 0 in a
0.677 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.678 * [taylor]: Taking taylor expansion of 0 in a
0.678 * [taylor]: Taking taylor expansion of 0 in a
0.678 * [taylor]: Taking taylor expansion of 0 in a
0.678 * * * [progress]: simplifying candidates
0.679 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (exp 1)
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  (exp 1)
  (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
  (exp (log (cbrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log (sqrt (fmod (cosh c) (log1p a)))))
  (exp (log 1))
  (exp (log (fmod (cosh c) (log1p a))))
  (log (exp (log (fmod (cosh c) (log1p a)))))
  (exp (exp (log (fmod (cosh c) (log1p a)))))
  (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))))
  (cbrt (exp (log (fmod (cosh c) (log1p a)))))
  (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (sqrt (exp (log (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/6 (/ (pow c 3) (fmod (cosh c) (log1p a)))) (+ (* 1/6 (/ (pow a 3) (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
  (+ (log (fmod (cosh c) (log1p a))) (+ (* 1/6 (/ 1 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (* 1/6 (/ 1 (* (pow a 3) (fmod (cosh c) (log1p a)))))))
  (- (log (fmod (cosh c) (log1p a))) (+ (* 1/6 (/ 1 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (* 1/6 (/ 1 (* (pow a 3) (fmod (cosh c) (log1p a)))))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.681 * * [simplify]: iteration  0 :  116  enodes  (cost  278 )
0.684 * * [simplify]: iteration  1 :  343  enodes  (cost  247 )
0.689 * * [simplify]: iteration  2 :  1084  enodes  (cost  241 )
0.710 * * [simplify]: iteration  3 :  5002  enodes  (cost  235 )
0.712 * [simplify]: Simplified to:
   (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (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)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  E
  (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
  (exp (sqrt (log (fmod (cosh c) (log1p a)))))
  E
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (cbrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  (sqrt (fmod (cosh c) (log1p a)))
  1
  (fmod (cosh c) (log1p a))
  (log (fmod (cosh c) (log1p a)))
  (exp (fmod (cosh c) (log1p a)))
  (pow (cbrt (fmod (cosh c) (log1p a))) 2)
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/6 (+ (/ (pow c 3) (fmod (cosh c) (log1p a))) (/ (pow a 3) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a))))
  (+ (+ (/ 1/6 (* (pow a 3) (fmod (cosh c) (log1p a)))) (/ 1/6 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (log (fmod (cosh c) (log1p a))))
  (- (- (log (fmod (cosh c) (log1p a))) (/ 1/6 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (/ 1/6 (* (pow a 3) (fmod (cosh c) (log1p a)))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
0.712 * * * [progress]: adding candidates to table
0.845 * * [progress]: iteration 3 / 4
0.845 * * * [progress]: picking best candidate
0.894 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
0.894 * * * [progress]: localizing error
0.907 * * * [progress]: generating rewritten candidates
0.907 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.908 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
0.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
0.909 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.911 * * * [progress]: generating series expansions
0.911 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.911 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.911 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.911 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.911 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.911 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.911 * [taylor]: Taking taylor expansion of 0 in a
0.911 * [taylor]: Taking taylor expansion of 0 in a
0.911 * [taylor]: Taking taylor expansion of 0 in a
0.912 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.912 * [taylor]: Taking taylor expansion of 0 in a
0.912 * [taylor]: Taking taylor expansion of 0 in a
0.912 * [taylor]: Taking taylor expansion of 0 in a
0.912 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.912 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
0.913 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [taylor]: Taking taylor expansion of 0 in a
0.913 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.914 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [taylor]: Taking taylor expansion of 0 in a
0.914 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
0.915 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [taylor]: Taking taylor expansion of 0 in a
0.915 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.916 * [taylor]: Taking taylor expansion of 0 in a
0.917 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.917 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
0.917 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.917 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.917 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.917 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.917 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
0.917 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
0.917 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
0.917 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.918 * [taylor]: Taking taylor expansion of 0 in a
0.919 * [taylor]: Taking taylor expansion of 0 in a
0.922 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh c) (log1p a))) in a
0.922 * [taylor]: Taking taylor expansion of 1/6 in a
0.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
0.924 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
0.925 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.925 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.925 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
0.925 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.926 * [taylor]: Taking taylor expansion of 0 in a
0.927 * [taylor]: Taking taylor expansion of 0 in a
0.930 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
0.930 * [taylor]: Taking taylor expansion of 1/6 in a
0.930 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
0.933 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
0.933 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.933 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.933 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.933 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.933 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
0.933 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
0.933 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.933 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.934 * [taylor]: Taking taylor expansion of 0 in a
0.936 * [taylor]: Taking taylor expansion of 0 in a
0.939 * [taylor]: Taking taylor expansion of (/ 1/6 (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
0.939 * [taylor]: Taking taylor expansion of 1/6 in a
0.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
0.941 * * * [progress]: simplifying candidates
0.942 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (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)))
  (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)))
  (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log 1)
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (exp (log (fmod (cosh c) (log1p a))))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (* 1/6 (/ (pow c 3) (fmod (cosh c) (log1p a)))) (+ (* 1/6 (/ (pow a 3) (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
  (+ (log (fmod (cosh c) (log1p a))) (+ (* 1/6 (/ 1 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (* 1/6 (/ 1 (* (pow a 3) (fmod (cosh c) (log1p a)))))))
  (- (log (fmod (cosh c) (log1p a))) (+ (* 1/6 (/ 1 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (* 1/6 (/ 1 (* (pow a 3) (fmod (cosh c) (log1p a)))))))
0.945 * * [simplify]: iteration  0 :  96  enodes  (cost  285 )
0.947 * * [simplify]: iteration  1 :  296  enodes  (cost  247 )
0.951 * * [simplify]: iteration  2 :  1030  enodes  (cost  247 )
0.974 * * [simplify]: iteration  3 :  5001  enodes  (cost  247 )
0.975 * [simplify]: Simplified to:
   (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)))
  (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)))
  (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)))
  (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))
  (log (cbrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  (log (sqrt (fmod (cosh c) (log1p a))))
  0
  (log (fmod (cosh c) (log1p a)))
  (log (fmod (cosh c) (log1p a)))
  (log (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))
  (cbrt (log (fmod (cosh c) (log1p a))))
  (pow (log (fmod (cosh c) (log1p a))) 3)
  (sqrt (log (fmod (cosh c) (log1p a))))
  (sqrt (log (fmod (cosh c) (log1p a))))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (+ (log (fmod (cosh c) (log1p a))) (* 1/6 (+ (/ (pow c 3) (fmod (cosh c) (log1p a))) (/ (pow a 3) (fmod (cosh c) (log1p a))))))
  (+ (+ (/ 1/6 (* (pow a 3) (fmod (cosh c) (log1p a)))) (/ 1/6 (* (fmod (cosh c) (log1p a)) (pow c 3)))) (log (fmod (cosh c) (log1p a))))
  (- (- (log (fmod (cosh c) (log1p a))) (/ 1/6 (* (pow a 3) (fmod (cosh c) (log1p a))))) (/ 1/6 (* (fmod (cosh c) (log1p a)) (pow c 3))))
0.976 * * * [progress]: adding candidates to table
1.172 * * [progress]: iteration 4 / 4
1.172 * * * [progress]: picking best candidate
1.231 * * * * [pick]: Picked  #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))>
1.231 * * * [progress]: localizing error
1.250 * * * [progress]: generating rewritten candidates
1.250 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
1.251 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1)
1.252 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1)
1.252 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
1.253 * * * [progress]: generating series expansions
1.253 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
1.253 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.253 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.254 * [taylor]: Taking taylor expansion of 0 in a
1.254 * [taylor]: Taking taylor expansion of 0 in a
1.254 * [taylor]: Taking taylor expansion of 0 in a
1.254 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * [taylor]: Taking taylor expansion of 0 in a
1.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1)
1.256 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.256 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * [taylor]: Taking taylor expansion of 0 in a
1.257 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1)
1.257 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.257 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.258 * [taylor]: Taking taylor expansion of 0 in a
1.259 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.259 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
1.259 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1.259 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1.259 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [taylor]: Taking taylor expansion of 0 in a
1.260 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1.261 * [taylor]: Taking taylor expansion of 0 in a
1.261 * [taylor]: Taking taylor expansion of 0 in a
1.261 * [taylor]: Taking taylor expansion of 0 in a
1.261 * * * [progress]: simplifying candidates
1.261 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (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)))
  (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)))
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.264 * * [simplify]: iteration  0 :  19  enodes  (cost  196 )
1.265 * * [simplify]: iteration  1 :  24  enodes  (cost  168 )
1.266 * * [simplify]: iteration  2 :  29  enodes  (cost  168 )
1.267 * * [simplify]: iteration  3 :  36  enodes  (cost  168 )
1.268 * * [simplify]: iteration  4 :  56  enodes  (cost  168 )
1.270 * * [simplify]: iteration  5 :  115  enodes  (cost  168 )
1.274 * * [simplify]: iteration  6 :  564  enodes  (cost  168 )
1.289 * * [simplify]: iteration  7 :  1838  enodes  (cost  168 )
1.360 * * [simplify]: iteration  8 :  5001  enodes  (cost  168 )
1.362 * [simplify]: Simplified to:
   (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)))
  (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)))
  (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)))
  (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)))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
  (fmod (cosh c) (log1p a))
1.362 * * * [progress]: adding candidates to table
1.541 * [progress]: [Phase 3 of 3] Extracting.
1.541 * * [regime]: Finding splitpoints for: (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.544 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a)
1.544 * * * * [regimes]: Trying to branch on (log1p a) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.645 * * * * [regimes]: Trying to branch on (cosh c) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.732 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.838 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
1.932 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))> #<alt (λ (a c) (exp (log (cbrt (pow (fmod (cosh c) (log1p a)) 3)))))> #<alt (λ (a c) (cbrt (pow (fmod (cosh c) (log1p a)) 3)))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))))>)
2.028 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
2.029 * * [simplify]: iteration  0 :  13  enodes  (cost  31 )
2.030 * * [simplify]: iteration  1 :  13  enodes  (cost  31 )
2.030 * [simplify]: Simplified to:
   (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
14.515 * [regime-testing]: Baseline error score: 34.50605164647951
14.516 * [regime-testing]: Oracle error score: 34.48360860416943
14.518 * [regime-testing]: End program error score: 34.50605164647951