0.851 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.740 * * * [progress]: [2/2] Setting up program.
1.746 * [progress]: [Phase 2 of 3] Improving.
1.749 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.749 * * [simplify]: iteration 0: 7 enodes
1.755 * * [simplify]: iteration 1: 16 enodes
1.757 * * [simplify]: iteration 2: 24 enodes
1.762 * * [simplify]: iteration 3: 44 enodes
1.770 * * [simplify]: iteration 4: 87 enodes
1.791 * * [simplify]: iteration 5: 199 enodes
2.011 * * [simplify]: iteration 6: 774 enodes
3.466 * * [simplify]: iteration 7: 3478 enodes
4.403 * * [simplify]: iteration complete: 5041 enodes
4.404 * * [simplify]: Extracting #0: cost 1 inf + 0
4.404 * * [simplify]: Extracting #1: cost 2 inf + 0
4.404 * * [simplify]: Extracting #2: cost 70 inf + 0
4.407 * * [simplify]: Extracting #3: cost 518 inf + 2
4.414 * * [simplify]: Extracting #4: cost 953 inf + 3441
4.431 * * [simplify]: Extracting #5: cost 789 inf + 52630
4.480 * * [simplify]: Extracting #6: cost 180 inf + 213502
4.562 * * [simplify]: Extracting #7: cost 9 inf + 348390
4.643 * * [simplify]: Extracting #8: cost 0 inf + 348856
4.722 * * [simplify]: Extracting #9: cost 0 inf + 347470
4.812 * * [simplify]: Extracting #10: cost 0 inf + 347419
4.891 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.893 * * [progress]: iteration 1 / 4
4.893 * * * [progress]: picking best candidate
4.900 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.900 * * * [progress]: localizing error
4.917 * * * [progress]: generating rewritten candidates
4.917 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.918 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.920 * * * [progress]: generating series expansions
4.920 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.924 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.924 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.925 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.927 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.927 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.927 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.927 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.928 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.928 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.928 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.929 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.929 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.929 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.930 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.930 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.930 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.930 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.930 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.931 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.931 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.931 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.932 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.932 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.932 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.932 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.933 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.933 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.933 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.933 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.933 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.933 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.933 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.934 * * * [progress]: simplifying candidates
4.934 * [simplify]: Simplifying:
  (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))))
  (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)))
4.935 * * [simplify]: iteration 0: 29 enodes
4.940 * * [simplify]: iteration 1: 52 enodes
4.950 * * [simplify]: iteration 2: 75 enodes
4.971 * * [simplify]: iteration 3: 116 enodes
5.008 * * [simplify]: iteration 4: 198 enodes
5.095 * * [simplify]: iteration 5: 369 enodes
5.301 * * [simplify]: iteration 6: 1047 enodes
6.616 * * [simplify]: iteration 7: 3484 enodes
7.549 * * [simplify]: iteration complete: 5042 enodes
7.550 * * [simplify]: Extracting #0: cost 16 inf + 0
7.550 * * [simplify]: Extracting #1: cost 52 inf + 0
7.550 * * [simplify]: Extracting #2: cost 121 inf + 46
7.551 * * [simplify]: Extracting #3: cost 271 inf + 201
7.554 * * [simplify]: Extracting #4: cost 1063 inf + 3157
7.568 * * [simplify]: Extracting #5: cost 426 inf + 99227
7.618 * * [simplify]: Extracting #6: cost 96 inf + 235906
7.672 * * [simplify]: Extracting #7: cost 4 inf + 331092
7.751 * * [simplify]: Extracting #8: cost 0 inf + 333949
7.805 * * [simplify]: Extracting #9: cost 0 inf + 333687
7.868 * [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)))
  (* (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))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a 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)))
7.870 * * * [progress]: adding candidates to table
7.985 * * [progress]: iteration 2 / 4
7.985 * * * [progress]: picking best candidate
8.030 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
8.030 * * * [progress]: localizing error
8.056 * * * [progress]: generating rewritten candidates
8.056 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
8.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
8.058 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.060 * * * [progress]: generating series expansions
8.060 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
8.060 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.060 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.060 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.060 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.060 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.060 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.060 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.061 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.061 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.061 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.062 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.062 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.062 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.062 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
8.062 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
8.062 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.062 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.063 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.063 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.063 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.063 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.063 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.063 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.063 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.063 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.063 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.064 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify 0 into 0
8.064 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.064 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.064 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.065 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.065 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.065 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
8.065 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.065 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.065 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.066 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.066 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.066 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.066 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
8.066 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
8.066 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.067 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
8.067 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.067 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
8.067 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.068 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
8.068 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
8.068 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.068 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
8.068 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.068 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
8.068 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
8.068 * [backup-simplify]: Simplify 0 into 0
8.068 * [backup-simplify]: Simplify 0 into 0
8.068 * [backup-simplify]: Simplify 0 into 0
8.068 * [backup-simplify]: Simplify 0 into 0
8.069 * [backup-simplify]: Simplify 0 into 0
8.069 * [backup-simplify]: Simplify 0 into 0
8.069 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.069 * * * [progress]: simplifying candidates
8.069 * [simplify]: Simplifying:
  (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))))
  (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)))
