1.262 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
1.598 * * * [progress]: [2/2] Setting up program.
1.603 * [progress]: [Phase 2 of 3] Improving.
1.604 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.606 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.606 * * [simplify]: iteration 0: 7 enodes
1.611 * * [simplify]: iteration 1: 16 enodes
1.613 * * [simplify]: iteration 2: 24 enodes
1.617 * * [simplify]: iteration 3: 44 enodes
1.643 * * [simplify]: iteration 4: 91 enodes
1.677 * * [simplify]: iteration 5: 373 enodes
2.462 * * [simplify]: iteration 6: 3169 enodes
3.958 * * [simplify]: iteration complete: 5000 enodes
3.959 * * [simplify]: Extracting #0: cost 1 inf + 0
3.959 * * [simplify]: Extracting #1: cost 2 inf + 0
3.959 * * [simplify]: Extracting #2: cost 237 inf + 0
3.962 * * [simplify]: Extracting #3: cost 1217 inf + 1
3.967 * * [simplify]: Extracting #4: cost 1482 inf + 355
3.973 * * [simplify]: Extracting #5: cost 1415 inf + 22031
4.021 * * [simplify]: Extracting #6: cost 719 inf + 475103
4.152 * * [simplify]: Extracting #7: cost 135 inf + 973453
4.365 * * [simplify]: Extracting #8: cost 0 inf + 1119797
4.533 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.537 * * [progress]: iteration 1 / 4
4.537 * * * [progress]: picking best candidate
4.544 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.544 * * * [progress]: localizing error
4.589 * * * [progress]: generating rewritten candidates
4.590 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.592 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.597 * * * [progress]: generating series expansions
4.597 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.603 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.603 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.604 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.606 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.606 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.606 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.609 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.609 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.610 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.610 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.610 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.611 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.611 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.611 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.611 * [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.611 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.611 * [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.611 * [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.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.612 * [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.612 * [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.612 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.612 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.612 * [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.612 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.612 * [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.612 * [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.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [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.613 * [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.613 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.613 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.614 * [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.614 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.614 * [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.614 * [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.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.615 * [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.615 * * * [progress]: simplifying candidates
4.615 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
4.615 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
4.615 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
4.615 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.615 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.615 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
4.616 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
4.616 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.616 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.616 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<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))))))>
4.616 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (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))))))>
4.616 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.616 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
4.616 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
4.616 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.616 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.616 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.616 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.616 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.616 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.617 * [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)))
  (real->posit16 (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))))
  (real->posit16 (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.618 * * [simplify]: iteration 0: 35 enodes
4.628 * * [simplify]: iteration 1: 58 enodes
4.644 * * [simplify]: iteration 2: 107 enodes
4.668 * * [simplify]: iteration 3: 171 enodes
4.697 * * [simplify]: iteration 4: 294 enodes
4.799 * * [simplify]: iteration 5: 793 enodes
5.702 * * [simplify]: iteration 6: 4271 enodes
6.952 * * [simplify]: iteration complete: 5000 enodes
6.952 * * [simplify]: Extracting #0: cost 22 inf + 0
6.952 * * [simplify]: Extracting #1: cost 44 inf + 0
6.953 * * [simplify]: Extracting #2: cost 298 inf + 4
6.955 * * [simplify]: Extracting #3: cost 962 inf + 93
6.958 * * [simplify]: Extracting #4: cost 1090 inf + 1843
6.967 * * [simplify]: Extracting #5: cost 810 inf + 86447
7.034 * * [simplify]: Extracting #6: cost 197 inf + 558212
7.156 * * [simplify]: Extracting #7: cost 1 inf + 713606
7.309 * * [simplify]: Extracting #8: cost 0 inf + 710783
7.430 * * [simplify]: Extracting #9: cost 0 inf + 710542
7.542 * [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)))
  (real->posit16 (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))))
  (real->posit16 (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.543 * * * [progress]: adding candidates to table
7.721 * * [progress]: iteration 2 / 4
7.721 * * * [progress]: picking best candidate
7.767 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.767 * * * [progress]: localizing error
7.803 * * * [progress]: generating rewritten candidates
7.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.803 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
7.810 * * * [progress]: generating series expansions
7.810 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.810 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.810 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.810 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.810 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.811 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.811 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.811 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.812 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
7.812 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.812 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.812 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.812 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.812 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.812 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.812 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.813 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.813 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.813 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.813 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.813 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.814 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.814 * [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)))
7.814 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
7.814 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.814 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.814 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.814 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.814 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.815 * [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))))
7.815 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
7.815 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.815 * [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))))
7.815 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.815 * [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))))
7.815 * [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))))
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.816 * [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)))
7.816 * [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))))
7.816 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
7.816 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.816 * [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))))
7.816 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.816 * [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))))
7.816 * [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))))
7.816 * [backup-simplify]: Simplify 0 into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify 0 into 0
7.817 * [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)))
7.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
7.817 * [backup-simplify]: Simplify (exp (fmod (cosh a) (* a a))) into (exp (fmod (cosh a) (pow a 2)))
7.817 * [approximate]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in (a) around 0
7.817 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
7.817 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.817 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.817 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
7.817 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
7.817 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.817 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.818 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
7.818 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
7.820 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
7.820 * [backup-simplify]: Simplify 0 into 0
7.821 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.823 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.824 * [backup-simplify]: Simplify 0 into 0
7.827 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.827 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.830 * [backup-simplify]: Simplify 0 into 0
7.833 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.833 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
7.834 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.834 * [approximate]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
7.834 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.834 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.834 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.834 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.834 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.834 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.835 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
7.835 * [backup-simplify]: Simplify 0 into 0
7.836 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.836 * [backup-simplify]: Simplify 0 into 0
7.837 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.837 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.838 * [backup-simplify]: Simplify 0 into 0
7.841 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.841 * [backup-simplify]: Simplify 0 into 0
7.844 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.844 * [backup-simplify]: Simplify 0 into 0
7.844 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (exp (fmod (cosh a) (pow a 2)))
7.845 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.845 * [approximate]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
7.845 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
7.845 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.845 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.845 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.845 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
7.845 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.845 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.845 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.845 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
7.846 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.847 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.847 * [backup-simplify]: Simplify 0 into 0
7.848 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.848 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.851 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.855 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.855 * [backup-simplify]: Simplify 0 into 0
7.855 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (exp (fmod (cosh a) (pow a 2)))
7.855 * * * [progress]: simplifying candidates
7.855 * * * * [progress]: [ 1 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
7.855 * * * * [progress]: [ 2 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
7.855 * * * * [progress]: [ 3 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
7.855 * * * * [progress]: [ 4 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
7.855 * * * * [progress]: [ 5 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.855 * * * * [progress]: [ 6 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 7 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 8 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 9 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
7.856 * * * * [progress]: [ 10 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 11 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 12 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 13 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 14 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 15 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
7.856 * * * * [progress]: [ 16 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
7.856 * * * * [progress]: [ 17 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
7.856 * * * * [progress]: [ 18 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 19 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
7.856 * * * * [progress]: [ 20 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
7.856 * * * * [progress]: [ 21 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
7.856 * * * * [progress]: [ 22 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 23 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 24 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 25 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 26 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 27 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
7.856 * * * * [progress]: [ 28 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.856 * * * * [progress]: [ 29 / 65 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.856 * * * * [progress]: [ 30 / 65 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.856 * * * * [progress]: [ 31 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
7.856 * * * * [progress]: [ 32 / 65 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
7.856 * * * * [progress]: [ 33 / 65 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.856 * * * * [progress]: [ 34 / 65 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.857 * * * * [progress]: [ 35 / 65 ] simplifiying candidate #<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))))))>
7.857 * * * * [progress]: [ 36 / 65 ] simplifiying candidate #<alt (λ (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))))))>
7.857 * * * * [progress]: [ 37 / 65 ] simplifiying candidate #<alt (λ (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))))))>
7.857 * * * * [progress]: [ 38 / 65 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
7.857 * * * * [progress]: [ 39 / 65 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.857 * * * * [progress]: [ 40 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (log1p (expm1 (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 41 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (expm1 (log1p (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 42 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (pow (exp (fmod (cosh a) (* a a))) 1)) (log1p a))))>
7.857 * * * * [progress]: [ 43 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (pow (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))) (log1p a))))>
7.857 * * * * [progress]: [ 44 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (pow (exp (sqrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))))) (log1p a))))>
7.857 * * * * [progress]: [ 45 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (pow (exp 1) (fmod (cosh a) (* a a)))) (log1p a))))>
7.857 * * * * [progress]: [ 46 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.857 * * * * [progress]: [ 47 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 48 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (log (exp (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 49 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (* (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 50 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (cbrt (* (* (exp (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a)))) (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.857 * * * * [progress]: [ 51 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (* (sqrt (exp (fmod (cosh a) (* a a)))) (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.858 * * * * [progress]: [ 52 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (* 1 (exp (fmod (cosh a) (* a a))))) (log1p a))))>
7.858 * * * * [progress]: [ 53 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (posit16->real (real->posit16 (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
7.858 * * * * [progress]: [ 54 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.858 * * * * [progress]: [ 55 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.858 * * * * [progress]: [ 56 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.858 * * * * [progress]: [ 57 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 58 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 59 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 60 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 61 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 62 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
7.858 * * * * [progress]: [ 63 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.858 * * * * [progress]: [ 64 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.858 * * * * [progress]: [ 65 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
7.860 * [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)))
  (real->posit16 (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)))))
  (real->posit16 (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))))
  (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (expm1 (exp (fmod (cosh a) (* a a))))
  (log1p (exp (fmod (cosh a) (* a a))))
  (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))
  (exp (sqrt (fmod (cosh a) (* a a))))
  (exp 1)
  (log (exp (fmod (cosh a) (* a a))))
  (exp (exp (fmod (cosh a) (* a a))))
  (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))
  (cbrt (exp (fmod (cosh a) (* a a))))
  (* (* (exp (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a)))) (exp (fmod (cosh a) (* a a))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (real->posit16 (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))
  (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)))
  (exp (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
7.861 * * [simplify]: iteration 0: 67 enodes
7.881 * * [simplify]: iteration 1: 105 enodes
7.909 * * [simplify]: iteration 2: 185 enodes
7.942 * * [simplify]: iteration 3: 275 enodes
7.971 * * [simplify]: iteration 4: 436 enodes
8.114 * * [simplify]: iteration 5: 1074 enodes
8.811 * * [simplify]: iteration complete: 5000 enodes
8.811 * * [simplify]: Extracting #0: cost 38 inf + 0
8.818 * * [simplify]: Extracting #1: cost 187 inf + 3
8.821 * * [simplify]: Extracting #2: cost 625 inf + 78
8.828 * * [simplify]: Extracting #3: cost 1091 inf + 2352
8.840 * * [simplify]: Extracting #4: cost 1207 inf + 11433
8.858 * * [simplify]: Extracting #5: cost 854 inf + 97571
8.923 * * [simplify]: Extracting #6: cost 216 inf + 582166
9.019 * * [simplify]: Extracting #7: cost 8 inf + 757987
9.132 * * [simplify]: Extracting #8: cost 0 inf + 764294
9.269 * * [simplify]: Extracting #9: cost 0 inf + 764174
9.407 * [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)))
  (real->posit16 (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))))) (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)))
  (real->posit16 (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))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (exp (fmod (cosh a) (* a a))))
  (log1p (exp (fmod (cosh a) (* a a))))
  (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))
  (exp (sqrt (fmod (cosh a) (* a a))))
  E
  (fmod (cosh a) (* a a))
  (exp (exp (fmod (cosh a) (* a a))))
  (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))
  (cbrt (exp (fmod (cosh a) (* a a))))
  (exp (* (fmod (cosh a) (* a a)) 3))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (real->posit16 (exp (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))
  (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)))
  (exp (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
9.410 * * * [progress]: adding candidates to table
9.631 * * [progress]: iteration 3 / 4
9.631 * * * [progress]: picking best candidate
9.664 * * * * [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))))))>
9.664 * * * [progress]: localizing error
9.709 * * * [progress]: generating rewritten candidates
9.709 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
9.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
9.710 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
9.710 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
9.713 * * * [progress]: generating series expansions
9.713 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
9.713 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.713 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.713 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.713 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.713 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.713 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.713 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.713 * [backup-simplify]: Simplify 0 into 0
9.713 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.714 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.714 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.715 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.715 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
9.715 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.715 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.715 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.715 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.716 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.716 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.717 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.717 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
9.717 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.717 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.717 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.717 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.717 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.717 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.717 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.717 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.717 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.717 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.717 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.718 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.718 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.719 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
9.719 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
9.719 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.719 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.719 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.719 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.719 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.719 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.719 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.719 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.720 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.720 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.721 * * * [progress]: simplifying candidates
9.721 * * * * [progress]: [ 1 / 60 ] simplifiying candidate #<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 (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 2 / 60 ] simplifiying candidate #<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 (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 3 / 60 ] simplifiying candidate #<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 (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
9.721 * * * * [progress]: [ 4 / 60 ] simplifiying candidate #<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 (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 5 / 60 ] simplifiying candidate #<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 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 6 / 60 ] simplifiying candidate #<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 (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 7 / 60 ] simplifiying candidate #<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 (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 8 / 60 ] simplifiying candidate #<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 (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 9 / 60 ] simplifiying candidate #<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 (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
9.721 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #<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 (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.721 * * * * [progress]: [ 11 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 12 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 13 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 14 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 15 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 16 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 17 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 18 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 19 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.721 * * * * [progress]: [ 21 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log1p (expm1 (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))))))>
9.721 * * * * [progress]: [ 22 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (expm1 (log1p (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))))))>
9.722 * * * * [progress]: [ 23 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (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))))))>
9.722 * * * * [progress]: [ 24 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (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))))))>
9.722 * * * * [progress]: [ 25 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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))))))>
9.722 * * * * [progress]: [ 26 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (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))))))>
9.722 * * * * [progress]: [ 27 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (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))))))>
9.722 * * * * [progress]: [ 28 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (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))))))>
9.722 * * * * [progress]: [ 29 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (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))))))>
9.722 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (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))))))>
9.722 * * * * [progress]: [ 31 / 60 ] simplifiying candidate #<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 (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 32 / 60 ] simplifiying candidate #<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 (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 33 / 60 ] simplifiying candidate #<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 (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 34 / 60 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 35 / 60 ] simplifiying candidate #<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 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
9.722 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #<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 (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
9.722 * * * * [progress]: [ 37 / 60 ] simplifiying candidate #<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 (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
9.722 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #<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 (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 39 / 60 ] simplifiying candidate #<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 (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
9.722 * * * * [progress]: [ 40 / 60 ] simplifiying candidate #<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 (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
9.722 * * * * [progress]: [ 41 / 60 ] simplifiying candidate #<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 (fmod (cosh a) (* a a)) (log1p a))))))>
9.722 * * * * [progress]: [ 42 / 60 ] simplifiying candidate #<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 (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 43 / 60 ] simplifiying candidate #<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 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 44 / 60 ] simplifiying candidate #<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 (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 45 / 60 ] simplifiying candidate #<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 (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 46 / 60 ] simplifiying candidate #<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 (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.722 * * * * [progress]: [ 47 / 60 ] simplifiying candidate #<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 (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
9.723 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #<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 (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
9.723 * * * * [progress]: [ 49 / 60 ] simplifiying candidate #<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) (pow a 2)))) (log1p a))))))>
9.723 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #<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) (pow a 2)))) (log1p a))))))>
9.723 * * * * [progress]: [ 51 / 60 ] simplifiying candidate #<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) (pow a 2)))) (log1p a))))))>
9.723 * * * * [progress]: [ 52 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 54 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 55 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 56 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 57 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
9.723 * * * * [progress]: [ 58 / 60 ] simplifiying candidate #<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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
9.723 * * * * [progress]: [ 59 / 60 ] simplifiying candidate #<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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
9.723 * * * * [progress]: [ 60 / 60 ] simplifiying candidate #<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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
9.723 * [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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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)))))
  (real->posit16 (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))
