0.782 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.791 * * * [progress]: [2/2] Setting up program.
1.797 * [progress]: [Phase 2 of 3] Improving.
1.799 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.800 * * [simplify]: iteration 0: 7 enodes
1.804 * * [simplify]: iteration 1: 16 enodes
1.806 * * [simplify]: iteration 2: 24 enodes
1.814 * * [simplify]: iteration 3: 44 enodes
1.830 * * [simplify]: iteration 4: 87 enodes
1.863 * * [simplify]: iteration 5: 199 enodes
2.042 * * [simplify]: iteration 6: 774 enodes
3.640 * * [simplify]: iteration 7: 3480 enodes
4.570 * * [simplify]: iteration complete: 5009 enodes
4.571 * * [simplify]: Extracting #0: cost 1 inf + 0
4.571 * * [simplify]: Extracting #1: cost 2 inf + 0
4.571 * * [simplify]: Extracting #2: cost 70 inf + 0
4.573 * * [simplify]: Extracting #3: cost 539 inf + 2
4.577 * * [simplify]: Extracting #4: cost 1162 inf + 2314
4.591 * * [simplify]: Extracting #5: cost 528 inf + 82777
4.627 * * [simplify]: Extracting #6: cost 120 inf + 233013
4.700 * * [simplify]: Extracting #7: cost 4 inf + 350414
4.768 * * [simplify]: Extracting #8: cost 0 inf + 352334
4.828 * * [simplify]: Extracting #9: cost 0 inf + 352293
4.895 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.899 * * [progress]: iteration 1 / 4
4.899 * * * [progress]: picking best candidate
4.907 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.908 * * * [progress]: localizing error
4.948 * * * [progress]: generating rewritten candidates
4.948 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.949 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.952 * * * [progress]: generating series expansions
4.952 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.956 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.956 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.957 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.959 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.959 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.959 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.959 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.960 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.960 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.960 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.961 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.961 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.961 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.962 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.962 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.962 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.962 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.962 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.963 * [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.963 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.963 * [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.963 * [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.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [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.963 * [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.963 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.963 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.964 * [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.964 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.964 * [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.964 * [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.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [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.965 * [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.965 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.965 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.965 * [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.965 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.965 * [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.965 * [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.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 0 into 0
4.966 * [backup-simplify]: Simplify 0 into 0
4.966 * [backup-simplify]: Simplify 0 into 0
4.966 * [backup-simplify]: Simplify 0 into 0
4.966 * [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.966 * * * [progress]: simplifying candidates
4.966 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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.967 * * [simplify]: iteration 0: 33 enodes
4.973 * * [simplify]: iteration 1: 55 enodes
4.989 * * [simplify]: iteration 2: 78 enodes
5.004 * * [simplify]: iteration 3: 119 enodes
5.026 * * [simplify]: iteration 4: 204 enodes
5.091 * * [simplify]: iteration 5: 393 enodes
5.346 * * [simplify]: iteration 6: 982 enodes
6.687 * * [simplify]: iteration 7: 3481 enodes
7.868 * * [simplify]: iteration complete: 5043 enodes
7.869 * * [simplify]: Extracting #0: cost 20 inf + 0
7.869 * * [simplify]: Extracting #1: cost 57 inf + 0
7.870 * * [simplify]: Extracting #2: cost 142 inf + 46
7.872 * * [simplify]: Extracting #3: cost 309 inf + 197
7.880 * * [simplify]: Extracting #4: cost 942 inf + 14274
7.899 * * [simplify]: Extracting #5: cost 455 inf + 116877
7.938 * * [simplify]: Extracting #6: cost 88 inf + 281390
8.001 * * [simplify]: Extracting #7: cost 1 inf + 372067
8.070 * * [simplify]: Extracting #8: cost 0 inf + 370526
8.150 * * [simplify]: Extracting #9: cost 0 inf + 370133
8.218 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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)))
8.220 * * * [progress]: adding candidates to table
8.351 * * [progress]: iteration 2 / 4
8.351 * * * [progress]: picking best candidate
8.376 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
8.376 * * * [progress]: localizing error
8.421 * * * [progress]: generating rewritten candidates
8.422 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
8.422 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
8.426 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.429 * * * [progress]: generating series expansions
8.429 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
8.430 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.430 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.430 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.430 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.430 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.430 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.430 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.430 * [backup-simplify]: Simplify 0 into 0
8.430 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.431 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.431 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.432 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.433 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.433 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.433 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.433 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.433 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.433 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.433 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.433 * [backup-simplify]: Simplify 0 into 0
8.433 * [backup-simplify]: Simplify 0 into 0
8.433 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.434 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
8.434 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
8.434 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.434 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.434 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.434 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.435 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.435 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.436 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.436 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.436 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.436 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.436 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.436 * [backup-simplify]: Simplify 0 into 0
8.436 * [backup-simplify]: Simplify 0 into 0
8.436 * [backup-simplify]: Simplify 0 into 0
8.436 * [backup-simplify]: Simplify 0 into 0
8.437 * [backup-simplify]: Simplify 0 into 0
8.437 * [backup-simplify]: Simplify 0 into 0
8.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.437 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.437 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.437 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.439 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.439 * [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.439 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
8.439 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.439 * [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.439 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.440 * [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.440 * [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.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [backup-simplify]: Simplify 0 into 0
8.440 * [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.441 * [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.441 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
8.441 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.441 * [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.441 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.442 * [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.442 * [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.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 0 into 0
8.443 * [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.443 * [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.443 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
8.443 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.444 * [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.444 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.444 * [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.445 * [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.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [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.445 * * * [progress]: simplifying candidates
8.447 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (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)))))
  (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p 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.448 * * [simplify]: iteration 0: 57 enodes
8.468 * * [simplify]: iteration 1: 89 enodes
8.492 * * [simplify]: iteration 2: 120 enodes
8.522 * * [simplify]: iteration 3: 176 enodes
8.574 * * [simplify]: iteration 4: 294 enodes
8.697 * * [simplify]: iteration 5: 575 enodes
9.025 * * [simplify]: iteration 6: 1659 enodes
9.629 * * [simplify]: iteration complete: 5000 enodes
9.629 * * [simplify]: Extracting #0: cost 25 inf + 0
9.630 * * [simplify]: Extracting #1: cost 127 inf + 2
9.631 * * [simplify]: Extracting #2: cost 362 inf + 173
9.633 * * [simplify]: Extracting #3: cost 532 inf + 3623
9.637 * * [simplify]: Extracting #4: cost 1235 inf + 11542
9.655 * * [simplify]: Extracting #5: cost 1009 inf + 129724
9.718 * * [simplify]: Extracting #6: cost 143 inf + 356137
9.812 * * [simplify]: Extracting #7: cost 13 inf + 443438
9.903 * * [simplify]: Extracting #8: cost 0 inf + 451185
9.984 * * [simplify]: Extracting #9: cost 0 inf + 450601
10.074 * * [simplify]: Extracting #10: cost 0 inf + 450561
10.160 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))))
  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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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)))
10.162 * * * [progress]: adding candidates to table
10.414 * * [progress]: iteration 3 / 4
10.414 * * * [progress]: picking best candidate
10.444 * * * * [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))))))>
10.444 * * * [progress]: localizing error
10.518 * * * [progress]: generating rewritten candidates
10.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
10.518 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
10.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
10.519 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
10.525 * * * [progress]: generating series expansions
10.525 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
10.526 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
10.526 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
10.526 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.526 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.526 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.526 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.526 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.526 * [backup-simplify]: Simplify 0 into 0
10.526 * [backup-simplify]: Simplify 0 into 0
10.526 * [backup-simplify]: Simplify 0 into 0
10.527 * [backup-simplify]: Simplify 0 into 0
10.527 * [backup-simplify]: Simplify 0 into 0
10.527 * [backup-simplify]: Simplify 0 into 0
10.527 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.527 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
10.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
10.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.529 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
10.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
10.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
10.530 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
10.530 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
10.530 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.531 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.531 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.531 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.531 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.532 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
10.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.532 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.532 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
10.533 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.533 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
10.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.534 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify 0 into 0
10.535 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
10.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
10.535 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
10.535 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
10.535 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.535 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.535 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.535 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.536 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.536 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.536 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.536 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
10.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.537 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify 0 into 0
10.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
10.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.538 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
10.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.538 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.538 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
10.539 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
10.540 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
10.540 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
10.540 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.540 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.540 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
10.540 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.540 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.540 * [backup-simplify]: Simplify 0 into 0
10.540 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
10.541 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.541 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
10.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.541 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
10.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
10.543 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.543 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
10.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
10.543 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
10.544 * * * [progress]: simplifying candidates
10.546 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (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))
10.547 * * [simplify]: iteration 0: 40 enodes
10.561 * * [simplify]: iteration 1: 63 enodes
10.577 * * [simplify]: iteration 2: 86 enodes
10.587 * * [simplify]: iteration 3: 122 enodes
10.604 * * [simplify]: iteration 4: 189 enodes
10.655 * * [simplify]: iteration 5: 340 enodes
10.756 * * [simplify]: iteration 6: 679 enodes
11.257 * * [simplify]: iteration 7: 1852 enodes
12.450 * * [simplify]: iteration complete: 5001 enodes
12.450 * * [simplify]: Extracting #0: cost 14 inf + 0
12.450 * * [simplify]: Extracting #1: cost 234 inf + 2
12.453 * * [simplify]: Extracting #2: cost 698 inf + 922
12.457 * * [simplify]: Extracting #3: cost 1157 inf + 6268
12.479 * * [simplify]: Extracting #4: cost 862 inf + 110797
12.599 * * [simplify]: Extracting #5: cost 285 inf + 415983
12.775 * * [simplify]: Extracting #6: cost 42 inf + 639694
12.939 * * [simplify]: Extracting #7: cost 0 inf + 652170
13.113 * * [simplify]: Extracting #8: cost 0 inf + 645537
13.270 * * [simplify]: Extracting #9: cost 0 inf + 645465
13.463 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))))
  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))
13.474 * * * [progress]: adding candidates to table
13.882 * * [progress]: iteration 4 / 4
13.882 * * * [progress]: picking best candidate
13.905 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
13.905 * * * [progress]: localizing error
13.933 * * * [progress]: generating rewritten candidates
13.934 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
13.934 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
13.934 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
13.938 * * * [progress]: generating series expansions
13.938 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
13.938 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.938 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.938 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.938 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.938 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.938 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.938 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.938 * [backup-simplify]: Simplify 0 into 0
13.938 * [backup-simplify]: Simplify 0 into 0
13.938 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.939 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.939 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.940 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.940 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
13.941 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.941 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
13.941 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
13.941 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.941 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
13.941 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.941 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify 0 into 0
13.941 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.942 * [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))))
13.942 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
13.942 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
13.942 * [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))))
13.942 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
13.942 * [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))))
13.942 * [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))))
13.942 * [backup-simplify]: Simplify 0 into 0
13.942 * [backup-simplify]: Simplify 0 into 0
13.942 * [backup-simplify]: Simplify 0 into 0
13.942 * [backup-simplify]: Simplify 0 into 0
13.943 * [backup-simplify]: Simplify 0 into 0
13.943 * [backup-simplify]: Simplify 0 into 0
13.943 * [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)))
13.943 * [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))))
13.943 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
13.943 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
13.943 * [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))))
13.943 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
13.943 * [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))))
13.944 * [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))))
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [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)))
13.944 * * * * [progress]: [ 3 / 3 ] generating series at (2)
13.944 * [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)))
13.944 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
13.944 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
13.945 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.945 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
13.945 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.945 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
13.945 * [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))))
13.945 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
13.946 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
13.946 * [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))))
13.946 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
13.946 * [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))))
13.946 * [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))))
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 0 into 0
13.947 * [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)))
13.947 * [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))))
13.947 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
13.947 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
13.947 * [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))))
13.947 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
13.947 * [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))))
13.948 * [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))))
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [backup-simplify]: Simplify 0 into 0
13.948 * [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)))
13.948 * * * [progress]: simplifying candidates
13.949 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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))))
  (expm1 (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log1p (log (exp (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)))
13.949 * * [simplify]: iteration 0: 61 enodes
13.964 * * [simplify]: iteration 1: 95 enodes
13.977 * * [simplify]: iteration 2: 128 enodes
13.998 * * [simplify]: iteration 3: 184 enodes
14.053 * * [simplify]: iteration 4: 308 enodes
14.153 * * [simplify]: iteration 5: 593 enodes
14.542 * * [simplify]: iteration 6: 1457 enodes
15.675 * * [simplify]: iteration complete: 5000 enodes
15.675 * * [simplify]: Extracting #0: cost 25 inf + 0
15.675 * * [simplify]: Extracting #1: cost 127 inf + 2
15.676 * * [simplify]: Extracting #2: cost 425 inf + 132
15.679 * * [simplify]: Extracting #3: cost 701 inf + 2391
15.689 * * [simplify]: Extracting #4: cost 1187 inf + 15636
15.722 * * [simplify]: Extracting #5: cost 601 inf + 125797
15.798 * * [simplify]: Extracting #6: cost 324 inf + 290527
15.886 * * [simplify]: Extracting #7: cost 127 inf + 468231
16.034 * * [simplify]: Extracting #8: cost 42 inf + 546710
16.168 * * [simplify]: Extracting #9: cost 0 inf + 601178
16.299 * * [simplify]: Extracting #10: cost 0 inf + 598857
16.424 * * [simplify]: Extracting #11: cost 0 inf + 598413
16.565 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (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))))))
  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)))