8.070 * * [simplify]: iteration 0: 51 enodes
8.079 * * [simplify]: iteration 1: 84 enodes
8.091 * * [simplify]: iteration 2: 115 enodes
8.108 * * [simplify]: iteration 3: 169 enodes
8.136 * * [simplify]: iteration 4: 282 enodes
8.227 * * [simplify]: iteration 5: 555 enodes
8.584 * * [simplify]: iteration 6: 1379 enodes
9.962 * * [simplify]: iteration 7: 3890 enodes
11.162 * * [simplify]: iteration complete: 5010 enodes
11.162 * * [simplify]: Extracting #0: cost 21 inf + 0
11.162 * * [simplify]: Extracting #1: cost 196 inf + 2
11.165 * * [simplify]: Extracting #2: cost 432 inf + 1299
11.172 * * [simplify]: Extracting #3: cost 668 inf + 3096
11.184 * * [simplify]: Extracting #4: cost 712 inf + 65084
11.219 * * [simplify]: Extracting #5: cost 298 inf + 220075
11.324 * * [simplify]: Extracting #6: cost 29 inf + 444707
11.457 * * [simplify]: Extracting #7: cost 0 inf + 468264
11.556 * * [simplify]: Extracting #8: cost 0 inf + 467880
11.664 * [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)))
  (* (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))))) (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)))
  (* (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))))
  (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) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
11.666 * * * [progress]: adding candidates to table
11.863 * * [progress]: iteration 3 / 4
11.863 * * * [progress]: picking best candidate
11.901 * * * * [pick]: Picked  #<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))))))>
11.901 * * * [progress]: localizing error
11.945 * * * [progress]: generating rewritten candidates
11.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
11.945 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
11.945 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
11.945 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
11.953 * * * [progress]: generating series expansions
11.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
11.953 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.953 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.953 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.953 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.953 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.953 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.954 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.954 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.954 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.954 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.954 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.954 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.955 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.955 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.955 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.955 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.955 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.955 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.956 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
11.956 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.956 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.956 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.956 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.956 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.956 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.956 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.956 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.957 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.957 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.957 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.957 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.957 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.958 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.958 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.958 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.960 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
11.961 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.961 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.961 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 0 into 0
11.961 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.962 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.962 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.963 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify 0 into 0
11.963 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.964 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.964 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.964 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify 0 into 0
11.965 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.965 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
11.965 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
11.966 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.966 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.966 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.966 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.966 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.966 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.967 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.967 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.967 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.968 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.969 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.969 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.969 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.969 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.969 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.970 * * * [progress]: simplifying candidates
11.971 * [simplify]: Simplifying:
  (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 (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 (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)))))
  (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))
  (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))
11.972 * * [simplify]: iteration 0: 36 enodes
11.984 * * [simplify]: iteration 1: 58 enodes
11.992 * * [simplify]: iteration 2: 81 enodes
12.002 * * [simplify]: iteration 3: 115 enodes
12.017 * * [simplify]: iteration 4: 170 enodes
12.050 * * [simplify]: iteration 5: 300 enodes
12.146 * * [simplify]: iteration 6: 593 enodes
12.600 * * [simplify]: iteration 7: 1832 enodes
13.674 * * [simplify]: iteration complete: 5002 enodes
13.674 * * [simplify]: Extracting #0: cost 12 inf + 0
13.675 * * [simplify]: Extracting #1: cost 177 inf + 2
13.679 * * [simplify]: Extracting #2: cost 828 inf + 88
13.688 * * [simplify]: Extracting #3: cost 1166 inf + 5720
13.715 * * [simplify]: Extracting #4: cost 907 inf + 90728
13.802 * * [simplify]: Extracting #5: cost 384 inf + 286780
13.941 * * [simplify]: Extracting #6: cost 108 inf + 464145
14.080 * * [simplify]: Extracting #7: cost 1 inf + 557926
14.238 * * [simplify]: Extracting #8: cost 0 inf + 554527
14.391 * * [simplify]: Extracting #9: cost 0 inf + 554095
14.550 * * [simplify]: Extracting #10: cost 0 inf + 554023
14.685 * [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)))
  (* (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 (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 (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))))) (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)))
  (* (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)))
  (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))
  (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))