9.724 * * [simplify]: iteration 0: 42 enodes
9.732 * * [simplify]: iteration 1: 65 enodes
9.747 * * [simplify]: iteration 2: 110 enodes
9.774 * * [simplify]: iteration 3: 166 enodes
9.798 * * [simplify]: iteration 4: 262 enodes
9.830 * * [simplify]: iteration 5: 543 enodes
9.992 * * [simplify]: iteration 6: 1642 enodes
10.558 * * [simplify]: iteration complete: 5000 enodes
10.558 * * [simplify]: Extracting #0: cost 15 inf + 0
10.558 * * [simplify]: Extracting #1: cost 81 inf + 2
10.559 * * [simplify]: Extracting #2: cost 310 inf + 5
10.561 * * [simplify]: Extracting #3: cost 1160 inf + 349
10.569 * * [simplify]: Extracting #4: cost 1271 inf + 5979
10.582 * * [simplify]: Extracting #5: cost 1110 inf + 46061
10.619 * * [simplify]: Extracting #6: cost 643 inf + 316385
10.739 * * [simplify]: Extracting #7: cost 177 inf + 601287
10.889 * * [simplify]: Extracting #8: cost 0 inf + 707439
11.030 * * [simplify]: Extracting #9: cost 0 inf + 707241
11.172 * [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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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))))) (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)))
  (real->posit16 (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))
