0.847 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.270 * * * [progress]: [2/2] Setting up program.
1.275 * [progress]: [Phase 2 of 3] Improving.
1.277 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.283 * * [simplify]: iteration  0 :  16  enodes  (cost  6 )
1.284 * * [simplify]: iteration  1 :  24  enodes  (cost  6 )
1.286 * * [simplify]: iteration  2 :  43  enodes  (cost  6 )
1.288 * * [simplify]: iteration  3 :  91  enodes  (cost  6 )
1.290 * * [simplify]: iteration  4 :  257  enodes  (cost  6 )
1.296 * * [simplify]: iteration  5 :  1277  enodes  (cost  6 )
1.323 * * [simplify]: iteration  6 :  5001  enodes  (cost  6 )
1.324 * [simplify]: Simplified to:
   (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.326 * * [progress]: iteration 1 / 4
1.326 * * * [progress]: picking best candidate
1.329 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.329 * * * [progress]: localizing error
1.341 * * * [progress]: generating rewritten candidates
1.341 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.342 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.344 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.348 * * * [progress]: generating series expansions
1.349 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.352 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1.353 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.354 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.363 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1.363 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.363 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.364 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1.364 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.364 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.364 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.365 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1.365 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.365 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.365 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1.365 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.365 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.366 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1.366 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.366 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.367 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.367 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
1.367 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
1.367 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
1.367 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
1.367 * [taylor]: Taking taylor expansion of (log1p a) in a
1.367 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
1.367 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.368 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
1.368 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
1.368 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
1.368 * [taylor]: Taking taylor expansion of (log1p a) in a
1.368 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
1.368 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.403 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
1.403 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
1.403 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1.403 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1.403 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.403 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1.403 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.404 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
1.404 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1.404 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1.404 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.404 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1.404 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.438 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
1.438 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
1.438 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1.438 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1.438 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.439 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
1.439 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1.439 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1.439 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.477 * * * [progress]: simplifying candidates
1.478 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
1.481 * * [simplify]: iteration  0 :  91  enodes  (cost  291 )
1.483 * * [simplify]: iteration  1 :  249  enodes  (cost  265 )
1.487 * * [simplify]: iteration  2 :  805  enodes  (cost  265 )
1.507 * * [simplify]: iteration  3 :  3873  enodes  (cost  265 )
1.609 * * [simplify]: iteration  4 :  5001  enodes  (cost  265 )
1.612 * [simplify]: Simplified to:
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (pow (fmod (cosh a) (* a a)) 1/2)
  (pow (fmod (cosh a) (* a a)) 1/2)
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
1.613 * * * [progress]: adding candidates to table
1.713 * * [progress]: iteration 2 / 4
1.713 * * * [progress]: picking best candidate
1.733 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1.733 * * * [progress]: localizing error
1.746 * * * [progress]: generating rewritten candidates
1.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.747 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.749 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.750 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.754 * * * [progress]: generating series expansions
1.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.754 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1.754 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.754 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.755 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.755 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1.755 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.756 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.756 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.756 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1.756 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.756 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.757 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.757 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.758 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.758 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1.758 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.758 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.759 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1.759 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.759 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.760 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1.760 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.760 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.761 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
1.761 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
1.761 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
1.761 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
1.761 * [taylor]: Taking taylor expansion of (log1p a) in a
1.761 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
1.761 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.762 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
1.762 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
1.762 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
1.762 * [taylor]: Taking taylor expansion of (log1p a) in a
1.762 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
1.762 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.794 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
1.794 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
1.794 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1.794 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1.794 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.794 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.794 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
1.794 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1.794 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1.794 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
1.794 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.831 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
1.831 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
1.831 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1.831 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1.832 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.832 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1.832 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.832 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
1.832 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1.832 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1.832 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
1.832 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1.832 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.866 * * * [progress]: simplifying candidates
1.867 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
1.871 * * [simplify]: iteration  0 :  135  enodes  (cost  479 )
1.873 * * [simplify]: iteration  1 :  312  enodes  (cost  424 )
1.878 * * [simplify]: iteration  2 :  956  enodes  (cost  424 )
1.901 * * [simplify]: iteration  3 :  4680  enodes  (cost  420 )
2.055 * * [simplify]: iteration  4 :  5001  enodes  (cost  420 )
2.058 * [simplify]: Simplified to:
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (log1p a)
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  1
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (fabs (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))
  (fabs (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
2.058 * * * [progress]: adding candidates to table
2.210 * * [progress]: iteration 3 / 4
2.210 * * * [progress]: picking best candidate
2.242 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.242 * * * [progress]: localizing error
2.258 * * * [progress]: generating rewritten candidates
2.258 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1)
2.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.261 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.262 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.265 * * * [progress]: generating series expansions
2.265 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1)
2.265 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.265 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.265 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.266 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.266 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.266 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.266 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.266 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.266 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.267 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.267 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.267 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.267 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.268 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.268 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.269 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.269 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.269 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.269 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.270 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.270 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.270 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.271 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.271 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.271 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.272 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.272 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.272 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.272 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.273 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.273 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.273 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.274 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.274 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.274 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.275 * * * [progress]: simplifying candidates
2.275 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log (* (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
  (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log 1)
  (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (log (exp (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
  (log (exp (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log (exp 1))
  (log (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (exp (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (* (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
  (cbrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (* (* (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (sqrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (sqrt (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.279 * * [simplify]: iteration  0 :  101  enodes  (cost  478 )
2.281 * * [simplify]: iteration  1 :  138  enodes  (cost  409 )
2.283 * * [simplify]: iteration  2 :  271  enodes  (cost  409 )
2.287 * * [simplify]: iteration  3 :  706  enodes  (cost  409 )
2.306 * * [simplify]: iteration  4 :  3505  enodes  (cost  409 )
2.398 * * [simplify]: iteration  5 :  5002  enodes  (cost  409 )
2.401 * [simplify]: Simplified to:
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
  (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
  0
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  1
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.401 * * * [progress]: adding candidates to table
2.563 * * [progress]: iteration 4 / 4
2.563 * * * [progress]: picking best candidate
2.599 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))>
2.599 * * * [progress]: localizing error
2.614 * * * [progress]: generating rewritten candidates
2.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
2.615 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
2.617 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.620 * * * [progress]: generating series expansions
2.620 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
2.620 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.621 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.621 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.621 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.621 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.622 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.622 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
2.622 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.622 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.622 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.623 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.623 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.623 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.624 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.624 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.624 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.624 * [approximate]: Taking taylor expansion of (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a)))) in (a) around 0
2.624 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a)))) in a
2.625 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a)))) in a
2.625 * [approximate]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ 1 a)))) (sqrt (log1p (/ 1 a))))) in (a) around 0
2.626 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ 1 a)))) (sqrt (log1p (/ 1 a))))) in a
2.626 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ 1 a)))) (sqrt (log1p (/ 1 a))))) in a
2.627 * [approximate]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ -1 a)))) (sqrt (log1p (/ -1 a))))) in (a) around 0
2.627 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ -1 a)))) (sqrt (log1p (/ -1 a))))) in a
2.627 * [taylor]: Taking taylor expansion of (acos (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (sqrt (log1p (/ -1 a)))) (sqrt (log1p (/ -1 a))))) in a
2.628 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.628 * [approximate]: Taking taylor expansion of (sqrt (log1p a)) in (a) around 0
2.628 * [taylor]: Taking taylor expansion of (sqrt (log1p a)) in a
2.628 * [taylor]: Taking taylor expansion of (log1p a) in a
2.629 * [taylor]: Taking taylor expansion of (sqrt (log1p a)) in a
2.629 * [taylor]: Taking taylor expansion of (log1p a) in a
2.632 * [approximate]: Taking taylor expansion of (sqrt (log1p (/ 1 a))) in (a) around 0
2.632 * [taylor]: Taking taylor expansion of (sqrt (log1p (/ 1 a))) in a
2.632 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.632 * [taylor]: Taking taylor expansion of (sqrt (log1p (/ 1 a))) in a
2.632 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.635 * [approximate]: Taking taylor expansion of (sqrt (log1p (/ -1 a))) in (a) around 0
2.635 * [taylor]: Taking taylor expansion of (sqrt (log1p (/ -1 a))) in a
2.635 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.635 * [taylor]: Taking taylor expansion of (sqrt (log1p (/ -1 a))) in a
2.635 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.638 * * * [progress]: simplifying candidates
2.638 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))
  (log (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (exp (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (* (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))) (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))
  (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (* (* (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (log (sqrt (log1p a)))
  (exp (sqrt (log1p a)))
  (* (cbrt (sqrt (log1p a))) (cbrt (sqrt (log1p a))))
  (cbrt (sqrt (log1p a)))
  (* (* (sqrt (log1p a)) (sqrt (log1p a))) (sqrt (log1p a)))
  (sqrt (* (cbrt (log1p a)) (cbrt (log1p a))))
  (sqrt (cbrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  (sqrt 1)
  (sqrt (log1p a))
  (/ 1 2)
  (sqrt (sqrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
2.642 * * [simplify]: iteration  0 :  95  enodes  (cost  369 )
2.644 * * [simplify]: iteration  1 :  135  enodes  (cost  320 )
2.646 * * [simplify]: iteration  2 :  272  enodes  (cost  320 )
2.651 * * [simplify]: iteration  3 :  689  enodes  (cost  319 )
2.669 * * [simplify]: iteration  4 :  3222  enodes  (cost  319 )
2.748 * * [simplify]: iteration  5 :  5001  enodes  (cost  319 )
2.750 * [simplify]: Simplified to:
   (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))
  (log (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (exp (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (* (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))) (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))
  (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (pow (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a)))) 3)
  (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))
  (log (sqrt (log1p a)))
  (exp (sqrt (log1p a)))
  (* (cbrt (sqrt (log1p a))) (cbrt (sqrt (log1p a))))
  (cbrt (sqrt (log1p a)))
  (pow (sqrt (log1p a)) 3)
  (fabs (cbrt (log1p a)))
  (sqrt (cbrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  1
  (sqrt (log1p a))
  1/2
  (sqrt (sqrt (log1p a)))
  (sqrt (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (acos (pow (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a))) (sqrt (log1p a))))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
2.750 * * * [progress]: adding candidates to table
2.912 * [progress]: [Phase 3 of 3] Extracting.
2.912 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
2.916 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
2.916 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
2.983 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
3.009 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
3.078 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
3.142 * * * [regime]: Found split indices: #<option (#s(si 4 105) #s(si 6 255))>
3.144 * [binary-search]: Improving bounds with binary search for a and (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
3.272 * [regimes]: Found splitpoints: (#s(sp 4 a 1.5952721721417026e-162) #s(sp 6 a +nan.0)) , with alts (#<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (* (sqrt (sqrt (log1p a))) (sqrt (sqrt (log1p a)))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))))> #<alt (λ (a) (acos (pow (+ (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
3.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= a 1.5952721721417026e-162) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))
3.274 * * [simplify]: iteration  0 :  22  enodes  (cost  28 )
3.274 * [simplify]: Simplified to:
   (if (<= a 1.5952721721417026e-162) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (log (exp (sqrt (log1p a)))))) (- (/ PI 2) (asin (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))))
36.987 * [regime-testing]: Baseline error score: 60.24592651464142
36.987 * [regime-testing]: Oracle error score: 58.553370501019494
36.989 * [regime-testing]: End program error score: 58.977502476760456