14.693 * * * [progress]: adding candidates to table
15.069 * * [progress]: iteration 4 / 4
15.069 * * * [progress]: picking best candidate
15.087 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.087 * * * [progress]: localizing error
15.109 * * * [progress]: generating rewritten candidates
15.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
15.109 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
15.110 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
15.113 * * * [progress]: generating series expansions
15.113 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
15.113 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.113 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.113 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.113 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.113 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.114 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.114 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify 0 into 0
15.114 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.114 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.115 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.115 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.115 * [backup-simplify]: Simplify 0 into 0
15.116 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.116 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
15.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.116 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
15.116 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.116 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.116 * [backup-simplify]: Simplify 0 into 0
15.116 * [backup-simplify]: Simplify 0 into 0
15.116 * [backup-simplify]: Simplify 0 into 0
15.116 * [backup-simplify]: Simplify 0 into 0
15.117 * [backup-simplify]: Simplify 0 into 0
15.117 * [backup-simplify]: Simplify 0 into 0
15.117 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.117 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.117 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
15.117 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.117 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.117 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.117 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.118 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify 0 into 0
15.118 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.118 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.118 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
15.118 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.118 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.118 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.119 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.119 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify 0 into 0
15.119 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.119 * * * * [progress]: [ 3 / 3 ] generating series at (2)
15.120 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.120 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
15.120 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.120 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.120 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.120 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.120 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify 0 into 0
15.120 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.121 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.121 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
15.121 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.121 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.121 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.121 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.121 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
15.121 * [backup-simplify]: Simplify 0 into 0
15.121 * [backup-simplify]: Simplify 0 into 0
15.121 * [backup-simplify]: Simplify 0 into 0
15.121 * [backup-simplify]: Simplify 0 into 0
15.122 * [backup-simplify]: Simplify 0 into 0
15.122 * [backup-simplify]: Simplify 0 into 0
15.122 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.122 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.122 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
15.122 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.122 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.122 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.123 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.123 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify 0 into 0
15.123 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.123 * * * [progress]: simplifying candidates
15.124 * [simplify]: Simplifying:
  (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 (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log 1)
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (exp (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (exp 1))
  (log (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (exp (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (* (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (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))
  (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)))
15.125 * * [simplify]: iteration 0: 55 enodes
15.135 * * [simplify]: iteration 1: 89 enodes
15.152 * * [simplify]: iteration 2: 120 enodes
15.181 * * [simplify]: iteration 3: 175 enodes
15.213 * * [simplify]: iteration 4: 292 enodes
15.276 * * [simplify]: iteration 5: 571 enodes
15.588 * * [simplify]: iteration 6: 1399 enodes
17.257 * * [simplify]: iteration 7: 4473 enodes
18.517 * * [simplify]: iteration complete: 5000 enodes
18.517 * * [simplify]: Extracting #0: cost 21 inf + 0
18.517 * * [simplify]: Extracting #1: cost 142 inf + 2
18.520 * * [simplify]: Extracting #2: cost 405 inf + 132
18.526 * * [simplify]: Extracting #3: cost 632 inf + 1984
18.545 * * [simplify]: Extracting #4: cost 713 inf + 20683
18.593 * * [simplify]: Extracting #5: cost 434 inf + 171859
18.643 * * [simplify]: Extracting #6: cost 216 inf + 339018
18.732 * * [simplify]: Extracting #7: cost 94 inf + 459409
18.837 * * [simplify]: Extracting #8: cost 12 inf + 566229
18.955 * * [simplify]: Extracting #9: cost 0 inf + 582084
19.080 * * [simplify]: Extracting #10: cost 0 inf + 581884
19.207 * * [simplify]: Extracting #11: cost 0 inf + 581844
19.354 * [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)))
  (* (* (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 (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  0
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (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)))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  1
  (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))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a 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)))
  (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)))
19.356 * * * [progress]: adding candidates to table
19.559 * [progress]: [Phase 3 of 3] Extracting.
19.559 * * [regime]: Finding splitpoints for: (#<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) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>)
19.561 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
19.562 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>)
19.643 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
19.714 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>)
19.815 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))>)
19.911 * * * * [regimes]: Trying to branch on a from (#<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) (* (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (+ (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>)
19.990 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
19.991 * [simplify]: Simplifying:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
19.991 * * [simplify]: iteration 0: 9 enodes
19.992 * * [simplify]: iteration complete: 9 enodes
19.992 * * [simplify]: Extracting #0: cost 1 inf + 0
19.992 * * [simplify]: Extracting #1: cost 2 inf + 0
19.992 * * [simplify]: Extracting #2: cost 4 inf + 0
19.992 * * [simplify]: Extracting #3: cost 6 inf + 0
19.992 * * [simplify]: Extracting #4: cost 5 inf + 92
19.992 * * [simplify]: Extracting #5: cost 7 inf + 92
19.993 * * [simplify]: Extracting #6: cost 0 inf + 2199
19.993 * [simplify]: Simplified to:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
56.489 * [regime-testing]: Baseline error score: 60.104283493826976
56.498 * [regime-testing]: Oracle error score: 59.711136330155064
56.517 * [regime-testing]: End program error score: 60.104283493826976