11.177 * * * [progress]: adding candidates to table
11.699 * * [progress]: iteration 4 / 4
11.700 * * * [progress]: picking best candidate
11.732 * * * * [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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.732 * * * [progress]: localizing error
11.819 * * * [progress]: generating rewritten candidates
11.820 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
11.820 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1)
11.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
11.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
11.821 * * * [progress]: generating series expansions
11.821 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
11.821 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.821 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.821 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.821 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.822 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.822 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.822 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.823 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1 1)
11.823 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.823 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.823 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.823 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.823 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.823 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.823 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.824 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.824 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.824 * [backup-simplify]: Simplify 0 into 0
11.824 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.825 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
11.825 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.825 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.825 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.825 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.825 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.825 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.825 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.826 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.826 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.826 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.826 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.827 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
11.827 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.827 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.827 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.827 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.827 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.827 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.827 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.827 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.827 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.827 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.827 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.827 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.828 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.828 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 0 into 0
11.829 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.829 * * * [progress]: simplifying candidates
11.829 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
11.829 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
11.829 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<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 (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.829 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<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 (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.829 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<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 (sqrt (exp (pow (fmod (cosh a) (* a a)) 1)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<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 (sqrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<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 (sqrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<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 (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<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 (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<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 (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<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 (sqrt (exp (* 1 (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<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 (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.830 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
11.831 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.832 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
11.833 * [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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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.834 * * [simplify]: iteration 0: 17 enodes
11.839 * * [simplify]: iteration 1: 30 enodes
11.849 * * [simplify]: iteration 2: 58 enodes
11.862 * * [simplify]: iteration 3: 99 enodes
11.883 * * [simplify]: iteration 4: 170 enodes
11.921 * * [simplify]: iteration 5: 357 enodes
11.998 * * [simplify]: iteration 6: 884 enodes
12.322 * * [simplify]: iteration 7: 2805 enodes
12.885 * * [simplify]: iteration complete: 5001 enodes
12.885 * * [simplify]: Extracting #0: cost 10 inf + 0
12.885 * * [simplify]: Extracting #1: cost 37 inf + 0
12.886 * * [simplify]: Extracting #2: cost 97 inf + 2
12.886 * * [simplify]: Extracting #3: cost 160 inf + 105
12.889 * * [simplify]: Extracting #4: cost 263 inf + 6426
12.897 * * [simplify]: Extracting #5: cost 58 inf + 51860
12.911 * * [simplify]: Extracting #6: cost 1 inf + 91661
12.926 * * [simplify]: Extracting #7: cost 0 inf + 92580
12.933 * [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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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)))
  (real->posit16 (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))
12.940 * * * [progress]: adding candidates to table
13.483 * [progress]: [Phase 3 of 3] Extracting.
13.483 * * [regime]: Finding splitpoints for: (#<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) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.486 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
13.486 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.549 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.613 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.713 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.756 * * * * [regimes]: Trying to branch on a from (#<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) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
13.817 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
13.817 * [simplify]: Simplifying:
  (* (* (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))
13.818 * * [simplify]: iteration 0: 18 enodes
13.818 * * [simplify]: iteration 1: 19 enodes
13.819 * * [simplify]: iteration complete: 19 enodes
13.819 * * [simplify]: Extracting #0: cost 1 inf + 0
13.819 * * [simplify]: Extracting #1: cost 3 inf + 0
13.819 * * [simplify]: Extracting #2: cost 5 inf + 0
13.819 * * [simplify]: Extracting #3: cost 7 inf + 0
13.819 * * [simplify]: Extracting #4: cost 10 inf + 0
13.819 * * [simplify]: Extracting #5: cost 13 inf + 0
13.819 * * [simplify]: Extracting #6: cost 14 inf + 1
13.819 * * [simplify]: Extracting #7: cost 14 inf + 92
13.819 * * [simplify]: Extracting #8: cost 16 inf + 92
13.819 * * [simplify]: Extracting #9: cost 13 inf + 355
13.819 * * [simplify]: Extracting #10: cost 9 inf + 1779
13.819 * * [simplify]: Extracting #11: cost 5 inf + 3983
13.820 * * [simplify]: Extracting #12: cost 2 inf + 6261
13.820 * * [simplify]: Extracting #13: cost 1 inf + 7117
13.820 * * [simplify]: Extracting #14: cost 0 inf + 8503
13.821 * [simplify]: Simplified to:
  (* (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (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))))))
60.634 * [regime-testing]: Baseline error score: 59.51495365103617
60.637 * [regime-testing]: Oracle error score: 59.10216218112457
60.644 * [regime-testing]: End program error score: 59.51495365103617