16.568 * * * [progress]: adding candidates to table
16.885 * [progress]: [Phase 3 of 3] Extracting.
16.885 * * [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) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (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))))) (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)))))))>)
16.887 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
16.888 * * * * [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) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (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))))) (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)))))))>)
16.985 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (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))))) (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)))))))>)
17.040 * * * * [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) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (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))))) (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)))))))>)
17.127 * * * * [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))))) (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)))))))>)
17.177 * * * * [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) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (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))))) (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)))))))>)
17.231 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
17.233 * [simplify]: Simplifying:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
17.233 * * [simplify]: iteration 0: 9 enodes
17.234 * * [simplify]: iteration complete: 9 enodes
17.234 * * [simplify]: Extracting #0: cost 1 inf + 0
17.234 * * [simplify]: Extracting #1: cost 2 inf + 0
17.234 * * [simplify]: Extracting #2: cost 4 inf + 0
17.234 * * [simplify]: Extracting #3: cost 6 inf + 0
17.234 * * [simplify]: Extracting #4: cost 5 inf + 92
17.234 * * [simplify]: Extracting #5: cost 7 inf + 92
17.234 * * [simplify]: Extracting #6: cost 0 inf + 2199
17.234 * [simplify]: Simplified to:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
54.072 * [regime-testing]: Baseline error score: 60.104283493826976
54.081 * [regime-testing]: Oracle error score: 59.71088428170244
54.099 * [regime-testing]: End program error score: 60.104283493826976