0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
1.597 * * * [progress]: [2/2] Setting up program.
1.606 * [progress]: [Phase 2 of 3] Improving.
1.606 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.608 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.610 * * [simplify]: iters left: 5 (7 enodes)
1.618 * * [simplify]: iters left: 4 (30 enodes)
1.629 * * [simplify]: iters left: 3 (52 enodes)
1.647 * * [simplify]: iters left: 2 (80 enodes)
1.676 * * [simplify]: iters left: 1 (137 enodes)
1.745 * * [simplify]: Extracting #0: cost 1 inf + 0
1.746 * * [simplify]: Extracting #1: cost 3 inf + 0
1.746 * * [simplify]: Extracting #2: cost 15 inf + 0
1.747 * * [simplify]: Extracting #3: cost 52 inf + 1
1.747 * * [simplify]: Extracting #4: cost 67 inf + 61
1.748 * * [simplify]: Extracting #5: cost 47 inf + 4801
1.751 * * [simplify]: Extracting #6: cost 27 inf + 11788
1.756 * * [simplify]: Extracting #7: cost 2 inf + 27949
1.762 * * [simplify]: Extracting #8: cost 0 inf + 28280
1.768 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.769 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.779 * * [progress]: iteration 1 / 4
1.779 * * * [progress]: picking best candidate
1.785 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.785 * * * [progress]: localizing error
1.813 * * * [progress]: generating rewritten candidates
1.813 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1.814 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.817 * * * [progress]: generating series expansions
1.817 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1.821 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1.821 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1.822 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.823 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.823 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.824 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1.825 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.825 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1.826 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.826 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1.826 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.826 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.826 * [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))))
1.826 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1.826 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.827 * [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))))
1.827 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.827 * [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))))
1.827 * [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))))
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [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)))
1.827 * [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))))
1.827 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1.827 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.827 * [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))))
1.827 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.828 * [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))))
1.828 * [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))))
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify 0 into 0
1.828 * [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)))
1.828 * * * [progress]: simplifying candidates
1.828 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1.828 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [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))))>
1.828 * * * * [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))))>
1.828 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1.828 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1.828 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.829 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.829 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1.829 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1.829 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.829 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.829 * * * * [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))))))>
1.829 * * * * [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))))))>
1.829 * * * * [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))))))>
1.829 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1.829 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.829 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.829 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.829 * * [simplify]: iters left: 2 (5 enodes)
1.831 * * [simplify]: iters left: 1 (25 enodes)
1.835 * * [simplify]: Extracting #0: cost 1 inf + 0
1.836 * * [simplify]: Extracting #1: cost 4 inf + 0
1.836 * * [simplify]: Extracting #2: cost 9 inf + 0
1.836 * * [simplify]: Extracting #3: cost 10 inf + 2
1.836 * * [simplify]: Extracting #4: cost 8 inf + 433
1.836 * * [simplify]: Extracting #5: cost 4 inf + 823
1.836 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.836 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.836 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.836 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.837 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.837 * * [simplify]: iters left: 2 (5 enodes)
1.838 * * [simplify]: iters left: 1 (25 enodes)
1.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1.845 * * [simplify]: Extracting #1: cost 4 inf + 0
1.845 * * [simplify]: Extracting #2: cost 9 inf + 0
1.845 * * [simplify]: Extracting #3: cost 10 inf + 2
1.845 * * [simplify]: Extracting #4: cost 8 inf + 433
1.845 * * [simplify]: Extracting #5: cost 4 inf + 823
1.846 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.846 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.846 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.846 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.847 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.847 * * [simplify]: iters left: 2 (5 enodes)
1.850 * * [simplify]: iters left: 1 (25 enodes)
1.870 * * [simplify]: Extracting #0: cost 1 inf + 0
1.870 * * [simplify]: Extracting #1: cost 4 inf + 0
1.870 * * [simplify]: Extracting #2: cost 9 inf + 0
1.870 * * [simplify]: Extracting #3: cost 10 inf + 2
1.870 * * [simplify]: Extracting #4: cost 8 inf + 433
1.871 * * [simplify]: Extracting #5: cost 4 inf + 823
1.871 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.872 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.872 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.872 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.872 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.872 * * [simplify]: iters left: 4 (8 enodes)
1.877 * * [simplify]: iters left: 3 (37 enodes)
1.890 * * [simplify]: iters left: 2 (60 enodes)
1.906 * * [simplify]: iters left: 1 (86 enodes)
1.920 * * [simplify]: Extracting #0: cost 1 inf + 0
1.920 * * [simplify]: Extracting #1: cost 3 inf + 0
1.920 * * [simplify]: Extracting #2: cost 13 inf + 0
1.920 * * [simplify]: Extracting #3: cost 38 inf + 0
1.921 * * [simplify]: Extracting #4: cost 45 inf + 241
1.921 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.921 * * [simplify]: Extracting #6: cost 22 inf + 6227
1.923 * * [simplify]: Extracting #7: cost 3 inf + 14662
1.924 * * [simplify]: Extracting #8: cost 0 inf + 16508
1.926 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.926 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.926 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.926 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.926 * * [simplify]: iters left: 4 (8 enodes)
1.929 * * [simplify]: iters left: 3 (37 enodes)
1.935 * * [simplify]: iters left: 2 (60 enodes)
1.944 * * [simplify]: iters left: 1 (86 enodes)
1.958 * * [simplify]: Extracting #0: cost 1 inf + 0
1.958 * * [simplify]: Extracting #1: cost 3 inf + 0
1.958 * * [simplify]: Extracting #2: cost 13 inf + 0
1.958 * * [simplify]: Extracting #3: cost 38 inf + 0
1.958 * * [simplify]: Extracting #4: cost 45 inf + 241
1.959 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.959 * * [simplify]: Extracting #6: cost 22 inf + 6227
1.961 * * [simplify]: Extracting #7: cost 3 inf + 14662
1.962 * * [simplify]: Extracting #8: cost 0 inf + 16508
1.966 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.966 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.966 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.966 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.966 * * [simplify]: iters left: 4 (8 enodes)
1.969 * * [simplify]: iters left: 3 (37 enodes)
1.975 * * [simplify]: iters left: 2 (60 enodes)
1.984 * * [simplify]: iters left: 1 (86 enodes)
1.998 * * [simplify]: Extracting #0: cost 1 inf + 0
1.998 * * [simplify]: Extracting #1: cost 3 inf + 0
1.998 * * [simplify]: Extracting #2: cost 13 inf + 0
1.998 * * [simplify]: Extracting #3: cost 38 inf + 0
1.998 * * [simplify]: Extracting #4: cost 45 inf + 241
1.999 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.999 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.001 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.002 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.004 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.004 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.004 * * * [progress]: adding candidates to table
2.254 * * [progress]: iteration 2 / 4
2.254 * * * [progress]: picking best candidate
2.281 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
2.281 * * * [progress]: localizing error
2.307 * * * [progress]: generating rewritten candidates
2.307 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
2.307 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.310 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.311 * * * [progress]: generating series expansions
2.311 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
2.311 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
2.311 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.311 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.311 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.311 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.311 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.311 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.311 * [backup-simplify]: Simplify 0 into 0
2.311 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.312 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.312 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.313 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.313 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
2.313 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.313 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.313 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.313 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.313 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.313 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.313 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.314 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.314 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.315 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.315 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.315 * [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)))
2.315 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.315 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.315 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.315 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.315 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.316 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.316 * [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))))
2.316 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.316 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.316 * [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))))
2.316 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.316 * [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))))
2.316 * [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))))
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 0 into 0
2.317 * [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)))
2.317 * [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))))
2.317 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.317 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.317 * [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))))
2.317 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.317 * [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))))
2.317 * [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))))
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [backup-simplify]: Simplify 0 into 0
2.317 * [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)))
2.318 * * * [progress]: simplifying candidates
2.318 * * * * [progress]: [ 1 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 2 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 3 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
2.318 * * * * [progress]: [ 4 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 5 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 6 / 48 ] 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))))>
2.318 * * * * [progress]: [ 7 / 48 ] 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))))>
2.318 * * * * [progress]: [ 8 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 9 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
2.318 * * * * [progress]: [ 10 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 11 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 12 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.318 * * * * [progress]: [ 13 / 48 ] 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))))>
2.318 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
2.318 * * [simplify]: iters left: 6 (8 enodes)
2.320 * * [simplify]: iters left: 5 (32 enodes)
2.325 * * [simplify]: iters left: 4 (47 enodes)
2.336 * * [simplify]: iters left: 3 (51 enodes)
2.351 * * [simplify]: iters left: 2 (53 enodes)
2.366 * * [simplify]: Extracting #0: cost 1 inf + 0
2.366 * * [simplify]: Extracting #1: cost 4 inf + 0
2.366 * * [simplify]: Extracting #2: cost 7 inf + 0
2.366 * * [simplify]: Extracting #3: cost 9 inf + 0
2.366 * * [simplify]: Extracting #4: cost 11 inf + 0
2.366 * * [simplify]: Extracting #5: cost 14 inf + 0
2.366 * * [simplify]: Extracting #6: cost 19 inf + 0
2.366 * * [simplify]: Extracting #7: cost 20 inf + 2
2.367 * * [simplify]: Extracting #8: cost 18 inf + 543
2.367 * * [simplify]: Extracting #9: cost 12 inf + 1580
2.368 * * [simplify]: Extracting #10: cost 1 inf + 4471
2.369 * * [simplify]: Extracting #11: cost 0 inf + 4857
2.370 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
2.370 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.370 * * * * [progress]: [ 14 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.371 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.371 * * [simplify]: iters left: 6 (7 enodes)
2.374 * * [simplify]: iters left: 5 (27 enodes)
2.382 * * [simplify]: iters left: 4 (40 enodes)
2.394 * * [simplify]: iters left: 3 (44 enodes)
2.402 * * [simplify]: iters left: 2 (46 enodes)
2.409 * * [simplify]: Extracting #0: cost 1 inf + 0
2.409 * * [simplify]: Extracting #1: cost 3 inf + 0
2.409 * * [simplify]: Extracting #2: cost 5 inf + 0
2.409 * * [simplify]: Extracting #3: cost 7 inf + 0
2.409 * * [simplify]: Extracting #4: cost 10 inf + 0
2.409 * * [simplify]: Extracting #5: cost 15 inf + 0
2.409 * * [simplify]: Extracting #6: cost 16 inf + 2
2.409 * * [simplify]: Extracting #7: cost 14 inf + 433
2.409 * * [simplify]: Extracting #8: cost 7 inf + 1446
2.409 * * [simplify]: Extracting #9: cost 0 inf + 3133
2.410 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.410 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.410 * * * * [progress]: [ 15 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.410 * [simplify]: Simplifying (log 1)
2.410 * * [simplify]: iters left: 1 (2 enodes)
2.411 * * [simplify]: Extracting #0: cost 1 inf + 0
2.411 * * [simplify]: Extracting #1: cost 0 inf + 1
2.412 * [simplify]: Simplified to 0
2.412 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
2.412 * * * * [progress]: [ 16 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.412 * * * * [progress]: [ 17 / 48 ] 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))))>
2.412 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
2.412 * * [simplify]: iters left: 4 (5 enodes)
2.413 * * [simplify]: iters left: 3 (21 enodes)
2.416 * * [simplify]: iters left: 2 (34 enodes)
2.423 * * [simplify]: iters left: 1 (38 enodes)
2.429 * * [simplify]: Extracting #0: cost 1 inf + 0
2.429 * * [simplify]: Extracting #1: cost 3 inf + 0
2.429 * * [simplify]: Extracting #2: cost 6 inf + 0
2.429 * * [simplify]: Extracting #3: cost 11 inf + 0
2.429 * * [simplify]: Extracting #4: cost 12 inf + 2
2.429 * * [simplify]: Extracting #5: cost 9 inf + 599
2.430 * * [simplify]: Extracting #6: cost 5 inf + 1069
2.430 * * [simplify]: Extracting #7: cost 0 inf + 1909
2.430 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
2.430 * [simplify]: Simplified (2 1 1 1) to (λ (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))))
2.430 * * * * [progress]: [ 18 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
2.430 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
2.430 * * [simplify]: iters left: 4 (5 enodes)
2.431 * * [simplify]: iters left: 3 (21 enodes)
2.435 * * [simplify]: iters left: 2 (34 enodes)
2.440 * * [simplify]: iters left: 1 (38 enodes)
2.446 * * [simplify]: Extracting #0: cost 1 inf + 0
2.446 * * [simplify]: Extracting #1: cost 3 inf + 0
2.446 * * [simplify]: Extracting #2: cost 6 inf + 0
2.446 * * [simplify]: Extracting #3: cost 11 inf + 0
2.446 * * [simplify]: Extracting #4: cost 12 inf + 2
2.446 * * [simplify]: Extracting #5: cost 9 inf + 599
2.446 * * [simplify]: Extracting #6: cost 5 inf + 1029
2.446 * * [simplify]: Extracting #7: cost 0 inf + 1829
2.447 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
2.447 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
2.447 * * * * [progress]: [ 19 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
2.447 * [simplify]: Simplifying (fmod (cosh a) (* a a))
2.447 * * [simplify]: iters left: 3 (4 enodes)
2.448 * * [simplify]: iters left: 2 (18 enodes)
2.451 * * [simplify]: iters left: 1 (31 enodes)
2.456 * * [simplify]: Extracting #0: cost 1 inf + 0
2.456 * * [simplify]: Extracting #1: cost 4 inf + 0
2.456 * * [simplify]: Extracting #2: cost 9 inf + 0
2.456 * * [simplify]: Extracting #3: cost 10 inf + 2
2.456 * * [simplify]: Extracting #4: cost 7 inf + 599
2.456 * * [simplify]: Extracting #5: cost 5 inf + 712
2.457 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.457 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.457 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
2.457 * * * * [progress]: [ 20 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
2.457 * * * * [progress]: [ 21 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.457 * [simplify]: Simplifying (cosh a)
2.457 * * [simplify]: iters left: 1 (2 enodes)
2.458 * * [simplify]: Extracting #0: cost 1 inf + 0
2.458 * * [simplify]: Extracting #1: cost 5 inf + 0
2.458 * * [simplify]: Extracting #2: cost 5 inf + 2
2.458 * * [simplify]: Extracting #3: cost 3 inf + 185
2.458 * * [simplify]: Extracting #4: cost 0 inf + 558
2.458 * [simplify]: Simplified to (cosh a)
2.458 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.458 * * * * [progress]: [ 22 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.458 * * * * [progress]: [ 23 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.458 * * * * [progress]: [ 24 / 48 ] 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))))>
2.458 * * * * [progress]: [ 25 / 48 ] 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))))>
2.458 * * * * [progress]: [ 26 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.458 * * * * [progress]: [ 27 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.458 * * * * [progress]: [ 28 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.458 * * * * [progress]: [ 29 / 48 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.458 * * * * [progress]: [ 30 / 48 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.458 * * * * [progress]: [ 31 / 48 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.459 * * * * [progress]: [ 32 / 48 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
2.459 * * * * [progress]: [ 33 / 48 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.459 * * * * [progress]: [ 34 / 48 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.459 * * * * [progress]: [ 35 / 48 ] 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))))))>
2.459 * * * * [progress]: [ 36 / 48 ] 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))))))>
2.459 * * * * [progress]: [ 37 / 48 ] 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))))))>
2.459 * * * * [progress]: [ 38 / 48 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.459 * * * * [progress]: [ 39 / 48 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.459 * * * * [progress]: [ 40 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.459 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.459 * * [simplify]: iters left: 2 (5 enodes)
2.461 * * [simplify]: iters left: 1 (25 enodes)
2.465 * * [simplify]: Extracting #0: cost 1 inf + 0
2.465 * * [simplify]: Extracting #1: cost 4 inf + 0
2.465 * * [simplify]: Extracting #2: cost 9 inf + 0
2.465 * * [simplify]: Extracting #3: cost 10 inf + 2
2.465 * * [simplify]: Extracting #4: cost 8 inf + 433
2.465 * * [simplify]: Extracting #5: cost 4 inf + 823
2.465 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.466 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.466 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.466 * * * * [progress]: [ 41 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.466 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.466 * * [simplify]: iters left: 2 (5 enodes)
2.468 * * [simplify]: iters left: 1 (25 enodes)
2.472 * * [simplify]: Extracting #0: cost 1 inf + 0
2.472 * * [simplify]: Extracting #1: cost 4 inf + 0
2.472 * * [simplify]: Extracting #2: cost 9 inf + 0
2.472 * * [simplify]: Extracting #3: cost 10 inf + 2
2.472 * * [simplify]: Extracting #4: cost 8 inf + 433
2.472 * * [simplify]: Extracting #5: cost 4 inf + 823
2.473 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.473 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.473 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.473 * * * * [progress]: [ 42 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.473 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.473 * * [simplify]: iters left: 2 (5 enodes)
2.475 * * [simplify]: iters left: 1 (25 enodes)
2.482 * * [simplify]: Extracting #0: cost 1 inf + 0
2.482 * * [simplify]: Extracting #1: cost 4 inf + 0
2.482 * * [simplify]: Extracting #2: cost 9 inf + 0
2.482 * * [simplify]: Extracting #3: cost 10 inf + 2
2.482 * * [simplify]: Extracting #4: cost 8 inf + 433
2.482 * * [simplify]: Extracting #5: cost 4 inf + 823
2.483 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.483 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.483 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.483 * * * * [progress]: [ 43 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.484 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.484 * * [simplify]: iters left: 2 (5 enodes)
2.487 * * [simplify]: iters left: 1 (25 enodes)
2.496 * * [simplify]: Extracting #0: cost 1 inf + 0
2.496 * * [simplify]: Extracting #1: cost 4 inf + 0
2.496 * * [simplify]: Extracting #2: cost 9 inf + 0
2.496 * * [simplify]: Extracting #3: cost 10 inf + 2
2.496 * * [simplify]: Extracting #4: cost 8 inf + 433
2.496 * * [simplify]: Extracting #5: cost 4 inf + 823
2.497 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.497 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.497 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.497 * * * * [progress]: [ 44 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.497 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.498 * * [simplify]: iters left: 2 (5 enodes)
2.501 * * [simplify]: iters left: 1 (25 enodes)
2.509 * * [simplify]: Extracting #0: cost 1 inf + 0
2.509 * * [simplify]: Extracting #1: cost 4 inf + 0
2.509 * * [simplify]: Extracting #2: cost 9 inf + 0
2.509 * * [simplify]: Extracting #3: cost 10 inf + 2
2.509 * * [simplify]: Extracting #4: cost 8 inf + 433
2.510 * * [simplify]: Extracting #5: cost 4 inf + 823
2.510 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.510 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.511 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.511 * * * * [progress]: [ 45 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.511 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.511 * * [simplify]: iters left: 2 (5 enodes)
2.514 * * [simplify]: iters left: 1 (25 enodes)
2.524 * * [simplify]: Extracting #0: cost 1 inf + 0
2.525 * * [simplify]: Extracting #1: cost 4 inf + 0
2.525 * * [simplify]: Extracting #2: cost 9 inf + 0
2.525 * * [simplify]: Extracting #3: cost 10 inf + 2
2.525 * * [simplify]: Extracting #4: cost 8 inf + 433
2.525 * * [simplify]: Extracting #5: cost 4 inf + 823
2.525 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.526 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.526 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.526 * * * * [progress]: [ 46 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.526 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.526 * * [simplify]: iters left: 4 (8 enodes)
2.531 * * [simplify]: iters left: 3 (37 enodes)
2.543 * * [simplify]: iters left: 2 (60 enodes)
2.562 * * [simplify]: iters left: 1 (86 enodes)
2.588 * * [simplify]: Extracting #0: cost 1 inf + 0
2.588 * * [simplify]: Extracting #1: cost 3 inf + 0
2.588 * * [simplify]: Extracting #2: cost 13 inf + 0
2.588 * * [simplify]: Extracting #3: cost 38 inf + 0
2.588 * * [simplify]: Extracting #4: cost 45 inf + 241
2.588 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.589 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.590 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.592 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.594 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.594 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.594 * * * * [progress]: [ 47 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.594 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.594 * * [simplify]: iters left: 4 (8 enodes)
2.597 * * [simplify]: iters left: 3 (37 enodes)
2.603 * * [simplify]: iters left: 2 (60 enodes)
2.613 * * [simplify]: iters left: 1 (86 enodes)
2.638 * * [simplify]: Extracting #0: cost 1 inf + 0
2.638 * * [simplify]: Extracting #1: cost 3 inf + 0
2.638 * * [simplify]: Extracting #2: cost 13 inf + 0
2.638 * * [simplify]: Extracting #3: cost 38 inf + 0
2.638 * * [simplify]: Extracting #4: cost 45 inf + 241
2.639 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.640 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.643 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.646 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.651 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.651 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.651 * * * * [progress]: [ 48 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.652 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.652 * * [simplify]: iters left: 4 (8 enodes)
2.656 * * [simplify]: iters left: 3 (37 enodes)
2.668 * * [simplify]: iters left: 2 (60 enodes)
2.687 * * [simplify]: iters left: 1 (86 enodes)
2.704 * * [simplify]: Extracting #0: cost 1 inf + 0
2.704 * * [simplify]: Extracting #1: cost 3 inf + 0
2.704 * * [simplify]: Extracting #2: cost 13 inf + 0
2.704 * * [simplify]: Extracting #3: cost 38 inf + 0
2.705 * * [simplify]: Extracting #4: cost 45 inf + 241
2.705 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.705 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.707 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.708 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.710 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.710 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.710 * * * [progress]: adding candidates to table
3.190 * * [progress]: iteration 3 / 4
3.190 * * * [progress]: picking best candidate
3.225 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.225 * * * [progress]: localizing error
3.263 * * * [progress]: generating rewritten candidates
3.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
3.264 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
3.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.270 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.274 * * * [progress]: generating series expansions
3.274 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
3.274 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.274 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.274 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.274 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.275 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.276 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.276 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.276 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.276 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.277 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
3.277 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.277 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.277 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.277 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.278 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.278 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.278 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.278 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.278 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.278 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.278 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.279 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.279 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify 0 into 0
3.279 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.279 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.279 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.279 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.280 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.281 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
3.281 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
3.281 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
3.281 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.281 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.281 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.281 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.281 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
3.281 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.281 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.282 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.282 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.282 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.282 * [backup-simplify]: Simplify 0 into 0
3.283 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.284 * [backup-simplify]: Simplify 0 into 0
3.284 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.284 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.286 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.288 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.288 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.288 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
3.288 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.288 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.289 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.289 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.289 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.289 * [backup-simplify]: Simplify 0 into 0
3.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.290 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.291 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.292 * [backup-simplify]: Simplify 0 into 0
3.293 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.293 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
3.294 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.294 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
3.294 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.294 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.294 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.294 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.294 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.294 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.295 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.295 * [backup-simplify]: Simplify 0 into 0
3.296 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.296 * [backup-simplify]: Simplify 0 into 0
3.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.296 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.297 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
3.298 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.298 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.298 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
3.298 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.298 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.298 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.298 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.298 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.299 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (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))))
3.299 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
3.299 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.299 * [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))))
3.299 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.299 * [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))))
3.299 * [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))))
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [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)))
3.300 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (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))))
3.300 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
3.300 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.300 * [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))))
3.300 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.300 * [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))))
3.300 * [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))))
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 0 into 0
3.301 * [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)))
3.301 * * * [progress]: simplifying candidates
3.301 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
3.301 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
3.301 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.301 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.301 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.302 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
3.302 * * [simplify]: iters left: 6 (9 enodes)
3.304 * * [simplify]: iters left: 5 (35 enodes)
3.314 * * [simplify]: iters left: 4 (50 enodes)
3.322 * * [simplify]: iters left: 3 (54 enodes)
3.330 * * [simplify]: iters left: 2 (56 enodes)
3.346 * * [simplify]: Extracting #0: cost 1 inf + 0
3.347 * * [simplify]: Extracting #1: cost 4 inf + 0
3.347 * * [simplify]: Extracting #2: cost 7 inf + 0
3.347 * * [simplify]: Extracting #3: cost 9 inf + 0
3.347 * * [simplify]: Extracting #4: cost 11 inf + 0
3.347 * * [simplify]: Extracting #5: cost 13 inf + 0
3.347 * * [simplify]: Extracting #6: cost 16 inf + 0
3.347 * * [simplify]: Extracting #7: cost 21 inf + 0
3.347 * * [simplify]: Extracting #8: cost 22 inf + 2
3.347 * * [simplify]: Extracting #9: cost 22 inf + 211
3.348 * * [simplify]: Extracting #10: cost 11 inf + 1858
3.349 * * [simplify]: Extracting #11: cost 2 inf + 4777
3.350 * * [simplify]: Extracting #12: cost 0 inf + 5669
3.351 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
3.351 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.351 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.352 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
3.352 * * [simplify]: iters left: 6 (8 enodes)
3.355 * * [simplify]: iters left: 5 (30 enodes)
3.361 * * [simplify]: iters left: 4 (43 enodes)
3.367 * * [simplify]: iters left: 3 (47 enodes)
3.374 * * [simplify]: iters left: 2 (49 enodes)
3.382 * * [simplify]: Extracting #0: cost 1 inf + 0
3.382 * * [simplify]: Extracting #1: cost 3 inf + 0
3.382 * * [simplify]: Extracting #2: cost 5 inf + 0
3.382 * * [simplify]: Extracting #3: cost 7 inf + 0
3.382 * * [simplify]: Extracting #4: cost 9 inf + 0
3.382 * * [simplify]: Extracting #5: cost 12 inf + 0
3.382 * * [simplify]: Extracting #6: cost 17 inf + 0
3.382 * * [simplify]: Extracting #7: cost 18 inf + 2
3.382 * * [simplify]: Extracting #8: cost 17 inf + 377
3.383 * * [simplify]: Extracting #9: cost 10 inf + 1400
3.383 * * [simplify]: Extracting #10: cost 0 inf + 3785
3.383 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
3.383 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.383 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.384 * [simplify]: Simplifying (log 1)
3.384 * * [simplify]: iters left: 1 (2 enodes)
3.385 * * [simplify]: Extracting #0: cost 1 inf + 0
3.385 * * [simplify]: Extracting #1: cost 0 inf + 1
3.385 * [simplify]: Simplified to 0
3.385 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))
3.385 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.385 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.386 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
3.386 * * [simplify]: iters left: 5 (6 enodes)
3.387 * * [simplify]: iters left: 4 (24 enodes)
3.391 * * [simplify]: iters left: 3 (37 enodes)
3.397 * * [simplify]: iters left: 2 (41 enodes)
3.404 * * [simplify]: iters left: 1 (43 enodes)
3.413 * * [simplify]: Extracting #0: cost 1 inf + 0
3.413 * * [simplify]: Extracting #1: cost 3 inf + 0
3.414 * * [simplify]: Extracting #2: cost 5 inf + 0
3.414 * * [simplify]: Extracting #3: cost 8 inf + 0
3.414 * * [simplify]: Extracting #4: cost 13 inf + 0
3.414 * * [simplify]: Extracting #5: cost 14 inf + 2
3.414 * * [simplify]: Extracting #6: cost 13 inf + 377
3.414 * * [simplify]: Extracting #7: cost 6 inf + 1410
3.415 * * [simplify]: Extracting #8: cost 1 inf + 2180
3.415 * * [simplify]: Extracting #9: cost 0 inf + 2401
3.416 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
3.416 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
3.416 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.417 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
3.417 * * [simplify]: iters left: 5 (6 enodes)
3.419 * * [simplify]: iters left: 4 (24 enodes)
3.428 * * [simplify]: iters left: 3 (37 enodes)
3.439 * * [simplify]: iters left: 2 (41 enodes)
3.452 * * [simplify]: iters left: 1 (43 enodes)
3.465 * * [simplify]: Extracting #0: cost 1 inf + 0
3.465 * * [simplify]: Extracting #1: cost 3 inf + 0
3.465 * * [simplify]: Extracting #2: cost 5 inf + 0
3.465 * * [simplify]: Extracting #3: cost 8 inf + 0
3.465 * * [simplify]: Extracting #4: cost 13 inf + 0
3.465 * * [simplify]: Extracting #5: cost 14 inf + 2
3.466 * * [simplify]: Extracting #6: cost 13 inf + 377
3.466 * * [simplify]: Extracting #7: cost 6 inf + 1490
3.466 * * [simplify]: Extracting #8: cost 1 inf + 2260
3.467 * * [simplify]: Extracting #9: cost 0 inf + 2481
3.468 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
3.468 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
3.468 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.468 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
3.468 * * [simplify]: iters left: 5 (6 enodes)
3.471 * * [simplify]: iters left: 4 (24 enodes)
3.479 * * [simplify]: iters left: 3 (37 enodes)
3.490 * * [simplify]: iters left: 2 (41 enodes)
3.503 * * [simplify]: iters left: 1 (43 enodes)
3.515 * * [simplify]: Extracting #0: cost 1 inf + 0
3.515 * * [simplify]: Extracting #1: cost 3 inf + 0
3.515 * * [simplify]: Extracting #2: cost 5 inf + 0
3.515 * * [simplify]: Extracting #3: cost 8 inf + 0
3.515 * * [simplify]: Extracting #4: cost 13 inf + 0
3.515 * * [simplify]: Extracting #5: cost 14 inf + 2
3.515 * * [simplify]: Extracting #6: cost 13 inf + 377
3.515 * * [simplify]: Extracting #7: cost 6 inf + 1370
3.516 * * [simplify]: Extracting #8: cost 1 inf + 2100
3.516 * * [simplify]: Extracting #9: cost 0 inf + 2321
3.517 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
3.517 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.517 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
3.517 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
3.517 * * [simplify]: iters left: 4 (5 enodes)
3.519 * * [simplify]: iters left: 3 (21 enodes)
3.526 * * [simplify]: iters left: 2 (34 enodes)
3.533 * * [simplify]: iters left: 1 (38 enodes)
3.538 * * [simplify]: Extracting #0: cost 1 inf + 0
3.539 * * [simplify]: Extracting #1: cost 3 inf + 0
3.539 * * [simplify]: Extracting #2: cost 6 inf + 0
3.539 * * [simplify]: Extracting #3: cost 11 inf + 0
3.539 * * [simplify]: Extracting #4: cost 12 inf + 2
3.539 * * [simplify]: Extracting #5: cost 9 inf + 599
3.539 * * [simplify]: Extracting #6: cost 5 inf + 1029
3.539 * * [simplify]: Extracting #7: cost 0 inf + 1829
3.539 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.539 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))
3.540 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.540 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
3.540 * * [simplify]: iters left: 5 (6 enodes)
3.541 * * [simplify]: iters left: 4 (24 enodes)
3.546 * * [simplify]: iters left: 3 (37 enodes)
3.552 * * [simplify]: iters left: 2 (41 enodes)
3.564 * * [simplify]: iters left: 1 (43 enodes)
3.577 * * [simplify]: Extracting #0: cost 1 inf + 0
3.577 * * [simplify]: Extracting #1: cost 3 inf + 0
3.577 * * [simplify]: Extracting #2: cost 5 inf + 0
3.577 * * [simplify]: Extracting #3: cost 8 inf + 0
3.577 * * [simplify]: Extracting #4: cost 13 inf + 0
3.577 * * [simplify]: Extracting #5: cost 14 inf + 2
3.578 * * [simplify]: Extracting #6: cost 13 inf + 377
3.578 * * [simplify]: Extracting #7: cost 6 inf + 1370
3.579 * * [simplify]: Extracting #8: cost 1 inf + 2100
3.579 * * [simplify]: Extracting #9: cost 0 inf + 2321
3.580 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
3.580 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.580 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
3.580 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
3.580 * * [simplify]: iters left: 4 (5 enodes)
3.583 * * [simplify]: iters left: 3 (21 enodes)
3.591 * * [simplify]: iters left: 2 (34 enodes)
3.602 * * [simplify]: iters left: 1 (38 enodes)
3.614 * * [simplify]: Extracting #0: cost 1 inf + 0
3.614 * * [simplify]: Extracting #1: cost 3 inf + 0
3.614 * * [simplify]: Extracting #2: cost 6 inf + 0
3.614 * * [simplify]: Extracting #3: cost 11 inf + 0
3.615 * * [simplify]: Extracting #4: cost 12 inf + 2
3.615 * * [simplify]: Extracting #5: cost 9 inf + 599
3.615 * * [simplify]: Extracting #6: cost 5 inf + 1029
3.616 * * [simplify]: Extracting #7: cost 0 inf + 1829
3.616 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.616 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))
3.616 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
3.616 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.617 * [simplify]: Simplifying (fmod (cosh a) (* a a))
3.617 * * [simplify]: iters left: 3 (4 enodes)
3.619 * * [simplify]: iters left: 2 (18 enodes)
3.625 * * [simplify]: iters left: 1 (31 enodes)
3.635 * * [simplify]: Extracting #0: cost 1 inf + 0
3.635 * * [simplify]: Extracting #1: cost 4 inf + 0
3.635 * * [simplify]: Extracting #2: cost 9 inf + 0
3.635 * * [simplify]: Extracting #3: cost 10 inf + 2
3.636 * * [simplify]: Extracting #4: cost 7 inf + 599
3.636 * * [simplify]: Extracting #5: cost 5 inf + 712
3.636 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.637 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.637 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.637 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.637 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.637 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
3.638 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
3.638 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
3.638 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.638 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.638 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.639 * * [simplify]: iters left: 2 (5 enodes)
3.642 * * [simplify]: iters left: 1 (25 enodes)
3.647 * * [simplify]: Extracting #0: cost 1 inf + 0
3.647 * * [simplify]: Extracting #1: cost 4 inf + 0
3.647 * * [simplify]: Extracting #2: cost 9 inf + 0
3.647 * * [simplify]: Extracting #3: cost 10 inf + 2
3.648 * * [simplify]: Extracting #4: cost 8 inf + 433
3.648 * * [simplify]: Extracting #5: cost 4 inf + 823
3.648 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.648 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.648 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.648 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.648 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.648 * * [simplify]: iters left: 2 (5 enodes)
3.650 * * [simplify]: iters left: 1 (25 enodes)
3.655 * * [simplify]: Extracting #0: cost 1 inf + 0
3.655 * * [simplify]: Extracting #1: cost 4 inf + 0
3.655 * * [simplify]: Extracting #2: cost 9 inf + 0
3.655 * * [simplify]: Extracting #3: cost 10 inf + 2
3.655 * * [simplify]: Extracting #4: cost 8 inf + 433
3.655 * * [simplify]: Extracting #5: cost 4 inf + 823
3.655 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.655 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.655 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.656 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.656 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.656 * * [simplify]: iters left: 2 (5 enodes)
3.658 * * [simplify]: iters left: 1 (25 enodes)
3.662 * * [simplify]: Extracting #0: cost 1 inf + 0
3.662 * * [simplify]: Extracting #1: cost 4 inf + 0
3.662 * * [simplify]: Extracting #2: cost 9 inf + 0
3.662 * * [simplify]: Extracting #3: cost 10 inf + 2
3.662 * * [simplify]: Extracting #4: cost 8 inf + 433
3.662 * * [simplify]: Extracting #5: cost 4 inf + 823
3.663 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.663 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.663 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.663 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.663 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.663 * * [simplify]: iters left: 2 (5 enodes)
3.665 * * [simplify]: iters left: 1 (25 enodes)
3.670 * * [simplify]: Extracting #0: cost 1 inf + 0
3.670 * * [simplify]: Extracting #1: cost 4 inf + 0
3.670 * * [simplify]: Extracting #2: cost 9 inf + 0
3.670 * * [simplify]: Extracting #3: cost 10 inf + 2
3.670 * * [simplify]: Extracting #4: cost 8 inf + 433
3.670 * * [simplify]: Extracting #5: cost 4 inf + 823
3.670 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.671 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.671 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.671 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.671 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.671 * * [simplify]: iters left: 2 (5 enodes)
3.673 * * [simplify]: iters left: 1 (25 enodes)
3.679 * * [simplify]: Extracting #0: cost 1 inf + 0
3.679 * * [simplify]: Extracting #1: cost 4 inf + 0
3.679 * * [simplify]: Extracting #2: cost 9 inf + 0
3.679 * * [simplify]: Extracting #3: cost 10 inf + 2
3.679 * * [simplify]: Extracting #4: cost 8 inf + 433
3.679 * * [simplify]: Extracting #5: cost 4 inf + 823
3.679 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.680 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.680 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.680 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.680 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.680 * * [simplify]: iters left: 2 (5 enodes)
3.682 * * [simplify]: iters left: 1 (25 enodes)
3.686 * * [simplify]: Extracting #0: cost 1 inf + 0
3.686 * * [simplify]: Extracting #1: cost 4 inf + 0
3.686 * * [simplify]: Extracting #2: cost 9 inf + 0
3.686 * * [simplify]: Extracting #3: cost 10 inf + 2
3.687 * * [simplify]: Extracting #4: cost 8 inf + 433
3.687 * * [simplify]: Extracting #5: cost 4 inf + 823
3.687 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.687 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.687 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.687 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.687 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.687 * * [simplify]: iters left: 3 (6 enodes)
3.690 * * [simplify]: iters left: 2 (28 enodes)
3.696 * * [simplify]: iters left: 1 (42 enodes)
3.706 * * [simplify]: Extracting #0: cost 1 inf + 0
3.706 * * [simplify]: Extracting #1: cost 3 inf + 0
3.706 * * [simplify]: Extracting #2: cost 6 inf + 0
3.706 * * [simplify]: Extracting #3: cost 11 inf + 0
3.706 * * [simplify]: Extracting #4: cost 12 inf + 2
3.707 * * [simplify]: Extracting #5: cost 12 inf + 226
3.707 * * [simplify]: Extracting #6: cost 6 inf + 918
3.707 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.707 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.707 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.707 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.707 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.708 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.708 * * [simplify]: iters left: 3 (6 enodes)
3.710 * * [simplify]: iters left: 2 (28 enodes)
3.714 * * [simplify]: iters left: 1 (42 enodes)
3.720 * * [simplify]: Extracting #0: cost 1 inf + 0
3.720 * * [simplify]: Extracting #1: cost 3 inf + 0
3.720 * * [simplify]: Extracting #2: cost 6 inf + 0
3.720 * * [simplify]: Extracting #3: cost 11 inf + 0
3.720 * * [simplify]: Extracting #4: cost 12 inf + 2
3.720 * * [simplify]: Extracting #5: cost 12 inf + 226
3.720 * * [simplify]: Extracting #6: cost 6 inf + 918
3.721 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.721 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.721 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.721 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.721 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.721 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.721 * * [simplify]: iters left: 3 (6 enodes)
3.723 * * [simplify]: iters left: 2 (28 enodes)
3.728 * * [simplify]: iters left: 1 (42 enodes)
3.734 * * [simplify]: Extracting #0: cost 1 inf + 0
3.734 * * [simplify]: Extracting #1: cost 3 inf + 0
3.734 * * [simplify]: Extracting #2: cost 6 inf + 0
3.734 * * [simplify]: Extracting #3: cost 11 inf + 0
3.734 * * [simplify]: Extracting #4: cost 12 inf + 2
3.734 * * [simplify]: Extracting #5: cost 12 inf + 226
3.735 * * [simplify]: Extracting #6: cost 6 inf + 918
3.735 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.735 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.735 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.735 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.735 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.736 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.736 * * [simplify]: iters left: 4 (8 enodes)
3.739 * * [simplify]: iters left: 3 (37 enodes)
3.750 * * [simplify]: iters left: 2 (60 enodes)
3.759 * * [simplify]: iters left: 1 (86 enodes)
3.775 * * [simplify]: Extracting #0: cost 1 inf + 0
3.775 * * [simplify]: Extracting #1: cost 3 inf + 0
3.775 * * [simplify]: Extracting #2: cost 13 inf + 0
3.775 * * [simplify]: Extracting #3: cost 38 inf + 0
3.776 * * [simplify]: Extracting #4: cost 45 inf + 241
3.776 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.777 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.778 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.780 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.781 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.781 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.781 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.782 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.782 * * [simplify]: iters left: 4 (8 enodes)
3.784 * * [simplify]: iters left: 3 (37 enodes)
3.790 * * [simplify]: iters left: 2 (60 enodes)
3.800 * * [simplify]: iters left: 1 (86 enodes)
3.825 * * [simplify]: Extracting #0: cost 1 inf + 0
3.825 * * [simplify]: Extracting #1: cost 3 inf + 0
3.825 * * [simplify]: Extracting #2: cost 13 inf + 0
3.826 * * [simplify]: Extracting #3: cost 38 inf + 0
3.826 * * [simplify]: Extracting #4: cost 45 inf + 241
3.826 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.828 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.830 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.834 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.837 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.837 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.837 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.838 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.838 * * [simplify]: iters left: 4 (8 enodes)
3.842 * * [simplify]: iters left: 3 (37 enodes)
3.856 * * [simplify]: iters left: 2 (60 enodes)
3.875 * * [simplify]: iters left: 1 (86 enodes)
3.907 * * [simplify]: Extracting #0: cost 1 inf + 0
3.907 * * [simplify]: Extracting #1: cost 3 inf + 0
3.907 * * [simplify]: Extracting #2: cost 13 inf + 0
3.907 * * [simplify]: Extracting #3: cost 38 inf + 0
3.908 * * [simplify]: Extracting #4: cost 45 inf + 241
3.908 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.910 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.912 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.915 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.919 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.919 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.919 * * * [progress]: adding candidates to table
4.585 * * [progress]: iteration 4 / 4
4.585 * * * [progress]: picking best candidate
4.620 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.620 * * * [progress]: localizing error
4.674 * * * [progress]: generating rewritten candidates
4.674 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
4.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1)
4.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 2 1 1 1)
4.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
4.675 * * * [progress]: generating series expansions
4.675 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
4.675 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.676 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.676 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.676 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.676 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.676 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.676 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.676 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.676 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.677 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1)
4.677 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.677 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.677 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.677 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.678 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.678 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.678 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.678 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.678 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.679 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.679 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.679 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.679 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 2 1 1 1)
4.679 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.679 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.679 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.679 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.679 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.679 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.680 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.680 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.680 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.680 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.680 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.681 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.681 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1)
4.681 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.681 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.681 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.681 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.681 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.681 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.681 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.682 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.682 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.682 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.683 * * * [progress]: simplifying candidates
4.683 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
4.683 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
4.683 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.683 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.683 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (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))))))>
4.684 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (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))))))>
4.684 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.684 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (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))))))>
4.684 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))))>
4.684 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (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))))))>
4.684 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (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))))))>
4.684 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (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))))))>
4.684 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (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))))))>
4.684 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (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))))))>
4.684 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.684 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (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))))))>
4.685 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
4.685 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.685 * * [simplify]: iters left: 2 (5 enodes)
4.689 * * [simplify]: iters left: 1 (25 enodes)
4.697 * * [simplify]: Extracting #0: cost 1 inf + 0
4.697 * * [simplify]: Extracting #1: cost 4 inf + 0
4.697 * * [simplify]: Extracting #2: cost 9 inf + 0
4.697 * * [simplify]: Extracting #3: cost 10 inf + 2
4.698 * * [simplify]: Extracting #4: cost 8 inf + 433
4.698 * * [simplify]: Extracting #5: cost 4 inf + 823
4.698 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.699 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.699 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.699 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
4.699 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.699 * * [simplify]: iters left: 2 (5 enodes)
4.703 * * [simplify]: iters left: 1 (25 enodes)
4.711 * * [simplify]: Extracting #0: cost 1 inf + 0
4.711 * * [simplify]: Extracting #1: cost 4 inf + 0
4.711 * * [simplify]: Extracting #2: cost 9 inf + 0
4.711 * * [simplify]: Extracting #3: cost 10 inf + 2
4.712 * * [simplify]: Extracting #4: cost 8 inf + 433
4.712 * * [simplify]: Extracting #5: cost 4 inf + 823
4.712 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.713 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.713 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.713 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
4.713 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.713 * * [simplify]: iters left: 2 (5 enodes)
4.717 * * [simplify]: iters left: 1 (25 enodes)
4.725 * * [simplify]: Extracting #0: cost 1 inf + 0
4.725 * * [simplify]: Extracting #1: cost 4 inf + 0
4.725 * * [simplify]: Extracting #2: cost 9 inf + 0
4.725 * * [simplify]: Extracting #3: cost 10 inf + 2
4.726 * * [simplify]: Extracting #4: cost 8 inf + 433
4.726 * * [simplify]: Extracting #5: cost 4 inf + 823
4.726 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.727 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.727 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.727 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.727 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.727 * * [simplify]: iters left: 2 (5 enodes)
4.731 * * [simplify]: iters left: 1 (25 enodes)
4.739 * * [simplify]: Extracting #0: cost 1 inf + 0
4.740 * * [simplify]: Extracting #1: cost 4 inf + 0
4.740 * * [simplify]: Extracting #2: cost 9 inf + 0
4.740 * * [simplify]: Extracting #3: cost 10 inf + 2
4.740 * * [simplify]: Extracting #4: cost 8 inf + 433
4.740 * * [simplify]: Extracting #5: cost 4 inf + 823
4.740 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.741 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.741 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.741 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.742 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.742 * * [simplify]: iters left: 2 (5 enodes)
4.745 * * [simplify]: iters left: 1 (25 enodes)
4.755 * * [simplify]: Extracting #0: cost 1 inf + 0
4.755 * * [simplify]: Extracting #1: cost 4 inf + 0
4.755 * * [simplify]: Extracting #2: cost 9 inf + 0
4.755 * * [simplify]: Extracting #3: cost 10 inf + 2
4.755 * * [simplify]: Extracting #4: cost 8 inf + 433
4.755 * * [simplify]: Extracting #5: cost 4 inf + 823
4.756 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.756 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.756 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.756 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.757 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.757 * * [simplify]: iters left: 2 (5 enodes)
4.760 * * [simplify]: iters left: 1 (25 enodes)
4.775 * * [simplify]: Extracting #0: cost 1 inf + 0
4.775 * * [simplify]: Extracting #1: cost 4 inf + 0
4.775 * * [simplify]: Extracting #2: cost 9 inf + 0
4.775 * * [simplify]: Extracting #3: cost 10 inf + 2
4.776 * * [simplify]: Extracting #4: cost 8 inf + 433
4.776 * * [simplify]: Extracting #5: cost 4 inf + 823
4.776 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.777 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.777 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.777 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.777 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.777 * * [simplify]: iters left: 2 (5 enodes)
4.781 * * [simplify]: iters left: 1 (25 enodes)
4.789 * * [simplify]: Extracting #0: cost 1 inf + 0
4.789 * * [simplify]: Extracting #1: cost 4 inf + 0
4.789 * * [simplify]: Extracting #2: cost 9 inf + 0
4.789 * * [simplify]: Extracting #3: cost 10 inf + 2
4.789 * * [simplify]: Extracting #4: cost 8 inf + 433
4.790 * * [simplify]: Extracting #5: cost 4 inf + 823
4.790 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.790 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.791 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.791 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.791 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.791 * * [simplify]: iters left: 2 (5 enodes)
4.794 * * [simplify]: iters left: 1 (25 enodes)
4.803 * * [simplify]: Extracting #0: cost 1 inf + 0
4.803 * * [simplify]: Extracting #1: cost 4 inf + 0
4.803 * * [simplify]: Extracting #2: cost 9 inf + 0
4.803 * * [simplify]: Extracting #3: cost 10 inf + 2
4.803 * * [simplify]: Extracting #4: cost 8 inf + 433
4.803 * * [simplify]: Extracting #5: cost 4 inf + 823
4.804 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.804 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.804 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.805 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
4.805 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.805 * * [simplify]: iters left: 2 (5 enodes)
4.808 * * [simplify]: iters left: 1 (25 enodes)
4.817 * * [simplify]: Extracting #0: cost 1 inf + 0
4.817 * * [simplify]: Extracting #1: cost 4 inf + 0
4.817 * * [simplify]: Extracting #2: cost 9 inf + 0
4.817 * * [simplify]: Extracting #3: cost 10 inf + 2
4.817 * * [simplify]: Extracting #4: cost 8 inf + 433
4.817 * * [simplify]: Extracting #5: cost 4 inf + 823
4.818 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.818 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.818 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.818 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (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))))))>
4.819 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.819 * * [simplify]: iters left: 2 (5 enodes)
4.822 * * [simplify]: iters left: 1 (25 enodes)
4.831 * * [simplify]: Extracting #0: cost 1 inf + 0
4.831 * * [simplify]: Extracting #1: cost 4 inf + 0
4.831 * * [simplify]: Extracting #2: cost 9 inf + 0
4.831 * * [simplify]: Extracting #3: cost 10 inf + 2
4.831 * * [simplify]: Extracting #4: cost 8 inf + 433
4.831 * * [simplify]: Extracting #5: cost 4 inf + 823
4.832 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.832 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.832 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.833 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (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))))))>
4.833 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.833 * * [simplify]: iters left: 2 (5 enodes)
4.836 * * [simplify]: iters left: 1 (25 enodes)
4.845 * * [simplify]: Extracting #0: cost 1 inf + 0
4.846 * * [simplify]: Extracting #1: cost 4 inf + 0
4.846 * * [simplify]: Extracting #2: cost 9 inf + 0
4.846 * * [simplify]: Extracting #3: cost 10 inf + 2
4.846 * * [simplify]: Extracting #4: cost 8 inf + 433
4.846 * * [simplify]: Extracting #5: cost 4 inf + 823
4.847 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.847 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.847 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.847 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (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))))))>
4.848 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.848 * * [simplify]: iters left: 2 (5 enodes)
4.851 * * [simplify]: iters left: 1 (25 enodes)
4.859 * * [simplify]: Extracting #0: cost 1 inf + 0
4.859 * * [simplify]: Extracting #1: cost 4 inf + 0
4.859 * * [simplify]: Extracting #2: cost 9 inf + 0
4.859 * * [simplify]: Extracting #3: cost 10 inf + 2
4.860 * * [simplify]: Extracting #4: cost 8 inf + 433
4.860 * * [simplify]: Extracting #5: cost 4 inf + 823
4.860 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.860 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.860 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
4.861 * * * [progress]: adding candidates to table
5.741 * [progress]: [Phase 3 of 3] Extracting.
5.741 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<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))))> #<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))))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
5.743 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
5.743 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<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))))> #<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))))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
5.802 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<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))))> #<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))))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
5.893 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
5.958 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<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))))> #<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))))))> #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
6.033 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))))>)
6.079 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
6.080 * [simplify]: Simplifying (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.080 * * [simplify]: iters left: 6 (14 enodes)
6.080 * * [simplify]: iters left: 5 (16 enodes)
6.081 * * [simplify]: Extracting #0: cost 1 inf + 0
6.081 * * [simplify]: Extracting #1: cost 3 inf + 0
6.081 * * [simplify]: Extracting #2: cost 4 inf + 0
6.081 * * [simplify]: Extracting #3: cost 5 inf + 0
6.081 * * [simplify]: Extracting #4: cost 7 inf + 0
6.081 * * [simplify]: Extracting #5: cost 10 inf + 0
6.081 * * [simplify]: Extracting #6: cost 11 inf + 1
6.081 * * [simplify]: Extracting #7: cost 12 inf + 92
6.081 * * [simplify]: Extracting #8: cost 9 inf + 355
6.081 * * [simplify]: Extracting #9: cost 7 inf + 837
6.081 * * [simplify]: Extracting #10: cost 4 inf + 2255
6.082 * * [simplify]: Extracting #11: cost 2 inf + 3887
6.082 * * [simplify]: Extracting #12: cost 0 inf + 5719
6.082 * [simplify]: Simplified to (* (cbrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (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 (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
41.229 * [regime-testing]: Baseline error score: 59.31670261583485
41.231 * [regime-testing]: Oracle error score: 59.21931688175215
41.236 * [regime-testing]: End program error score: 59.31670261583485